runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (14497 MiB free)
  memory of node 1: 16384 MiB (14841 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397201-1568573305/watcher-4397201-1568573305 -o /tmp/evaluation-result-4397201-1568573305/solver-4397201-1568573305 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568569089-22860 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397201-1568573305.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23064, runsolver pid=23061

[startup+0.100375 s]*
/proc/loadavg: 2.02 1.66 0.88 3/199 23065
/proc/meminfo: memFree=30033296/32770624 swapFree=66938676/67108860
[pid=23064] ppid=23061 vsize=37516 memory=13688 CPUtime=0.09 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 3616 0 0 0 9 0 0 0 20 0 1 0 433588802 38416384 3422 33554432000 4194304 6211092 140731257189696 140731257186968 5499453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 9379 3422 807 493 0 2684 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37516 KiB
Current children cumulated memory: 13688 KiB

[startup+0.209719 s]*
/proc/loadavg: 2.02 1.66 0.88 3/199 23065
/proc/meminfo: memFree=30032924/32770624 swapFree=66938676/67108860
[pid=23064] ppid=23061 vsize=38356 memory=14296 CPUtime=0.2 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 3887 0 0 0 20 0 0 0 20 0 1 0 433588802 39276544 3574 33554432000 4194304 6211092 140731257189696 140731257186968 5446260 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 9589 3574 807 493 0 2894 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38356 KiB
Current children cumulated memory: 14296 KiB

[startup+0.309588 s]*
/proc/loadavg: 2.02 1.66 0.88 3/199 23065
/proc/meminfo: memFree=30032552/32770624 swapFree=66938676/67108860
[pid=23064] ppid=23061 vsize=38620 memory=14556 CPUtime=0.3 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 4004 0 0 0 30 0 0 0 20 0 1 0 433588802 39546880 3639 33554432000 4194304 6211092 140731257189696 140731257186968 5514605 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 9655 3639 807 493 0 2960 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38620 KiB
Current children cumulated memory: 14556 KiB

[startup+0.700357 s]
/proc/loadavg: 2.02 1.66 0.88 3/199 23065
/proc/meminfo: memFree=30027344/32770624 swapFree=66938676/67108860
[pid=23064] ppid=23061 vsize=54576 memory=30236 CPUtime=0.69 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 8078 0 0 0 67 2 0 0 20 0 1 0 433588802 55885824 7559 33554432000 4194304 6211092 140731257189696 140731257186968 140044523277285 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 13644 7559 822 493 0 6949 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54576 KiB
Current children cumulated memory: 30236 KiB

[startup+1.50036 s]
/proc/loadavg: 2.02 1.66 0.88 3/199 23065
/proc/meminfo: memFree=29999188/32770624 swapFree=66938676/67108860
[pid=23064] ppid=23061 vsize=100660 memory=76172 CPUtime=1.48 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 19597 0 0 0 145 3 0 0 20 0 1 0 433588802 103075840 19043 33554432000 4194304 6211092 140731257189696 140731257186968 140044523325344 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 25165 19043 822 493 0 18470 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 100660 KiB
Current children cumulated memory: 76172 KiB

[startup+3.10955 s]
/proc/loadavg: 2.02 1.66 0.88 3/199 23065
/proc/meminfo: memFree=29881552/32770624 swapFree=66938676/67108860
[pid=23064] ppid=23061 vsize=193460 memory=168956 CPUtime=3.09 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 43928 0 0 0 301 8 0 0 20 0 1 0 433588802 198103040 42239 33554432000 4194304 6211092 140731257189696 140731257184456 140044523277285 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 48365 42239 822 493 0 41670 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 193460 KiB
Current children cumulated memory: 168956 KiB

[startup+12.3717 s]
/proc/loadavg: 2.02 1.66 0.88 3/199 23065
/proc/meminfo: memFree=29881552/32770624 swapFree=66938676/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308680 CPUtime=12.36 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 150604 0 0 0 1218 18 0 0 20 0 1 0 433588802 339996672 77170 33554432000 4194304 6211092 140731257189696 140731257177576 5390439 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77170 869 493 0 76312 0
Current children cumulated CPU time: 12.36 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308680 KiB

[startup+12.7004 s]
/proc/loadavg: 2.02 1.66 0.88 3/199 23065
/proc/meminfo: memFree=29881552/32770624 swapFree=66938676/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308680 CPUtime=12.69 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 150625 0 0 0 1251 18 0 0 20 0 1 0 433588802 339996672 77170 33554432000 4194304 6211092 140731257189696 140731257177576 5409444 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77170 869 493 0 76312 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308680 KiB

[startup+25.5003 s]
/proc/loadavg: 2.87 1.90 0.98 3/198 23068
/proc/meminfo: memFree=30880696/32770624 swapFree=66938676/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308680 CPUtime=25.48 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 183695 0 0 0 2529 19 0 0 20 0 1 0 433588802 339996672 77170 33554432000 4194304 6211092 140731257189696 140731257177576 5409444 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77170 869 493 0 76312 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308680 KiB

[startup+51.1003 s]*
/proc/loadavg: 2.92 1.99 1.04 3/198 23070
/proc/meminfo: memFree=30881440/32770624 swapFree=66938676/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308680 CPUtime=51.1 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 215350 0 0 0 5089 21 0 0 20 0 1 0 433588802 339996672 77170 33554432000 4194304 6211092 140731257189696 140731257177576 5409444 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77170 869 493 0 76312 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308680 KiB

[startup+102.3 s]
/proc/loadavg: 2.44 2.01 1.09 3/198 23198
/proc/meminfo: memFree=30832380/32770624 swapFree=66938676/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308680 CPUtime=102.29 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 272857 0 0 0 10205 24 0 0 20 0 1 0 433588802 339996672 77170 33554432000 4194304 6211092 140731257189696 140731257177576 5390468 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77170 869 493 0 76312 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308680 KiB

[startup+162.3 s]
/proc/loadavg: 2.21 2.02 1.16 3/199 23204
/proc/meminfo: memFree=30832248/32770624 swapFree=66938676/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308680 CPUtime=162.27 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 292830 0 0 0 16202 25 0 0 20 0 1 0 433588802 339996672 77170 33554432000 4194304 6211092 140731257189696 140731257177576 5390468 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77170 869 493 0 76312 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308680 KiB

[startup+222.3 s]
/proc/loadavg: 2.08 2.02 1.21 3/198 23215
/proc/meminfo: memFree=30831860/32770624 swapFree=66938680/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308684 CPUtime=222.25 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 302188 0 0 0 22200 25 0 0 20 0 1 0 433588802 339996672 77171 33554432000 4194304 6211092 140731257189696 140731257177576 5390492 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77171 869 493 0 76312 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308684 KiB

[startup+282.3 s]
/proc/loadavg: 2.03 2.01 1.26 3/198 23219
/proc/meminfo: memFree=30831440/32770624 swapFree=66938680/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=282.23 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 306182 0 0 0 28198 25 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5165682 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.30 3/199 23225
/proc/meminfo: memFree=30831832/32770624 swapFree=66938680/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=342.24 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 306219 0 0 0 34199 25 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5165685 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.35 3/198 23229
/proc/meminfo: memFree=30832624/32770624 swapFree=66938680/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=402.25 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 306355 0 0 0 40200 25 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5165624 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.39 3/198 23233
/proc/meminfo: memFree=30832236/32770624 swapFree=66938680/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=462.26 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 306398 0 0 0 46201 25 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5165725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB


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

/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 1782.44 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 1.88 3/198 23381
/proc/meminfo: memFree=30831944/32770624 swapFree=66938700/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=1842.45 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 308429 0 0 0 184219 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 1842.45 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 1.89 3/198 23385
/proc/meminfo: memFree=30831636/32770624 swapFree=66938700/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=1902.46 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 308469 0 0 0 190220 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5409444 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 1902.46 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 1.90 3/199 23391
/proc/meminfo: memFree=30831796/32770624 swapFree=66938700/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=1962.46 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 308602 0 0 0 196220 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5397413 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 1962.46 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/198 23402
/proc/meminfo: memFree=30831456/32770624 swapFree=66938700/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=2022.47 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 308642 0 0 0 202221 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5390468 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 2022.47 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/198 23406
/proc/meminfo: memFree=30831796/32770624 swapFree=66938700/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=2082.48 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 308770 0 0 0 208222 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5009317 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 2082.48 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/199 23412
/proc/meminfo: memFree=30831216/32770624 swapFree=66938700/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=2142.49 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 308815 0 0 0 214223 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5409461 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 2142.49 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/198 23416
/proc/meminfo: memFree=30831720/32770624 swapFree=66938700/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=2202.5 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 308943 0 0 0 220224 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5165621 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 2202.5 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/198 23443
/proc/meminfo: memFree=30831076/32770624 swapFree=66938700/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=2262.5 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 308983 0 0 0 226224 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5008971 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 2262.5 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/199 23450
/proc/meminfo: memFree=30831012/32770624 swapFree=66938700/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=2322.51 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 309111 0 0 0 232225 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5390416 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 2322.51 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/198 23454
/proc/meminfo: memFree=30831536/32770624 swapFree=66938700/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=2382.52 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 309157 0 0 0 238226 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5165673 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 2382.52 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/198 23458
/proc/meminfo: memFree=30831656/32770624 swapFree=66938700/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=2442.53 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 309286 0 0 0 244227 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5009107 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 2442.53 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23465
/proc/meminfo: memFree=30831312/32770624 swapFree=66938708/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=2502.54 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 309327 0 0 0 250228 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5165716 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 2502.54 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 1.95 3/198 23465
/proc/meminfo: memFree=30831824/32770624 swapFree=66938708/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=2520.04 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 309328 0 0 0 251978 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5389823 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2519.8 s]
# the end of solver process 23064 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.78 s, system=0.261034 s

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

[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 1.95 3/198 23465
/proc/meminfo: memFree=30831824/32770624 swapFree=66938708/67108860
[pid=23064] ppid=23061 vsize=332028 memory=308688 CPUtime=2520.04 cores=1,3,5,7
/proc/23064/stat : 23064 (cosoco) R 23061 23064 22828 0 -1 4202496 309328 0 0 0 251978 26 0 0 20 0 1 0 433588802 339996672 77172 33554432000 4194304 6211092 140731257189696 140731257177576 5389823 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 20901888 140731257197579 140731257197681 140731257197681 140731257200590 0
/proc/23064/statm: 83007 77172 869 493 0 76312 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 332028 KiB
Current children cumulated memory: 308688 KiB

Child status: 1
Real time (s): 2519.8
CPU time (s): 2520.05
CPU user time (s): 2519.78
CPU system time (s): 0.261034
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 332028
Max. memory (cumulated for all children) (KiB): 308688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.78
system time used= 0.261034
maximum resident set size= 308756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309379
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= 681


# summary of solver processes directly reported to runsolver:
#   pid: 23064
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2519.78
#   total CPU system time (s): 0.261034

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.95878 second user time and 17.7859 second system time

The end