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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=39176, runsolver pid=39161

[startup+0.100059 s]*
/proc/loadavg: 4.10 4.09 4.04 5/261 39187
/proc/meminfo: memFree=129740264/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=56684 memory=46976 CPUtime=0.08 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 10926 0 0 0 7 1 0 0 20 0 1 0 45203502 58044416 11744 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 14171 11744 928 1162 0 12780 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60876 KiB
Current children cumulated memory: 50048 KiB

[startup+0.205382 s]*
/proc/loadavg: 4.10 4.09 4.04 5/261 39192
/proc/meminfo: memFree=129603732/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=102516 memory=92800 CPUtime=0.19 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 22417 0 0 0 16 3 0 0 20 0 1 0 45203502 104976384 23200 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 25629 23200 928 1162 0 24238 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106708 KiB
Current children cumulated memory: 95872 KiB

[startup+0.305363 s]*
/proc/loadavg: 4.10 4.09 4.04 5/267 39202
/proc/meminfo: memFree=129474420/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=146416 memory=136436 CPUtime=0.29 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 33389 0 0 0 24 5 0 0 20 0 1 0 45203502 149929984 34109 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 36604 34109 928 1162 0 35213 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 150608 KiB
Current children cumulated memory: 139508 KiB

[startup+0.70022 s]
/proc/loadavg: 4.09 4.09 4.04 5/267 39202
/proc/meminfo: memFree=129113052/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=317244 memory=307060 CPUtime=0.68 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 76179 0 0 0 56 12 0 0 20 0 1 0 45203502 324857856 76765 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 79311 76765 928 1162 0 77920 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 321436 KiB
Current children cumulated memory: 310132 KiB

[startup+1.50022 s]
/proc/loadavg: 4.09 4.09 4.04 6/268 39204
/proc/meminfo: memFree=127927252/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=659540 memory=649644 CPUtime=1.47 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 161973 0 0 0 122 25 0 0 20 0 1 0 45203502 675368960 162411 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 164885 162411 1024 1162 0 163494 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 663732 KiB
Current children cumulated memory: 652716 KiB

[startup+3.10568 s]
/proc/loadavg: 4.09 4.09 4.04 6/268 39204
/proc/meminfo: memFree=127773336/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=665316 memory=656652 CPUtime=3.08 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 164471 0 0 0 282 26 0 0 20 0 1 0 45203502 681283584 164163 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 166329 164163 1024 1162 0 164938 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 669508 KiB
Current children cumulated memory: 659724 KiB

[startup+6.30021 s]
/proc/loadavg: 4.09 4.09 4.04 6/268 39204
/proc/meminfo: memFree=127765564/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=665456 memory=657548 CPUtime=6.26 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 164572 0 0 0 600 26 0 0 20 0 1 0 45203502 681426944 164387 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 166364 164387 1184 1162 0 164973 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 669648 KiB
Current children cumulated memory: 660620 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.04 6/268 39204
/proc/meminfo: memFree=127765836/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=665588 memory=657804 CPUtime=12.64 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 164623 0 0 0 1238 26 0 0 20 0 1 0 45203502 681562112 164451 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 166397 164451 1184 1162 0 165006 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 669780 KiB
Current children cumulated memory: 660876 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.04 6/268 39204
/proc/meminfo: memFree=127765900/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=665720 memory=657932 CPUtime=25.39 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 164669 0 0 0 2513 26 0 0 20 0 1 0 45203502 681697280 164483 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 166430 164483 1184 1162 0 165039 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 669912 KiB
Current children cumulated memory: 661004 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.09 4.04 6/268 39204
/proc/meminfo: memFree=127765812/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=666536 memory=658828 CPUtime=50.91 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 164904 0 0 0 5065 26 0 0 20 0 1 0 45203502 682532864 164707 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 166634 164707 1184 1162 0 165243 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 670728 KiB
Current children cumulated memory: 661900 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.04 6/269 39213
/proc/meminfo: memFree=127749460/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=666932 memory=659212 CPUtime=101.92 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 164998 0 0 0 10166 26 0 0 20 0 1 0 45203502 682938368 164803 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 166733 164803 1184 1162 0 165342 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 671124 KiB
Current children cumulated memory: 662284 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.04 6/269 39215
/proc/meminfo: memFree=127764124/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=666932 memory=659212 CPUtime=161.72 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 165002 0 0 0 16146 26 0 0 20 0 1 0 45203502 682938368 164803 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 166733 164803 1184 1162 0 165342 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 671124 KiB
Current children cumulated memory: 662284 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.04 6/269 39217
/proc/meminfo: memFree=127759056/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=667656 memory=659596 CPUtime=221.51 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 165096 0 0 0 22125 26 0 0 20 0 1 0 45203502 683679744 164899 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 166914 164899 1184 1162 0 165523 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 671848 KiB

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

/proc/39179/statm: 180266 177114 1184 1162 0 178875 0
Current children cumulated CPU time: 3092.2 s
Current children cumulated vsize: 725256 KiB
Current children cumulated memory: 711528 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.17 4.15 6/267 39367
/proc/meminfo: memFree=127519364/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=721064 memory=708456 CPUtime=3152.01 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 174642 0 0 0 315171 30 0 0 20 0 1 0 45203502 738369536 177114 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 180266 177114 1184 1162 0 178875 0
Current children cumulated CPU time: 3152.01 s
Current children cumulated vsize: 725256 KiB
Current children cumulated memory: 711528 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.15 4.14 6/267 39369
/proc/meminfo: memFree=127519324/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=721064 memory=708456 CPUtime=3211.83 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 174658 0 0 0 321153 30 0 0 20 0 1 0 45203502 738369536 177114 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 180266 177114 1184 1162 0 178875 0
Current children cumulated CPU time: 3211.83 s
Current children cumulated vsize: 725256 KiB
Current children cumulated memory: 711528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.14 6/267 39371
/proc/meminfo: memFree=127510600/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=721064 memory=712556 CPUtime=3271.64 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 174824 0 0 0 327134 30 0 0 20 0 1 0 45203502 738369536 178139 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 180266 178139 1184 1162 0 178875 0
Current children cumulated CPU time: 3271.64 s
Current children cumulated vsize: 725256 KiB
Current children cumulated memory: 715628 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.16 4.14 6/267 39373
/proc/meminfo: memFree=127507164/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=721064 memory=712556 CPUtime=3331.45 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 174927 0 0 0 333115 30 0 0 20 0 1 0 45203502 738369536 178139 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 180266 178139 1184 1162 0 178875 0
Current children cumulated CPU time: 3331.45 s
Current children cumulated vsize: 725256 KiB
Current children cumulated memory: 715628 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.13 6/266 39376
/proc/meminfo: memFree=127502544/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=721064 memory=712556 CPUtime=3391.26 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 175157 0 0 0 339096 30 0 0 20 0 1 0 45203502 738369536 178139 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 180266 178139 1184 1162 0 178875 0
Current children cumulated CPU time: 3391.26 s
Current children cumulated vsize: 725256 KiB
Current children cumulated memory: 715628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.13 6/266 39378
/proc/meminfo: memFree=127502864/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=721064 memory=712556 CPUtime=3451.07 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 175190 0 0 0 345077 30 0 0 20 0 1 0 45203502 738369536 178139 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 180266 178139 1184 1162 0 178875 0
Current children cumulated CPU time: 3451.07 s
Current children cumulated vsize: 725256 KiB
Current children cumulated memory: 715628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.13 6/266 39380
/proc/meminfo: memFree=127502696/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=721064 memory=712556 CPUtime=3510.88 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 175307 0 0 0 351058 30 0 0 20 0 1 0 45203502 738369536 178139 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 180266 178139 1184 1162 0 178875 0
Current children cumulated CPU time: 3510.88 s
Current children cumulated vsize: 725256 KiB
Current children cumulated memory: 715628 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.12 6/266 39382
/proc/meminfo: memFree=127484328/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=721064 memory=714608 CPUtime=3570.7 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 175462 0 0 0 357040 30 0 0 20 0 1 0 45203502 738369536 178652 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 180266 178652 1184 1162 0 178875 0
Current children cumulated CPU time: 3570.7 s
Current children cumulated vsize: 725256 KiB
Current children cumulated memory: 717680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.06 4.10 4.12 4/261 39391
/proc/meminfo: memFree=128174900/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=721064 memory=716656 CPUtime=3600.01 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 175581 0 0 0 359971 30 0 0 20 0 1 0 45203502 738369536 179164 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 180266 179164 1184 1162 0 178875 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 725256 KiB
Current children cumulated memory: 719728 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3611.7 s]
# the end of solver process 39176 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.002856 s
Sleeping 2 seconds

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

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

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

[startup+3611.7 s]
/proc/loadavg: 4.06 4.10 4.12 4/261 39391
/proc/meminfo: memFree=128174900/131249988 swapFree=33010684/33010684
[pid=39176] ppid=39161 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (toulbar2.sh) S 39161 39176 38760 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45203502 4292608 768 18446744073709551615 94387687477248 94387688371781 140727559222080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94387688610832 94387688658576 94387694329856 140727559227703 140727559227879 140727559227879 140727559233481 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39179] ppid=39176 vsize=721064 memory=716656 CPUtime=3600.01 cores=5,7
/proc/39179/stat : 39179 (toulbar2) R 39176 39176 38760 0 -1 4194304 175581 0 0 0 359971 30 0 0 20 0 1 0 45203502 738369536 179164 18446744073709551615 4198400 8956741 140723544305680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 40775680 140723544312181 140723544312300 140723544312300 140723544317900 0
/proc/39179/statm: 180266 179164 1184 1162 0 178875 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 725256 KiB
Current children cumulated memory: 719728 KiB

Child status: 0

Real time (s): 3611.72
CPU time (s): 3600.04
CPU user time (s): 3599.72
CPU system time (s): 0.315716
CPU usage (%): 99.6767
Max. virtual memory (cumulated for all children) (KiB): 725256
Max. memory (cumulated for all children) (KiB): 719728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.72
system time used= 0.315716
maximum resident set size= 716656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175790
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= 136
involuntary context switches= 2662


# summary of solver processes directly reported to runsolver:
#   pid: 39176,39179
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.72
#   total CPU system time (s): 0.315716

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17979 second user time and 17.2174 second system time

The end