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: 63708 MiB (49791 MiB free)
  memory of node 1: 64465 MiB (53391 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509162-1751522369/watcher-4509162-1751522369 -o /tmp/evaluation-result-4509162-1751522369/solver-4509162-1751522369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751515141-71789 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4509162-1751522369.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=73085, runsolver pid=73082
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 4.14 4.10 4.09 5/268 73087
/proc/meminfo: memFree=105631380/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=51308 memory=42112 CPUtime=0.08 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 9618 0 0 0 7 1 0 0 20 0 1 0 67915573 52539392 10528 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 12827 10528 1024 1162 0 11436 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 55500 KiB
Current children cumulated memory: 45056 KiB

[startup+0.205885 s]*
/proc/loadavg: 4.12 4.10 4.09 5/268 73087
/proc/meminfo: memFree=105629616/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=52824 memory=44288 CPUtime=0.19 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 10081 0 0 0 18 1 0 0 20 0 1 0 67915573 54091776 11072 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 13206 11072 1152 1162 0 11815 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57016 KiB
Current children cumulated memory: 47232 KiB

[startup+0.305654 s]*
/proc/loadavg: 4.12 4.10 4.09 5/268 73087
/proc/meminfo: memFree=105629616/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=52824 memory=44288 CPUtime=0.29 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 10086 0 0 0 28 1 0 0 20 0 1 0 67915573 54091776 11072 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 13206 11072 1152 1162 0 11815 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 57016 KiB
Current children cumulated memory: 47232 KiB

[startup+0.700233 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 73087
/proc/meminfo: memFree=105629616/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=52968 memory=44416 CPUtime=0.68 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 10118 0 0 0 66 2 0 0 20 0 1 0 67915573 54239232 11104 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 13242 11104 1152 1162 0 11851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57160 KiB
Current children cumulated memory: 47360 KiB

[startup+1.50019 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 73087
/proc/meminfo: memFree=105629616/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=52968 memory=44416 CPUtime=1.48 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 10120 0 0 0 146 2 0 0 20 0 1 0 67915573 54239232 11104 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 13242 11104 1152 1162 0 11851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57160 KiB
Current children cumulated memory: 47360 KiB

[startup+3.10558 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 73087
/proc/meminfo: memFree=105629604/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=53108 memory=44416 CPUtime=3.08 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 10132 0 0 0 306 2 0 0 20 0 1 0 67915573 54382592 11104 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 13277 11104 1152 1162 0 11886 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 57300 KiB
Current children cumulated memory: 47360 KiB

[startup+6.3002 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 73087
/proc/meminfo: memFree=105629668/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=53300 memory=44672 CPUtime=6.27 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 10173 0 0 0 625 2 0 0 20 0 1 0 67915573 54579200 11168 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 13325 11168 1152 1162 0 11934 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57492 KiB
Current children cumulated memory: 47616 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 73088
/proc/meminfo: memFree=105629416/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=53496 memory=44800 CPUtime=12.64 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 10232 0 0 0 1262 2 0 0 20 0 1 0 67915573 54779904 11200 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 13374 11200 1152 1162 0 11983 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 57688 KiB
Current children cumulated memory: 47744 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 73088
/proc/meminfo: memFree=105628144/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=53788 memory=45068 CPUtime=25.4 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 10403 0 0 0 2538 2 0 0 20 0 1 0 67915573 55078912 11267 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 13447 11267 1152 1162 0 12056 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 57980 KiB
Current children cumulated memory: 48012 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 73088
/proc/meminfo: memFree=105606944/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=55324 memory=45728 CPUtime=50.93 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 10945 0 0 0 5091 2 0 0 20 0 1 0 67915573 56651776 11432 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 13831 11432 1152 1162 0 12440 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 59516 KiB
Current children cumulated memory: 48672 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 73106
/proc/meminfo: memFree=105595620/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=56860 memory=47476 CPUtime=101.96 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 11252 0 0 0 10194 2 0 0 20 0 1 0 67915573 58224640 11869 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 14215 11869 1152 1162 0 12824 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 61052 KiB
Current children cumulated memory: 50420 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/268 73108
/proc/meminfo: memFree=105591284/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=57624 memory=47532 CPUtime=161.77 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 11479 0 0 0 16175 2 0 0 20 0 1 0 67915573 59006976 11883 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 14406 11883 1152 1162 0 13015 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 50476 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 73110
/proc/meminfo: memFree=105591568/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=57624 memory=48428 CPUtime=221.59 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 11700 0 0 0 22156 3 0 0 20 0 1 0 67915573 59006976 12107 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 14406 12107 1152 1162 0 13015 0
Current children cumulated CPU time: 221.59 s

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

/proc/loadavg: 4.17 4.16 4.11 5/267 73334
/proc/meminfo: memFree=111708236/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=87312 memory=82664 CPUtime=3093.78 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 13620 0 0 0 309351 27 0 0 20 0 1 0 67915573 89407488 20666 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 21828 20666 1152 1162 0 20437 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 91504 KiB
Current children cumulated memory: 85608 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/268 73341
/proc/meminfo: memFree=111716940/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=87312 memory=82664 CPUtime=3153.64 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 13622 0 0 0 315337 27 0 0 20 0 1 0 67915573 89407488 20666 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 21828 20666 1152 1162 0 20437 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 91504 KiB
Current children cumulated memory: 85608 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/268 73343
/proc/meminfo: memFree=111719012/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=87312 memory=82664 CPUtime=3213.5 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 13625 0 0 0 321323 27 0 0 20 0 1 0 67915573 89407488 20666 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 21828 20666 1152 1162 0 20437 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 91504 KiB
Current children cumulated memory: 85608 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/267 73345
/proc/meminfo: memFree=111719848/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=87312 memory=82664 CPUtime=3273.36 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 13629 0 0 0 327309 27 0 0 20 0 1 0 67915573 89407488 20666 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 21828 20666 1152 1162 0 20437 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 91504 KiB
Current children cumulated memory: 85608 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 73347
/proc/meminfo: memFree=111720816/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=87316 memory=82664 CPUtime=3333.22 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 13631 0 0 0 333295 27 0 0 20 0 1 0 67915573 89411584 20666 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 21829 20666 1152 1162 0 20438 0
Current children cumulated CPU time: 3333.22 s
Current children cumulated vsize: 91508 KiB
Current children cumulated memory: 85608 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/267 73349
/proc/meminfo: memFree=111722408/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=87328 memory=82664 CPUtime=3393.09 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 13657 0 0 0 339281 28 0 0 20 0 1 0 67915573 89423872 20666 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 21832 20666 1152 1162 0 20441 0
Current children cumulated CPU time: 3393.09 s
Current children cumulated vsize: 91520 KiB
Current children cumulated memory: 85608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 73351
/proc/meminfo: memFree=111719200/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=87340 memory=82664 CPUtime=3452.95 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 13671 0 0 0 345267 28 0 0 20 0 1 0 67915573 89436160 20666 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 21835 20666 1152 1162 0 20444 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 91532 KiB
Current children cumulated memory: 85608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 73356
/proc/meminfo: memFree=111714780/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=87364 memory=82792 CPUtime=3512.8 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 13677 0 0 0 351252 28 0 0 20 0 1 0 67915573 89460736 20698 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 21841 20698 1152 1162 0 20450 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 91556 KiB
Current children cumulated memory: 85736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 73358
/proc/meminfo: memFree=111722852/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=87380 memory=82792 CPUtime=3572.66 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 13683 0 0 0 357238 28 0 0 20 0 1 0 67915573 89477120 20698 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 21845 20698 1152 1162 0 20454 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 91572 KiB
Current children cumulated memory: 85736 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 73358
/proc/meminfo: memFree=111722796/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=87392 memory=82792 CPUtime=3600 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 13686 0 0 0 359972 28 0 0 20 0 1 0 67915573 89489408 20698 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 21848 20698 1152 1162 0 20457 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 91584 KiB
Current children cumulated memory: 85736 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.73 s, system=0.289507 s

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

[startup+3609.7 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 73358
/proc/meminfo: memFree=111722796/131250000 swapFree=33010684/33010684
[pid=73085] ppid=73082 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73085/stat : 73085 (toulbar2.sh) S 73082 73085 71778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67915572 4292608 736 18446744073709551615 94476379451392 94476380345925 140727347467760 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94476380584976 94476380632720 94476396986368 140727347476791 140727347476967 140727347476967 140727347482569 0
/proc/73085/statm: 1048 736 672 219 0 110 0
[pid=73087] ppid=73085 vsize=87392 memory=82792 CPUtime=3600 cores=4,6
/proc/73087/stat : 73087 (toulbar2) R 73085 73085 71778 0 -1 4194304 13686 0 0 0 359972 28 0 0 20 0 1 0 67915573 89489408 20698 18446744073709551615 4198400 8956741 140737377394000 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 16949248 140737377397109 140737377397228 140737377397228 140737377402828 0
/proc/73087/statm: 21848 20698 1152 1162 0 20457 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 91584 KiB
Current children cumulated memory: 85736 KiB

Child status: 0

Real time (s): 3609.7
CPU time (s): 3600.02
CPU user time (s): 3599.73
CPU system time (s): 0.289507
CPU usage (%): 99.7316
Max. virtual memory (cumulated for all children) (KiB): 92536
Max. memory (cumulated for all children) (KiB): 86604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.73
system time used= 0.289507
maximum resident set size= 83660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13902
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= 78
involuntary context switches= 2588


# summary of solver processes directly reported to runsolver:
#   pid: 73085
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.73
#   total CPU system time (s): 0.289507

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81035 second user time and 15.4001 second system time

The end