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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512446-1751534242/watcher-4512446-1751534242 -o /tmp/evaluation-result-4512446-1751534242/solver-4512446-1751534242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751527022-74033 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4512446-1751534242.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
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB

solver pid=74771, runsolver pid=74764

[startup+0.100072 s]*
/proc/loadavg: 4.27 4.13 4.10 5/245 74774
/proc/meminfo: memFree=129901440/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=31060 memory=21504 CPUtime=0.09 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 4562 0 0 0 8 1 0 0 20 0 1 0 69103373 31805440 5376 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 7765 5376 928 1162 0 6374 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35252 KiB
Current children cumulated memory: 24576 KiB

[startup+0.213771 s]*
/proc/loadavg: 4.27 4.13 4.10 5/250 74785
/proc/meminfo: memFree=129867476/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=46772 memory=37248 CPUtime=0.2 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 8479 0 0 0 16 4 0 0 20 0 1 0 69103373 47894528 9312 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 11693 9312 928 1162 0 10302 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50964 KiB
Current children cumulated memory: 40320 KiB

[startup+0.314124 s]*
/proc/loadavg: 4.27 4.13 4.10 4/253 74791
/proc/meminfo: memFree=129827600/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=60032 memory=50304 CPUtime=0.3 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 11764 0 0 0 24 6 0 0 20 0 1 0 69103373 61472768 12576 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 15008 12576 928 1162 0 13617 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64224 KiB
Current children cumulated memory: 53376 KiB

[startup+0.700487 s]
/proc/loadavg: 4.27 4.13 4.10 6/253 74806
/proc/meminfo: memFree=129702204/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=92940 memory=83476 CPUtime=0.67 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 20051 0 0 0 58 9 0 0 20 0 1 0 69103373 95170560 20869 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 23235 20869 1024 1162 0 21844 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 97132 KiB
Current children cumulated memory: 86548 KiB

[startup+1.5004 s]
/proc/loadavg: 4.27 4.13 4.10 6/256 74823
/proc/meminfo: memFree=129550972/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=114584 memory=105876 CPUtime=1.47 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 25520 0 0 0 136 11 0 0 20 0 1 0 69103373 117334016 26469 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 28646 26469 1184 1162 0 27255 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 118776 KiB
Current children cumulated memory: 108948 KiB

[startup+3.1131 s]
/proc/loadavg: 4.27 4.13 4.10 6/256 74823
/proc/meminfo: memFree=128778128/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=115776 memory=107668 CPUtime=3.07 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 25961 0 0 0 296 11 0 0 20 0 1 0 69103373 118554624 26917 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 28944 26917 1184 1162 0 27553 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 119968 KiB
Current children cumulated memory: 110740 KiB

[startup+6.3004 s]
/proc/loadavg: 4.25 4.13 4.10 6/256 74823
/proc/meminfo: memFree=127625708/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=115996 memory=107796 CPUtime=6.24 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 25997 0 0 0 613 11 0 0 20 0 1 0 69103373 118779904 26949 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 28999 26949 1184 1162 0 27608 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 120188 KiB
Current children cumulated memory: 110868 KiB

[startup+12.7004 s]
/proc/loadavg: 4.23 4.13 4.10 6/256 74824
/proc/meminfo: memFree=127609356/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=116476 memory=108308 CPUtime=12.62 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 26101 0 0 0 1251 11 0 0 20 0 1 0 69103373 119271424 27077 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 29119 27077 1184 1162 0 27728 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 120668 KiB
Current children cumulated memory: 111380 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.12 4.10 6/255 74824
/proc/meminfo: memFree=127597212/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=116788 memory=108568 CPUtime=25.36 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 26255 0 0 0 2525 11 0 0 20 0 1 0 69103373 119590912 27142 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 29197 27142 1184 1162 0 27806 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 120980 KiB
Current children cumulated memory: 111640 KiB

[startup+51.1133 s]
/proc/loadavg: 4.18 4.13 4.10 6/255 74824
/proc/meminfo: memFree=127587092/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=117172 memory=108748 CPUtime=50.86 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 26421 0 0 0 5075 11 0 0 20 0 1 0 69103373 119984128 27187 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 29293 27187 1184 1162 0 27902 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 121364 KiB
Current children cumulated memory: 111820 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/257 74874
/proc/meminfo: memFree=127408192/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=118324 memory=109476 CPUtime=101.82 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 26870 0 0 0 10171 11 0 0 20 0 1 0 69103373 121163776 27369 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 29581 27369 1184 1162 0 28190 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 122516 KiB
Current children cumulated memory: 112548 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/257 74876
/proc/meminfo: memFree=127337432/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=119092 memory=110308 CPUtime=161.57 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 27335 0 0 0 16146 11 0 0 20 0 1 0 69103373 121950208 27577 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 29773 27577 1184 1162 0 28382 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 123284 KiB
Current children cumulated memory: 113380 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.14 4.10 6/257 74890
/proc/meminfo: memFree=127047744/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=120628 memory=116248 CPUtime=221.36 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 27992 0 0 0 22124 12 0 0 20 0 1 0 69103373 123523072 29062 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 30157 29062 1184 1162 0 28766 0
Current children cumulated CPU time: 221.36 s

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

/proc/loadavg: 4.04 4.11 4.14 5/254 75078
/proc/meminfo: memFree=126585404/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=186792 memory=163052 CPUtime=3030.78 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 32135 0 0 0 303060 18 0 0 20 0 1 0 69103373 191275008 40763 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 46698 40763 1184 1162 0 45307 0
Current children cumulated CPU time: 3030.78 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 166124 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/253 75080
/proc/meminfo: memFree=126584252/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=186792 memory=163052 CPUtime=3090.59 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 32137 0 0 0 309041 18 0 0 20 0 1 0 69103373 191275008 40763 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 46698 40763 1184 1162 0 45307 0
Current children cumulated CPU time: 3090.59 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 166124 KiB

[startup+3162.3 s]
/proc/loadavg: 4.25 4.15 4.15 5/254 75083
/proc/meminfo: memFree=126585496/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=186792 memory=163052 CPUtime=3150.4 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 32146 0 0 0 315022 18 0 0 20 0 1 0 69103373 191275008 40763 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 46698 40763 1184 1162 0 45307 0
Current children cumulated CPU time: 3150.4 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 166124 KiB

[startup+3222.3 s]
/proc/loadavg: 4.74 4.32 4.21 5/254 75085
/proc/meminfo: memFree=126584804/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=186792 memory=163052 CPUtime=3210.2 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 32152 0 0 0 321002 18 0 0 20 0 1 0 69103373 191275008 40763 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 46698 40763 1184 1162 0 45307 0
Current children cumulated CPU time: 3210.2 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 166124 KiB

[startup+3282.3 s]
/proc/loadavg: 4.39 4.29 4.20 5/254 75087
/proc/meminfo: memFree=126585528/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=186792 memory=165164 CPUtime=3270 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 32155 0 0 0 326982 18 0 0 20 0 1 0 69103373 191275008 41291 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 46698 41291 1184 1162 0 45307 0
Current children cumulated CPU time: 3270 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 168236 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.25 4.19 5/255 75092
/proc/meminfo: memFree=126585068/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=210336 memory=178484 CPUtime=3329.81 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 32714 0 0 0 332963 18 0 0 20 0 1 0 69103373 215384064 44621 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 52584 44621 1184 1162 0 51193 0
Current children cumulated CPU time: 3329.81 s
Current children cumulated vsize: 214528 KiB
Current children cumulated memory: 181556 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.23 4.19 5/255 75094
/proc/meminfo: memFree=126585808/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=210336 memory=180532 CPUtime=3389.62 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 32719 0 0 0 338944 18 0 0 20 0 1 0 69103373 215384064 45133 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 52584 45133 1184 1162 0 51193 0
Current children cumulated CPU time: 3389.62 s
Current children cumulated vsize: 214528 KiB
Current children cumulated memory: 183604 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.19 4.17 5/254 75096
/proc/meminfo: memFree=126585132/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=210336 memory=180532 CPUtime=3449.42 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 32720 0 0 0 344924 18 0 0 20 0 1 0 69103373 215384064 45133 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 52584 45133 1184 1162 0 51193 0
Current children cumulated CPU time: 3449.42 s
Current children cumulated vsize: 214528 KiB
Current children cumulated memory: 183604 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/254 75098
/proc/meminfo: memFree=126585680/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=210336 memory=182580 CPUtime=3509.23 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 32722 0 0 0 350905 18 0 0 20 0 1 0 69103373 215384064 45645 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 52584 45645 1184 1162 0 51193 0
Current children cumulated CPU time: 3509.23 s
Current children cumulated vsize: 214528 KiB
Current children cumulated memory: 185652 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/254 75100
/proc/meminfo: memFree=126584956/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=210336 memory=182580 CPUtime=3569.04 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 32727 0 0 0 356886 18 0 0 20 0 1 0 69103373 215384064 45645 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 52584 45645 1184 1162 0 51193 0
Current children cumulated CPU time: 3569.04 s
Current children cumulated vsize: 214528 KiB
Current children cumulated memory: 185652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.4 s]
/proc/loadavg: 4.15 4.16 4.17 5/250 75114
/proc/meminfo: memFree=129140716/131382120 swapFree=33010160/33010684
[pid=74771] ppid=74764 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/74771/stat : 74771 (toulbar2.sh) S 74764 74771 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94761374531584 94761375426117 140722869987120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94761375665168 94761375712912 94761386704896 140722869995831 140722869996007 140722869996007 140722870001609 0
/proc/74771/statm: 1048 768 704 219 0 110 0
[pid=74774] ppid=74771 vsize=210336 memory=182580 CPUtime=3600.05 cores=1,3
/proc/74774/stat : 74774 (toulbar2) R 74771 74771 74021 0 -1 4194304 32727 0 0 0 359987 18 0 0 20 0 1 0 69103373 215384064 45645 18446744073709551615 4198400 8956741 140734725728448 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 40566784 140734725732725 140734725732844 140734725732844 140734725738444 0
/proc/74774/statm: 52584 45645 1184 1162 0 51193 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 214528 KiB
Current children cumulated memory: 185652 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.88 s, system=0.192168 s

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

Child status: 0

Real time (s): 3613.4
CPU time (s): 3600.07
CPU user time (s): 3599.88
CPU system time (s): 0.192168
CPU usage (%): 99.631
Max. virtual memory (cumulated for all children) (KiB): 214528
Max. memory (cumulated for all children) (KiB): 185652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.88
system time used= 0.192168
maximum resident set size= 185536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32943
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= 99
involuntary context switches= 2775


# summary of solver processes directly reported to runsolver:
#   pid: 74771
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.88
#   total CPU system time (s): 0.192168

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1157 second user time and 36.7619 second system time

The end