runsolver version 3.4.2 (svn: 4680) 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: 63794 MiB (63012 MiB free)
  memory of node 1: 64507 MiB (63223 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499559-1751410791/watcher-4499559-1751410791 -o /tmp/evaluation-result-4499559-1751410791/solver-4499559-1751410791 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751410791-58958 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4499559-1751410791.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=59010, runsolver pid=58998

[startup+0.100094 s]*
/proc/loadavg: 0.49 0.93 1.37 7/254 59017
/proc/meminfo: memFree=129254628/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=51304 memory=10880 CPUtime=0.09 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 1235 0 0 0 8 1 0 0 20 0 1 0 56758511 52535296 2720 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 12826 2720 1696 2271 0 7464 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51304 KiB
Current children cumulated memory: 10880 KiB

[startup+0.213007 s]*
/proc/loadavg: 0.49 0.93 1.37 6/254 59017
/proc/meminfo: memFree=129242472/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=53284 memory=15172 CPUtime=0.2 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 1786 0 0 0 19 1 0 0 20 0 1 0 56758511 54562816 3793 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 13321 3793 1696 2271 0 7959 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53284 KiB
Current children cumulated memory: 15172 KiB

[startup+0.312804 s]*
/proc/loadavg: 0.49 0.93 1.37 6/254 59017
/proc/meminfo: memFree=129241968/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=55392 memory=17220 CPUtime=0.29 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 2320 0 0 0 28 1 0 0 20 0 1 0 56758511 56721408 4305 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 13848 4305 1696 2271 0 8486 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55392 KiB
Current children cumulated memory: 17220 KiB

[startup+0.700288 s]
/proc/loadavg: 0.49 0.93 1.37 6/254 59017
/proc/meminfo: memFree=129175684/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=91448 memory=55604 CPUtime=0.67 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 11128 0 0 0 62 5 0 0 20 0 1 0 56758511 93642752 13901 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 22862 13901 1888 2271 0 17500 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 91448 KiB
Current children cumulated memory: 55604 KiB

[startup+1.50028 s]
/proc/loadavg: 0.49 0.93 1.37 7/254 59017
/proc/meminfo: memFree=129039868/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=212288 memory=171444 CPUtime=1.46 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 38746 0 0 0 134 12 0 0 20 0 1 0 56758511 217382912 42861 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 53072 42861 3328 2271 0 47710 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 212288 KiB
Current children cumulated memory: 171444 KiB

[startup+3.11257 s]
/proc/loadavg: 0.49 0.93 1.37 7/254 59017
/proc/meminfo: memFree=128323320/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=324580 memory=282036 CPUtime=3.07 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 64347 0 0 0 290 17 0 0 20 0 1 0 56758511 332369920 70509 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 81145 70509 3424 2271 0 75783 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 324580 KiB
Current children cumulated memory: 282036 KiB

[startup+6.30024 s]
/proc/loadavg: 0.77 0.98 1.39 7/254 59017
/proc/meminfo: memFree=128307232/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=324948 memory=282164 CPUtime=6.24 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 64396 0 0 0 607 17 0 0 20 0 1 0 56758511 332746752 70541 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 81237 70541 3424 2271 0 75875 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 324948 KiB
Current children cumulated memory: 282164 KiB

[startup+12.7003 s]
/proc/loadavg: 1.03 1.03 1.40 7/254 59017
/proc/meminfo: memFree=128299168/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=324948 memory=282164 CPUtime=12.62 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 64400 0 0 0 1245 17 0 0 20 0 1 0 56758511 332746752 70541 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 81237 70541 3424 2271 0 75875 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 324948 KiB
Current children cumulated memory: 282164 KiB

[startup+25.5003 s]
/proc/loadavg: 1.69 1.18 1.44 7/254 59017
/proc/meminfo: memFree=128275008/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=325904 memory=283188 CPUtime=25.37 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 64640 0 0 0 2520 17 0 0 20 0 1 0 56758511 333725696 70797 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 81476 70797 3424 2271 0 76114 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 325904 KiB
Current children cumulated memory: 283188 KiB

[startup+51.1129 s]
/proc/loadavg: 2.48 1.41 1.51 7/254 59018
/proc/meminfo: memFree=128258160/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=325904 memory=283188 CPUtime=50.88 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 64640 0 0 0 5071 17 0 0 20 0 1 0 56758511 333725696 70797 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 81476 70797 3424 2271 0 76114 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 325904 KiB
Current children cumulated memory: 283188 KiB

[startup+102.3 s]
/proc/loadavg: 3.39 1.82 1.65 7/253 59035
/proc/meminfo: memFree=128189092/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=352996 memory=300868 CPUtime=101.87 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 68034 0 0 0 10169 18 0 0 20 0 1 0 56758511 361467904 75217 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 88249 75217 3424 2271 0 82887 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 352996 KiB
Current children cumulated memory: 300868 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.25 1.81 7/254 59038
/proc/meminfo: memFree=128140580/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=365336 memory=307396 CPUtime=161.64 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 69682 0 0 0 16145 19 0 0 20 0 1 0 56758511 374104064 76849 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 91334 76849 3424 2271 0 85972 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 365336 KiB
Current children cumulated memory: 307396 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.59 1.96 7/253 59040
/proc/meminfo: memFree=128064008/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=381784 memory=317892 CPUtime=221.4 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 72306 0 0 0 22121 19 0 0 20 0 1 0 56758511 390946816 79473 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 95446 79473 3424 2271 0 90084 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 381784 KiB
Current children cumulated memory: 317892 KiB

[startup+282.3 s]
/proc/loadavg: 4.01 2.85 2.09 7/253 59046
/proc/meminfo: memFree=127985064/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=395056 memory=325828 CPUtime=281.16 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 74299 0 0 0 28097 19 0 0 20 0 1 0 56758511 404537344 81457 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 98764 81457 3424 2271 0 93402 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 395056 KiB
Current children cumulated memory: 325828 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.09 2.22 7/251 59048
/proc/meminfo: memFree=127929956/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=412596 memory=337348 CPUtime=340.92 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77171 0 0 0 34072 20 0 0 20 0 1 0 56758511 422498304 84337 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 103149 84337 3424 2271 0 97787 0
Current children cumulated CPU time: 340.92 s
Current children cumulated vsize: 412596 KiB
Current children cumulated memory: 337348 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.27 2.34 7/251 59050
/proc/meminfo: memFree=127899012/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=412596 memory=347716 CPUtime=400.68 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77173 0 0 0 40048 20 0 0 20 0 1 0 56758511 422498304 86929 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 103149 86929 3424 2271 0 97787 0
Current children cumulated CPU time: 400.68 s
Current children cumulated vsize: 412596 KiB
Current children cumulated memory: 347716 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.42 2.45 7/251 59053
/proc/meminfo: memFree=127884940/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=412596 memory=348740 CPUtime=460.49 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77176 0 0 0 46029 20 0 0 20 0 1 0 56758511 422498304 87185 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 103149 87185 3424 2271 0 97787 0
Current children cumulated CPU time: 460.49 s

################
# More data... #
################

/proc/loadavg: 4.14 3.75 2.76 7/252 59062
/proc/meminfo: memFree=127812308/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=412596 memory=368068 CPUtime=639.95 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77219 0 0 0 63975 20 0 0 20 0 1 0 56758511 422498304 92017 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 103149 92017 3552 2271 0 97787 0
Current children cumulated CPU time: 639.95 s
Current children cumulated vsize: 412596 KiB
Current children cumulated memory: 368068 KiB

[startup+702.3 s]
/proc/loadavg: 4.05 3.80 2.84 7/252 59065
/proc/meminfo: memFree=127799688/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=412596 memory=368068 CPUtime=699.78 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77260 0 0 0 69958 20 0 0 20 0 1 0 56758511 422498304 92017 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 103149 92017 3552 2271 0 97787 0
Current children cumulated CPU time: 699.78 s
Current children cumulated vsize: 412596 KiB
Current children cumulated memory: 368068 KiB

[startup+762.3 s]
/proc/loadavg: 4.14 3.87 2.92 7/252 59067
/proc/meminfo: memFree=127797744/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=412596 memory=368068 CPUtime=759.62 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77260 0 0 0 75942 20 0 0 20 0 1 0 56758511 422498304 92017 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 103149 92017 3552 2271 0 97787 0
Current children cumulated CPU time: 759.62 s
Current children cumulated vsize: 412596 KiB
Current children cumulated memory: 368068 KiB

[startup+822.3 s]
/proc/loadavg: 4.11 3.91 3.00 7/250 59069
/proc/meminfo: memFree=127781316/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=412596 memory=368068 CPUtime=819.44 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77262 0 0 0 81924 20 0 0 20 0 1 0 56758511 422498304 92017 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 103149 92017 3552 2271 0 97787 0
Current children cumulated CPU time: 819.44 s
Current children cumulated vsize: 412596 KiB
Current children cumulated memory: 368068 KiB

[startup+882.3 s]
/proc/loadavg: 4.09 3.95 3.07 7/251 59076
/proc/meminfo: memFree=127767224/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=412596 memory=368068 CPUtime=879.27 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77267 0 0 0 87907 20 0 0 20 0 1 0 56758511 422498304 92017 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 103149 92017 3552 2271 0 97787 0
Current children cumulated CPU time: 879.27 s
Current children cumulated vsize: 412596 KiB
Current children cumulated memory: 368068 KiB

[startup+942.3 s]
/proc/loadavg: 4.10 3.97 3.14 7/251 59078
/proc/meminfo: memFree=127701736/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=412596 memory=368068 CPUtime=939.11 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77303 0 0 0 93891 20 0 0 20 0 1 0 56758511 422498304 92017 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 103149 92017 3552 2271 0 97787 0
Current children cumulated CPU time: 939.11 s
Current children cumulated vsize: 412596 KiB
Current children cumulated memory: 368068 KiB

[startup+1002.3 s]
/proc/loadavg: 4.09 4.00 3.20 7/251 59080
/proc/meminfo: memFree=127747436/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=395532 memory=356128 CPUtime=998.93 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77426 0 0 0 99866 27 0 0 20 0 1 0 56758511 405024768 89032 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 98883 89032 3552 2271 0 93521 0
Current children cumulated CPU time: 998.93 s
Current children cumulated vsize: 395532 KiB
Current children cumulated memory: 356128 KiB

[startup+1062.3 s]
/proc/loadavg: 4.07 4.01 3.26 7/252 59083
/proc/meminfo: memFree=127754296/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=394664 memory=357320 CPUtime=1058.81 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77432 0 0 0 105324 557 0 0 20 0 1 0 56758511 404135936 89330 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 98666 89330 3552 2271 0 93304 0
Current children cumulated CPU time: 1058.81 s
Current children cumulated vsize: 394664 KiB
Current children cumulated memory: 357320 KiB

[startup+1122.3 s]
/proc/loadavg: 3.61 3.91 3.27 5/246 59168
/proc/meminfo: memFree=128243684/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=394664 memory=359368 CPUtime=1118.65 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77437 0 0 0 111305 560 0 0 20 0 1 0 56758511 404135936 89842 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 98666 89842 3552 2271 0 93304 0
Current children cumulated CPU time: 1118.65 s
Current children cumulated vsize: 394664 KiB
Current children cumulated memory: 359368 KiB

[startup+1131.34 s]
# the end of solver process 59010 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1122.07 s, system=5.61356 s

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

[startup+1126.4 s]
/proc/loadavg: 3.56 3.89 3.27 5/246 59168
/proc/meminfo: memFree=128243936/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=394664 memory=359368 CPUtime=1122.74 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77437 0 0 0 111713 561 0 0 20 0 1 0 56758511 404135936 89842 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 98666 89842 3552 2271 0 93304 0
Current children cumulated CPU time: 1122.74 s
Current children cumulated vsize: 394664 KiB
Current children cumulated memory: 359368 KiB

[startup+1129.6 s]
/proc/loadavg: 3.52 3.88 3.27 5/246 59168
/proc/meminfo: memFree=128244188/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=394664 memory=361416 CPUtime=1125.94 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77438 0 0 0 112033 561 0 0 20 0 1 0 56758511 404135936 90354 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 98666 90354 3552 2271 0 93304 0
Current children cumulated CPU time: 1125.94 s
Current children cumulated vsize: 394664 KiB
Current children cumulated memory: 361416 KiB

[startup+1130.4 s]
/proc/loadavg: 3.52 3.88 3.27 5/246 59168
/proc/meminfo: memFree=128244188/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=394664 memory=361416 CPUtime=1126.74 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77438 0 0 0 112113 561 0 0 20 0 1 0 56758511 404135936 90354 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 98666 90354 3552 2271 0 93304 0
Current children cumulated CPU time: 1126.74 s
Current children cumulated vsize: 394664 KiB
Current children cumulated memory: 361416 KiB

[startup+1130.8 s]
/proc/loadavg: 3.52 3.88 3.27 5/246 59168
/proc/meminfo: memFree=128244188/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=394664 memory=361416 CPUtime=1127.13 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77438 0 0 0 112152 561 0 0 20 0 1 0 56758511 404135936 90354 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 98666 90354 3552 2271 0 93304 0
Current children cumulated CPU time: 1127.13 s
Current children cumulated vsize: 394664 KiB
Current children cumulated memory: 361416 KiB

[startup+1131.2 s]
/proc/loadavg: 3.52 3.88 3.27 5/246 59168
/proc/meminfo: memFree=128244188/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=394664 memory=361416 CPUtime=1127.53 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77438 0 0 0 112192 561 0 0 20 0 1 0 56758511 404135936 90354 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 98666 90354 3552 2271 0 93304 0
Current children cumulated CPU time: 1127.53 s
Current children cumulated vsize: 394664 KiB
Current children cumulated memory: 361416 KiB

[startup+1131.3 s]
/proc/loadavg: 3.52 3.88 3.27 5/246 59168
/proc/meminfo: memFree=128244188/131382120 swapFree=33010416/33010684
[pid=59010] ppid=58998 vsize=394664 memory=361416 CPUtime=1127.63 cores=4,6
/proc/59010/stat : 59010 (ExactPR-S) R 58998 59010 58520 0 -1 4194304 77438 0 0 0 112202 561 0 0 20 0 1 0 56758511 404135936 90354 18446744073709551615 94095115448320 94095124748357 140728539723680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94095126534464 94095126573544 94095161155584 140728539732353 140728539732490 140728539732490 140728539738092 0
/proc/59010/statm: 98666 90354 3552 2271 0 93304 0
Current children cumulated CPU time: 1127.63 s
Current children cumulated vsize: 394664 KiB
Current children cumulated memory: 361416 KiB

Child status: 30

Real time (s): 1131.34
CPU time (s): 1127.68
CPU user time (s): 1122.07
CPU system time (s): 5.61356
CPU usage (%): 99.6765
Max. virtual memory (cumulated for all children) (KiB): 412596
Max. memory (cumulated for all children) (KiB): 368068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1122.07
system time used= 5.61356
maximum resident set size= 368068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77447
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 216
involuntary context switches= 5788


# summary of solver processes directly reported to runsolver:
#   pid: 59010
#   total CPU time (s): 1127.68
#   total CPU user time (s): 1122.07
#   total CPU system time (s): 5.61356

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.46639 second user time and 10.1534 second system time

The end