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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521000-1751581467/watcher-4521000-1751581467 -o /tmp/evaluation-result-4521000-1751581467/solver-4521000-1751581467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751577855-86678 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4521000-1751581467.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=87091, runsolver pid=87088
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.04 4.09 4.04 4/260 87101
/proc/meminfo: memFree=125914012/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=52736 memory=43136 CPUtime=0.08 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 9959 0 0 0 7 1 0 0 20 0 1 0 73824539 54001664 10784 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 13184 10784 928 1162 0 11793 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 56928 KiB
Current children cumulated memory: 46208 KiB

[startup+0.205214 s]*
/proc/loadavg: 4.04 4.09 4.04 4/258 87117
/proc/meminfo: memFree=125829988/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=90884 memory=81280 CPUtime=0.18 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 19495 0 0 0 15 3 0 0 20 0 1 0 73824539 93065216 20320 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 22721 20320 928 1162 0 21330 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 95076 KiB
Current children cumulated memory: 84352 KiB

[startup+0.306001 s]*
/proc/loadavg: 4.04 4.09 4.04 4/259 87122
/proc/meminfo: memFree=125754648/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=129616 memory=119936 CPUtime=0.28 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 29181 0 0 0 23 5 0 0 20 0 1 0 73824539 132726784 29952 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 32404 29984 928 1162 0 31013 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 133808 KiB
Current children cumulated memory: 123008 KiB

[startup+0.700193 s]
/proc/loadavg: 4.04 4.09 4.04 4/258 87128
/proc/meminfo: memFree=125577264/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=280648 memory=271016 CPUtime=0.67 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 67024 0 0 0 55 12 0 0 20 0 1 0 73824539 287383552 67754 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 70162 67754 928 1162 0 68771 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 284840 KiB
Current children cumulated memory: 274088 KiB

[startup+1.50019 s]
/proc/loadavg: 4.04 4.09 4.04 5/264 87160
/proc/meminfo: memFree=125007180/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=589444 memory=579832 CPUtime=1.46 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 144365 0 0 0 119 27 0 0 20 0 1 0 73824539 603590656 144958 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 147361 144958 928 1162 0 145970 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 593636 KiB
Current children cumulated memory: 582904 KiB

[startup+3.10548 s]
/proc/loadavg: 4.12 4.10 4.04 5/268 87171
/proc/meminfo: memFree=122685784/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=1213564 memory=1202404 CPUtime=3.06 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 300268 0 0 0 252 54 0 0 20 0 1 0 73824539 1242689536 300601 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 303391 300601 928 1162 0 302000 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1217756 KiB
Current children cumulated memory: 1205476 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.10 4.04 5/268 87171
/proc/meminfo: memFree=118283136/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3072288 memory=3056856 CPUtime=6.24 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 761856 0 0 0 500 124 0 0 20 0 1 0 73824539 3146022912 764214 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 768072 764214 928 1162 0 766681 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 3076480 KiB
Current children cumulated memory: 3059928 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.04 5/268 87171
/proc/meminfo: memFree=117912208/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3275972 memory=3260516 CPUtime=12.63 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 812207 0 0 0 1128 135 0 0 20 0 1 0 73824539 3354595328 815129 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 818993 815129 992 1162 0 817602 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 3280164 KiB
Current children cumulated memory: 3263588 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.04 5/268 87171
/proc/meminfo: memFree=117880040/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3275840 memory=3260644 CPUtime=25.39 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 812213 0 0 0 2404 135 0 0 20 0 1 0 73824539 3354460160 815161 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 818960 815161 1024 1162 0 817569 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3280032 KiB
Current children cumulated memory: 3263716 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.10 4.04 5/268 87172
/proc/meminfo: memFree=117839476/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3275840 memory=3260644 CPUtime=50.9 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 812218 0 0 0 4955 135 0 0 20 0 1 0 73824539 3354460160 815161 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 818960 815161 1024 1162 0 817569 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 3280032 KiB
Current children cumulated memory: 3263716 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/269 87175
/proc/meminfo: memFree=117740696/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3314680 memory=3293936 CPUtime=101.92 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 815819 0 0 0 10054 138 0 0 20 0 1 0 73824539 3394232320 823484 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 828670 823484 1184 1162 0 827279 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 3318872 KiB
Current children cumulated memory: 3297008 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/269 87177
/proc/meminfo: memFree=117741168/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3314680 memory=3293936 CPUtime=161.71 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 815841 0 0 0 16031 140 0 0 20 0 1 0 73824539 3394232320 823484 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 828670 823484 1184 1162 0 827279 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 3318872 KiB
Current children cumulated memory: 3297008 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.04 5/268 87179
/proc/meminfo: memFree=117738384/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3314740 memory=3294064 CPUtime=221.5 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 815882 0 0 0 22007 143 0 0 20 0 1 0 73824539 3394293760 823516 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 828685 823516 1184 1162 0 827294 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 3318932 KiB

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

/proc/87093/statm: 828697 823932 1184 1162 0 827306 0
Current children cumulated CPU time: 3031.99 s
Current children cumulated vsize: 3318980 KiB
Current children cumulated memory: 3298800 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/267 87334
/proc/meminfo: memFree=117744040/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3314788 memory=3295728 CPUtime=3091.81 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 827885 0 0 0 309003 178 0 0 20 0 1 0 73824539 3394342912 823932 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 828697 823932 1184 1162 0 827306 0
Current children cumulated CPU time: 3091.81 s
Current children cumulated vsize: 3318980 KiB
Current children cumulated memory: 3298800 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/267 87336
/proc/meminfo: memFree=117744352/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3314788 memory=3295728 CPUtime=3151.64 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 828471 0 0 0 314985 179 0 0 20 0 1 0 73824539 3394342912 823932 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 828697 823932 1184 1162 0 827306 0
Current children cumulated CPU time: 3151.64 s
Current children cumulated vsize: 3318980 KiB
Current children cumulated memory: 3298800 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/267 87338
/proc/meminfo: memFree=117752272/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3314788 memory=3295728 CPUtime=3211.46 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 829065 0 0 0 320967 179 0 0 20 0 1 0 73824539 3394342912 823932 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 828697 823932 1184 1162 0 827306 0
Current children cumulated CPU time: 3211.46 s
Current children cumulated vsize: 3318980 KiB
Current children cumulated memory: 3298800 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/268 87342
/proc/meminfo: memFree=117744848/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3314788 memory=3295728 CPUtime=3271.28 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 829653 0 0 0 326949 179 0 0 20 0 1 0 73824539 3394342912 823932 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 828697 823932 1184 1162 0 827306 0
Current children cumulated CPU time: 3271.28 s
Current children cumulated vsize: 3318980 KiB
Current children cumulated memory: 3298800 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/267 87344
/proc/meminfo: memFree=117743260/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3314788 memory=3295728 CPUtime=3331.11 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 830243 0 0 0 332931 180 0 0 20 0 1 0 73824539 3394342912 823932 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 828697 823932 1184 1162 0 827306 0
Current children cumulated CPU time: 3331.11 s
Current children cumulated vsize: 3318980 KiB
Current children cumulated memory: 3298800 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 87346
/proc/meminfo: memFree=117743252/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3314788 memory=3295728 CPUtime=3390.93 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 830830 0 0 0 338913 180 0 0 20 0 1 0 73824539 3394342912 823932 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 828697 823932 1184 1162 0 827306 0
Current children cumulated CPU time: 3390.93 s
Current children cumulated vsize: 3318980 KiB
Current children cumulated memory: 3298800 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 87348
/proc/meminfo: memFree=117746812/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3314788 memory=3295728 CPUtime=3450.76 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 831419 0 0 0 344895 181 0 0 20 0 1 0 73824539 3394342912 823932 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 828697 823932 1184 1162 0 827306 0
Current children cumulated CPU time: 3450.76 s
Current children cumulated vsize: 3318980 KiB
Current children cumulated memory: 3298800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.17 4.11 5/268 87355
/proc/meminfo: memFree=117745164/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3314788 memory=3295728 CPUtime=3510.58 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 832011 0 0 0 350877 181 0 0 20 0 1 0 73824539 3394342912 823932 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 828697 823932 1184 1162 0 827306 0
Current children cumulated CPU time: 3510.58 s
Current children cumulated vsize: 3318980 KiB
Current children cumulated memory: 3298800 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/267 87357
/proc/meminfo: memFree=117719248/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3314788 memory=3295728 CPUtime=3570.41 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 832603 0 0 0 356859 182 0 0 20 0 1 0 73824539 3394342912 823932 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 828697 823932 1184 1162 0 827306 0
Current children cumulated CPU time: 3570.41 s
Current children cumulated vsize: 3318980 KiB
Current children cumulated memory: 3298800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 4.14 4.15 4.11 5/268 87360
/proc/meminfo: memFree=117746440/131249996 swapFree=33010672/33010684
[pid=87091] ppid=87088 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/87091/stat : 87091 (toulbar2.sh) S 87088 87091 86667 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73824538 4292608 768 18446744073709551615 93986819923968 93986820818501 140732463176640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93986821057552 93986821105296 93986846330880 140732463180087 140732463180263 140732463180263 140732463185865 0
/proc/87091/statm: 1048 768 704 219 0 110 0
[pid=87093] ppid=87091 vsize=3314788 memory=3295728 CPUtime=3600.02 cores=4,6
/proc/87093/stat : 87093 (toulbar2) R 87091 87091 86667 0 -1 4194304 832924 0 0 0 359820 182 0 0 20 0 1 0 73824539 3394342912 823932 18446744073709551615 4198400 8956741 140726197450032 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34897920 140726197455221 140726197455340 140726197455340 140726197460940 0
/proc/87093/statm: 828697 823932 1184 1162 0 827306 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3318980 KiB
Current children cumulated memory: 3298800 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001997 s, system=0 s

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

# cumulated CPU time of all completed processes:  user=3598.25 s, system=1.83437 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

Child status: 0

Real time (s): 3612.05
CPU time (s): 3600.08
CPU user time (s): 3598.25
CPU system time (s): 1.83437
CPU usage (%): 99.6687
Max. virtual memory (cumulated for all children) (KiB): 3318980
Max. memory (cumulated for all children) (KiB): 3298800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.25
system time used= 1.83437
maximum resident set size= 3305292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 833133
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= 283
involuntary context switches= 1100


# summary of solver processes directly reported to runsolver:
#   pid: 87091,87093
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.25
#   total CPU system time (s): 1.83437

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22363 second user time and 16.5796 second system time

The end