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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522104-1751591541/watcher-4522104-1751591541 -o /tmp/evaluation-result-4522104-1751591541/solver-4522104-1751591541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751591541-84635 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4522104-1751591541.opb -timer=3600 -hve=512 -f=3 -n: -precision=0 

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
Current StackSize limit: 8192 KiB

solver pid=84685, runsolver pid=84675

[startup+0.100062 s]*
/proc/loadavg: 0.78 1.34 2.22 6/280 84698
/proc/meminfo: memFree=130161176/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=52616 memory=43008 CPUtime=0.08 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 9936 0 0 0 8 0 0 0 20 0 1 0 74833668 53878784 10752 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 13154 10752 928 1162 0 11763 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 56808 KiB
Current children cumulated memory: 45952 KiB

[startup+0.205794 s]*
/proc/loadavg: 0.78 1.34 2.22 6/280 84698
/proc/meminfo: memFree=129985412/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=123720 memory=113728 CPUtime=0.19 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 27717 0 0 0 16 3 0 0 20 0 1 0 74833668 126689280 28432 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 30930 28432 928 1162 0 29539 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 127912 KiB
Current children cumulated memory: 116672 KiB

[startup+0.30607 s]*
/proc/loadavg: 0.78 1.34 2.22 6/280 84698
/proc/meminfo: memFree=129913088/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=127532 memory=118128 CPUtime=0.29 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 28777 0 0 0 26 3 0 0 20 0 1 0 74833668 130592768 29532 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 31883 29532 1024 1162 0 30492 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 131724 KiB
Current children cumulated memory: 121072 KiB

[startup+0.700193 s]
/proc/loadavg: 0.78 1.34 2.22 6/280 84698
/proc/meminfo: memFree=129800696/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=129560 memory=121488 CPUtime=0.68 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 29729 0 0 0 65 3 0 0 20 0 1 0 74833668 132669440 30372 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 32390 30372 1184 1162 0 30999 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 133752 KiB
Current children cumulated memory: 124432 KiB

[startup+1.50016 s]
/proc/loadavg: 0.78 1.34 2.22 6/280 84698
/proc/meminfo: memFree=129624296/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=129752 memory=121744 CPUtime=1.47 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 29789 0 0 0 144 3 0 0 20 0 1 0 74833668 132866048 30436 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 32438 30436 1184 1162 0 31047 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 133944 KiB
Current children cumulated memory: 124688 KiB

[startup+3.10576 s]
/proc/loadavg: 0.78 1.34 2.22 6/280 84698
/proc/meminfo: memFree=129503864/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=130148 memory=122000 CPUtime=3.07 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 29871 0 0 0 304 3 0 0 20 0 1 0 74833668 133271552 30500 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 32537 30500 1184 1162 0 31146 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 134340 KiB
Current children cumulated memory: 124944 KiB

[startup+6.30015 s]
/proc/loadavg: 1.04 1.39 2.23 6/280 84698
/proc/meminfo: memFree=129151124/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=130728 memory=122640 CPUtime=6.26 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 30025 0 0 0 623 3 0 0 20 0 1 0 74833668 133865472 30660 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 32682 30660 1184 1162 0 31291 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 134920 KiB
Current children cumulated memory: 125584 KiB

[startup+12.7002 s]
/proc/loadavg: 1.27 1.43 2.24 6/280 84698
/proc/meminfo: memFree=129010652/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=133040 memory=123872 CPUtime=12.64 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 30528 0 0 0 1261 3 0 0 20 0 1 0 74833668 136232960 30968 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 33260 30968 1184 1162 0 31869 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 137232 KiB
Current children cumulated memory: 126816 KiB

[startup+25.5002 s]
/proc/loadavg: 1.88 1.56 2.27 6/280 84698
/proc/meminfo: memFree=128776752/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=135344 memory=126240 CPUtime=25.4 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 31195 0 0 0 2537 3 0 0 20 0 1 0 74833668 138592256 31560 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 33836 31560 1184 1162 0 32445 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 139536 KiB
Current children cumulated memory: 129184 KiB

[startup+51.1057 s]
/proc/loadavg: 2.67 1.77 2.32 6/280 84699
/proc/meminfo: memFree=128553788/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=139952 memory=128256 CPUtime=50.94 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 32340 0 0 0 5090 4 0 0 20 0 1 0 74833668 143310848 32064 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 34988 32064 1184 1162 0 33597 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 144144 KiB
Current children cumulated memory: 131200 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 2.13 2.42 6/278 84703
/proc/meminfo: memFree=127998736/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=149168 memory=134544 CPUtime=101.97 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 33650 0 0 0 10192 5 0 0 20 0 1 0 74833668 152748032 33636 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 37292 33636 1184 1162 0 35901 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 153360 KiB
Current children cumulated memory: 137488 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.50 2.53 6/279 84710
/proc/meminfo: memFree=127940948/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=155312 memory=142616 CPUtime=161.78 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 34116 0 0 0 16173 5 0 0 20 0 1 0 74833668 159039488 35654 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 38828 35654 1184 1162 0 37437 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 159504 KiB
Current children cumulated memory: 145560 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.80 2.63 6/274 84715
/proc/meminfo: memFree=127926968/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=167600 memory=148660 CPUtime=221.59 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 34641 0 0 0 22153 6 0 0 20 0 1 0 74833668 171622400 37165 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 41900 37165 1184 1162 0 40509 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 171792 KiB

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

/proc/loadavg: 4.08 4.10 4.02 6/268 84859
/proc/meminfo: memFree=127554396/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=524416 memory=434936 CPUtime=3033.33 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 39519 0 0 0 303311 22 0 0 20 0 1 0 74833668 537001984 108734 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 131104 108734 1184 1162 0 129713 0
Current children cumulated CPU time: 3033.33 s
Current children cumulated vsize: 528608 KiB
Current children cumulated memory: 437880 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.03 6/268 84861
/proc/meminfo: memFree=127546524/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=524416 memory=441092 CPUtime=3093.16 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 39526 0 0 0 309294 22 0 0 20 0 1 0 74833668 537001984 110273 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 131104 110273 1184 1162 0 129713 0
Current children cumulated CPU time: 3093.16 s
Current children cumulated vsize: 528608 KiB
Current children cumulated memory: 444036 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.03 6/269 84868
/proc/meminfo: memFree=127537556/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=524416 memory=445192 CPUtime=3152.99 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 39592 0 0 0 315277 22 0 0 20 0 1 0 74833668 537001984 111298 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 131104 111298 1184 1162 0 129713 0
Current children cumulated CPU time: 3152.99 s
Current children cumulated vsize: 528608 KiB
Current children cumulated memory: 448136 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.03 6/268 84869
/proc/meminfo: memFree=127501304/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=524416 memory=451364 CPUtime=3212.82 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 39671 0 0 0 321260 22 0 0 20 0 1 0 74833668 537001984 112841 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 131104 112841 1184 1162 0 129713 0
Current children cumulated CPU time: 3212.82 s
Current children cumulated vsize: 528608 KiB
Current children cumulated memory: 454308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.03 6/269 84872
/proc/meminfo: memFree=127493056/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=524416 memory=459572 CPUtime=3272.65 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 39700 0 0 0 327243 22 0 0 20 0 1 0 74833668 537001984 114893 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 131104 114893 1184 1162 0 129713 0
Current children cumulated CPU time: 3272.65 s
Current children cumulated vsize: 528608 KiB
Current children cumulated memory: 462516 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.14 4.04 6/269 84874
/proc/meminfo: memFree=127462556/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=721024 memory=465748 CPUtime=3332.48 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 40427 0 0 0 333222 26 0 0 20 0 1 0 74833668 738328576 116437 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 180256 116437 1184 1162 0 178865 0
Current children cumulated CPU time: 3332.48 s
Current children cumulated vsize: 725216 KiB
Current children cumulated memory: 468692 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.04 6/269 84879
/proc/meminfo: memFree=127462604/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=721024 memory=471908 CPUtime=3392.31 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 40498 0 0 0 339205 26 0 0 20 0 1 0 74833668 738328576 117977 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 180256 117977 1184 1162 0 178865 0
Current children cumulated CPU time: 3392.31 s
Current children cumulated vsize: 725216 KiB
Current children cumulated memory: 474852 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.04 6/269 84881
/proc/meminfo: memFree=127462664/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=721024 memory=478076 CPUtime=3452.14 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 40524 0 0 0 345188 26 0 0 20 0 1 0 74833668 738328576 119519 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 180256 119519 1184 1162 0 178865 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 725216 KiB
Current children cumulated memory: 481020 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/269 84883
/proc/meminfo: memFree=127459800/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=721024 memory=484236 CPUtime=3511.97 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 40536 0 0 0 351171 26 0 0 20 0 1 0 74833668 738328576 121059 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 180256 121059 1184 1162 0 178865 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 725216 KiB
Current children cumulated memory: 487180 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.05 6/268 84885
/proc/meminfo: memFree=127460320/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=721024 memory=490404 CPUtime=3571.8 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 40551 0 0 0 357154 26 0 0 20 0 1 0 74833668 738328576 122601 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 180256 122601 1184 1162 0 178865 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 725216 KiB
Current children cumulated memory: 493348 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.13 4.12 4.05 6/268 84887
/proc/meminfo: memFree=127456184/131249996 swapFree=33005016/33010684
[pid=84685] ppid=84675 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84685/stat : 84685 (toulbar2.sh) S 84675 84685 84625 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74833667 4292608 736 18446744073709551615 94519230836736 94519231731269 140725694305680 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94519231970320 94519232018064 94519238033408 140725694310711 140725694310887 140725694310887 140725694316489 0
/proc/84685/statm: 1048 736 672 219 0 110 0
[pid=84688] ppid=84685 vsize=721024 memory=492460 CPUtime=3600.01 cores=0,2
/proc/84688/stat : 84688 (toulbar2) R 84685 84685 84625 0 -1 4194304 40627 0 0 0 359975 26 0 0 20 0 1 0 74833668 738328576 123115 18446744073709551615 4198400 8956741 140723977293664 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16945152 140723977296245 140723977296364 140723977296364 140723977301964 0
/proc/84688/statm: 180256 123115 1184 1162 0 178865 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 725216 KiB
Current children cumulated memory: 495404 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.75 s, system=0.274384 s

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

Child status: 0

Real time (s): 3610.6
CPU time (s): 3600.03
CPU user time (s): 3599.75
CPU system time (s): 0.274384
CPU usage (%): 99.7071
Max. virtual memory (cumulated for all children) (KiB): 921828
Max. memory (cumulated for all children) (KiB): 589520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.75
system time used= 0.274384
maximum resident set size= 660304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40843
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= 122
involuntary context switches= 7940


# summary of solver processes directly reported to runsolver:
#   pid: 84685
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.75
#   total CPU system time (s): 0.274384

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99541 second user time and 15.2565 second system time

The end