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 (15119 MiB free)
memory of node 1: 16384 MiB (13774 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408450-1569811629/watcher-4408450-1569811629 -o /tmp/evaluation-result-4408450-1569811629/solver-4408450-1569811629 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1569787347-31154 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408450-1569811629.xml
running on 4 cores: 0,2,4,6
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=2857, runsolver pid=2854
[startup+0.100117 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 2858
/proc/meminfo: memFree=29574840/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=38888 memory=15092 CPUtime=0.1 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 3983 0 0 0 10 0 0 0 20 0 1 0 557411413 39821312 3773 33554432000 4194304 6211132 140737433164032 140737433160568 140063032822757 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 9722 3773 809 493 0 3027 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38888 KiB
Current children cumulated memory: 15092 KiB
[startup+0.209688 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 2858
/proc/meminfo: memFree=29571864/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=40596 memory=16868 CPUtime=0.21 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 4415 0 0 0 21 0 0 0 20 0 1 0 557411413 41570304 4217 33554432000 4194304 6211132 140737433164032 140737433160568 140063032822757 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 10149 4217 819 493 0 3454 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 16868 KiB
[startup+0.308997 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 2858
/proc/meminfo: memFree=29569588/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=41712 memory=17924 CPUtime=0.31 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 4669 0 0 0 31 0 0 0 20 0 1 0 557411413 42713088 4481 33554432000 4194304 6211132 140737433164032 140737433160568 5446280 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 10428 4481 819 493 0 3733 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17924 KiB
[startup+0.700231 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2858
/proc/meminfo: memFree=29565868/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=45708 memory=21728 CPUtime=0.69 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 5650 0 0 0 69 0 0 0 20 0 1 0 557411413 46804992 5432 33554432000 4194304 6211132 140737433164032 140737433137592 140063042767704 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 11427 5432 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21728 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2858
/proc/meminfo: memFree=29555704/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=53944 memory=30048 CPUtime=1.48 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 7703 0 0 0 148 0 0 0 20 0 1 0 557411413 55238656 7512 33554432000 4194304 6211132 140737433164032 140737433137592 5451516 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 13486 7512 819 493 0 6791 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53944 KiB
Current children cumulated memory: 30048 KiB
[startup+3.10939 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2858
/proc/meminfo: memFree=29515216/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=70628 memory=46544 CPUtime=3.09 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 11992 0 0 0 308 1 0 0 20 0 1 0 557411413 72323072 11636 33554432000 4194304 6211132 140737433164032 140737433137592 5446956 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 17657 11636 819 493 0 10962 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70628 KiB
Current children cumulated memory: 46544 KiB
[startup+6.30022 s]
/proc/loadavg: 1.92 2.00 2.04 3/201 2860
/proc/meminfo: memFree=29451296/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=103908 memory=79200 CPUtime=6.28 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 20326 0 0 0 626 2 0 0 20 0 1 0 557411413 106401792 19800 33554432000 4194304 6211132 140737433164032 140737433137592 140063032822757 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 25977 19800 819 493 0 19282 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 103908 KiB
Current children cumulated memory: 79200 KiB
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/201 2860
/proc/meminfo: memFree=29327220/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=168840 memory=144668 CPUtime=12.69 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 36896 0 0 0 1264 5 0 0 20 0 1 0 557411413 172892160 36167 33554432000 4194304 6211132 140737433164032 140737433137592 5443057 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 42210 36167 819 493 0 35515 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 168840 KiB
Current children cumulated memory: 144668 KiB
[startup+25.5002 s]
/proc/loadavg: 1.94 2.00 2.04 3/200 2860
/proc/meminfo: memFree=29057316/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=301224 memory=276556 CPUtime=25.48 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 69664 0 0 0 2539 9 0 0 20 0 1 0 557411413 308453376 69139 33554432000 4194304 6211132 140737433164032 140737433137592 5446258 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 75306 69139 819 493 0 68611 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 301224 KiB
Current children cumulated memory: 276556 KiB
[startup+51.1093 s]
/proc/loadavg: 1.96 2.00 2.04 3/201 2863
/proc/meminfo: memFree=28520892/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=567608 memory=540156 CPUtime=51.08 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 134738 0 0 0 5092 16 0 0 20 0 1 0 557411413 581230592 135039 33554432000 4194304 6211132 140737433164032 140737433137592 5443128 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 141902 135039 819 493 0 135207 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 567608 KiB
Current children cumulated memory: 540156 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/201 2866
/proc/meminfo: memFree=27460620/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=1086744 memory=1062844 CPUtime=102.27 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 262500 0 0 0 10195 32 0 0 20 0 1 0 557411413 1112825856 265711 33554432000 4194304 6211132 140737433164032 140737433137592 140063033743284 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 271686 265711 819 493 0 264991 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1086744 KiB
Current children cumulated memory: 1062844 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/200 2870
/proc/meminfo: memFree=26215664/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=1723468 memory=1678928 CPUtime=162.26 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 412458 0 0 0 16176 50 0 0 20 0 1 0 557411413 1764831232 419732 33554432000 4194304 6211132 140737433164032 140737433137592 5451634 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 430867 419732 819 493 0 424172 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1723468 KiB
Current children cumulated memory: 1678928 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 2882
/proc/meminfo: memFree=24970280/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=2319052 memory=2293172 CPUtime=222.25 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 561378 0 0 0 22154 71 0 0 20 0 1 0 557411413 2374709248 573293 33554432000 4194304 6211132 140737433164032 140737433137592 140063033746442 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 579763 573293 819 493 0 573068 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2319052 KiB
Current children cumulated memory: 2293172 KiB
[startup+282.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/201 2888
/proc/meminfo: memFree=23721236/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=2954452 memory=2912368 CPUtime=282.26 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 711220 0 0 0 28132 94 0 0 20 0 1 0 557411413 3025358848 728092 33554432000 4194304 6211132 140737433164032 140737433137592 140063033748883 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 738613 728092 819 493 0 731918 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2954452 KiB
Current children cumulated memory: 2912368 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 2892
/proc/meminfo: memFree=22477280/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=3552808 memory=3528948 CPUtime=342.25 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 861138 0 0 0 34110 115 0 0 20 0 1 0 557411413 3638075392 882237 33554432000 4194304 6211132 140737433164032 140737433137592 5443104 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 888202 882237 819 493 0 881507 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 3552808 KiB
Current children cumulated memory: 3528948 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 2896
/proc/meminfo: memFree=21230068/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=4206528 memory=4145812 CPUtime=402.26 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 1011589 0 0 0 40089 137 0 0 20 0 1 0 557411413 4307484672 1036453 33554432000 4194304 6211132 140737433164032 140737433137592 140063032822757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 1051632 1036453 819 493 0 1044937 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 4206528 KiB
Current children cumulated memory: 4145812 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 2902
/proc/meminfo: memFree=19980652/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=4804620 memory=4764440 CPUtime=462.27 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 1161798 0 0 0 46067 160 0 0 20 0 1 0 557411413 4919930880 1191110 33554432000 4194304 6211132 140737433164032 140737433137592 140063032822757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 1201155 1191110 819 493 0 1194460 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 4804620 KiB
Current children cumulated memory: 4764440 KiB
################
# More data... #
################
Current children cumulated vsize: 10391364 KiB
Current children cumulated memory: 10316800 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 2981
/proc/meminfo: memFree=7525960/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=10988532 memory=10932548 CPUtime=1062.31 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 2664142 0 0 0 105804 427 0 0 20 0 1 0 557411413 11252256768 2733137 33554432000 4194304 6211132 140737433164032 140737433137592 140063032822757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 2747133 2733137 819 493 0 2740438 0
Current children cumulated CPU time: 1062.31 s
Current children cumulated vsize: 10988532 KiB
Current children cumulated memory: 10932548 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 2985
/proc/meminfo: memFree=6279492/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=11585700 memory=11550188 CPUtime=1122.31 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 2814276 0 0 0 111773 458 0 0 20 0 1 0 557411413 11863756800 2887547 33554432000 4194304 6211132 140737433164032 140737433137592 140063032822757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 2896425 2887547 819 493 0 2889730 0
Current children cumulated CPU time: 1122.31 s
Current children cumulated vsize: 11585700 KiB
Current children cumulated memory: 11550188 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 2991
/proc/meminfo: memFree=5035128/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=12369592 memory=12165032 CPUtime=1182.31 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 2965106 0 0 0 117740 491 0 0 20 0 1 0 557411413 12666462208 3041258 33554432000 4194304 6211132 140737433164032 140737433137592 140063032822757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 3092398 3041258 819 493 0 3085703 0
Current children cumulated CPU time: 1182.31 s
Current children cumulated vsize: 12369592 KiB
Current children cumulated memory: 12165032 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2995
/proc/meminfo: memFree=3790088/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=12966628 memory=12782676 CPUtime=1242.31 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 3115243 0 0 0 123708 523 0 0 20 0 1 0 557411413 13277827072 3195669 33554432000 4194304 6211132 140737433164032 140737433137592 5454192 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 3241657 3195669 819 493 0 3234962 0
Current children cumulated CPU time: 1242.31 s
Current children cumulated vsize: 12966628 KiB
Current children cumulated memory: 12782676 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2999
/proc/meminfo: memFree=2545484/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=13563796 memory=13398228 CPUtime=1302.32 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 3265395 0 0 0 129676 556 0 0 20 0 1 0 557411413 13889327104 3349557 33554432000 4194304 6211132 140737433164032 140737433137592 140063032822757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 3390949 3349557 819 493 0 3384254 0
Current children cumulated CPU time: 1302.32 s
Current children cumulated vsize: 13563796 KiB
Current children cumulated memory: 13398228 KiB
[startup+1362.3 s]
/proc/loadavg: 2.58 2.16 2.09 3/203 3137
/proc/meminfo: memFree=17459204/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=14162152 memory=14016856 CPUtime=1362.31 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 3415667 0 0 0 135639 592 0 0 20 0 1 0 557411413 14502043648 3504214 33554432000 4194304 6211132 140737433164032 140737433137592 140063032822757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 3540538 3504214 819 493 0 3533843 0
Current children cumulated CPU time: 1362.31 s
Current children cumulated vsize: 14162152 KiB
Current children cumulated memory: 14016856 KiB
[startup+1422.3 s]
/proc/loadavg: 2.21 2.13 2.09 3/203 3149
/proc/meminfo: memFree=16837468/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=14764864 memory=14638140 CPUtime=1422.29 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 3566442 0 0 0 141600 629 0 0 20 0 1 0 557411413 15119220736 3659535 33554432000 4194304 6211132 140737433164032 140737433137592 140063033746659 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 3691216 3659535 819 493 0 3684521 0
Current children cumulated CPU time: 1422.29 s
Current children cumulated vsize: 14764864 KiB
Current children cumulated memory: 14638140 KiB
[startup+1482.3 s]
/proc/loadavg: 1.98 2.07 2.07 3/203 3216
/proc/meminfo: memFree=16194188/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=15367180 memory=15260992 CPUtime=1482.28 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 3717108 0 0 0 147563 665 0 0 20 0 1 0 557411413 15735992320 3815248 33554432000 4194304 6211132 140737433164032 140737433137592 140063032822757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 3841795 3815248 819 493 0 3835100 0
Current children cumulated CPU time: 1482.28 s
Current children cumulated vsize: 15367180 KiB
Current children cumulated memory: 15260992 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1532.7 s]
/proc/loadavg: 1.99 2.06 2.06 3/203 3220
/proc/meminfo: memFree=15673600/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=15872740 memory=15782868 CPUtime=1532.67 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 4202496 3843604 0 0 0 152571 696 0 0 20 0 1 0 557411413 16253685760 3945717 33554432000 4194304 6211132 140737433164032 140737433137592 5478438 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 3968185 3945717 819 493 0 3961490 0
Current children cumulated CPU time: 1532.67 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1535.58 s]
# the end of solver process 2857 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1525.96 s, system=7.86246 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1532.8 s]
/proc/loadavg: 1.99 2.06 2.06 3/203 3220
/proc/meminfo: memFree=15673600/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=15872740 memory=15782868 CPUtime=1532.67 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) S 2854 2857 31123 0 -1 512 3843610 0 0 0 152571 696 0 0 20 0 1 0 557411413 16253685760 3945717 33554432000 4194304 6211132 140737433164032 140737433137592 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 3968185 3945717 819 493 0 3961490 0
Current children cumulated CPU time: 1532.67 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782868 KiB
[startup+1533.6 s]
/proc/loadavg: 1.99 2.06 2.06 3/204 3221
/proc/meminfo: memFree=15529884/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=15872740 memory=15782868 CPUtime=1532.78 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) S 2854 2857 31123 0 -1 512 3843610 0 0 0 152581 697 0 0 20 0 1 0 557411413 16253685760 3945717 33554432000 4194304 6211132 140737433164032 140737433137592 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 3968185 3945717 819 493 0 3961490 0
Current children cumulated CPU time: 1532.78 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782868 KiB
[startup+1534.4 s]
/proc/loadavg: 1.99 2.06 2.06 3/204 3221
/proc/meminfo: memFree=15050980/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=15872740 memory=15782868 CPUtime=1532.89 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) S 2854 2857 31123 0 -1 512 3843610 0 0 0 152591 698 0 0 20 0 1 0 557411413 16253685760 3945717 33554432000 4194304 6211132 140737433164032 140737433137592 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 3968185 3945717 819 493 0 3961490 0
Current children cumulated CPU time: 1532.89 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782868 KiB
[startup+1534.6 s]
/proc/loadavg: 1.99 2.06 2.06 3/204 3221
/proc/meminfo: memFree=15050980/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=15872740 memory=15782868 CPUtime=1532.92 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) S 2854 2857 31123 0 -1 512 3843610 0 0 0 152594 698 0 0 20 0 1 0 557411413 16253685760 3945717 33554432000 4194304 6211132 140737433164032 140737433137592 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 3968185 3945717 819 493 0 3961490 0
Current children cumulated CPU time: 1532.92 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782868 KiB
[startup+1534.7 s]
/proc/loadavg: 1.99 2.06 2.06 3/204 3221
/proc/meminfo: memFree=15050980/32770624 swapFree=67002192/67108860
[pid=2857] ppid=2854 vsize=15872740 memory=15782868 CPUtime=1532.93 cores=0,2,4,6
/proc/2857/stat : 2857 (cosoco) R 2854 2857 31123 0 -1 512 3843610 0 0 0 152595 698 0 0 20 0 1 0 557411413 16253685760 3945717 33554432000 4194304 6211132 140737433164032 140737433137592 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 23056384 140737433166859 140737433166961 140737433166961 140737433169870 0
/proc/2857/statm: 3968185 3945717 819 493 0 3961490 0
Current children cumulated CPU time: 1532.93 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782868 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1535.58
CPU time (s): 1533.82
CPU user time (s): 1525.96
CPU system time (s): 7.86246
CPU usage (%): 99.8857
Max. virtual memory (cumulated for all children) (KiB): 15872740
Max. memory (cumulated for all children) (KiB): 15782868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1525.96
system time used= 7.86246
maximum resident set size= 15783096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3843610
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= 121429
involuntary context switches= 1932
# summary of solver processes directly reported to runsolver:
# pid: 2857
# total CPU time (s): 1533.82
# total CPU user time (s): 1525.96
# total CPU system time (s): 7.86246
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.29336 second user time and 10.9199 second system time
The end