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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526336-1751629880/watcher-4526336-1751629880 -o /tmp/evaluation-result-4526336-1751629880/solver-4526336-1751629880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751626267-89424 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4526336-1751629880.wbo -timer=3600 -hve=512 -f=3 -n: -precision=0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=89980, runsolver pid=89977

[startup+0.100068 s]*
/proc/loadavg: 4.11 4.09 4.09 5/267 89982
/proc/meminfo: memFree=120878008/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=75856 memory=66284 CPUtime=0.09 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 15920 0 0 0 7 2 0 0 20 0 1 0 78665740 77676544 16571 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 18964 16571 928 1162 0 17573 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 80048 KiB
Current children cumulated memory: 69228 KiB

[startup+0.205609 s]*
/proc/loadavg: 4.11 4.09 4.09 5/267 89982
/proc/meminfo: memFree=120829624/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=118040 memory=108268 CPUtime=0.2 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 26421 0 0 0 16 4 0 0 20 0 1 0 78665740 120872960 27067 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 29510 27067 928 1162 0 28119 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 122232 KiB
Current children cumulated memory: 111212 KiB

[startup+0.305474 s]*
/proc/loadavg: 4.11 4.09 4.09 5/267 89982
/proc/meminfo: memFree=120789304/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=157772 memory=148204 CPUtime=0.29 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 36400 0 0 0 23 6 0 0 20 0 1 0 78665740 161558528 37051 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 39443 37051 928 1162 0 38052 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 161964 KiB
Current children cumulated memory: 151148 KiB

[startup+0.700176 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 89982
/proc/meminfo: memFree=120700964/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=258976 memory=249720 CPUtime=0.68 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 62068 0 0 0 58 10 0 0 20 0 1 0 78665740 265191424 62430 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 64744 62430 1024 1162 0 63353 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 263168 KiB
Current children cumulated memory: 252664 KiB

[startup+1.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 89982
/proc/meminfo: memFree=120687356/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=300028 memory=288992 CPUtime=1.48 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 72074 0 0 0 136 12 0 0 20 0 1 0 78665740 307228672 72248 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 75007 72248 1024 1162 0 73616 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 304220 KiB
Current children cumulated memory: 291936 KiB

[startup+3.10558 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 89982
/proc/meminfo: memFree=120641368/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=312880 memory=302756 CPUtime=3.08 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 75613 0 0 0 295 13 0 0 20 0 1 0 78665740 320389120 75689 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 78220 75689 1184 1162 0 76829 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 305700 KiB

[startup+6.30021 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 89982
/proc/meminfo: memFree=120649448/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=314008 memory=303652 CPUtime=6.26 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 75844 0 0 0 613 13 0 0 20 0 1 0 78665740 321544192 75913 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 78502 75913 1184 1162 0 77111 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 318200 KiB
Current children cumulated memory: 306596 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 89982
/proc/meminfo: memFree=120648724/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=315420 memory=305060 CPUtime=12.64 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 76196 0 0 0 1251 13 0 0 20 0 1 0 78665740 322990080 76265 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 78855 76265 1184 1162 0 77464 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 319612 KiB
Current children cumulated memory: 308004 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 89982
/proc/meminfo: memFree=120645724/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=317856 memory=307364 CPUtime=25.4 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 76765 0 0 0 2526 14 0 0 20 0 1 0 78665740 325484544 76841 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 79464 76841 1184 1162 0 78073 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 322048 KiB
Current children cumulated memory: 310308 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 89983
/proc/meminfo: memFree=120644404/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=322468 memory=311452 CPUtime=50.94 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 77297 0 0 0 5079 15 0 0 20 0 1 0 78665740 330207232 77863 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 80617 77863 1184 1162 0 79226 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 326660 KiB
Current children cumulated memory: 314396 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 89987
/proc/meminfo: memFree=120627708/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=324908 memory=313548 CPUtime=101.98 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 78498 0 0 0 10182 16 0 0 20 0 1 0 78665740 332705792 78387 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 81227 78387 1184 1162 0 79836 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 329100 KiB
Current children cumulated memory: 316492 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 89989
/proc/meminfo: memFree=120643068/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=327980 memory=314684 CPUtime=161.79 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 79013 0 0 0 16163 16 0 0 20 0 1 0 78665740 335851520 78671 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 81995 78671 1184 1162 0 80604 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 332172 KiB
Current children cumulated memory: 317628 KiB

[startup+222.3 s]
/proc/loadavg: 4.49 4.24 4.14 5/267 90037
/proc/meminfo: memFree=121422036/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=328896 memory=317792 CPUtime=221.61 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 79283 0 0 0 22145 16 0 0 20 0 1 0 78665740 336789504 79448 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 82224 79448 1184 1162 0 80833 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 333088 KiB

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

/proc/89982/statm: 116663 103120 1184 1162 0 115272 0
Current children cumulated CPU time: 3094.2 s
Current children cumulated vsize: 470844 KiB
Current children cumulated memory: 415424 KiB

[startup+3162.3 s]
/proc/loadavg: 3.76 4.01 4.06 4/260 90261
/proc/meminfo: memFree=121163960/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=466652 memory=412480 CPUtime=3154.04 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 86015 0 0 0 315382 22 0 0 20 0 1 0 78665740 477851648 103120 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 116663 103120 1184 1162 0 115272 0
Current children cumulated CPU time: 3154.04 s
Current children cumulated vsize: 470844 KiB
Current children cumulated memory: 415424 KiB

[startup+3222.3 s]
/proc/loadavg: 3.32 3.84 4.00 4/260 90263
/proc/meminfo: memFree=121133356/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=466652 memory=416576 CPUtime=3213.88 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 86117 0 0 0 321366 22 0 0 20 0 1 0 78665740 477851648 104144 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 116663 104144 1184 1162 0 115272 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 470844 KiB
Current children cumulated memory: 419520 KiB

[startup+3282.3 s]
/proc/loadavg: 3.18 3.70 3.94 4/261 90266
/proc/meminfo: memFree=121129388/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=466652 memory=416576 CPUtime=3273.72 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 86171 0 0 0 327350 22 0 0 20 0 1 0 78665740 477851648 104144 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 116663 104144 1184 1162 0 115272 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 470844 KiB
Current children cumulated memory: 419520 KiB

[startup+3342.3 s]
/proc/loadavg: 3.11 3.58 3.88 4/260 90268
/proc/meminfo: memFree=121126696/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=466652 memory=418624 CPUtime=3333.56 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 86272 0 0 0 333334 22 0 0 20 0 1 0 78665740 477851648 104656 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 116663 104656 1184 1162 0 115272 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 470844 KiB
Current children cumulated memory: 421568 KiB

[startup+3402.3 s]
/proc/loadavg: 3.16 3.51 3.84 4/260 90270
/proc/meminfo: memFree=121107912/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=515804 memory=420124 CPUtime=3393.4 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 86739 0 0 0 339317 23 0 0 20 0 1 0 78665740 528183296 105031 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 128951 105031 1184 1162 0 127560 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 519996 KiB
Current children cumulated memory: 423068 KiB

[startup+3462.3 s]
/proc/loadavg: 3.06 3.41 3.78 4/260 90276
/proc/meminfo: memFree=121108636/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=515804 memory=420124 CPUtime=3453.24 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 86739 0 0 0 345301 23 0 0 20 0 1 0 78665740 528183296 105031 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 128951 105031 1184 1162 0 127560 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 519996 KiB
Current children cumulated memory: 423068 KiB

[startup+3522.3 s]
/proc/loadavg: 3.06 3.35 3.73 4/260 90278
/proc/meminfo: memFree=121104636/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=515804 memory=424220 CPUtime=3513.07 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 86741 0 0 0 351284 23 0 0 20 0 1 0 78665740 528183296 106055 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 128951 106055 1184 1162 0 127560 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 519996 KiB
Current children cumulated memory: 427164 KiB

[startup+3582.3 s]
/proc/loadavg: 3.12 3.31 3.70 4/260 90282
/proc/meminfo: memFree=121104852/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=515804 memory=424220 CPUtime=3572.91 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 86895 0 0 0 357268 23 0 0 20 0 1 0 78665740 528183296 106055 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 128951 106055 1184 1162 0 127560 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 519996 KiB
Current children cumulated memory: 427164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 3.08 3.29 3.68 4/260 90283
/proc/meminfo: memFree=121100756/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=515804 memory=426268 CPUtime=3600.04 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 86896 0 0 0 359981 23 0 0 20 0 1 0 78665740 528183296 106567 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 128951 106567 1184 1162 0 127560 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 519996 KiB
Current children cumulated memory: 429212 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.5 s]
# the end of solver process 89980 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0 s, system=0.00213 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3599.82 s, system=0.241333 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3609.5 s]
/proc/loadavg: 3.08 3.29 3.68 4/260 90283
/proc/meminfo: memFree=121100756/131249996 swapFree=33010416/33010684
[pid=89980] ppid=89977 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89980/stat : 89980 (toulbar2.sh) S 89977 89980 89411 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78665740 4292608 736 18446744073709551615 94550954549248 94550955443781 140728431584416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94550955682832 94550955730576 94550977798144 140728431593781 140728431593957 140728431593957 140728431599561 0
/proc/89980/statm: 1048 736 672 219 0 110 0
[pid=89982] ppid=89980 vsize=515804 memory=426268 CPUtime=3600.04 cores=5,7
/proc/89982/stat : 89982 (toulbar2) R 89980 89980 89411 0 -1 4194304 86896 0 0 0 359981 23 0 0 20 0 1 0 78665740 528183296 106567 18446744073709551615 4198400 8956741 140726938040160 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 15396864 140726938044787 140726938044906 140726938044906 140726938050508 0
/proc/89982/statm: 128951 106567 1184 1162 0 127560 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 519996 KiB
Current children cumulated memory: 429212 KiB

Child status: 0

Real time (s): 3609.51
CPU time (s): 3600.06
CPU user time (s): 3599.82
CPU system time (s): 0.241333
CPU usage (%): 99.7383
Max. virtual memory (cumulated for all children) (KiB): 519996
Max. memory (cumulated for all children) (KiB): 429212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.82
system time used= 0.241333
maximum resident set size= 469280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87105
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= 114
involuntary context switches= 1491


# summary of solver processes directly reported to runsolver:
#   pid: 89980,89982
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.82
#   total CPU system time (s): 0.241333

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13772 second user time and 16.5597 second system time

The end