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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=35326, runsolver pid=35323
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.49 1.16 1.15 5/267 35327
/proc/meminfo: memFree=127862864/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=54616 memory=15908 CPUtime=0.08 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 2091 0 0 0 8 0 0 0 20 0 1 0 43590434 55926784 3977 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 13654 3977 1600 2271 0 8292 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54616 KiB
Current children cumulated memory: 15908 KiB

[startup+0.205427 s]*
/proc/loadavg: 1.49 1.16 1.15 5/267 35327
/proc/meminfo: memFree=127858768/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=87276 memory=43376 CPUtime=0.19 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 6212 0 0 0 18 1 0 0 20 0 1 0 43590434 89370624 10844 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 21819 10844 1728 2271 0 16457 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 87276 KiB
Current children cumulated memory: 43376 KiB

[startup+0.305531 s]*
/proc/loadavg: 1.49 1.16 1.15 5/267 35327
/proc/meminfo: memFree=127813592/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=104632 memory=62180 CPUtime=0.29 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 11323 0 0 0 27 2 0 0 20 0 1 0 43590434 107143168 15545 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 26158 15545 1792 2271 0 20796 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 104632 KiB
Current children cumulated memory: 62180 KiB

[startup+0.700186 s]
/proc/loadavg: 1.49 1.16 1.15 5/267 35327
/proc/meminfo: memFree=127805576/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=236860 memory=187108 CPUtime=0.68 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 41188 0 0 0 61 7 0 0 20 0 1 0 43590434 242544640 46777 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 59215 46777 3264 2271 0 53853 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 236860 KiB
Current children cumulated memory: 187108 KiB

[startup+1.50018 s]
/proc/loadavg: 1.49 1.16 1.15 5/267 35327
/proc/meminfo: memFree=127636484/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=405416 memory=328280 CPUtime=1.47 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 58013 0 0 0 136 11 0 0 20 0 1 0 43590434 415145984 82070 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 101354 82070 3328 2271 0 95992 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 405416 KiB
Current children cumulated memory: 328280 KiB

[startup+3.1056 s]
/proc/loadavg: 1.69 1.21 1.17 5/267 35327
/proc/meminfo: memFree=127364680/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=582132 memory=500384 CPUtime=3.07 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 83837 0 0 0 291 16 0 0 20 0 1 0 43590434 596103168 125096 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 145533 125096 3360 2271 0 140171 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 582132 KiB
Current children cumulated memory: 500384 KiB

[startup+6.30013 s]
/proc/loadavg: 1.69 1.21 1.17 5/267 35327
/proc/meminfo: memFree=127329084/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=633348 memory=527812 CPUtime=6.26 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 88164 0 0 0 608 18 0 0 20 0 1 0 43590434 648548352 131953 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 158337 131953 3360 2271 0 152975 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 633348 KiB
Current children cumulated memory: 527812 KiB

[startup+12.7001 s]
/proc/loadavg: 1.87 1.26 1.18 5/267 35327
/proc/meminfo: memFree=127321784/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=656040 memory=529956 CPUtime=12.65 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 88172 0 0 0 1247 18 0 0 20 0 1 0 43590434 671784960 132489 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 164010 132489 3360 2271 0 158648 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 656040 KiB
Current children cumulated memory: 529956 KiB

[startup+25.5002 s]
/proc/loadavg: 2.41 1.41 1.24 5/267 35327
/proc/meminfo: memFree=127059800/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=779128 memory=548348 CPUtime=25.41 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 92285 0 0 0 2522 19 0 0 20 0 1 0 43590434 797827072 137087 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 194782 137087 3360 2271 0 189420 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 779128 KiB
Current children cumulated memory: 548348 KiB

[startup+51.1055 s]
/proc/loadavg: 2.96 1.62 1.31 5/267 35328
/proc/meminfo: memFree=126882440/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=906740 memory=676860 CPUtime=50.93 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 124430 0 0 0 5070 23 0 0 20 0 1 0 43590434 928501760 169215 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 226685 169215 3360 2271 0 221323 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 906740 KiB
Current children cumulated memory: 676860 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.00 1.46 6/266 35374
/proc/meminfo: memFree=126666872/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=919732 memory=690172 CPUtime=101.94 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 127737 0 0 0 10170 24 0 0 20 0 1 0 43590434 941805568 172543 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 229933 172543 3360 2271 0 224571 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 919732 KiB
Current children cumulated memory: 690172 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.40 1.63 5/266 35376
/proc/meminfo: memFree=126332748/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1026284 memory=753404 CPUtime=161.75 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 143569 0 0 0 16148 27 0 0 20 0 1 0 43590434 1050914816 188351 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 256571 188351 3360 2271 0 251209 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1026284 KiB
Current children cumulated memory: 753404 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.71 1.79 6/265 35377
/proc/meminfo: memFree=126193508/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1077636 memory=783524 CPUtime=221.56 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 154920 0 0 0 22127 29 0 0 20 0 1 0 43590434 1103499264 195881 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 269409 195881 3488 2271 0 264047 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1077636 KiB
Current children cumulated memory: 783524 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 2.97 1.94 5/264 35379
/proc/meminfo: memFree=125970752/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1110884 memory=816548 CPUtime=281.37 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 163238 0 0 0 28107 30 0 0 20 0 1 0 43590434 1137545216 204137 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 277721 204137 3488 2271 0 272359 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 1110884 KiB
Current children cumulated memory: 816548 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 3.19 2.08 5/262 35381
/proc/meminfo: memFree=125863476/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1153272 memory=858812 CPUtime=341.19 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 173313 0 0 0 34088 31 0 0 20 0 1 0 43590434 1180950528 214703 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 288318 214703 3488 2271 0 282956 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 1153272 KiB
Current children cumulated memory: 858812 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 3.38 2.21 5/262 35383
/proc/meminfo: memFree=125753780/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1198628 memory=889072 CPUtime=401.02 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 181869 0 0 0 40069 33 0 0 20 0 1 0 43590434 1227395072 222268 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 299657 222268 3488 2271 0 294295 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 1198628 KiB
Current children cumulated memory: 889072 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.51 2.33 5/262 35385
/proc/meminfo: memFree=125514800/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1288200 memory=955936 CPUtime=460.85 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 192979 0 0 0 46050 35 0 0 20 0 1 0 43590434 1319116800 238984 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 322050 238984 3488 2271 0 316688 0
Current children cumulated CPU time: 460.85 s

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

Current children cumulated memory: 1167232 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.11 4.01 5/262 35504
/proc/meminfo: memFree=124766744/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=2854.65 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 236499 0 0 0 285257 208 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 2854.65 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/262 35506
/proc/meminfo: memFree=124770600/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=2914.48 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 236499 0 0 0 291238 210 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 2914.48 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.01 5/262 35508
/proc/meminfo: memFree=124747152/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=2974.31 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 236628 0 0 0 297218 213 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 2974.31 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/263 35517
/proc/meminfo: memFree=124740160/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=3034.14 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 236682 0 0 0 303198 216 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 3034.14 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/263 35519
/proc/meminfo: memFree=124718496/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=3093.97 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 236682 0 0 0 309178 219 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/263 35521
/proc/meminfo: memFree=124713772/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=3153.8 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 236682 0 0 0 315160 220 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.01 6/263 35523
/proc/meminfo: memFree=124711468/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=3213.63 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 236740 0 0 0 321140 223 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.01 6/263 35525
/proc/meminfo: memFree=124708152/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=3273.46 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 236852 0 0 0 327122 224 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/262 35527
/proc/meminfo: memFree=124711556/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=3333.29 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 236865 0 0 0 333103 226 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/262 35529
/proc/meminfo: memFree=124711044/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=3393.11 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 236866 0 0 0 339083 228 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/262 35531
/proc/meminfo: memFree=124724192/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=3452.94 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 236866 0 0 0 345063 231 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.02 5/262 35533
/proc/meminfo: memFree=124724332/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=3512.77 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 237026 0 0 0 351045 232 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/262 35535
/proc/meminfo: memFree=124723640/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=3572.6 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 237045 0 0 0 357026 234 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.13 4.10 4.03 5/263 35634
/proc/meminfo: memFree=125952212/131250000 swapFree=33010684/33010684
[pid=35326] ppid=35323 vsize=1422344 memory=1167232 CPUtime=3600.02 cores=1,3
/proc/35326/stat : 35326 (ExactPR-S) R 35323 35326 35027 0 -1 4194304 237049 0 0 0 359767 235 0 0 20 0 1 0 43590434 1456480256 291808 18446744073709551615 94499400114176 94499409414213 140726485828240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94499411200320 94499411239400 94499434729472 140726485834113 140726485834250 140726485834250 140726485839852 0
/proc/35326/statm: 355586 291808 3488 2271 0 350224 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1422344 KiB
Current children cumulated memory: 1167232 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.69 s, system=2.35609 s

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

Child status: 10

Real time (s): 3609.81
CPU time (s): 3600.04
CPU user time (s): 3597.69
CPU system time (s): 2.35609
CPU usage (%): 99.7294
Max. virtual memory (cumulated for all children) (KiB): 1589308
Max. memory (cumulated for all children) (KiB): 1167232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.69
system time used= 2.35609
maximum resident set size= 1167360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237059
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= 196
involuntary context switches= 1609


# summary of solver processes directly reported to runsolver:
#   pid: 35326
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3597.69
#   total CPU system time (s): 2.35609

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06297 second user time and 14.7788 second system time

The end