runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61763 MiB free)
  memory of node 1: 64465 MiB (63028 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=63987, runsolver pid=63984

[startup+0.100069 s]*
/proc/loadavg: 4.20 4.16 4.11 5/269 63989
/proc/meminfo: memFree=127746796/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=52576 memory=43008 CPUtime=0.09 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 9933 0 0 0 8 1 0 0 20 0 1 0 54044161 53837824 10752 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 13144 10752 928 1162 0 11753 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56768 KiB
Current children cumulated memory: 46080 KiB

[startup+0.205762 s]*
/proc/loadavg: 4.20 4.16 4.11 5/269 63989
/proc/meminfo: memFree=127706476/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=92968 memory=83328 CPUtime=0.19 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 20019 0 0 0 17 2 0 0 20 0 1 0 54044161 95199232 20832 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 23242 20832 928 1162 0 21851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 97160 KiB
Current children cumulated memory: 86400 KiB

[startup+0.305573 s]*
/proc/loadavg: 4.20 4.16 4.11 5/269 63989
/proc/meminfo: memFree=127666156/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=130720 memory=121088 CPUtime=0.29 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 29444 0 0 0 25 4 0 0 20 0 1 0 54044161 133857280 30272 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 32680 30272 928 1162 0 31289 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 134912 KiB
Current children cumulated memory: 124160 KiB

[startup+0.700215 s]
/proc/loadavg: 4.20 4.16 4.11 5/269 63989
/proc/meminfo: memFree=127633900/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=169500 memory=160128 CPUtime=0.68 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 39138 0 0 0 63 5 0 0 20 0 1 0 54044161 173568000 40032 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 42375 40032 1024 1162 0 40984 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 173692 KiB
Current children cumulated memory: 163200 KiB

[startup+1.50022 s]
/proc/loadavg: 4.20 4.16 4.11 5/269 63989
/proc/meminfo: memFree=127625588/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=172780 memory=164556 CPUtime=1.47 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 40710 0 0 0 142 5 0 0 20 0 1 0 54044161 176926720 41139 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 43195 41139 1024 1162 0 41804 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 176972 KiB
Current children cumulated memory: 167628 KiB

[startup+3.10558 s]
/proc/loadavg: 4.18 4.15 4.11 5/269 63989
/proc/meminfo: memFree=127618688/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=184668 memory=174652 CPUtime=3.08 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 44504 0 0 0 302 6 0 0 20 0 1 0 54044161 189100032 43663 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 46167 43663 1184 1162 0 44776 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 188860 KiB
Current children cumulated memory: 177724 KiB

[startup+6.30022 s]
/proc/loadavg: 4.18 4.15 4.11 5/269 63989
/proc/meminfo: memFree=127618688/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=184668 memory=175932 CPUtime=6.26 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 44829 0 0 0 620 6 0 0 20 0 1 0 54044161 189100032 43983 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 46167 43983 1184 1162 0 44776 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 188860 KiB
Current children cumulated memory: 179004 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.15 4.11 5/269 63989
/proc/meminfo: memFree=127602556/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=184668 memory=176188 CPUtime=12.64 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 44878 0 0 0 1258 6 0 0 20 0 1 0 54044161 189100032 44047 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 46167 44047 1184 1162 0 44776 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 188860 KiB
Current children cumulated memory: 179260 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.11 5/269 63989
/proc/meminfo: memFree=127587032/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=184668 memory=176188 CPUtime=25.4 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 44880 0 0 0 2534 6 0 0 20 0 1 0 54044161 189100032 44047 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 46167 44047 1184 1162 0 44776 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 188860 KiB
Current children cumulated memory: 179260 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.15 4.11 5/269 63989
/proc/meminfo: memFree=127575236/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=188764 memory=178976 CPUtime=50.93 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 45589 0 0 0 5086 7 0 0 20 0 1 0 54044161 193294336 44744 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47191 44744 1184 1162 0 45800 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 192956 KiB
Current children cumulated memory: 182048 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/269 63991
/proc/meminfo: memFree=127587480/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=188764 memory=178976 CPUtime=101.97 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 45592 0 0 0 10190 7 0 0 20 0 1 0 54044161 193294336 44744 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47191 44744 1184 1162 0 45800 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 192956 KiB
Current children cumulated memory: 182048 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/268 63993
/proc/meminfo: memFree=127584544/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=188764 memory=178976 CPUtime=161.78 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 45595 0 0 0 16171 7 0 0 20 0 1 0 54044161 193294336 44744 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47191 44744 1184 1162 0 45800 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 192956 KiB
Current children cumulated memory: 182048 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/268 63996
/proc/meminfo: memFree=127582200/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=188764 memory=178976 CPUtime=221.6 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 45612 0 0 0 22153 7 0 0 20 0 1 0 54044161 193294336 44744 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47191 44744 1184 1162 0 45800 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 192956 KiB

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

/proc/63989/statm: 47666 46056 1184 1162 0 46275 0
Current children cumulated CPU time: 3094.37 s
Current children cumulated vsize: 194856 KiB
Current children cumulated memory: 187296 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 64156
/proc/meminfo: memFree=127587980/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=190796 memory=184224 CPUtime=3154.22 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 46900 0 0 0 315409 13 0 0 20 0 1 0 54044161 195375104 46056 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47699 46056 1184 1162 0 46308 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 194988 KiB
Current children cumulated memory: 187296 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 64158
/proc/meminfo: memFree=127588404/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=190796 memory=184224 CPUtime=3214.07 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 46900 0 0 0 321394 13 0 0 20 0 1 0 54044161 195375104 46056 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47699 46056 1184 1162 0 46308 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 194988 KiB
Current children cumulated memory: 187296 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 64160
/proc/meminfo: memFree=127588228/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=190796 memory=184224 CPUtime=3273.91 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 46905 0 0 0 327378 13 0 0 20 0 1 0 54044161 195375104 46056 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47699 46056 1184 1162 0 46308 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 194988 KiB
Current children cumulated memory: 187296 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 64163
/proc/meminfo: memFree=127588364/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=190796 memory=184224 CPUtime=3333.76 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 46905 0 0 0 333363 13 0 0 20 0 1 0 54044161 195375104 46056 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47699 46056 1184 1162 0 46308 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 194988 KiB
Current children cumulated memory: 187296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 64165
/proc/meminfo: memFree=127588324/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=190796 memory=184224 CPUtime=3393.61 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 46907 0 0 0 339347 14 0 0 20 0 1 0 54044161 195375104 46056 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47699 46056 1184 1162 0 46308 0
Current children cumulated CPU time: 3393.61 s
Current children cumulated vsize: 194988 KiB
Current children cumulated memory: 187296 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 64259
/proc/meminfo: memFree=125656332/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=190796 memory=184352 CPUtime=3453.43 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 46988 0 0 0 345327 16 0 0 20 0 1 0 54044161 195375104 46088 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47699 46088 1184 1162 0 46308 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 194988 KiB
Current children cumulated memory: 187424 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 64261
/proc/meminfo: memFree=125212052/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=190796 memory=184352 CPUtime=3513.25 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 46998 0 0 0 351309 16 0 0 20 0 1 0 54044161 195375104 46088 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47699 46088 1184 1162 0 46308 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 194988 KiB
Current children cumulated memory: 187424 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 64358
/proc/meminfo: memFree=125197392/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=190796 memory=184352 CPUtime=3573.08 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 46998 0 0 0 357290 18 0 0 20 0 1 0 54044161 195375104 46088 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47699 46088 1184 1162 0 46308 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 194988 KiB
Current children cumulated memory: 187424 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 64358
/proc/meminfo: memFree=125167336/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=190796 memory=184352 CPUtime=3600.01 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 46999 0 0 0 359983 18 0 0 20 0 1 0 54044161 195375104 46088 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47699 46088 1184 1162 0 46308 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 194988 KiB
Current children cumulated memory: 187424 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.3 s]
# the end of solver process 63987 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.002533 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3599.85 s, system=0.183531 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+3609.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 64358
/proc/meminfo: memFree=125167336/131250000 swapFree=33010684/33010684
[pid=63987] ppid=63984 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63987/stat : 63987 (toulbar2.sh) S 63984 63987 63429 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54044160 4292608 768 18446744073709551615 94554447888384 94554448782917 140727261294128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94554449021968 94554449069712 94554457989120 140727261301047 140727261301223 140727261301223 140727261306825 0
/proc/63987/statm: 1048 768 704 219 0 110 0
[pid=63989] ppid=63987 vsize=190796 memory=184352 CPUtime=3600.01 cores=4,6
/proc/63989/stat : 63989 (toulbar2) R 63987 63987 63429 0 -1 4194304 46999 0 0 0 359983 18 0 0 20 0 1 0 54044161 195375104 46088 18446744073709551615 4198400 8956741 140730984746928 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30015488 140730984749429 140730984749548 140730984749548 140730984755148 0
/proc/63989/statm: 47699 46088 1184 1162 0 46308 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 194988 KiB
Current children cumulated memory: 187424 KiB

Child status: 0

Real time (s): 3609.31
CPU time (s): 3600.03
CPU user time (s): 3599.85
CPU system time (s): 0.183531
CPU usage (%): 99.7428
Max. virtual memory (cumulated for all children) (KiB): 194988
Max. memory (cumulated for all children) (KiB): 187424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.85
system time used= 0.183531
maximum resident set size= 184352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47207
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= 131
involuntary context switches= 2263


# summary of solver processes directly reported to runsolver:
#   pid: 63987,63989
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.85
#   total CPU system time (s): 0.183531

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14869 second user time and 17.2467 second system time

The end