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 (12842 MiB free)
memory of node 1: 16384 MiB (13282 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389574-1568358395/watcher-4389574-1568358395 -o /tmp/evaluation-result-4389574-1568358395/solver-4389574-1568358395 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568358353-28866 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389574-1568358395.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=28895, runsolver pid=28892
[startup+0.100228 s]*
/proc/loadavg: 1.00 1.03 1.33 3/199 28896
/proc/meminfo: memFree=26742888/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=32372 memory=8932 CPUtime=0.1 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 2408 0 0 0 10 0 0 0 20 0 1 0 412086848 33148928 2233 33554432000 4194304 6210612 140727623960512 140727623958472 5078902 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8093 2233 859 493 0 1398 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32372 KiB
Current children cumulated memory: 8932 KiB
[startup+0.209387 s]*
/proc/loadavg: 1.00 1.03 1.33 3/199 28896
/proc/meminfo: memFree=26741804/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=32768 memory=9196 CPUtime=0.21 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 2503 0 0 0 21 0 0 0 20 0 1 0 412086848 33554432 2299 33554432000 4194304 6210612 140727623960512 140727623958472 5075503 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8192 2299 862 493 0 1497 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32768 KiB
Current children cumulated memory: 9196 KiB
[startup+0.309387 s]*
/proc/loadavg: 1.00 1.03 1.33 3/199 28896
/proc/meminfo: memFree=26741856/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=32900 memory=9460 CPUtime=0.31 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 2538 0 0 0 31 0 0 0 20 0 1 0 412086848 33689600 2365 33554432000 4194304 6210612 140727623960512 140727623958472 5078934 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8225 2365 862 493 0 1530 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32900 KiB
Current children cumulated memory: 9460 KiB
[startup+0.700276 s]
/proc/loadavg: 1.00 1.03 1.33 3/199 28896
/proc/meminfo: memFree=26741800/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33032 memory=9460 CPUtime=0.69 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 2570 0 0 0 69 0 0 0 20 0 1 0 412086848 33824768 2365 33554432000 4194304 6210612 140727623960512 140727623958472 5392359 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8258 2365 862 493 0 1563 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33032 KiB
Current children cumulated memory: 9460 KiB
[startup+1.50027 s]
/proc/loadavg: 1.08 1.05 1.33 4/199 28896
/proc/meminfo: memFree=26741800/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33032 memory=9460 CPUtime=1.49 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 2576 0 0 0 149 0 0 0 20 0 1 0 412086848 33824768 2365 33554432000 4194304 6210612 140727623960512 140727623958472 5074136 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8258 2365 862 493 0 1563 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33032 KiB
Current children cumulated memory: 9460 KiB
[startup+3.10924 s]
/proc/loadavg: 1.08 1.05 1.33 3/200 28899
/proc/meminfo: memFree=26741140/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9668 CPUtime=3.1 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 4044 0 0 0 310 0 0 0 20 0 1 0 412086848 33959936 2417 33554432000 4194304 6210612 140727623960512 140727623958472 5076037 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2417 862 493 0 1596 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9668 KiB
[startup+6.30026 s]
/proc/loadavg: 1.16 1.06 1.33 4/200 28899
/proc/meminfo: memFree=26741052/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9696 CPUtime=6.29 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 5517 0 0 0 629 0 0 0 20 0 1 0 412086848 33959936 2424 33554432000 4194304 6210612 140727623960512 140727623958472 5078724 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2424 862 493 0 1596 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9696 KiB
[startup+12.7003 s]
/proc/loadavg: 1.22 1.08 1.34 3/200 28899
/proc/meminfo: memFree=26741184/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9708 CPUtime=12.69 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 6988 0 0 0 1269 0 0 0 20 0 1 0 412086848 33959936 2427 33554432000 4194304 6210612 140727623960512 140727623958472 5075326 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2427 862 493 0 1596 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9708 KiB
[startup+25.5003 s]
/proc/loadavg: 1.34 1.11 1.34 3/199 28899
/proc/meminfo: memFree=26741184/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9724 CPUtime=25.49 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 8998 0 0 0 2549 0 0 0 20 0 1 0 412086848 33959936 2431 33554432000 4194304 6210612 140727623960512 140727623958472 5075968 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2431 862 493 0 1596 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9724 KiB
[startup+51.1092 s]
/proc/loadavg: 1.60 1.19 1.36 3/199 28901
/proc/meminfo: memFree=26740204/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9728 CPUtime=51.09 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 10899 0 0 0 5109 0 0 0 20 0 1 0 412086848 33959936 2432 33554432000 4194304 6210612 140727623960512 140727623958472 5075229 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2432 862 493 0 1596 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9728 KiB
[startup+102.3 s]
/proc/loadavg: 1.83 1.32 1.40 3/199 28905
/proc/meminfo: memFree=26741068/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9736 CPUtime=102.28 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 11869 0 0 0 10228 0 0 0 20 0 1 0 412086848 33959936 2434 33554432000 4194304 6210612 140727623960512 140727623958472 5081342 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2434 862 493 0 1596 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9736 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.44 1.44 3/199 28909
/proc/meminfo: memFree=26741444/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9748 CPUtime=162.27 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 12840 0 0 0 16227 0 0 0 20 0 1 0 412086848 33959936 2437 33554432000 4194304 6210612 140727623960512 140727623958472 5080969 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2437 862 493 0 1596 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9748 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.54 1.47 3/199 28913
/proc/meminfo: memFree=26740708/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9748 CPUtime=222.27 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 13306 0 0 0 22227 0 0 0 20 0 1 0 412086848 33959936 2437 33554432000 4194304 6210612 140727623960512 140727623958472 5081399 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2437 862 493 0 1596 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9748 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.63 1.51 4/200 28927
/proc/meminfo: memFree=26740972/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9752 CPUtime=282.26 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 13774 0 0 0 28226 0 0 0 20 0 1 0 412086848 33959936 2438 33554432000 4194304 6210612 140727623960512 140727623958472 5074000 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2438 862 493 0 1596 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9752 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.69 1.53 4/200 28931
/proc/meminfo: memFree=26740340/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9764 CPUtime=342.26 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 14244 0 0 0 34226 0 0 0 20 0 1 0 412086848 33959936 2441 33554432000 4194304 6210612 140727623960512 140727623958472 5078384 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2441 862 493 0 1596 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9764 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.75 1.56 4/200 28935
/proc/meminfo: memFree=26741000/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9768 CPUtime=402.25 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 14712 0 0 0 40225 0 0 0 20 0 1 0 412086848 33959936 2442 33554432000 4194304 6210612 140727623960512 140727623958472 5078360 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2442 862 493 0 1596 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9768 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.80 1.59 4/200 28941
/proc/meminfo: memFree=26740676/32770624 swapFree=66927216/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9776 CPUtime=462.25 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 15183 0 0 0 46225 0 0 0 20 0 1 0 412086848 33959936 2444 33554432000 4194304 6210612 140727623960512 140727623958472 5082423 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2444 862 493 0 1596 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9776 KiB
################
# More data... #
################
/proc/28895/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/199 29060
/proc/meminfo: memFree=26740380/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9792 CPUtime=1782.15 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 23869 0 0 0 178214 1 0 0 20 0 1 0 412086848 33959936 2448 33554432000 4194304 6210612 140727623960512 140727623958472 5192912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/199 29064
/proc/meminfo: memFree=26739740/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9792 CPUtime=1842.14 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 24126 0 0 0 184213 1 0 0 20 0 1 0 412086848 33959936 2448 33554432000 4194304 6210612 140727623960512 140727623958472 5076063 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/199 29070
/proc/meminfo: memFree=26739624/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9792 CPUtime=1902.14 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 24385 0 0 0 190213 1 0 0 20 0 1 0 412086848 33959936 2448 33554432000 4194304 6210612 140727623960512 140727623958472 5076066 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 29074
/proc/meminfo: memFree=26739964/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9792 CPUtime=1962.13 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 24857 0 0 0 196212 1 0 0 20 0 1 0 412086848 33959936 2448 33554432000 4194304 6210612 140727623960512 140727623958472 5080977 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/199 29078
/proc/meminfo: memFree=26739864/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9792 CPUtime=2022.12 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 25127 0 0 0 202211 1 0 0 20 0 1 0 412086848 33959936 2448 33554432000 4194304 6210612 140727623960512 140727623958472 5079064 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.93 4/199 29091
/proc/meminfo: memFree=26739824/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9792 CPUtime=2082.12 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 25397 0 0 0 208211 1 0 0 20 0 1 0 412086848 33959936 2448 33554432000 4194304 6210612 140727623960512 140727623958472 5081335 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.93 4/199 29095
/proc/meminfo: memFree=26740288/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9792 CPUtime=2142.12 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 25662 0 0 0 214210 2 0 0 20 0 1 0 412086848 33959936 2448 33554432000 4194304 6210612 140727623960512 140727623958472 5078394 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/199 29099
/proc/meminfo: memFree=26740292/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9792 CPUtime=2202.12 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 26135 0 0 0 220210 2 0 0 20 0 1 0 412086848 33959936 2448 33554432000 4194304 6210612 140727623960512 140727623958472 5078384 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/199 29105
/proc/meminfo: memFree=26739516/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9796 CPUtime=2262.11 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 26396 0 0 0 226209 2 0 0 20 0 1 0 412086848 33959936 2449 33554432000 4194304 6210612 140727623960512 140727623958472 5393076 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2449 862 493 0 1596 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9796 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 29109
/proc/meminfo: memFree=26738868/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9796 CPUtime=2322.11 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 26657 0 0 0 232209 2 0 0 20 0 1 0 412086848 33959936 2449 33554432000 4194304 6210612 140727623960512 140727623958472 5080961 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2449 862 493 0 1596 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9796 KiB
[startup+2382.3 s]
/proc/loadavg: 2.63 2.17 2.01 3/199 29113
/proc/meminfo: memFree=26738740/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9796 CPUtime=2382.11 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 27129 0 0 0 238209 2 0 0 20 0 1 0 412086848 33959936 2449 33554432000 4194304 6210612 140727623960512 140727623958472 5080992 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2449 862 493 0 1596 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9796 KiB
[startup+2442.3 s]
/proc/loadavg: 2.64 2.27 2.06 3/199 29119
/proc/meminfo: memFree=26738844/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9796 CPUtime=2442.1 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 27391 0 0 0 244208 2 0 0 20 0 1 0 412086848 33959936 2449 33554432000 4194304 6210612 140727623960512 140727623958472 5082087 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2449 862 493 0 1596 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9796 KiB
[startup+2502.3 s]
/proc/loadavg: 2.24 2.22 2.05 3/199 29123
/proc/meminfo: memFree=26738852/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9796 CPUtime=2502.1 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 27654 0 0 0 250208 2 0 0 20 0 1 0 412086848 33959936 2449 33554432000 4194304 6210612 140727623960512 140727623958472 5074130 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2449 862 493 0 1596 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9796 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.18 2.21 2.05 2/197 29123
/proc/meminfo: memFree=26744792/32770624 swapFree=66927224/67108860
[pid=28895] ppid=28892 vsize=33164 memory=9796 CPUtime=2519.8 cores=1,3,5,7
/proc/28895/stat : 28895 (cosoco) R 28892 28895 28834 0 -1 4202496 27911 0 0 0 251978 2 0 0 20 0 1 0 412086848 33959936 2449 33554432000 4194304 6210612 140727623960512 140727623958472 5192894 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11571200 140727623963659 140727623963761 140727623963761 140727623966670 0
/proc/28895/statm: 8291 2449 862 493 0 1596 0
Current children cumulated CPU time: 2519.8 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 28895 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.79 s, system=0.020998 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.81
CPU user time (s): 2519.79
CPU system time (s): 0.020998
CPU usage (%): 99.9921
Max. virtual memory (cumulated for all children) (KiB): 33164
Max. memory (cumulated for all children) (KiB): 9796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.79
system time used= 0.020998
maximum resident set size= 9864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27962
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= 8
involuntary context switches= 674
# summary of solver processes directly reported to runsolver:
# pid: 28895
# total CPU time (s): 2519.81
# total CPU user time (s): 2519.79
# total CPU system time (s): 0.020998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.17676 second user time and 15.786 second system time
The end