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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=87131, runsolver pid=87128

[startup+0.100067 s]*
/proc/loadavg: 4.04 4.09 4.04 4/265 87139
/proc/meminfo: memFree=125439540/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=54104 memory=44416 CPUtime=0.09 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 10295 0 0 0 7 2 0 0 20 0 1 0 73824591 55402496 11104 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 13526 11104 928 1162 0 12135 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58296 KiB
Current children cumulated memory: 47360 KiB

[startup+0.206031 s]*
/proc/loadavg: 4.04 4.09 4.04 4/265 87142
/proc/meminfo: memFree=125237904/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=94848 memory=85120 CPUtime=0.2 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 20491 0 0 0 17 3 0 0 20 0 1 0 73824591 97124352 21280 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 23712 21280 928 1162 0 22321 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99040 KiB
Current children cumulated memory: 88064 KiB

[startup+0.305813 s]*
/proc/loadavg: 4.04 4.09 4.04 4/265 87154
/proc/meminfo: memFree=125157284/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=133656 memory=124032 CPUtime=0.29 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 30214 0 0 0 24 5 0 0 20 0 1 0 73824591 136863744 31008 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 33414 31008 928 1162 0 32023 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 137848 KiB
Current children cumulated memory: 126976 KiB

[startup+0.700177 s]
/proc/loadavg: 4.04 4.09 4.04 4/263 87161
/proc/meminfo: memFree=124976940/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=286008 memory=276332 CPUtime=0.68 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 68361 0 0 0 56 12 0 0 20 0 1 0 73824591 292872192 69083 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 71502 69083 928 1162 0 70111 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 290200 KiB
Current children cumulated memory: 279276 KiB

[startup+1.50021 s]
/proc/loadavg: 4.04 4.09 4.04 5/268 87171
/proc/meminfo: memFree=124449280/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=599688 memory=590060 CPUtime=1.48 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 146936 0 0 0 121 27 0 0 20 0 1 0 73824591 614080512 147515 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 149922 147515 928 1162 0 148531 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 603880 KiB
Current children cumulated memory: 593004 KiB

[startup+3.10585 s]
/proc/loadavg: 4.12 4.10 4.04 5/268 87171
/proc/meminfo: memFree=122065332/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=1228032 memory=1215572 CPUtime=3.07 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 303570 0 0 0 255 52 0 0 20 0 1 0 73824591 1257504768 303893 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 307008 303893 928 1162 0 305617 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1232224 KiB
Current children cumulated memory: 1218516 KiB

[startup+6.30021 s]
/proc/loadavg: 4.12 4.10 4.04 5/268 87171
/proc/meminfo: memFree=118267008/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2791852 memory=2775256 CPUtime=6.26 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 691388 0 0 0 512 114 0 0 20 0 1 0 73824591 2858856448 693814 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 697963 693814 992 1162 0 696572 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2796044 KiB
Current children cumulated memory: 2778200 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.04 5/268 87171
/proc/meminfo: memFree=117896080/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2960716 memory=2943384 CPUtime=12.64 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 732892 0 0 0 1139 125 0 0 20 0 1 0 73824591 3031773184 735846 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 740179 735846 1024 1162 0 738788 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2964908 KiB
Current children cumulated memory: 2946328 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=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2960716 memory=2943384 CPUtime=25.39 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 732894 0 0 0 2414 125 0 0 20 0 1 0 73824591 3031773184 735846 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 740179 735846 1024 1162 0 738788 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2964908 KiB
Current children cumulated memory: 2946328 KiB

[startup+51.1061 s]
/proc/loadavg: 4.14 4.10 4.04 5/268 87172
/proc/meminfo: memFree=117839484/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999296 memory=2972440 CPUtime=50.9 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 736407 0 0 0 4963 127 0 0 20 0 1 0 73824591 3071279104 743110 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749824 743110 1184 1162 0 748433 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 3003488 KiB
Current children cumulated memory: 2975384 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/269 87175
/proc/meminfo: memFree=117740696/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999296 memory=2972696 CPUtime=101.9 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 736479 0 0 0 10060 130 0 0 20 0 1 0 73824591 3071279104 743174 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749824 743174 1184 1162 0 748433 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 3003488 KiB
Current children cumulated memory: 2975640 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/269 87177
/proc/meminfo: memFree=117739056/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999328 memory=2972696 CPUtime=161.67 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 736517 0 0 0 16036 131 0 0 20 0 1 0 73824591 3071311872 743174 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749832 743174 1184 1162 0 748441 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 3003520 KiB
Current children cumulated memory: 2975640 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/268 87179
/proc/meminfo: memFree=117738384/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999352 memory=2972696 CPUtime=221.42 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 736547 0 0 0 22010 132 0 0 20 0 1 0 73824591 3071336448 743174 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749838 743174 1184 1162 0 748447 0
Current children cumulated CPU time: 221.42 s

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

/proc/87133/statm: 749855 743206 1184 1162 0 748464 0
Current children cumulated CPU time: 3030.15 s
Current children cumulated vsize: 3003612 KiB
Current children cumulated memory: 2975768 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/267 87334
/proc/meminfo: memFree=117744104/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999424 memory=2972824 CPUtime=3089.92 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 738167 0 0 0 308795 197 0 0 20 0 1 0 73824591 3071410176 743206 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749856 743206 1184 1162 0 748465 0
Current children cumulated CPU time: 3089.92 s
Current children cumulated vsize: 3003616 KiB
Current children cumulated memory: 2975768 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/267 87336
/proc/meminfo: memFree=117744004/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999424 memory=2973208 CPUtime=3149.68 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 738201 0 0 0 314771 197 0 0 20 0 1 0 73824591 3071410176 743302 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749856 743302 1184 1162 0 748465 0
Current children cumulated CPU time: 3149.68 s
Current children cumulated vsize: 3003616 KiB
Current children cumulated memory: 2976152 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=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999424 memory=2973208 CPUtime=3209.45 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 738240 0 0 0 320747 198 0 0 20 0 1 0 73824591 3071410176 743302 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749856 743302 1184 1162 0 748465 0
Current children cumulated CPU time: 3209.45 s
Current children cumulated vsize: 3003616 KiB
Current children cumulated memory: 2976152 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/268 87342
/proc/meminfo: memFree=117744864/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999424 memory=2973208 CPUtime=3269.21 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 738262 0 0 0 326723 198 0 0 20 0 1 0 73824591 3071410176 743302 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749856 743302 1184 1162 0 748465 0
Current children cumulated CPU time: 3269.21 s
Current children cumulated vsize: 3003616 KiB
Current children cumulated memory: 2976152 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=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999424 memory=2973208 CPUtime=3328.97 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 738291 0 0 0 332699 198 0 0 20 0 1 0 73824591 3071410176 743302 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749856 743302 1184 1162 0 748465 0
Current children cumulated CPU time: 3328.97 s
Current children cumulated vsize: 3003616 KiB
Current children cumulated memory: 2976152 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 87346
/proc/meminfo: memFree=117743260/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999424 memory=2973208 CPUtime=3388.74 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 738324 0 0 0 338675 199 0 0 20 0 1 0 73824591 3071410176 743302 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749856 743302 1184 1162 0 748465 0
Current children cumulated CPU time: 3388.74 s
Current children cumulated vsize: 3003616 KiB
Current children cumulated memory: 2976152 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=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999424 memory=2973208 CPUtime=3448.5 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 738353 0 0 0 344651 199 0 0 20 0 1 0 73824591 3071410176 743302 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749856 743302 1184 1162 0 748465 0
Current children cumulated CPU time: 3448.5 s
Current children cumulated vsize: 3003616 KiB
Current children cumulated memory: 2976152 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.17 4.11 5/268 87355
/proc/meminfo: memFree=117745172/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999424 memory=2973208 CPUtime=3508.26 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 738381 0 0 0 350627 199 0 0 20 0 1 0 73824591 3071410176 743302 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749856 743302 1184 1162 0 748465 0
Current children cumulated CPU time: 3508.26 s
Current children cumulated vsize: 3003616 KiB
Current children cumulated memory: 2976152 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/267 87357
/proc/meminfo: memFree=117720580/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999424 memory=2973208 CPUtime=3568.03 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 738407 0 0 0 356603 200 0 0 20 0 1 0 73824591 3071410176 743302 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749856 743302 1184 1162 0 748465 0
Current children cumulated CPU time: 3568.03 s
Current children cumulated vsize: 3003616 KiB
Current children cumulated memory: 2976152 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.4 s]
/proc/loadavg: 4.13 4.15 4.11 5/266 87420
/proc/meminfo: memFree=121498884/131249996 swapFree=33010672/33010684
[pid=87131] ppid=87128 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87131/stat : 87131 (toulbar2.sh) S 87128 87131 86667 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73824590 4292608 736 18446744073709551615 94173367431168 94173368325701 140734971629296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173368564752 94173368612496 94173373935616 140734971636023 140734971636199 140734971636199 140734971641801 0
/proc/87131/statm: 1048 736 672 219 0 110 0
[pid=87133] ppid=87131 vsize=2999424 memory=2973208 CPUtime=3600 cores=1,3
/proc/87133/stat : 87133 (toulbar2) R 87131 87131 86667 0 -1 4194304 738707 0 0 0 359800 200 0 0 20 0 1 0 73824591 3071410176 743302 18446744073709551615 4198400 8956741 140724542286272 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 33603584 140724542294389 140724542294508 140724542294508 140724542300108 0
/proc/87133/statm: 749856 743302 1184 1162 0 748465 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3003616 KiB
Current children cumulated memory: 2976152 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3598.05 s, system=2.04246 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): 3614.49
CPU time (s): 3600.09
CPU user time (s): 3598.05
CPU system time (s): 2.04246
CPU usage (%): 99.6018
Max. virtual memory (cumulated for all children) (KiB): 3003616
Max. memory (cumulated for all children) (KiB): 2976152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.05
system time used= 2.04246
maximum resident set size= 2986012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 738916
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76
involuntary context switches= 4577


# summary of solver processes directly reported to runsolver:
#   pid: 87131,87133
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.05
#   total CPU system time (s): 2.04246

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.98388 second user time and 18.4071 second system time

The end