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: 63665 MiB (62048 MiB free)
  memory of node 1: 64507 MiB (63713 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=35281, runsolver pid=35278
Current StackSize limit: 8192 KiB


[startup+0.100026 s]*
/proc/loadavg: 1.27 1.12 1.14 5/267 35282
/proc/meminfo: memFree=128776036/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=55032 memory=16812 CPUtime=0.09 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 2243 0 0 0 9 0 0 0 20 0 1 0 43589765 56352768 4203 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 13758 4203 1696 2271 0 8396 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55032 KiB
Current children cumulated memory: 16812 KiB

[startup+0.205346 s]*
/proc/loadavg: 1.27 1.12 1.14 5/267 35282
/proc/meminfo: memFree=128743668/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=71992 memory=33916 CPUtime=0.2 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 5795 0 0 0 19 1 0 0 20 0 1 0 43589765 73719808 8447 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 17998 8447 1824 2271 0 12636 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71992 KiB
Current children cumulated memory: 33916 KiB

[startup+0.305459 s]*
/proc/loadavg: 1.27 1.12 1.14 5/267 35282
/proc/meminfo: memFree=128719092/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=109952 memory=70300 CPUtime=0.29 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 12695 0 0 0 27 2 0 0 20 0 1 0 43589765 112590848 17575 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 27488 17575 1888 2271 0 22126 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 109952 KiB
Current children cumulated memory: 70300 KiB

[startup+0.700169 s]
/proc/loadavg: 1.27 1.12 1.14 5/267 35282
/proc/meminfo: memFree=128719092/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=226224 memory=178716 CPUtime=0.68 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 38482 0 0 0 62 6 0 0 20 0 1 0 43589765 231653376 44679 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 56556 44679 3296 2271 0 51194 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 226224 KiB
Current children cumulated memory: 178716 KiB

[startup+1.50017 s]
/proc/loadavg: 1.27 1.12 1.14 5/267 35282
/proc/meminfo: memFree=128453232/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=320868 memory=271644 CPUtime=1.48 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 61632 0 0 0 138 10 0 0 20 0 1 0 43589765 328568832 67911 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 80217 67911 3392 2271 0 74855 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 320868 KiB
Current children cumulated memory: 271644 KiB

[startup+3.10551 s]
/proc/loadavg: 1.27 1.12 1.14 5/267 35282
/proc/meminfo: memFree=127860924/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=650044 memory=557516 CPUtime=3.08 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 93881 0 0 0 290 18 0 0 20 0 1 0 43589765 665645056 139379 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 162511 139379 3424 2271 0 157149 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 650044 KiB
Current children cumulated memory: 557516 KiB

[startup+6.30016 s]
/proc/loadavg: 1.49 1.16 1.15 4/265 35282
/proc/meminfo: memFree=127926472/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=697156 memory=581568 CPUtime=6.27 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 98836 0 0 0 608 19 0 0 20 0 1 0 43589765 713887744 145392 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 174289 145392 3456 2271 0 168927 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 697156 KiB
Current children cumulated memory: 581568 KiB

[startup+12.7001 s]
/proc/loadavg: 1.69 1.21 1.17 5/267 35327
/proc/meminfo: memFree=127345276/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=745588 memory=585692 CPUtime=12.65 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 99373 0 0 0 1246 19 0 0 20 0 1 0 43589765 763482112 146423 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 186397 146423 3456 2271 0 181035 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 745588 KiB
Current children cumulated memory: 585692 KiB

[startup+25.5002 s]
/proc/loadavg: 2.28 1.37 1.22 5/267 35327
/proc/meminfo: memFree=127297728/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=864264 memory=592604 CPUtime=25.41 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 101095 0 0 0 2522 19 0 0 20 0 1 0 43589765 885006336 148151 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 216066 148151 3456 2271 0 210704 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 864264 KiB
Current children cumulated memory: 592604 KiB

[startup+51.1056 s]
/proc/loadavg: 2.87 1.58 1.30 5/267 35328
/proc/meminfo: memFree=126898568/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=997460 memory=714184 CPUtime=50.95 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 130994 0 0 0 5071 24 0 0 20 0 1 0 43589765 1021399040 178546 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 249365 178546 3456 2271 0 244003 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 997460 KiB
Current children cumulated memory: 714184 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 1.97 1.44 5/266 35373
/proc/meminfo: memFree=126690760/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1077348 memory=720696 CPUtime=101.96 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 131032 0 0 0 10172 24 0 0 20 0 1 0 43589765 1103204352 180174 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 269337 180174 3520 2271 0 263975 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1077348 KiB
Current children cumulated memory: 720696 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.37 1.62 5/266 35375
/proc/meminfo: memFree=126388672/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1169768 memory=806072 CPUtime=161.74 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 151858 0 0 0 16147 27 0 0 20 0 1 0 43589765 1197842432 201518 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 292442 201518 3520 2271 0 287080 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1169768 KiB
Current children cumulated memory: 806072 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.68 1.77 5/265 35377
/proc/meminfo: memFree=126194440/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1211952 memory=829880 CPUtime=221.52 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 154496 0 0 0 22124 28 0 0 20 0 1 0 43589765 1241038848 207470 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 302988 207470 3520 2271 0 297626 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1211952 KiB
Current children cumulated memory: 829880 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 2.96 1.93 5/265 35379
/proc/meminfo: memFree=126031892/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1283764 memory=868152 CPUtime=281.33 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 163629 0 0 0 28104 29 0 0 20 0 1 0 43589765 1314574336 217038 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 320941 217038 3520 2271 0 315579 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 1283764 KiB
Current children cumulated memory: 868152 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 3.18 2.07 5/262 35381
/proc/meminfo: memFree=125862868/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1314592 memory=890044 CPUtime=341.17 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 173012 0 0 0 34086 31 0 0 20 0 1 0 43589765 1346142208 222511 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 328648 222511 3520 2271 0 323286 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 1314592 KiB
Current children cumulated memory: 890044 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.35 2.20 5/262 35383
/proc/meminfo: memFree=125760884/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1401436 memory=935552 CPUtime=400.98 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 174779 0 0 0 40067 31 0 0 20 0 1 0 43589765 1435070464 233888 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 350359 233888 3520 2271 0 344997 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 1401436 KiB
Current children cumulated memory: 935552 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.50 2.33 5/262 35385
/proc/meminfo: memFree=125526568/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1446408 memory=1008128 CPUtime=460.81 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 186459 0 0 0 46048 33 0 0 20 0 1 0 43589765 1481121792 252032 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 361602 252032 3520 2271 0 356240 0
Current children cumulated CPU time: 460.81 s

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

Current children cumulated memory: 1215548 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.01 5/263 35517
/proc/meminfo: memFree=124723700/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3034.15 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 241787 0 0 0 303223 192 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/263 35519
/proc/meminfo: memFree=124722796/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3094 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 241787 0 0 0 309205 195 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3094 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.01 5/263 35521
/proc/meminfo: memFree=124721840/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3153.85 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 241788 0 0 0 315189 196 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 35523
/proc/meminfo: memFree=124710404/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3213.7 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 241985 0 0 0 321173 197 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3213.7 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 35525
/proc/meminfo: memFree=124711996/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3273.55 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 241999 0 0 0 327156 199 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/262 35527
/proc/meminfo: memFree=124710020/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3333.4 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 241999 0 0 0 333139 201 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/262 35529
/proc/meminfo: memFree=124710540/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3393.25 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 241999 0 0 0 339122 203 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/262 35531
/proc/meminfo: memFree=124724160/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3453.1 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 242099 0 0 0 345106 204 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/262 35533
/proc/meminfo: memFree=124724332/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3512.95 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 242208 0 0 0 351090 205 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/262 35535
/proc/meminfo: memFree=124723804/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3572.8 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 242208 0 0 0 357073 207 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.15 4.11 4.03 5/263 35544
/proc/meminfo: memFree=124732012/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3600.03 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 242208 0 0 0 359795 208 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB

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

[startup+3611.25 s]
# the end of solver process 35281 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.6 s, system=2.0887 s

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

[startup+3610.4 s]
/proc/loadavg: 4.15 4.11 4.03 5/263 35544
/proc/meminfo: memFree=124732020/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3600.83 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 242208 0 0 0 359875 208 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3600.83 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB

[startup+3610.8 s]
/proc/loadavg: 4.15 4.11 4.03 5/263 35544
/proc/meminfo: memFree=124732020/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3601.23 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 242208 0 0 0 359915 208 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3601.23 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB

[startup+3611.2 s]
/proc/loadavg: 4.14 4.10 4.03 5/263 35544
/proc/meminfo: memFree=124732020/131250000 swapFree=33010684/33010684
[pid=35281] ppid=35278 vsize=1424484 memory=1215548 CPUtime=3601.63 cores=0,2
/proc/35281/stat : 35281 (ExactPR-S) R 35278 35281 35027 0 -1 4194304 242208 0 0 0 359955 208 0 0 20 0 1 0 43589765 1458671616 303887 18446744073709551615 94053010337792 94053019637829 140728802106368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94053021423936 94053021463016 94053052162048 140728802109825 140728802109962 140728802109962 140728802115564 0
/proc/35281/statm: 356121 303887 3520 2271 0 350759 0
Current children cumulated CPU time: 3601.63 s
Current children cumulated vsize: 1424484 KiB
Current children cumulated memory: 1215548 KiB

Child status: 10

Real time (s): 3611.25
CPU time (s): 3601.69
CPU user time (s): 3599.6
CPU system time (s): 2.0887
CPU usage (%): 99.7352
Max. virtual memory (cumulated for all children) (KiB): 1738940
Max. memory (cumulated for all children) (KiB): 1341856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.6
system time used= 2.0887
maximum resident set size= 1341856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242218
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= 181
involuntary context switches= 7887


# summary of solver processes directly reported to runsolver:
#   pid: 35281
#   total CPU time (s): 3601.69
#   total CPU user time (s): 3599.6
#   total CPU system time (s): 2.0887

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61054 second user time and 14.9963 second system time

The end