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

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

solver pid=61097, runsolver pid=61088

[startup+0.100064 s]*
/proc/loadavg: 0.38 0.86 1.00 6/274 61106
/proc/meminfo: memFree=108097444/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=53420 memory=43648 CPUtime=0.09 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 10102 0 0 0 8 1 0 0 20 0 1 0 57644966 54702080 10912 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 13355 10912 928 1162 0 11964 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57612 KiB
Current children cumulated memory: 46720 KiB

[startup+0.205704 s]*
/proc/loadavg: 0.38 0.86 1.00 6/274 61106
/proc/meminfo: memFree=107896348/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=94292 memory=84608 CPUtime=0.19 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 20359 0 0 0 16 3 0 0 20 0 1 0 57644966 96555008 21152 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 23573 21152 928 1162 0 22182 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 98484 KiB
Current children cumulated memory: 87680 KiB

[startup+0.305628 s]*
/proc/loadavg: 0.38 0.86 1.00 6/274 61106
/proc/meminfo: memFree=107735572/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=133232 memory=123520 CPUtime=0.29 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 30097 0 0 0 25 4 0 0 20 0 1 0 57644966 136429568 30880 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 33308 30880 928 1162 0 31917 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 137424 KiB
Current children cumulated memory: 126592 KiB

[startup+0.70022 s]
/proc/loadavg: 0.38 0.86 1.00 6/274 61106
/proc/meminfo: memFree=107405956/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=285320 memory=275716 CPUtime=0.67 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 68193 0 0 0 57 10 0 0 20 0 1 0 57644966 292167680 68929 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 71330 68929 928 1162 0 69939 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 289512 KiB
Current children cumulated memory: 278788 KiB

[startup+1.50022 s]
/proc/loadavg: 0.67 0.91 1.02 6/274 61106
/proc/meminfo: memFree=106746724/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=472100 memory=462096 CPUtime=1.48 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 115137 0 0 0 130 18 0 0 20 0 1 0 57644966 483430400 115524 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 118025 115524 992 1162 0 116634 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 476292 KiB
Current children cumulated memory: 465168 KiB

[startup+3.10578 s]
/proc/loadavg: 0.67 0.91 1.02 6/274 61107
/proc/meminfo: memFree=105570452/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=477688 memory=467856 CPUtime=3.07 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 116538 0 0 0 289 18 0 0 20 0 1 0 57644966 489152512 116964 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 119422 116964 1024 1162 0 118031 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 481880 KiB
Current children cumulated memory: 470928 KiB

[startup+6.30022 s]
/proc/loadavg: 0.93 0.97 1.03 6/274 61107
/proc/meminfo: memFree=105514316/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=480760 memory=471252 CPUtime=6.26 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 118124 0 0 0 607 19 0 0 20 0 1 0 57644966 492298240 117813 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 120190 117813 1024 1162 0 118799 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 484952 KiB
Current children cumulated memory: 474324 KiB

[startup+12.7002 s]
/proc/loadavg: 1.18 1.02 1.05 6/274 61107
/proc/meminfo: memFree=105441208/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=480900 memory=472148 CPUtime=12.64 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 118201 0 0 0 1245 19 0 0 20 0 1 0 57644966 492441600 118037 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 120225 118037 1184 1162 0 118834 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 485092 KiB
Current children cumulated memory: 475220 KiB

[startup+25.5002 s]
/proc/loadavg: 1.61 1.12 1.08 5/268 61143
/proc/meminfo: memFree=106978508/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=480900 memory=472276 CPUtime=25.4 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 118221 0 0 0 2520 20 0 0 20 0 1 0 57644966 492441600 118069 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 120225 118069 1184 1162 0 118834 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 485092 KiB
Current children cumulated memory: 475348 KiB

[startup+51.1055 s]
/proc/loadavg: 2.16 1.30 1.14 5/268 61143
/proc/meminfo: memFree=107067148/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=484996 memory=477108 CPUtime=50.93 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 119459 0 0 0 5072 21 0 0 20 0 1 0 57644966 496635904 119277 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 121249 119277 1184 1162 0 119858 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 489188 KiB
Current children cumulated memory: 480180 KiB

[startup+102.3 s]
/proc/loadavg: 2.68 1.58 1.25 5/267 61145
/proc/meminfo: memFree=107068096/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=485144 memory=477364 CPUtime=101.96 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 119512 0 0 0 10175 21 0 0 20 0 1 0 57644966 496787456 119341 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 121286 119341 1184 1162 0 119895 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 489336 KiB
Current children cumulated memory: 480436 KiB

[startup+162.3 s]
/proc/loadavg: 2.98 1.87 1.37 5/269 61149
/proc/meminfo: memFree=107071216/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=485336 memory=477492 CPUtime=161.77 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 119539 0 0 0 16156 21 0 0 20 0 1 0 57644966 496984064 119373 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 121334 119373 1184 1162 0 119943 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 489528 KiB
Current children cumulated memory: 480564 KiB

[startup+222.3 s]
/proc/loadavg: 3.04 2.09 1.48 5/265 61155
/proc/meminfo: memFree=107047668/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=485528 memory=477620 CPUtime=221.59 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 119578 0 0 0 22138 21 0 0 20 0 1 0 57644966 497180672 119405 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 121382 119405 1184 1162 0 119991 0
Current children cumulated CPU time: 221.59 s

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

/proc/loadavg: 3.11 3.09 3.01 5/260 61300
/proc/meminfo: memFree=107067884/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=488024 memory=483124 CPUtime=3033.54 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 122227 0 0 0 303331 23 0 0 20 0 1 0 57644966 499736576 120781 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 122006 120781 1184 1162 0 120615 0
Current children cumulated CPU time: 3033.54 s
Current children cumulated vsize: 492216 KiB
Current children cumulated memory: 486196 KiB

[startup+3102.3 s]
/proc/loadavg: 3.09 3.09 3.01 5/260 61302
/proc/meminfo: memFree=107067804/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=488024 memory=483124 CPUtime=3093.38 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 122347 0 0 0 309315 23 0 0 20 0 1 0 57644966 499736576 120781 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 122006 120781 1184 1162 0 120615 0
Current children cumulated CPU time: 3093.38 s
Current children cumulated vsize: 492216 KiB
Current children cumulated memory: 486196 KiB

[startup+3162.3 s]
/proc/loadavg: 3.07 3.08 3.01 5/259 61304
/proc/meminfo: memFree=107067044/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=488024 memory=483124 CPUtime=3153.21 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 122370 0 0 0 315298 23 0 0 20 0 1 0 57644966 499736576 120781 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 122006 120781 1184 1162 0 120615 0
Current children cumulated CPU time: 3153.21 s
Current children cumulated vsize: 492216 KiB
Current children cumulated memory: 486196 KiB

[startup+3222.3 s]
/proc/loadavg: 3.08 3.08 3.01 5/260 61311
/proc/meminfo: memFree=107067236/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=488024 memory=483124 CPUtime=3213.04 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 122490 0 0 0 321281 23 0 0 20 0 1 0 57644966 499736576 120781 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 122006 120781 1184 1162 0 120615 0
Current children cumulated CPU time: 3213.04 s
Current children cumulated vsize: 492216 KiB
Current children cumulated memory: 486196 KiB

[startup+3282.3 s]
/proc/loadavg: 3.07 3.08 3.01 5/260 61313
/proc/meminfo: memFree=107067036/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=488024 memory=483124 CPUtime=3272.88 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 122514 0 0 0 327265 23 0 0 20 0 1 0 57644966 499736576 120781 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 122006 120781 1184 1162 0 120615 0
Current children cumulated CPU time: 3272.88 s
Current children cumulated vsize: 492216 KiB
Current children cumulated memory: 486196 KiB

[startup+3342.3 s]
/proc/loadavg: 3.13 3.09 3.02 5/260 61315
/proc/meminfo: memFree=107067436/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=488024 memory=483252 CPUtime=3332.71 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 122527 0 0 0 333248 23 0 0 20 0 1 0 57644966 499736576 120813 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 122006 120813 1184 1162 0 120615 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 492216 KiB
Current children cumulated memory: 486324 KiB

[startup+3402.3 s]
/proc/loadavg: 3.05 3.08 3.01 5/261 61318
/proc/meminfo: memFree=107065508/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=488024 memory=483252 CPUtime=3392.55 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 122550 0 0 0 339232 23 0 0 20 0 1 0 57644966 499736576 120813 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 122006 120813 1184 1162 0 120615 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 492216 KiB
Current children cumulated memory: 486324 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.09 3.02 5/261 61322
/proc/meminfo: memFree=107083020/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=488024 memory=483252 CPUtime=3452.38 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 122656 0 0 0 345215 23 0 0 20 0 1 0 57644966 499736576 120813 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 122006 120813 1184 1162 0 120615 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 492216 KiB
Current children cumulated memory: 486324 KiB

[startup+3522.3 s]
/proc/loadavg: 3.11 3.09 3.02 5/261 61324
/proc/meminfo: memFree=107083148/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=488024 memory=483252 CPUtime=3512.21 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 122688 0 0 0 351198 23 0 0 20 0 1 0 57644966 499736576 120813 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 122006 120813 1184 1162 0 120615 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 492216 KiB
Current children cumulated memory: 486324 KiB

[startup+3582.3 s]
/proc/loadavg: 3.09 3.09 3.02 5/261 61326
/proc/meminfo: memFree=107083732/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=488024 memory=483252 CPUtime=3572.05 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 122794 0 0 0 357182 23 0 0 20 0 1 0 57644966 499736576 120813 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 122006 120813 1184 1162 0 120615 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 492216 KiB
Current children cumulated memory: 486324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 3.12 3.09 3.02 5/261 61326
/proc/meminfo: memFree=107083572/131249988 swapFree=33010160/33010684
[pid=61097] ppid=61088 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61097/stat : 61097 (toulbar2.sh) S 61088 61097 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644965 4292608 768 18446744073709551615 94549441302528 94549442197061 140734608524624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549442436112 94549442483856 94549454032896 140734608533815 140734608533991 140734608533991 140734608539593 0
/proc/61097/statm: 1048 768 704 219 0 110 0
[pid=61100] ppid=61097 vsize=488024 memory=483252 CPUtime=3600.07 cores=5,7
/proc/61100/stat : 61100 (toulbar2) R 61097 61097 61005 0 -1 4194304 122806 0 0 0 359984 23 0 0 20 0 1 0 57644966 499736576 120813 18446744073709551615 4198400 8956741 140725535990528 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 36478976 140725535996277 140725535996396 140725535996396 140725536001996 0
/proc/61100/statm: 122006 120813 1184 1162 0 120615 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 492216 KiB
Current children cumulated memory: 486324 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.85 s, system=0.235204 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): 3610.4
CPU time (s): 3600.08
CPU user time (s): 3599.85
CPU system time (s): 0.235204
CPU usage (%): 99.7142
Max. virtual memory (cumulated for all children) (KiB): 492216
Max. memory (cumulated for all children) (KiB): 486324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.85
system time used= 0.235204
maximum resident set size= 483252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123023
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= 158
involuntary context switches= 2861


# summary of solver processes directly reported to runsolver:
#   pid: 61097
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.85
#   total CPU system time (s): 0.235204

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46461 second user time and 17.3437 second system time

The end