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 (63714 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=35272, runsolver pid=35269
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 1.27 1.12 1.14 5/267 35282
/proc/meminfo: memFree=128776036/131250000 swapFree=33010684/33010684
[pid=35272] ppid=35269 vsize=55160 memory=17016 CPUtime=0.09 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 2297 0 0 0 9 0 0 0 20 0 1 0 43589759 56483840 4254 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 13790 4254 1664 2271 0 8428 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55160 KiB
Current children cumulated memory: 17016 KiB

[startup+0.205403 s]*
/proc/loadavg: 1.27 1.12 1.14 5/267 35282
/proc/meminfo: memFree=128776036/131250000 swapFree=33010684/33010684
[pid=35272] ppid=35269 vsize=70568 memory=32920 CPUtime=0.2 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 5589 0 0 0 19 1 0 0 20 0 1 0 43589759 72261632 8230 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 17642 8230 1792 2271 0 12280 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70568 KiB
Current children cumulated memory: 32920 KiB

[startup+0.305427 s]*
/proc/loadavg: 1.27 1.12 1.14 5/267 35282
/proc/meminfo: memFree=128719092/131250000 swapFree=33010684/33010684
[pid=35272] ppid=35269 vsize=107556 memory=67884 CPUtime=0.3 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 11598 0 0 0 27 3 0 0 20 0 1 0 43589759 110137344 16971 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 26889 16971 1856 2271 0 21527 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107556 KiB
Current children cumulated memory: 67884 KiB

[startup+0.700145 s]
/proc/loadavg: 1.27 1.12 1.14 5/267 35282
/proc/meminfo: memFree=128719092/131250000 swapFree=33010684/33010684
[pid=35272] ppid=35269 vsize=220884 memory=173228 CPUtime=0.68 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 36617 0 0 0 61 7 0 0 20 0 1 0 43589759 226185216 43307 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 55221 43307 3264 2271 0 49859 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 220884 KiB
Current children cumulated memory: 173228 KiB

[startup+1.5002 s]
/proc/loadavg: 1.27 1.12 1.14 5/267 35282
/proc/meminfo: memFree=128485488/131250000 swapFree=33010684/33010684
[pid=35272] ppid=35269 vsize=321152 memory=272044 CPUtime=1.48 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 61206 0 0 0 138 10 0 0 20 0 1 0 43589759 328859648 68011 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 80288 68011 3392 2271 0 74926 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 321152 KiB
Current children cumulated memory: 272044 KiB

[startup+3.10565 s]
/proc/loadavg: 1.27 1.12 1.14 5/267 35282
/proc/meminfo: memFree=127863696/131250000 swapFree=33010684/33010684
[pid=35272] ppid=35269 vsize=649880 memory=557088 CPUtime=3.08 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 93514 0 0 0 290 18 0 0 20 0 1 0 43589759 665477120 139272 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 162470 139272 3424 2271 0 157108 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 649880 KiB
Current children cumulated memory: 557088 KiB

[startup+6.30015 s]
/proc/loadavg: 1.49 1.16 1.15 5/267 35282
/proc/meminfo: memFree=127813768/131250000 swapFree=33010684/33010684
[pid=35272] ppid=35269 vsize=711912 memory=587676 CPUtime=6.27 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 99644 0 0 0 608 19 0 0 20 0 1 0 43589759 728997888 146919 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 177978 146919 3424 2271 0 172616 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 711912 KiB
Current children cumulated memory: 587676 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=35272] ppid=35269 vsize=756260 memory=587804 CPUtime=12.65 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 99678 0 0 0 1246 19 0 0 20 0 1 0 43589759 774410240 146951 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 189065 146951 3424 2271 0 183703 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 756260 KiB
Current children cumulated memory: 587804 KiB

[startup+25.5001 s]
/proc/loadavg: 2.28 1.37 1.22 5/267 35327
/proc/meminfo: memFree=127297728/131250000 swapFree=33010684/33010684
[pid=35272] ppid=35269 vsize=866292 memory=590620 CPUtime=25.41 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 100367 0 0 0 2522 19 0 0 20 0 1 0 43589759 887083008 147655 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 216573 147655 3424 2271 0 211211 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 866292 KiB
Current children cumulated memory: 590620 KiB

[startup+51.1057 s]
/proc/loadavg: 2.87 1.58 1.30 5/267 35328
/proc/meminfo: memFree=126898568/131250000 swapFree=33010684/33010684
[pid=35272] ppid=35269 vsize=996120 memory=720924 CPUtime=50.93 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 132941 0 0 0 5069 24 0 0 20 0 1 0 43589759 1020026880 180231 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 249030 180231 3424 2271 0 243668 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 996120 KiB
Current children cumulated memory: 720924 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=35272] ppid=35269 vsize=996300 memory=732316 CPUtime=101.93 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 133238 0 0 0 10169 24 0 0 20 0 1 0 43589759 1020211200 183079 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 249075 183079 3424 2271 0 243713 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 996300 KiB
Current children cumulated memory: 732316 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=35272] ppid=35269 vsize=1053232 memory=792348 CPUtime=161.71 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 147092 0 0 0 16145 26 0 0 20 0 1 0 43589759 1078509568 198087 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 263308 198087 3424 2271 0 257946 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1053232 KiB
Current children cumulated memory: 792348 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=35272] ppid=35269 vsize=1116764 memory=841372 CPUtime=221.51 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 159275 0 0 0 22123 28 0 0 20 0 1 0 43589759 1143566336 210343 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 279191 210343 3520 2271 0 273829 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 1116764 KiB
Current children cumulated memory: 841372 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=35272] ppid=35269 vsize=1210152 memory=933264 CPUtime=281.29 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 189368 0 0 0 28096 33 0 0 20 0 1 0 43589759 1239195648 233316 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 302538 233316 3520 2271 0 297176 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 1210152 KiB
Current children cumulated memory: 933264 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=35272] ppid=35269 vsize=1253588 memory=967440 CPUtime=341.05 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 197945 0 0 0 34071 34 0 0 20 0 1 0 43589759 1283674112 241860 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 313397 241860 3520 2271 0 308035 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 1253588 KiB
Current children cumulated memory: 967440 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=35272] ppid=35269 vsize=1279944 memory=984332 CPUtime=400.83 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 199120 0 0 0 40048 35 0 0 20 0 1 0 43589759 1310662656 246083 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 319986 246083 3520 2271 0 314624 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 1279944 KiB
Current children cumulated memory: 984332 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=35272] ppid=35269 vsize=1355596 memory=1048232 CPUtime=460.6 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 210847 0 0 0 46023 37 0 0 20 0 1 0 43589759 1388130304 262058 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 338899 262058 3520 2271 0 333537 0

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

Current children cumulated memory: 1124840 KiB

[startup+2862.3 s]
/proc/loadavg: 4.18 4.11 4.01 5/262 35504
/proc/meminfo: memFree=124768416/131250000 swapFree=33010684/33010684
[pid=35272] ppid=35269 vsize=1315780 memory=1127016 CPUtime=2852.7 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269518 0 0 0 285088 182 0 0 20 0 1 0 43589759 1347358720 281754 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 281754 3520 2271 0 323583 0
Current children cumulated CPU time: 2852.7 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1127016 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.01 5/262 35506
/proc/meminfo: memFree=124774696/131250000 swapFree=33010684/33010684
[pid=35272] ppid=35269 vsize=1315780 memory=1137768 CPUtime=2912.53 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269527 0 0 0 291070 183 0 0 20 0 1 0 43589759 1347358720 284442 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 284442 3520 2271 0 323583 0
Current children cumulated CPU time: 2912.53 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1137768 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.01 5/262 35508
/proc/meminfo: memFree=124746892/131250000 swapFree=33010684/33010684
[pid=35272] ppid=35269 vsize=1315780 memory=1148008 CPUtime=2972.37 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269628 0 0 0 297053 184 0 0 20 0 1 0 43589759 1347358720 287002 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 287002 3520 2271 0 323583 0
Current children cumulated CPU time: 2972.37 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1148008 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=35272] ppid=35269 vsize=1315780 memory=1167848 CPUtime=3032.21 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269631 0 0 0 303036 185 0 0 20 0 1 0 43589759 1347358720 291962 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 291962 3520 2271 0 323583 0
Current children cumulated CPU time: 3032.21 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1167848 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=35272] ppid=35269 vsize=1315780 memory=1168232 CPUtime=3092.05 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269645 0 0 0 309019 186 0 0 20 0 1 0 43589759 1347358720 292058 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 292058 3520 2271 0 323583 0
Current children cumulated CPU time: 3092.05 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1168232 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=35272] ppid=35269 vsize=1315780 memory=1175016 CPUtime=3151.89 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269650 0 0 0 315001 188 0 0 20 0 1 0 43589759 1347358720 293754 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 293754 3520 2271 0 323583 0
Current children cumulated CPU time: 3151.89 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1175016 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=35272] ppid=35269 vsize=1315780 memory=1177576 CPUtime=3211.75 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269795 0 0 0 320985 190 0 0 20 0 1 0 43589759 1347358720 294394 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 294394 3520 2271 0 323583 0
Current children cumulated CPU time: 3211.75 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1177576 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=35272] ppid=35269 vsize=1315780 memory=1177576 CPUtime=3271.58 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269808 0 0 0 326967 191 0 0 20 0 1 0 43589759 1347358720 294394 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 294394 3520 2271 0 323583 0
Current children cumulated CPU time: 3271.58 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1177576 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=35272] ppid=35269 vsize=1315780 memory=1178472 CPUtime=3331.43 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269816 0 0 0 332951 192 0 0 20 0 1 0 43589759 1347358720 294618 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 294618 3520 2271 0 323583 0
Current children cumulated CPU time: 3331.43 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1178472 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=35272] ppid=35269 vsize=1315780 memory=1192680 CPUtime=3391.27 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269819 0 0 0 338934 193 0 0 20 0 1 0 43589759 1347358720 298170 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 298170 3520 2271 0 323583 0
Current children cumulated CPU time: 3391.27 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1192680 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=35272] ppid=35269 vsize=1315780 memory=1192808 CPUtime=3451.12 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269918 0 0 0 344917 195 0 0 20 0 1 0 43589759 1347358720 298202 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 298202 3520 2271 0 323583 0
Current children cumulated CPU time: 3451.12 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1192808 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=35272] ppid=35269 vsize=1315780 memory=1192808 CPUtime=3510.97 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269995 0 0 0 350901 196 0 0 20 0 1 0 43589759 1347358720 298202 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 298202 3520 2271 0 323583 0
Current children cumulated CPU time: 3510.97 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1192808 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=35272] ppid=35269 vsize=1315780 memory=1192808 CPUtime=3570.8 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269995 0 0 0 356883 197 0 0 20 0 1 0 43589759 1347358720 298202 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 298202 3520 2271 0 323583 0
Current children cumulated CPU time: 3570.8 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1192808 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.14 4.10 4.03 5/263 35544
/proc/meminfo: memFree=124732020/131250000 swapFree=33010684/33010684
[pid=35272] ppid=35269 vsize=1315780 memory=1192808 CPUtime=3600.03 cores=5,7
/proc/35272/stat : 35272 (ExactPR-S) R 35269 35272 35027 0 -1 4194304 269997 0 0 0 359805 198 0 0 20 0 1 0 43589759 1347358720 298202 18446744073709551615 93914100264960 93914109564997 140730046575808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93914111351104 93914111390184 93914135695360 140730046585217 140730046585354 140730046585354 140730046590956 0
/proc/35272/statm: 328945 298202 3520 2271 0 323583 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1315780 KiB
Current children cumulated memory: 1192808 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.06 s, system=1.99126 s

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

Child status: 10

Real time (s): 3611.61
CPU time (s): 3600.05
CPU user time (s): 3598.06
CPU system time (s): 1.99126
CPU usage (%): 99.68
Max. virtual memory (cumulated for all children) (KiB): 1644744
Max. memory (cumulated for all children) (KiB): 1285980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.06
system time used= 1.99126
maximum resident set size= 1285980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270006
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= 172
involuntary context switches= 3953


# summary of solver processes directly reported to runsolver:
#   pid: 35272
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.06
#   total CPU system time (s): 1.99126

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22726 second user time and 15.149 second system time

The end