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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502506-1751424086/watcher-4502506-1751424086 -o /tmp/evaluation-result-4502506-1751424086/solver-4502506-1751424086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751422121-60022 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 146667316 HOME/instance-4502506-1751424086.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=60224, runsolver pid=60221

[startup+0.100066 s]*
/proc/loadavg: 7.13 7.05 6.35 9/254 60226
/proc/meminfo: memFree=129726600/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=106256 memory=33816 CPUtime=0.18 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 6953 0 0 0 16 2 0 0 20 0 2 0 58087524 108806144 8454 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 26564 8454 576 633 0 10435 0
[pid=60224/tid=60226] ppid=60221 vsize=106256 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) R 60221 60224 60011 0 -1 4194368 1041 0 0 0 7 0 0 0 20 0 2 0 58087526 108806144 8454 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 106256 KiB
Current children cumulated memory: 33816 KiB

[startup+0.213358 s]*
/proc/loadavg: 7.13 7.05 6.35 8/254 60226
/proc/meminfo: memFree=129722820/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=107972 memory=40600 CPUtime=0.3 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) S 60221 60224 60011 0 -1 4194304 8640 0 0 0 27 3 0 0 20 0 2 0 58087524 110563328 10150 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 26993 10150 576 633 0 12132 0
[pid=60224/tid=60226] ppid=60221 vsize=107972 memory=664958721904869660 CPUtime=0.17 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) R 60221 60224 60011 0 -1 4194368 2309 0 0 0 16 1 0 0 20 0 2 0 58087526 110563328 10150 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107972 KiB
Current children cumulated memory: 40600 KiB

[startup+0.313351 s]*
/proc/loadavg: 7.13 7.05 6.35 7/254 60226
/proc/meminfo: memFree=129694592/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=167744 memory=79040 CPUtime=0.41 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 11889 0 0 0 36 5 0 0 20 0 2 0 58087524 171769856 19760 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 41936 19760 608 633 0 27521 0
[pid=60224/tid=60226] ppid=60221 vsize=167744 memory=7969825986422913900 CPUtime=0.21 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 2756 0 0 0 20 1 0 0 20 0 2 0 58087526 171769856 19760 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 0 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 167744 KiB
Current children cumulated memory: 79040 KiB

[startup+0.700285 s]
/proc/loadavg: 7.13 7.05 6.35 8/254 60226
/proc/meminfo: memFree=129622512/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=201180 memory=147368 CPUtime=0.92 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 23317 0 0 0 82 10 0 0 20 0 2 0 58087524 206008320 36842 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 50295 36842 640 633 0 38633 0
[pid=60224/tid=60226] ppid=60221 vsize=201180 memory=17920 CPUtime=0.43 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 5510 0 0 0 39 4 0 0 20 0 2 0 58087526 206008320 36842 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 201180 KiB
Current children cumulated memory: 147368 KiB

[startup+1.50038 s]
/proc/loadavg: 7.04 7.03 6.35 7/254 60226
/proc/meminfo: memFree=129556540/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=377660 memory=324548 CPUtime=1.75 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 80539 0 0 0 156 19 0 0 20 0 2 0 58087524 386723840 81137 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 94415 81137 672 633 0 82753 0
[pid=60224/tid=60226] ppid=60221 vsize=377660 memory=17920 CPUtime=0.46 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 5840 0 0 0 42 4 0 0 20 0 2 0 58087526 386723840 81137 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 377660 KiB
Current children cumulated memory: 324548 KiB

[startup+3.11312 s]
/proc/loadavg: 7.04 7.03 6.35 7/254 60226
/proc/meminfo: memFree=129431500/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=377660 memory=324548 CPUtime=3.6 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 82113 0 0 0 341 19 0 0 20 0 2 0 58087524 386723840 81137 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 94415 81137 672 633 0 82753 0
[pid=60224/tid=60226] ppid=60221 vsize=377660 memory=324548 CPUtime=0.71 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 5840 0 0 0 67 4 0 0 20 0 2 0 58087526 386723840 81137 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 3.6 s
Current children cumulated vsize: 377660 KiB
Current children cumulated memory: 324548 KiB

[startup+6.30036 s]
/proc/loadavg: 6.95 7.02 6.34 8/254 60227
/proc/meminfo: memFree=129431460/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=377660 memory=324548 CPUtime=7.27 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 110963 0 0 0 706 21 0 0 20 0 2 0 58087524 386723840 81137 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 94415 81137 672 633 0 82753 0
[pid=60224/tid=60226] ppid=60221 vsize=377660 memory=17920 CPUtime=1.22 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 6869 0 0 0 118 4 0 0 20 0 2 0 58087526 386723840 81137 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 7.27 s
Current children cumulated vsize: 377660 KiB
Current children cumulated memory: 324548 KiB

[startup+12.7004 s]
/proc/loadavg: 6.88 7.00 6.34 8/254 60227
/proc/meminfo: memFree=129440460/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=377660 memory=324548 CPUtime=14.62 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 147083 0 0 0 1439 23 0 0 20 0 2 0 58087524 386723840 81137 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 94415 81137 672 633 0 82753 0
[pid=60224/tid=60226] ppid=60221 vsize=377660 memory=324548 CPUtime=2.23 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 7812 0 0 0 219 4 0 0 20 0 2 0 58087526 386723840 81137 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 14.62 s
Current children cumulated vsize: 377660 KiB
Current children cumulated memory: 324548 KiB

[startup+25.5003 s]
/proc/loadavg: 6.82 6.98 6.34 7/254 60227
/proc/meminfo: memFree=129427988/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=378716 memory=325572 CPUtime=31.12 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 218257 0 0 0 3083 29 0 0 20 0 2 0 58087524 387805184 81393 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 94679 81393 672 633 0 83017 0
[pid=60224/tid=60226] ppid=60221 vsize=378716 memory=324804 CPUtime=6.02 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) R 60221 60224 60011 0 -1 4194368 9268 0 0 0 597 5 0 0 20 0 2 0 58087526 387805184 81393 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 31.12 s
Current children cumulated vsize: 378716 KiB
Current children cumulated memory: 325572 KiB

[startup+51.116 s]
/proc/loadavg: 6.63 6.92 6.34 7/254 60273
/proc/meminfo: memFree=129448280/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=379904 memory=326724 CPUtime=64.39 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 272142 0 0 0 6405 34 0 0 20 0 2 0 58087524 389021696 81681 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 94976 81681 672 633 0 83314 0
[pid=60224/tid=60226] ppid=60221 vsize=379904 memory=326596 CPUtime=13.89 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) R 60221 60224 60011 0 -1 4194368 10677 0 0 0 1382 7 0 0 20 0 2 0 58087526 389021696 81681 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 64.39 s
Current children cumulated vsize: 379904 KiB
Current children cumulated memory: 326724 KiB

[startup+102.3 s]
/proc/loadavg: 6.58 6.85 6.35 9/254 60275
/proc/meminfo: memFree=129421660/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380300 memory=326980 CPUtime=135.9 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 330270 0 0 0 13546 44 0 0 20 0 2 0 58087524 389427200 81745 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95075 81745 672 633 0 83413 0
[pid=60224/tid=60226] ppid=60221 vsize=380300 memory=326980 CPUtime=34.63 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) R 60221 60224 60011 0 -1 4194368 11399 0 0 0 3452 11 0 0 20 0 2 0 58087526 389427200 81745 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 135.9 s
Current children cumulated vsize: 380300 KiB
Current children cumulated memory: 326980 KiB

[startup+162.3 s]
/proc/loadavg: 7.36 7.02 6.44 8/255 60323
/proc/meminfo: memFree=129417792/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380300 memory=327236 CPUtime=222.09 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 345199 0 0 0 22160 49 0 0 20 0 2 0 58087524 389427200 81809 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95075 81809 672 633 0 83413 0
[pid=60224/tid=60226] ppid=60221 vsize=380300 memory=327236 CPUtime=61.33 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) R 60221 60224 60011 0 -1 4194368 11700 0 0 0 6119 14 0 0 20 0 2 0 58087526 389427200 81809 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 222.09 s
Current children cumulated vsize: 380300 KiB
Current children cumulated memory: 327236 KiB

[startup+222.3 s]
/proc/loadavg: 7.08 7.01 6.48 8/255 60325
/proc/meminfo: memFree=129417096/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380300 memory=329156 CPUtime=299.65 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 346488 0 0 0 29912 53 0 0 20 0 2 0 58087524 389427200 82289 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95075 82289 672 633 0 83413 0
[pid=60224/tid=60226] ppid=60221 vsize=380300 memory=329156 CPUtime=79.25 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 11781 0 0 0 7908 17 0 0 20 0 2 0 58087526 389427200 82289 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 299.65 s
Current children cumulated vsize: 380300 KiB
Current children cumulated memory: 329156 KiB

[startup+282.3 s]
/proc/loadavg: 6.89 6.98 6.50 7/255 60327
/proc/meminfo: memFree=129429784/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380300 memory=329156 CPUtime=374.91 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 347783 0 0 0 37434 57 0 0 20 0 2 0 58087524 389427200 82289 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95075 82289 672 633 0 83413 0
[pid=60224/tid=60226] ppid=60221 vsize=380300 memory=329156 CPUtime=94.95 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 11843 0 0 0 9475 20 0 0 20 0 2 0 58087526 389427200 82289 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 374.91 s
Current children cumulated vsize: 380300 KiB
Current children cumulated memory: 329156 KiB

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

/proc/meminfo: memFree=126201316/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380828 memory=329668 CPUtime=2884.14 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 396369 0 0 0 288207 207 0 0 20 0 2 0 58087524 389967872 82417 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95207 82417 672 633 0 83545 0
[pid=60224/tid=60226] ppid=60221 vsize=380828 memory=329668 CPUtime=638.4 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 15084 0 0 0 63704 136 0 0 20 0 2 0 58087526 389967872 82417 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 2884.14 s
Current children cumulated vsize: 380828 KiB
Current children cumulated memory: 329668 KiB

[startup+2322.3 s]
/proc/loadavg: 6.66 6.88 6.98 6/254 60617
/proc/meminfo: memFree=123990452/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380828 memory=329668 CPUtime=2959.72 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 396798 0 0 0 295760 212 0 0 20 0 2 0 58087524 389967872 82417 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95207 82417 672 633 0 83545 0
[pid=60224/tid=60226] ppid=60221 vsize=380828 memory=329668 CPUtime=654.53 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) R 60221 60224 60011 0 -1 4194368 15182 0 0 0 65313 140 0 0 20 0 2 0 58087526 389967872 82417 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 2959.72 s
Current children cumulated vsize: 380828 KiB
Current children cumulated memory: 329668 KiB

[startup+2382.3 s]
/proc/loadavg: 6.20 6.71 6.91 8/255 60621
/proc/meminfo: memFree=123987440/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380828 memory=329668 CPUtime=3038 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 398216 0 0 0 303584 216 0 0 20 0 2 0 58087524 389967872 82417 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95207 82417 672 633 0 83545 0
[pid=60224/tid=60226] ppid=60221 vsize=380828 memory=329668 CPUtime=673.28 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) R 60221 60224 60011 0 -1 4194368 15203 0 0 0 67185 143 0 0 20 0 2 0 58087526 389967872 82417 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 3038 s
Current children cumulated vsize: 380828 KiB
Current children cumulated memory: 329668 KiB

[startup+2442.3 s]
/proc/loadavg: 6.30 6.64 6.87 8/256 60628
/proc/meminfo: memFree=123983256/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380828 memory=329668 CPUtime=3112.59 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 399633 0 0 0 311037 222 0 0 20 0 2 0 58087524 389967872 82417 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95207 82417 672 633 0 83545 0
[pid=60224/tid=60226] ppid=60221 vsize=380828 memory=329668 CPUtime=688.34 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 15264 0 0 0 68687 147 0 0 20 0 2 0 58087526 389967872 82417 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 3112.59 s
Current children cumulated vsize: 380828 KiB
Current children cumulated memory: 329668 KiB

[startup+2502.3 s]
/proc/loadavg: 6.57 6.65 6.86 6/256 60630
/proc/meminfo: memFree=123948020/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380828 memory=329668 CPUtime=3187.12 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 401050 0 0 0 318485 227 0 0 20 0 2 0 58087524 389967872 82417 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95207 82417 672 633 0 83545 0
[pid=60224/tid=60226] ppid=60221 vsize=380828 memory=329668 CPUtime=703.31 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 15338 0 0 0 70181 150 0 0 20 0 2 0 58087526 389967872 82417 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 3187.12 s
Current children cumulated vsize: 380828 KiB
Current children cumulated memory: 329668 KiB

[startup+2562.3 s]
/proc/loadavg: 6.51 6.61 6.83 8/256 60632
/proc/meminfo: memFree=123952844/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380960 memory=329796 CPUtime=3261.82 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 402496 0 0 0 325951 231 0 0 20 0 2 0 58087524 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95240 82449 672 633 0 83578 0
[pid=60224/tid=60226] ppid=60221 vsize=380960 memory=329796 CPUtime=718.5 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) R 60221 60224 60011 0 -1 4194368 15407 0 0 0 71697 153 0 0 20 0 2 0 58087526 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 3261.82 s
Current children cumulated vsize: 380960 KiB
Current children cumulated memory: 329796 KiB

[startup+2622.3 s]
/proc/loadavg: 6.60 6.62 6.82 8/255 60634
/proc/meminfo: memFree=123959160/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380960 memory=329796 CPUtime=3337.89 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 403913 0 0 0 333553 236 0 0 20 0 2 0 58087524 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95240 82449 672 633 0 83578 0
[pid=60224/tid=60226] ppid=60221 vsize=380960 memory=329796 CPUtime=735.03 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 15452 0 0 0 73346 157 0 0 20 0 2 0 58087526 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 3337.89 s
Current children cumulated vsize: 380960 KiB
Current children cumulated memory: 329796 KiB

[startup+2682.3 s]
/proc/loadavg: 6.39 6.56 6.79 7/254 60636
/proc/meminfo: memFree=123972556/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380960 memory=329796 CPUtime=3414.08 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 405331 0 0 0 341167 241 0 0 20 0 2 0 58087524 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95240 82449 672 633 0 83578 0
[pid=60224/tid=60226] ppid=60221 vsize=380960 memory=329796 CPUtime=751.71 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) R 60221 60224 60011 0 -1 4194368 15592 0 0 0 75011 160 0 0 20 0 2 0 58087526 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 3414.08 s
Current children cumulated vsize: 380960 KiB
Current children cumulated memory: 329796 KiB

[startup+2742.3 s]
/proc/loadavg: 6.61 6.60 6.79 8/253 60638
/proc/meminfo: memFree=123980192/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380960 memory=329796 CPUtime=3488.43 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 406749 0 0 0 348598 245 0 0 20 0 2 0 58087524 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95240 82449 672 633 0 83578 0
[pid=60224/tid=60226] ppid=60221 vsize=380960 memory=329796 CPUtime=766.58 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 15623 0 0 0 76494 164 0 0 20 0 2 0 58087526 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 3488.43 s
Current children cumulated vsize: 380960 KiB
Current children cumulated memory: 329796 KiB

[startup+2802.3 s]
/proc/loadavg: 6.26 6.50 6.74 7/253 60640
/proc/meminfo: memFree=123968572/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380960 memory=329796 CPUtime=3564.56 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 408166 0 0 0 356206 250 0 0 20 0 2 0 58087524 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95240 82449 672 633 0 83578 0
[pid=60224/tid=60226] ppid=60221 vsize=380960 memory=329796 CPUtime=783.16 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 15668 0 0 0 78148 168 0 0 20 0 2 0 58087526 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 3564.56 s
Current children cumulated vsize: 380960 KiB
Current children cumulated memory: 329796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2830.6 s]
/proc/loadavg: 6.38 6.51 6.74 7/253 60641
/proc/meminfo: memFree=123975364/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380960 memory=329796 CPUtime=3600.11 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 409162 0 0 0 359759 252 0 0 20 0 2 0 58087524 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95240 82449 672 633 0 83578 0
[pid=60224/tid=60226] ppid=60221 vsize=380960 memory=17920 CPUtime=790.65 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) R 60221 60224 60011 0 -1 4194368 15668 0 0 0 78896 169 0 0 20 0 2 0 58087526 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 380960 KiB
Current children cumulated memory: 329796 KiB

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

[startup+2830.75 s]
# the end of solver process 60224 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3597.72 s, system=2.54197 s

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

[startup+2830.7 s]
/proc/loadavg: 6.38 6.51 6.74 7/253 60641
/proc/meminfo: memFree=123975364/131382112 swapFree=33009904/33010684
[pid=60224] ppid=60221 vsize=380960 memory=329796 CPUtime=3600.22 cores=4,6
/proc/60224/stat : 60224 (pb_competition_) R 60221 60224 60011 0 -1 4194304 419650 0 0 0 359770 252 0 0 20 0 2 0 58087524 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
/proc/60224/statm: 95240 82449 672 633 0 83578 0
[pid=60224/tid=60226] ppid=60221 vsize=380960 memory=17920 CPUtime=790.66 cores=4,6
/proc/60224/task/60226/stat : 60226 (pb_competition_) S 60221 60224 60011 0 -1 4194368 15668 0 0 0 78897 169 0 0 20 0 2 0 58087526 390103040 82449 18446744073709551615 4198400 6788177 140728206897504 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22192128 140728206899546 140728206899672 140728206899672 140728206905274 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 380960 KiB
Current children cumulated memory: 329796 KiB

Child status: 0

Real time (s): 2830.75
CPU time (s): 3600.27
CPU user time (s): 3597.72
CPU system time (s): 2.54197
CPU usage (%): 127.184
Max. virtual memory (cumulated for all children) (KiB): 380960
Max. memory (cumulated for all children) (KiB): 329796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.72
system time used= 2.54197
maximum resident set size= 329796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 426984
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= 77136
involuntary context switches= 204866


# summary of solver processes directly reported to runsolver:
#   pid: 60224
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3597.72
#   total CPU system time (s): 2.54197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1242 second user time and 26.2166 second system time

The end