runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 15859 MiB (14486 MiB free)
  memory of node 1: 16087 MiB (15216 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/rand_net/rand_net40-30-1.shuffled.cnf 

running on 1 cores: 5

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-301.1.el8.x86_64
solver pid=912366, runsolver pid=912365
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 1.11 0.25 0.08 7/487 912372
/proc/meminfo: memFree=30401684/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=38548 memory=11036 CPUtime=0.03 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 1605 0 0 0 3 0 0 0 20 0 1 0 481984563 39473152 2759 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 2 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9637 2759 1520 2 0 2049 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 38548 KiB
Current children cumulated memory: 11036 KiB

[startup+0.225759 s]*
/proc/loadavg: 1.11 0.25 0.08 10/487 912372
/proc/meminfo: memFree=30395000/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=11828 CPUtime=0.13 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 1818 0 0 0 13 0 0 0 20 0 1 0 481984563 40521728 2957 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 2957 1520 2 0 2305 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11828 KiB

[startup+0.323758 s]*
/proc/loadavg: 1.11 0.25 0.08 10/487 912372
/proc/meminfo: memFree=30394164/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=11828 CPUtime=0.21 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 1818 0 0 0 21 0 0 0 20 0 1 0 481984563 40521728 2957 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 2957 1520 2 0 2305 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11828 KiB

[startup+0.70076 s]
/proc/loadavg: 1.11 0.25 0.08 10/487 912372
/proc/meminfo: memFree=30393364/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=11828 CPUtime=0.53 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 1818 0 0 0 53 0 0 0 20 0 1 0 481984563 40521728 2957 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 2957 1520 2 0 2305 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11828 KiB

[startup+1.50077 s]
/proc/loadavg: 1.11 0.25 0.08 10/487 912372
/proc/meminfo: memFree=30392840/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=11828 CPUtime=1.31 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 1821 0 0 0 131 0 0 0 20 0 1 0 481984563 40521728 2957 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 2957 1520 2 0 2305 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11828 KiB

[startup+3.12176 s]
/proc/loadavg: 1.11 0.25 0.08 10/486 912372
/proc/meminfo: memFree=30392896/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=12092 CPUtime=2.89 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 1853 0 0 0 289 0 0 0 20 0 1 0 481984563 40521728 3023 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 3023 1520 2 0 2305 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12092 KiB

[startup+6.30076 s]
/proc/loadavg: 1.74 0.39 0.13 10/486 912372
/proc/meminfo: memFree=30392212/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=12092 CPUtime=6 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 1859 0 0 0 600 0 0 0 20 0 1 0 481984563 40521728 3023 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 3023 1520 2 0 2305 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12092 KiB

[startup+12.7008 s]
/proc/loadavg: 2.24 0.52 0.17 10/486 912372
/proc/meminfo: memFree=30391744/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=12092 CPUtime=12.26 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 1880 0 0 0 1226 0 0 0 20 0 1 0 481984563 40521728 3023 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 3023 1520 2 0 2305 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12092 KiB

[startup+25.5008 s]
/proc/loadavg: 3.52 0.89 0.30 10/486 912372
/proc/meminfo: memFree=30390768/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=12092 CPUtime=24.76 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 1891 0 0 0 2476 0 0 0 20 0 1 0 481984563 40521728 3023 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 3023 1520 2 0 2305 0
Current children cumulated CPU time: 24.76 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12092 KiB

[startup+51.1278 s]
/proc/loadavg: 5.11 1.47 0.51 10/486 912380
/proc/meminfo: memFree=30383736/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=12620 CPUtime=49.76 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 1961 0 0 0 4976 0 0 0 20 0 1 0 481984563 40521728 3155 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 3155 1520 2 0 2305 0
Current children cumulated CPU time: 49.76 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12620 KiB

[startup+102.301 s]
/proc/loadavg: 6.85 2.51 0.91 10/486 912381
/proc/meminfo: memFree=30382984/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=12620 CPUtime=99.74 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 1973 0 0 0 9974 0 0 0 20 0 1 0 481984563 40521728 3155 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 3155 1520 2 0 2305 0
Current children cumulated CPU time: 99.74 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12620 KiB

[startup+162.301 s]
/proc/loadavg: 7.71 3.56 1.38 10/485 912391
/proc/meminfo: memFree=30381224/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=12620 CPUtime=158.35 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 1988 0 0 0 15835 0 0 0 20 0 1 0 481984563 40521728 3155 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 3155 1520 2 0 2305 0
Current children cumulated CPU time: 158.35 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12620 KiB

[startup+222.301 s]
/proc/loadavg: 7.89 4.37 1.79 10/485 912400
/proc/meminfo: memFree=30379972/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=12620 CPUtime=216.96 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2021 0 0 0 21695 1 0 0 20 0 1 0 481984563 40521728 3155 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 3155 1520 2 0 2305 0
Current children cumulated CPU time: 216.96 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12620 KiB

[startup+282.301 s]
/proc/loadavg: 7.96 5.03 2.19 10/485 912409
/proc/meminfo: memFree=30379644/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=12884 CPUtime=275.57 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2048 0 0 0 27556 1 0 0 20 0 1 0 481984563 40521728 3221 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 3221 1520 2 0 2305 0
Current children cumulated CPU time: 275.57 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12884 KiB

[startup+342.301 s]
/proc/loadavg: 8.23 5.64 2.57 10/482 912418
/proc/meminfo: memFree=30378752/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39572 memory=12884 CPUtime=334.19 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2054 0 0 0 33418 1 0 0 20 0 1 0 481984563 40521728 3221 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9893 3221 1520 2 0 2305 0
Current children cumulated CPU time: 334.19 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12884 KiB

[startup+402.301 s]
/proc/loadavg: 8.26 6.12 2.93 10/482 912428
/proc/meminfo: memFree=30377628/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39716 memory=12884 CPUtime=392.8 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2078 0 0 0 39279 1 0 0 20 0 1 0 481984563 40669184 3221 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9929 3221 1520 2 0 2341 0
Current children cumulated CPU time: 392.8 s
Current children cumulated vsize: 39716 KiB
Current children cumulated memory: 12884 KiB

[startup+462.301 s]
/proc/loadavg: 8.46 6.57 3.29 10/483 912438
/proc/meminfo: memFree=30377000/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39716 memory=12884 CPUtime=451.4 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2089 0 0 0 45139 1 0 0 20 0 1 0 481984563 40669184 3221 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9929 3221 1520 2 0 2341 0
Current children cumulated CPU time: 451.4 s
Current children cumulated vsize: 39716 KiB
Current children cumulated memory: 12884 KiB

[startup+522.301 s]
/proc/loadavg: 8.34 6.88 3.60 10/483 912448
/proc/meminfo: memFree=30376872/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39856 memory=13148 CPUtime=510.01 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2110 0 0 0 51000 1 0 0 20 0 1 0 481984563 40812544 3287 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9964 3287 1520 2 0 2376 0
Current children cumulated CPU time: 510.01 s
Current children cumulated vsize: 39856 KiB
Current children cumulated memory: 13148 KiB

[startup+582.301 s]
/proc/loadavg: 8.27 7.13 3.90 10/483 912458
/proc/meminfo: memFree=30376564/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=39856 memory=13148 CPUtime=568.62 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2131 0 0 0 56861 1 0 0 20 0 1 0 481984563 40812544 3287 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 9964 3287 1520 2 0 2376 0
Current children cumulated CPU time: 568.62 s
Current children cumulated vsize: 39856 KiB
Current children cumulated memory: 13148 KiB

[startup+642.301 s]
/proc/loadavg: 8.10 7.29 4.15 10/484 912469
/proc/meminfo: memFree=30376308/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=40000 memory=13148 CPUtime=627.15 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2153 0 0 0 62714 1 0 0 20 0 1 0 481984563 40960000 3287 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10000 3287 1520 2 0 2412 0
Current children cumulated CPU time: 627.15 s
Current children cumulated vsize: 40000 KiB
Current children cumulated memory: 13148 KiB

[startup+702.301 s]
/proc/loadavg: 8.03 7.42 4.40 10/484 912479
/proc/meminfo: memFree=30374780/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=40144 memory=13412 CPUtime=685.77 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2193 0 0 0 68576 1 0 0 20 0 1 0 481984563 41107456 3353 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10036 3353 1520 2 0 2448 0
Current children cumulated CPU time: 685.77 s
Current children cumulated vsize: 40144 KiB
Current children cumulated memory: 13412 KiB

[startup+762.301 s]
/proc/loadavg: 8.04 7.54 4.63 10/484 912490
/proc/meminfo: memFree=30374704/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=40144 memory=13412 CPUtime=744.38 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2206 0 0 0 74437 1 0 0 20 0 1 0 481984563 41107456 3353 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10036 3353 1520 2 0 2448 0
Current children cumulated CPU time: 744.38 s
Current children cumulated vsize: 40144 KiB
Current children cumulated memory: 13412 KiB

[startup+822.301 s]
/proc/loadavg: 8.36 7.72 4.88 11/484 912499
/proc/meminfo: memFree=30374792/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=40284 memory=13412 CPUtime=803 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2222 0 0 0 80299 1 0 0 20 0 1 0 481984563 41250816 3353 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10071 3353 1520 2 0 2483 0
Current children cumulated CPU time: 803 s
Current children cumulated vsize: 40284 KiB
Current children cumulated memory: 13412 KiB

[startup+882.301 s]
/proc/loadavg: 8.33 7.84 5.10 10/484 912509
/proc/meminfo: memFree=30374756/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=40284 memory=13676 CPUtime=861.61 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2225 0 0 0 86160 1 0 0 20 0 1 0 481984563 41250816 3419 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10071 3419 1520 2 0 2483 0
Current children cumulated CPU time: 861.61 s
Current children cumulated vsize: 40284 KiB
Current children cumulated memory: 13676 KiB

[startup+942.301 s]
/proc/loadavg: 8.54 7.98 5.32 10/483 912518
/proc/meminfo: memFree=30374144/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=40284 memory=13676 CPUtime=920.23 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2250 0 0 0 92022 1 0 0 20 0 1 0 481984563 41250816 3419 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10071 3419 1520 2 0 2483 0
Current children cumulated CPU time: 920.23 s
Current children cumulated vsize: 40284 KiB
Current children cumulated memory: 13676 KiB

[startup+1002.3 s]
/proc/loadavg: 8.55 8.09 5.52 10/483 912536
/proc/meminfo: memFree=30373848/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=40420 memory=13676 CPUtime=978.86 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2257 0 0 0 97885 1 0 0 20 0 1 0 481984563 41390080 3419 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10105 3419 1520 2 0 2517 0
Current children cumulated CPU time: 978.86 s
Current children cumulated vsize: 40420 KiB
Current children cumulated memory: 13676 KiB

[startup+1062.3 s]
/proc/loadavg: 8.45 8.15 5.71 10/483 912546
/proc/meminfo: memFree=30373612/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=40420 memory=13676 CPUtime=1037.48 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2285 0 0 0 103747 1 0 0 20 0 1 0 481984563 41390080 3419 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10105 3419 1520 2 0 2517 0
Current children cumulated CPU time: 1037.48 s
Current children cumulated vsize: 40420 KiB
Current children cumulated memory: 13676 KiB

[startup+1122.3 s]
/proc/loadavg: 8.20 8.13 5.86 10/483 912556
/proc/meminfo: memFree=30373328/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=40700 memory=13940 CPUtime=1096.11 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2340 0 0 0 109610 1 0 0 20 0 1 0 481984563 41676800 3485 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10175 3485 1520 2 0 2587 0
Current children cumulated CPU time: 1096.11 s
Current children cumulated vsize: 40700 KiB
Current children cumulated memory: 13940 KiB

[startup+1182.3 s]
/proc/loadavg: 8.07 8.11 6.00 11/483 912566
/proc/meminfo: memFree=30372736/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=40700 memory=13940 CPUtime=1154.73 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2356 0 0 0 115472 1 0 0 20 0 1 0 481984563 41676800 3485 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10175 3485 1520 2 0 2587 0
Current children cumulated CPU time: 1154.73 s
Current children cumulated vsize: 40700 KiB
Current children cumulated memory: 13940 KiB

[startup+1242.3 s]
/proc/loadavg: 8.02 8.08 6.12 10/483 912576
/proc/meminfo: memFree=30372424/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=40840 memory=14204 CPUtime=1213.35 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2394 0 0 0 121334 1 0 0 20 0 1 0 481984563 41820160 3551 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10210 3551 1520 2 0 2622 0
Current children cumulated CPU time: 1213.35 s
Current children cumulated vsize: 40840 KiB
Current children cumulated memory: 14204 KiB

[startup+1302.3 s]
/proc/loadavg: 8.30 8.14 6.27 10/483 912596
/proc/meminfo: memFree=30372160/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=40984 memory=14468 CPUtime=1271.96 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2425 0 0 0 127195 1 0 0 20 0 1 0 481984563 41967616 3617 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10246 3617 1520 2 0 2658 0
Current children cumulated CPU time: 1271.96 s
Current children cumulated vsize: 40984 KiB
Current children cumulated memory: 14468 KiB

[startup+1362.3 s]
/proc/loadavg: 8.39 8.21 6.41 11/482 912606
/proc/meminfo: memFree=30372000/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=41380 memory=14732 CPUtime=1330.59 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2549 0 0 0 133058 1 0 0 20 0 1 0 481984563 42373120 3683 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10345 3683 1520 2 0 2757 0
Current children cumulated CPU time: 1330.59 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 14732 KiB

[startup+1422.3 s]
/proc/loadavg: 8.43 8.26 6.55 10/482 912615
/proc/meminfo: memFree=30371900/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=41380 memory=14732 CPUtime=1389.21 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2552 0 0 0 138920 1 0 0 20 0 1 0 481984563 42373120 3683 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10345 3683 1520 2 0 2757 0
Current children cumulated CPU time: 1389.21 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 14732 KiB

[startup+1482.3 s]
/proc/loadavg: 8.35 8.28 6.67 10/482 912624
/proc/meminfo: memFree=30371712/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=41380 memory=14732 CPUtime=1447.84 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2552 0 0 0 144783 1 0 0 20 0 1 0 481984563 42373120 3683 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10345 3683 1520 2 0 2757 0
Current children cumulated CPU time: 1447.84 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 14732 KiB

[startup+1542.3 s]
/proc/loadavg: 8.20 8.24 6.76 10/482 912633
/proc/meminfo: memFree=30371824/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=41380 memory=14732 CPUtime=1506.46 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2553 0 0 0 150645 1 0 0 20 0 1 0 481984563 42373120 3683 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10345 3683 1520 2 0 2757 0
Current children cumulated CPU time: 1506.46 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 14732 KiB

[startup+1602.3 s]
/proc/loadavg: 8.33 8.27 6.86 10/482 912643
/proc/meminfo: memFree=30371804/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=41380 memory=14992 CPUtime=1565.08 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2561 0 0 0 156507 1 0 0 20 0 1 0 481984563 42373120 3748 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10345 3748 1520 2 0 2757 0
Current children cumulated CPU time: 1565.08 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 14992 KiB

[startup+1662.3 s]
/proc/loadavg: 8.12 8.22 6.94 10/483 912653
/proc/meminfo: memFree=30371588/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=41380 memory=14992 CPUtime=1623.69 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2565 0 0 0 162368 1 0 0 20 0 1 0 481984563 42373120 3748 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10345 3748 1520 2 0 2757 0
Current children cumulated CPU time: 1623.69 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 14992 KiB

[startup+1722.3 s]
/proc/loadavg: 8.04 8.18 7.01 10/483 912663
/proc/meminfo: memFree=30370804/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=41380 memory=14992 CPUtime=1682.31 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2566 0 0 0 168230 1 0 0 20 0 1 0 481984563 42373120 3748 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10345 3748 1520 2 0 2757 0
Current children cumulated CPU time: 1682.31 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 14992 KiB

[startup+1782.3 s]
/proc/loadavg: 8.09 8.16 7.08 10/483 912673
/proc/meminfo: memFree=30370820/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=41380 memory=14992 CPUtime=1740.93 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2568 0 0 0 174092 1 0 0 20 0 1 0 481984563 42373120 3748 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10345 3748 1520 2 0 2757 0
Current children cumulated CPU time: 1740.93 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 14992 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 6.95 7.90 7.02 5/444 912693
/proc/meminfo: memFree=30456636/32713960 swapFree=33554428/33554428
[pid=912366] ppid=912365 vsize=41380 memory=14992 CPUtime=1758.29 cores=5
/proc/912366/stat : 912366 (pigeonPurSampli) R 912365 912366 912344 0 -1 4194304 2568 0 0 0 175827 2 0 0 20 0 1 0 481984563 42373120 3748 18446744073709551615 94329867005952 94329867010064 140735725266832 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 481984570 0 0 94329869110528 94329869111300 94329872420864 140735725269524 140735725269634 140735725269634 140735725273057 0
/proc/912366/statm: 10345 3748 1520 2 0 2757 0
Current children cumulated CPU time: 1758.29 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 14992 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Detected pigeons:

[startup+1800.03 s]
# the end of solver process 912366 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1758.29 s, system=0.02216 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 1800.03
CPU time (s): 1758.32
CPU user time (s): 1758.29
CPU system time (s): 0.02216
CPU usage (%): 97.6824
Max. virtual memory (cumulated for all children) (KiB): 41380
Max. memory (cumulated for all children) (KiB): 14992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.29
system time used= 0.02216
maximum resident set size= 14992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2570
page faults= 0
swaps= 0
block input operations= 200
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 39029


# summary of solver processes directly reported to runsolver:
#   pid: 912366
#   total CPU time (s): 1758.32
#   total CPU user time (s): 1758.29
#   total CPU system time (s): 0.02216

??? end of timestamper thread
runsolver used 14.418 second user time and 19.3365 second system time

The end
