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

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

solver pid=37036, runsolver pid=37031

[startup+0.100061 s]*
/proc/loadavg: 4.11 4.10 4.03 4/262 37043
/proc/meminfo: memFree=129567068/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=30612 memory=21376 CPUtime=0.08 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 4443 0 0 0 7 1 0 0 20 0 1 0 44140036 31346688 5344 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 7653 5344 1024 1162 0 6262 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 34804 KiB
Current children cumulated memory: 24320 KiB

[startup+0.205439 s]*
/proc/loadavg: 4.11 4.10 4.03 5/263 37048
/proc/meminfo: memFree=129492980/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=31632 memory=22272 CPUtime=0.18 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 4668 0 0 0 17 1 0 0 20 0 1 0 44140036 32391168 5568 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 7908 5568 1024 1162 0 6517 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 35824 KiB
Current children cumulated memory: 25216 KiB

[startup+0.305711 s]*
/proc/loadavg: 4.11 4.10 4.03 5/268 37058
/proc/meminfo: memFree=129408364/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=40696 memory=31360 CPUtime=0.28 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 6950 0 0 0 26 2 0 0 20 0 1 0 44140036 41672704 7840 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 10174 7840 1024 1162 0 8783 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 44888 KiB
Current children cumulated memory: 34304 KiB

[startup+0.700196 s]
/proc/loadavg: 4.11 4.10 4.03 5/268 37058
/proc/meminfo: memFree=129243508/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=45188 memory=36608 CPUtime=0.67 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 8263 0 0 0 65 2 0 0 20 0 1 0 44140036 46272512 9152 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 11297 9152 1024 1162 0 9906 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 49380 KiB
Current children cumulated memory: 39552 KiB

[startup+1.5002 s]
/proc/loadavg: 4.11 4.10 4.03 5/268 37058
/proc/meminfo: memFree=128852656/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=45712 memory=38144 CPUtime=1.47 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 8530 0 0 0 145 2 0 0 20 0 1 0 44140036 46809088 9536 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 11428 9536 1152 1162 0 10037 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 49904 KiB
Current children cumulated memory: 41088 KiB

[startup+3.1054 s]
/proc/loadavg: 4.10 4.10 4.03 5/268 37058
/proc/meminfo: memFree=128249680/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=46076 memory=38528 CPUtime=3.07 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 8651 0 0 0 305 2 0 0 20 0 1 0 44140036 47181824 9632 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 11519 9632 1152 1162 0 10128 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 50268 KiB
Current children cumulated memory: 41472 KiB

[startup+6.30019 s]
/proc/loadavg: 4.10 4.10 4.03 5/268 37058
/proc/meminfo: memFree=128241824/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=46464 memory=38656 CPUtime=6.25 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 8725 0 0 0 623 2 0 0 20 0 1 0 44140036 47579136 9664 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 11616 9664 1152 1162 0 10225 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 50656 KiB
Current children cumulated memory: 41600 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.03 5/268 37059
/proc/meminfo: memFree=128241652/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=47232 memory=39364 CPUtime=12.64 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 9067 0 0 0 1262 2 0 0 20 0 1 0 44140036 48365568 9841 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 11808 9841 1152 1162 0 10417 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 42308 KiB

[startup+25.5001 s]
/proc/loadavg: 4.15 4.11 4.04 5/268 37059
/proc/meminfo: memFree=128239792/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=47232 memory=39364 CPUtime=25.41 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 9093 0 0 0 2539 2 0 0 20 0 1 0 44140036 48365568 9841 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 11808 9841 1152 1162 0 10417 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 42308 KiB

[startup+51.1051 s]
/proc/loadavg: 4.10 4.10 4.03 5/268 37059
/proc/meminfo: memFree=128215220/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=47232 memory=39364 CPUtime=50.95 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 9093 0 0 0 5093 2 0 0 20 0 1 0 44140036 48365568 9841 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 11808 9841 1152 1162 0 10417 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 42308 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/267 37061
/proc/meminfo: memFree=128157388/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=47232 memory=39492 CPUtime=102.04 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 9110 0 0 0 10202 2 0 0 20 0 1 0 44140036 48365568 9873 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 11808 9873 1152 1162 0 10417 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 42436 KiB

[startup+162.3 s]
/proc/loadavg: 4.38 4.16 4.06 5/267 37063
/proc/meminfo: memFree=127650292/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=48768 memory=40364 CPUtime=161.9 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 9728 0 0 0 16188 2 0 0 20 0 1 0 44140036 49938432 10091 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 12192 10091 1152 1162 0 10801 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 52960 KiB
Current children cumulated memory: 43308 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.16 4.06 5/268 37066
/proc/meminfo: memFree=127551788/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=48768 memory=40492 CPUtime=221.76 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 9758 0 0 0 22174 2 0 0 20 0 1 0 44140036 49938432 10123 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 12192 10123 1152 1162 0 10801 0
Current children cumulated CPU time: 221.76 s

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

/proc/loadavg: 4.14 4.12 4.09 5/268 37220
/proc/meminfo: memFree=127294320/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=50304 memory=48716 CPUtime=3035.7 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 10674 0 0 0 303565 5 0 0 20 0 1 0 44140036 51511296 12179 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 12576 12179 1152 1162 0 11185 0
Current children cumulated CPU time: 3035.7 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 51660 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 37223
/proc/meminfo: memFree=127293468/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=50304 memory=48716 CPUtime=3095.59 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 10693 0 0 0 309554 5 0 0 20 0 1 0 44140036 51511296 12179 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 12576 12179 1152 1162 0 11185 0
Current children cumulated CPU time: 3095.59 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 51660 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 37225
/proc/meminfo: memFree=127293292/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=50304 memory=48716 CPUtime=3155.47 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 10695 0 0 0 315542 5 0 0 20 0 1 0 44140036 51511296 12179 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 12576 12179 1152 1162 0 11185 0
Current children cumulated CPU time: 3155.47 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 51660 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 37227
/proc/meminfo: memFree=127287956/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=50304 memory=48716 CPUtime=3215.35 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 10697 0 0 0 321530 5 0 0 20 0 1 0 44140036 51511296 12179 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 12576 12179 1152 1162 0 11185 0
Current children cumulated CPU time: 3215.35 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 51660 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 37229
/proc/meminfo: memFree=127288472/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=53376 memory=48916 CPUtime=3275.23 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 10987 0 0 0 327518 5 0 0 20 0 1 0 44140036 54657024 12229 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 13344 12229 1152 1162 0 11953 0
Current children cumulated CPU time: 3275.23 s
Current children cumulated vsize: 57568 KiB
Current children cumulated memory: 51860 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 37232
/proc/meminfo: memFree=127284572/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=53376 memory=48916 CPUtime=3335.12 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 10990 0 0 0 333507 5 0 0 20 0 1 0 44140036 54657024 12229 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 13344 12229 1152 1162 0 11953 0
Current children cumulated CPU time: 3335.12 s
Current children cumulated vsize: 57568 KiB
Current children cumulated memory: 51860 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/267 37234
/proc/meminfo: memFree=127285864/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=53376 memory=48916 CPUtime=3395 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 11005 0 0 0 339495 5 0 0 20 0 1 0 44140036 54657024 12229 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 13344 12229 1152 1162 0 11953 0
Current children cumulated CPU time: 3395 s
Current children cumulated vsize: 57568 KiB
Current children cumulated memory: 51860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 37236
/proc/meminfo: memFree=127283900/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=53376 memory=50996 CPUtime=3454.88 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 11012 0 0 0 345483 5 0 0 20 0 1 0 44140036 54657024 12749 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 13344 12749 1152 1162 0 11953 0
Current children cumulated CPU time: 3454.88 s
Current children cumulated vsize: 57568 KiB
Current children cumulated memory: 53940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 37238
/proc/meminfo: memFree=127279852/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=53376 memory=50996 CPUtime=3514.76 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 11014 0 0 0 351471 5 0 0 20 0 1 0 44140036 54657024 12749 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 13344 12749 1152 1162 0 11953 0
Current children cumulated CPU time: 3514.76 s
Current children cumulated vsize: 57568 KiB
Current children cumulated memory: 53940 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 37247
/proc/meminfo: memFree=127280524/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=53376 memory=50996 CPUtime=3574.64 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 11017 0 0 0 357459 5 0 0 20 0 1 0 44140036 54657024 12749 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 13344 12749 1152 1162 0 11953 0
Current children cumulated CPU time: 3574.64 s
Current children cumulated vsize: 57568 KiB
Current children cumulated memory: 53940 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.8 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 37249
/proc/meminfo: memFree=127275952/131250000 swapFree=33010684/33010684
[pid=37036] ppid=37031 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/37036/stat : 37036 (toulbar2.sh) S 37031 37036 36608 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44140036 4292608 736 18446744073709551615 94666369859584 94666370754117 140734736889168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94666370993168 94666371040912 94666383171584 140734736898359 140734736898535 140734736898535 140734736904137 0
/proc/37036/statm: 1048 736 672 219 0 110 0
[pid=37039] ppid=37036 vsize=53376 memory=50996 CPUtime=3600.09 cores=4,6
/proc/37039/stat : 37039 (toulbar2) R 37036 37036 36608 0 -1 4194304 11035 0 0 0 360004 5 0 0 20 0 1 0 44140036 54657024 12749 18446744073709551615 4198400 8956741 140724131569008 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 29364224 140724131576181 140724131576300 140724131576300 140724131581900 0
/proc/37039/statm: 13344 12749 1152 1162 0 11953 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 57568 KiB
Current children cumulated memory: 53940 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3600.05 s, system=0.054624 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): 3607.8
CPU time (s): 3600.1
CPU user time (s): 3600.05
CPU system time (s): 0.054624
CPU usage (%): 99.7865
Max. virtual memory (cumulated for all children) (KiB): 57568
Max. memory (cumulated for all children) (KiB): 53940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.05
system time used= 0.054624
maximum resident set size= 51872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11249
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= 80
involuntary context switches= 1667


# summary of solver processes directly reported to runsolver:
#   pid: 37036
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3600.05
#   total CPU system time (s): 0.054624

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07284 second user time and 15.3293 second system time

The end