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 (10423 MiB free)
  memory of node 1: 16384 MiB (13366 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396975-1568588362/watcher-4396975-1568588362 -o /tmp/evaluation-result-4396975-1568588362/solver-4396975-1568588362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568572743-2768 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396975-1568588362.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=5722, runsolver pid=5719

[startup+0.100155 s]*
/proc/loadavg: 1.93 1.99 2.03 3/199 5723
/proc/meminfo: memFree=24353752/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=35572 memory=11968 CPUtime=0.1 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 3182 0 0 0 10 0 0 0 20 0 1 0 434774590 36425728 2992 33554432000 4194304 6211092 140729951055664 140729951050024 140462403156965 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 8893 2992 837 493 0 2198 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35572 KiB
Current children cumulated memory: 11968 KiB

[startup+0.209728 s]*
/proc/loadavg: 1.93 1.99 2.03 3/199 5723
/proc/meminfo: memFree=24338500/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=50820 memory=27212 CPUtime=0.21 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 6996 0 0 0 20 1 0 0 20 0 1 0 434774590 52039680 6803 33554432000 4194304 6211092 140729951055664 140729951050024 140462403156965 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 12705 6803 837 493 0 6010 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50820 KiB
Current children cumulated memory: 27212 KiB

[startup+0.30957 s]*
/proc/loadavg: 1.93 1.99 2.03 3/199 5723
/proc/meminfo: memFree=24326596/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=62552 memory=38960 CPUtime=0.31 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 9927 0 0 0 29 2 0 0 20 0 1 0 434774590 64053248 9740 33554432000 4194304 6211092 140729951055664 140729951052936 140462403156965 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 15638 9740 837 493 0 8943 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 62552 KiB
Current children cumulated memory: 38960 KiB

[startup+0.700333 s]
/proc/loadavg: 1.93 1.99 2.03 3/199 5723
/proc/meminfo: memFree=24319156/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=75272 memory=51900 CPUtime=0.69 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 13147 0 0 0 66 3 0 0 20 0 1 0 434774590 77078528 12975 33554432000 4194304 6211092 140729951055664 140729951052904 5155804 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 18818 12975 877 493 0 12123 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75272 KiB
Current children cumulated memory: 51900 KiB

[startup+1.50028 s]
/proc/loadavg: 1.93 1.99 2.03 3/199 5723
/proc/meminfo: memFree=24312436/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=75404 memory=51900 CPUtime=1.49 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 13158 0 0 0 146 3 0 0 20 0 1 0 434774590 77213696 12975 33554432000 4194304 6211092 140729951055664 140729951052904 5250284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 18851 12975 877 493 0 12156 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75404 KiB
Current children cumulated memory: 51900 KiB

[startup+3.10948 s]
/proc/loadavg: 1.93 1.99 2.03 3/200 5725
/proc/meminfo: memFree=24311720/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=75404 memory=51980 CPUtime=3.1 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 17145 0 0 0 307 3 0 0 20 0 1 0 434774590 77213696 12995 33554432000 4194304 6211092 140729951055664 140729951052904 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 18851 12995 877 493 0 12156 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 75404 KiB
Current children cumulated memory: 51980 KiB

[startup+6.30027 s]
/proc/loadavg: 1.94 1.99 2.03 3/200 5725
/proc/meminfo: memFree=24312608/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=75404 memory=51980 CPUtime=6.29 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 21168 0 0 0 626 3 0 0 20 0 1 0 434774590 77213696 12995 33554432000 4194304 6211092 140729951055664 140729951052904 5155982 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 18851 12995 877 493 0 12156 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 75404 KiB
Current children cumulated memory: 51980 KiB

[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 2.03 3/199 5725
/proc/meminfo: memFree=24312608/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=75404 memory=51980 CPUtime=12.68 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 25239 0 0 0 1265 3 0 0 20 0 1 0 434774590 77213696 12995 33554432000 4194304 6211092 140729951055664 140729951052904 5250241 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 18851 12995 877 493 0 12156 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 75404 KiB
Current children cumulated memory: 51980 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 2.03 3/199 5725
/proc/meminfo: memFree=24312348/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=75404 memory=51980 CPUtime=25.48 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 33403 0 0 0 2544 4 0 0 20 0 1 0 434774590 77213696 12995 33554432000 4194304 6211092 140729951055664 140729951052904 5155800 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 18851 12995 877 493 0 12156 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 75404 KiB
Current children cumulated memory: 51980 KiB

[startup+51.1092 s]
/proc/loadavg: 1.97 1.99 2.03 3/200 5728
/proc/meminfo: memFree=24312044/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=75404 memory=51980 CPUtime=51.08 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 37595 0 0 0 5104 4 0 0 20 0 1 0 434774590 77213696 12995 33554432000 4194304 6211092 140729951055664 140729951052904 5156179 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 18851 12995 877 493 0 12156 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 75404 KiB
Current children cumulated memory: 51980 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 5739
/proc/meminfo: memFree=24310524/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=75404 memory=51980 CPUtime=102.26 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 41766 0 0 0 10221 5 0 0 20 0 1 0 434774590 77213696 12995 33554432000 4194304 6211092 140729951055664 140729951052904 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 18851 12995 877 493 0 12156 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 75404 KiB
Current children cumulated memory: 51980 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 5769
/proc/meminfo: memFree=24306280/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56220 CPUtime=162.25 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 43507 0 0 0 16220 5 0 0 20 0 1 0 434774590 81436672 14055 33554432000 4194304 6211092 140729951055664 140729951043544 5156232 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14055 877 493 0 13187 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56220 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 5773
/proc/meminfo: memFree=24306440/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=222.23 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 44151 0 0 0 22218 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5155817 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 5779
/proc/meminfo: memFree=24305936/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=282.22 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 44798 0 0 0 28217 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5157562 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 5783
/proc/meminfo: memFree=24305768/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=342.2 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 45183 0 0 0 34215 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5157540 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 5787
/proc/meminfo: memFree=24306272/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=402.19 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 45570 0 0 0 40214 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 5793
/proc/meminfo: memFree=24306652/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=462.18 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 45955 0 0 0 46213 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5158000 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB


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

/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 1721.98 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 5912
/proc/meminfo: memFree=24306312/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=1781.97 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 54426 0 0 0 178192 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5250224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 1781.97 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 5916
/proc/meminfo: memFree=24305828/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=1841.96 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 54810 0 0 0 184191 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5158000 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 1841.96 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 5930
/proc/meminfo: memFree=24305588/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=1901.95 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 55197 0 0 0 190190 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5157544 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 1901.95 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 5934
/proc/meminfo: memFree=24306140/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=1961.95 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 55582 0 0 0 196190 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5158185 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 1961.95 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 5938
/proc/meminfo: memFree=24305648/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=2021.94 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 55969 0 0 0 202189 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5156232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 2021.94 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 5944
/proc/meminfo: memFree=24305940/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=2081.93 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 56354 0 0 0 208188 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5193754 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 2081.93 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 5948
/proc/meminfo: memFree=24305804/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=2141.92 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 56741 0 0 0 214187 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5250224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 2141.92 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 5952
/proc/meminfo: memFree=24305968/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=2201.92 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 57126 0 0 0 220187 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5156232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 2201.92 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 5958
/proc/meminfo: memFree=24305844/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=2261.91 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 57512 0 0 0 226186 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5250289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 2261.91 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 5962
/proc/meminfo: memFree=24305760/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=2321.9 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 57898 0 0 0 232185 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5155693 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 2321.9 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 5966
/proc/meminfo: memFree=24305416/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=2381.89 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 58285 0 0 0 238184 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5250234 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 2381.89 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 6032
/proc/meminfo: memFree=24367904/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=2441.89 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 58661 0 0 0 244184 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5250251 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 2441.89 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 6044
/proc/meminfo: memFree=24367828/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=2501.88 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 59036 0 0 0 250183 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5250224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 2501.88 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/200 6046
/proc/meminfo: memFree=24367796/32770624 swapFree=66999428/67108860
[pid=5722] ppid=5719 vsize=79528 memory=56228 CPUtime=2519.58 cores=1,3,5,7
/proc/5722/stat : 5722 (cosoco) R 5719 5722 2736 0 -1 4202496 59408 0 0 0 251953 5 0 0 20 0 1 0 434774590 81436672 14057 33554432000 4194304 6211092 140729951055664 140729951043544 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 16916480 140729951056907 140729951057009 140729951057009 140729951059918 0
/proc/5722/statm: 19882 14057 878 493 0 13187 0
Current children cumulated CPU time: 2519.58 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56228 KiB

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

[startup+2520.01 s]
# the end of solver process 5722 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.54 s, system=0.05999 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.6
CPU user time (s): 2519.54
CPU system time (s): 0.05999
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 79528
Max. memory (cumulated for all children) (KiB): 56228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.54
system time used= 0.05999
maximum resident set size= 56292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59464
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= 29
involuntary context switches= 5968


# summary of solver processes directly reported to runsolver:
#   pid: 5722
#   total CPU time (s): 2519.6
#   total CPU user time (s): 2519.54
#   total CPU system time (s): 0.05999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.93583 second user time and 16.1825 second system time

The end