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

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

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


[startup+0.10006 s]*
/proc/loadavg: 4.07 4.20 4.00 5/266 81435
/proc/meminfo: memFree=129130548/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=28352 memory=19072 CPUtime=0.09 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 3847 0 0 0 9 0 0 0 20 0 1 0 72172871 29032448 4768 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 7088 4768 1024 1162 0 5697 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32544 KiB
Current children cumulated memory: 22016 KiB

[startup+0.205606 s]*
/proc/loadavg: 4.07 4.20 4.00 5/266 81435
/proc/meminfo: memFree=129122500/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=36976 memory=28544 CPUtime=0.19 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 6121 0 0 0 19 0 0 0 20 0 1 0 72172871 37863424 7136 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 9244 7136 1152 1162 0 7853 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41168 KiB
Current children cumulated memory: 31488 KiB

[startup+0.305517 s]*
/proc/loadavg: 4.07 4.20 4.00 5/266 81435
/proc/meminfo: memFree=129122500/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=37248 memory=29312 CPUtime=0.29 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 6264 0 0 0 29 0 0 0 20 0 1 0 72172871 38141952 7328 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 9312 7328 1184 1162 0 7921 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41440 KiB
Current children cumulated memory: 32256 KiB

[startup+0.700202 s]
/proc/loadavg: 4.07 4.20 4.00 5/266 81435
/proc/meminfo: memFree=129122500/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=38464 memory=31104 CPUtime=0.68 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 6712 0 0 0 68 0 0 0 20 0 1 0 72172871 39387136 7776 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 9616 7776 1184 1162 0 8225 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42656 KiB
Current children cumulated memory: 34048 KiB

[startup+1.50013 s]
/proc/loadavg: 4.06 4.19 4.00 5/266 81435
/proc/meminfo: memFree=129122500/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=38464 memory=31104 CPUtime=1.47 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 6715 0 0 0 147 0 0 0 20 0 1 0 72172871 39387136 7776 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 9616 7776 1184 1162 0 8225 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 42656 KiB
Current children cumulated memory: 34048 KiB

[startup+3.10515 s]
/proc/loadavg: 4.06 4.19 4.00 5/266 81435
/proc/meminfo: memFree=129122532/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=38464 memory=31104 CPUtime=3.08 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 6715 0 0 0 308 0 0 0 20 0 1 0 72172871 39387136 7776 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 9616 7776 1184 1162 0 8225 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42656 KiB
Current children cumulated memory: 34048 KiB

[startup+6.30013 s]
/proc/loadavg: 4.06 4.19 4.00 5/266 81435
/proc/meminfo: memFree=129121524/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=38624 memory=31104 CPUtime=6.26 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 6727 0 0 0 626 0 0 0 20 0 1 0 72172871 39550976 7776 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 9656 7776 1184 1162 0 8265 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42816 KiB
Current children cumulated memory: 34048 KiB

[startup+12.7001 s]
/proc/loadavg: 4.05 4.19 4.00 5/266 81435
/proc/meminfo: memFree=129121568/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=38624 memory=31104 CPUtime=12.65 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 6728 0 0 0 1265 0 0 0 20 0 1 0 72172871 39550976 7776 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 9656 7776 1184 1162 0 8265 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 42816 KiB
Current children cumulated memory: 34048 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.20 4.01 5/266 81435
/proc/meminfo: memFree=129121424/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=38772 memory=31360 CPUtime=25.42 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 6782 0 0 0 2542 0 0 0 20 0 1 0 72172871 39702528 7840 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 9693 7840 1184 1162 0 8302 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 42964 KiB
Current children cumulated memory: 34304 KiB

[startup+51.1051 s]
/proc/loadavg: 4.08 4.18 4.00 5/266 81436
/proc/meminfo: memFree=129121336/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=38772 memory=31360 CPUtime=50.96 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 6789 0 0 0 5095 1 0 0 20 0 1 0 72172871 39702528 7840 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 9693 7840 1184 1162 0 8302 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 42964 KiB
Current children cumulated memory: 34304 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.16 4.00 5/266 81438
/proc/meminfo: memFree=129121896/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=38964 memory=31616 CPUtime=102.03 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 6899 0 0 0 10202 1 0 0 20 0 1 0 72172871 39899136 7904 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 9741 7904 1184 1162 0 8350 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 43156 KiB
Current children cumulated memory: 34560 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.01 5/267 81443
/proc/meminfo: memFree=129121908/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=39348 memory=31692 CPUtime=161.88 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 7012 0 0 0 16187 1 0 0 20 0 1 0 72172871 40292352 7923 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 9837 7923 1184 1162 0 8446 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 43540 KiB
Current children cumulated memory: 34636 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.13 4.00 5/267 81445
/proc/meminfo: memFree=129121604/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=39348 memory=31820 CPUtime=221.73 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 7033 0 0 0 22172 1 0 0 20 0 1 0 72172871 40292352 7955 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 9837 7955 1184 1162 0 8446 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 43540 KiB

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

/proc/loadavg: 4.07 4.10 4.09 5/267 81721
/proc/meminfo: memFree=129289244/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=50868 memory=45400 CPUtime=3034.15 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 9503 0 0 0 303400 15 0 0 20 0 1 0 72172871 52088832 11350 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 12717 11350 1184 1162 0 11326 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 55060 KiB
Current children cumulated memory: 48344 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 81723
/proc/meminfo: memFree=129288128/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=50868 memory=45400 CPUtime=3093.97 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 9503 0 0 0 309382 15 0 0 20 0 1 0 72172871 52088832 11350 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 12717 11350 1184 1162 0 11326 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 55060 KiB
Current children cumulated memory: 48344 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 81727
/proc/meminfo: memFree=129288320/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=50868 memory=45400 CPUtime=3153.8 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 9507 0 0 0 315365 15 0 0 20 0 1 0 72172871 52088832 11350 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 12717 11350 1184 1162 0 11326 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 55060 KiB
Current children cumulated memory: 48344 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 81729
/proc/meminfo: memFree=129288136/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=50868 memory=45400 CPUtime=3213.63 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 9507 0 0 0 321348 15 0 0 20 0 1 0 72172871 52088832 11350 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 12717 11350 1184 1162 0 11326 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 55060 KiB
Current children cumulated memory: 48344 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/267 81736
/proc/meminfo: memFree=129289264/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=50868 memory=45400 CPUtime=3273.46 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 9507 0 0 0 327331 15 0 0 20 0 1 0 72172871 52088832 11350 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 12717 11350 1184 1162 0 11326 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 55060 KiB
Current children cumulated memory: 48344 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 81738
/proc/meminfo: memFree=129288052/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=50868 memory=45400 CPUtime=3333.29 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 9507 0 0 0 333314 15 0 0 20 0 1 0 72172871 52088832 11350 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 12717 11350 1184 1162 0 11326 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 55060 KiB
Current children cumulated memory: 48344 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 81740
/proc/meminfo: memFree=129288268/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=50868 memory=45400 CPUtime=3393.12 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 9507 0 0 0 339297 15 0 0 20 0 1 0 72172871 52088832 11350 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 12717 11350 1184 1162 0 11326 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 55060 KiB
Current children cumulated memory: 48344 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 81742
/proc/meminfo: memFree=129289244/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=50868 memory=45400 CPUtime=3452.95 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 9507 0 0 0 345279 16 0 0 20 0 1 0 72172871 52088832 11350 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 12717 11350 1184 1162 0 11326 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 55060 KiB
Current children cumulated memory: 48344 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/267 81744
/proc/meminfo: memFree=129288184/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=50868 memory=45400 CPUtime=3512.78 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 9516 0 0 0 351262 16 0 0 20 0 1 0 72172871 52088832 11350 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 12717 11350 1184 1162 0 11326 0
Current children cumulated CPU time: 3512.78 s
Current children cumulated vsize: 55060 KiB
Current children cumulated memory: 48344 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 81746
/proc/meminfo: memFree=129289192/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=50868 memory=45400 CPUtime=3572.61 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 9517 0 0 0 357245 16 0 0 20 0 1 0 72172871 52088832 11350 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 12717 11350 1184 1162 0 11326 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 55060 KiB
Current children cumulated memory: 48344 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 81747
/proc/meminfo: memFree=129289008/131250000 swapFree=33010416/33010684
[pid=81433] ppid=81430 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81433/stat : 81433 (toulbar2.sh) S 81430 81433 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72172871 4292608 736 18446744073709551615 94042653659136 94042654553669 140731408433296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94042654792720 94042654840464 94042662612992 140731408435511 140731408435687 140731408435687 140731408441289 0
/proc/81433/statm: 1048 736 672 219 0 110 0
[pid=81435] ppid=81433 vsize=50868 memory=45400 CPUtime=3600.03 cores=4,6
/proc/81435/stat : 81435 (toulbar2) R 81433 81433 81183 0 -1 4194304 9521 0 0 0 359987 16 0 0 20 0 1 0 72172871 52088832 11350 18446744073709551615 4198400 8956741 140731144759824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14761984 140731144767861 140731144767980 140731144767980 140731144773580 0
/proc/81435/statm: 12717 11350 1184 1162 0 11326 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 55060 KiB
Current children cumulated memory: 48344 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.88 s, system=0.169461 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): 3609.8
CPU time (s): 3600.05
CPU user time (s): 3599.88
CPU system time (s): 0.169461
CPU usage (%): 99.7297
Max. virtual memory (cumulated for all children) (KiB): 55060
Max. memory (cumulated for all children) (KiB): 48344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.88
system time used= 0.169461
maximum resident set size= 51440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9736
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= 76
involuntary context switches= 3027


# summary of solver processes directly reported to runsolver:
#   pid: 81433
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.88
#   total CPU system time (s): 0.169461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.41981 second user time and 13.9088 second system time

The end