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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499456-1751416697/watcher-4499456-1751416697 -o /tmp/evaluation-result-4499456-1751416697/solver-4499456-1751416697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751416697-59892 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4499456-1751416697.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=59941, runsolver pid=59931
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.19 3.24 3.80 6/271 59954
/proc/meminfo: memFree=129120232/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=49980 memory=40320 CPUtime=0.08 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 9265 0 0 0 6 2 0 0 20 0 1 0 57346335 51179520 10080 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 12495 10080 928 1162 0 11104 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54172 KiB
Current children cumulated memory: 43264 KiB

[startup+0.204744 s]*
/proc/loadavg: 1.19 3.24 3.80 6/271 59954
/proc/meminfo: memFree=129000028/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=88400 memory=78848 CPUtime=0.18 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 18880 0 0 0 15 3 0 0 20 0 1 0 57346335 90521600 19712 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 22100 19712 928 1162 0 20709 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 92592 KiB
Current children cumulated memory: 81792 KiB

[startup+0.305794 s]*
/proc/loadavg: 1.19 3.24 3.80 6/271 59954
/proc/meminfo: memFree=128877808/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=125048 memory=115328 CPUtime=0.27 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 28059 0 0 0 23 4 0 0 20 0 1 0 57346335 128049152 28832 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 31262 28832 928 1162 0 29871 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 129240 KiB
Current children cumulated memory: 118272 KiB

[startup+0.700156 s]
/proc/loadavg: 1.19 3.24 3.80 6/271 59954
/proc/meminfo: memFree=128605204/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=234224 memory=224412 CPUtime=0.65 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 55460 0 0 0 56 9 0 0 20 0 1 0 57346335 239845376 56103 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 58556 56103 1024 1162 0 57165 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 238416 KiB
Current children cumulated memory: 227356 KiB

[startup+1.50016 s]
/proc/loadavg: 1.19 3.24 3.80 6/271 59954
/proc/meminfo: memFree=128339848/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=234224 memory=224412 CPUtime=1.45 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 55460 0 0 0 136 9 0 0 20 0 1 0 57346335 239845376 56103 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 58556 56103 1024 1162 0 57165 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 238416 KiB
Current children cumulated memory: 227356 KiB

[startup+3.10463 s]
/proc/loadavg: 1.41 3.25 3.80 6/271 59954
/proc/meminfo: memFree=128308008/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=234808 memory=226076 CPUtime=3.05 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 55737 0 0 0 296 9 0 0 20 0 1 0 57346335 240443392 56519 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 58702 56519 1152 1162 0 57311 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 239000 KiB
Current children cumulated memory: 229020 KiB

[startup+6.30016 s]
/proc/loadavg: 1.41 3.25 3.80 6/271 59954
/proc/meminfo: memFree=128292376/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=235832 memory=227804 CPUtime=6.24 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 56433 0 0 0 614 10 0 0 20 0 1 0 57346335 241491968 56951 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 58958 56951 1152 1162 0 57567 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 240024 KiB
Current children cumulated memory: 230748 KiB

[startup+12.7002 s]
/proc/loadavg: 1.81 3.28 3.80 6/271 59954
/proc/meminfo: memFree=128282364/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=235832 memory=227804 CPUtime=12.62 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 56438 0 0 0 1252 10 0 0 20 0 1 0 57346335 241491968 56951 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 58958 56951 1152 1162 0 57567 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 240024 KiB
Current children cumulated memory: 230748 KiB

[startup+25.5002 s]
/proc/loadavg: 2.15 3.30 3.81 6/271 59954
/proc/meminfo: memFree=128278308/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=237880 memory=229172 CPUtime=25.38 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 57295 0 0 0 2528 10 0 0 20 0 1 0 57346335 243589120 57293 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 59470 57293 1152 1162 0 58079 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 242072 KiB
Current children cumulated memory: 232116 KiB

[startup+51.1048 s]
/proc/loadavg: 2.97 3.41 3.83 6/271 59955
/proc/meminfo: memFree=128270340/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=238056 memory=229556 CPUtime=50.9 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 57350 0 0 0 5080 10 0 0 20 0 1 0 57346335 243769344 57389 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 59514 57389 1184 1162 0 58123 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 242248 KiB
Current children cumulated memory: 232500 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 3.52 3.84 6/272 59958
/proc/meminfo: memFree=128260328/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=238440 memory=229812 CPUtime=101.93 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 57421 0 0 0 10182 11 0 0 20 0 1 0 57346335 244162560 57453 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 59610 57453 1184 1162 0 58219 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 242632 KiB
Current children cumulated memory: 232756 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 3.63 3.86 6/272 59959
/proc/meminfo: memFree=128242372/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=238632 memory=230068 CPUtime=161.74 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 57471 0 0 0 16163 11 0 0 20 0 1 0 57346335 244359168 57517 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 59658 57517 1184 1162 0 58267 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 242824 KiB
Current children cumulated memory: 233012 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 3.71 3.88 6/272 59961
/proc/meminfo: memFree=128240476/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=239016 memory=230196 CPUtime=221.56 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 57531 0 0 0 22144 12 0 0 20 0 1 0 57346335 244752384 57549 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 59754 57549 1184 1162 0 58363 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 243208 KiB

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

/proc/59952/statm: 60811 59300 1184 1162 0 59420 0
Current children cumulated CPU time: 3032.56 s
Current children cumulated vsize: 247436 KiB
Current children cumulated memory: 240144 KiB

[startup+3102.3 s]
/proc/loadavg: 4.66 4.36 4.19 6/267 60118
/proc/meminfo: memFree=128183588/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=243244 memory=237200 CPUtime=3092.37 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 59661 0 0 0 309196 41 0 0 20 0 1 0 57346335 249081856 59300 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 60811 59300 1184 1162 0 59420 0
Current children cumulated CPU time: 3092.37 s
Current children cumulated vsize: 247436 KiB
Current children cumulated memory: 240144 KiB

[startup+3162.3 s]
/proc/loadavg: 4.29 4.31 4.18 6/266 60120
/proc/meminfo: memFree=128183676/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=243244 memory=237200 CPUtime=3152.18 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 59715 0 0 0 315176 42 0 0 20 0 1 0 57346335 249081856 59300 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 60811 59300 1184 1162 0 59420 0
Current children cumulated CPU time: 3152.18 s
Current children cumulated vsize: 247436 KiB
Current children cumulated memory: 240144 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.26 4.17 6/266 60122
/proc/meminfo: memFree=128183852/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=243244 memory=237200 CPUtime=3211.99 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 59736 0 0 0 321156 43 0 0 20 0 1 0 57346335 249081856 59300 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 60811 59300 1184 1162 0 59420 0
Current children cumulated CPU time: 3211.99 s
Current children cumulated vsize: 247436 KiB
Current children cumulated memory: 240144 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.23 4.17 6/266 60124
/proc/meminfo: memFree=128183668/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=243244 memory=237200 CPUtime=3271.8 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 59748 0 0 0 327136 44 0 0 20 0 1 0 57346335 249081856 59300 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 60811 59300 1184 1162 0 59420 0
Current children cumulated CPU time: 3271.8 s
Current children cumulated vsize: 247436 KiB
Current children cumulated memory: 240144 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.20 4.16 6/267 60127
/proc/meminfo: memFree=128184900/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=243244 memory=237200 CPUtime=3331.61 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 59753 0 0 0 333117 44 0 0 20 0 1 0 57346335 249081856 59300 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 60811 59300 1184 1162 0 59420 0
Current children cumulated CPU time: 3331.61 s
Current children cumulated vsize: 247436 KiB
Current children cumulated memory: 240144 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.19 4.16 6/267 60129
/proc/meminfo: memFree=128184900/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=243244 memory=237200 CPUtime=3391.42 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 59816 0 0 0 339097 45 0 0 20 0 1 0 57346335 249081856 59300 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 60811 59300 1184 1162 0 59420 0
Current children cumulated CPU time: 3391.42 s
Current children cumulated vsize: 247436 KiB
Current children cumulated memory: 240144 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.17 4.16 6/268 60132
/proc/meminfo: memFree=128184780/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=243244 memory=237200 CPUtime=3451.22 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 59834 0 0 0 345077 45 0 0 20 0 1 0 57346335 249081856 59300 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 60811 59300 1184 1162 0 59420 0
Current children cumulated CPU time: 3451.22 s
Current children cumulated vsize: 247436 KiB
Current children cumulated memory: 240144 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.15 6/269 60141
/proc/meminfo: memFree=128187372/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=243244 memory=237200 CPUtime=3511.03 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 59843 0 0 0 351058 45 0 0 20 0 1 0 57346335 249081856 59300 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 60811 59300 1184 1162 0 59420 0
Current children cumulated CPU time: 3511.03 s
Current children cumulated vsize: 247436 KiB
Current children cumulated memory: 240144 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.14 6/269 60143
/proc/meminfo: memFree=128188124/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=243244 memory=237200 CPUtime=3570.85 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 59847 0 0 0 357039 46 0 0 20 0 1 0 57346335 249081856 59300 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 60811 59300 1184 1162 0 59420 0
Current children cumulated CPU time: 3570.85 s
Current children cumulated vsize: 247436 KiB
Current children cumulated memory: 240144 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.14 4.14 4.14 2/250 60215
/proc/meminfo: memFree=129005728/131250000 swapFree=33010672/33010684
[pid=59941] ppid=59931 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59941/stat : 59941 (toulbar2.sh) S 59931 59941 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 736 18446744073709551615 94141063991296 94141064885829 140732456251472 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94141065124880 94141065172624 94141089001472 140732456253751 140732456253927 140732456253927 140732456259529 0
/proc/59941/statm: 1048 736 672 219 0 110 0
[pid=59952] ppid=59941 vsize=243244 memory=237200 CPUtime=3600.04 cores=4,6
/proc/59952/stat : 59952 (toulbar2) R 59941 59941 58968 0 -1 4194304 59849 0 0 0 359958 46 0 0 20 0 1 0 57346335 249081856 59300 18446744073709551615 4198400 8956741 140721696233488 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 34500608 140721696242037 140721696242156 140721696242156 140721696247756 0
/proc/59952/statm: 60811 59300 1184 1162 0 59420 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 247436 KiB
Current children cumulated memory: 240144 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3611.6 s]
# the end of solver process 59941 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.002215 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3599.59 s, system=0.468932 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): 3611.61
CPU time (s): 3600.06
CPU user time (s): 3599.59
CPU system time (s): 0.468932
CPU usage (%): 99.6804
Max. virtual memory (cumulated for all children) (KiB): 247436
Max. memory (cumulated for all children) (KiB): 240144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.59
system time used= 0.468932
maximum resident set size= 238212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60056
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= 127
involuntary context switches= 3709


# summary of solver processes directly reported to runsolver:
#   pid: 59941,59952
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.59
#   total CPU system time (s): 0.468932

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72015 second user time and 12.6315 second system time

The end