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 (14856 MiB free)
memory of node 1: 16384 MiB (13795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408193-1569792700/watcher-4408193-1569792700 -o /tmp/evaluation-result-4408193-1569792700/solver-4408193-1569792700 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1569787352-30039 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408193-1569792700.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=31142, runsolver pid=31139
[startup+0.100195 s]*
/proc/loadavg: 2.32 2.09 2.03 3/202 31143
/proc/meminfo: memFree=29333372/32770624 swapFree=66954172/67108860
[pid=31142] ppid=31139 vsize=38096 memory=14308 CPUtime=0.1 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 3802 0 0 0 10 0 0 0 20 0 1 0 555184743 39010304 3577 33554432000 4194304 6211132 140735088808192 140735088804728 140683816238053 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 9524 3577 842 493 0 2829 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38096 KiB
Current children cumulated memory: 14308 KiB
[startup+0.209827 s]*
/proc/loadavg: 2.32 2.09 2.03 3/202 31143
/proc/meminfo: memFree=29321656/32770624 swapFree=66954172/67108860
[pid=31142] ppid=31139 vsize=38920 memory=15364 CPUtime=0.21 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 4015 0 0 0 21 0 0 0 20 0 1 0 555184743 39854080 3841 33554432000 4194304 6211132 140735088808192 140735088804728 140683816238053 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 9730 3841 842 493 0 3035 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38920 KiB
Current children cumulated memory: 15364 KiB
[startup+0.309818 s]*
/proc/loadavg: 2.32 2.09 2.03 3/202 31143
/proc/meminfo: memFree=29322432/32770624 swapFree=66954172/67108860
[pid=31142] ppid=31139 vsize=39732 memory=16156 CPUtime=0.31 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 4210 0 0 0 31 0 0 0 20 0 1 0 555184743 40685568 4039 33554432000 4194304 6211132 140735088808192 140735088769432 5451653 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 9933 4039 842 493 0 3238 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39732 KiB
Current children cumulated memory: 16156 KiB
[startup+0.700384 s]
/proc/loadavg: 2.32 2.09 2.03 3/202 31143
/proc/meminfo: memFree=29313792/32770624 swapFree=66954172/67108860
[pid=31142] ppid=31139 vsize=42716 memory=19060 CPUtime=0.69 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 4949 0 0 0 69 0 0 0 20 0 1 0 555184743 43741184 4765 33554432000 4194304 6211132 140735088808192 140735088769432 5451568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 10679 4765 842 493 0 3984 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42716 KiB
Current children cumulated memory: 19060 KiB
[startup+1.50042 s]
/proc/loadavg: 2.32 2.09 2.03 3/202 31143
/proc/meminfo: memFree=29297872/32770624 swapFree=66954172/67108860
[pid=31142] ppid=31139 vsize=48912 memory=25248 CPUtime=1.49 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 6498 0 0 0 149 0 0 0 20 0 1 0 555184743 50085888 6312 33554432000 4194304 6211132 140735088808192 140735088769432 5443128 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 12228 6312 842 493 0 5533 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48912 KiB
Current children cumulated memory: 25248 KiB
[startup+3.10978 s]
/proc/loadavg: 2.29 2.09 2.03 3/202 31143
/proc/meminfo: memFree=29627880/32770624 swapFree=66954172/67108860
[pid=31142] ppid=31139 vsize=61372 memory=37736 CPUtime=3.1 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 9685 0 0 0 310 0 0 0 20 0 1 0 555184743 62844928 9434 33554432000 4194304 6211132 140735088808192 140735088769432 140683816238053 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 15343 9434 842 493 0 8648 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 61372 KiB
Current children cumulated memory: 37736 KiB
[startup+6.30034 s]
/proc/loadavg: 2.29 2.09 2.03 3/202 31148
/proc/meminfo: memFree=29972724/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=86240 memory=62344 CPUtime=6.3 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 15930 0 0 0 628 2 0 0 20 0 1 0 555184743 88309760 15586 33554432000 4194304 6211132 140735088808192 140735088769432 5455682 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 21560 15586 842 493 0 14865 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 86240 KiB
Current children cumulated memory: 62344 KiB
[startup+12.7003 s]
/proc/loadavg: 2.27 2.09 2.03 3/202 31148
/proc/meminfo: memFree=29869372/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=136548 memory=112132 CPUtime=12.69 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 28414 0 0 0 1266 3 0 0 20 0 1 0 555184743 139825152 28033 33554432000 4194304 6211132 140735088808192 140735088769432 140683826182982 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 34137 28033 842 493 0 27442 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 136548 KiB
Current children cumulated memory: 112132 KiB
[startup+25.5004 s]
/proc/loadavg: 2.21 2.09 2.03 3/201 31148
/proc/meminfo: memFree=29643748/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=235272 memory=211372 CPUtime=25.49 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 53404 0 0 0 2542 7 0 0 20 0 1 0 555184743 240918528 52843 33554432000 4194304 6211132 140735088808192 140735088769432 140683826182996 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 58818 52843 842 493 0 52123 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 235272 KiB
Current children cumulated memory: 211372 KiB
[startup+51.1098 s]
/proc/loadavg: 2.14 2.08 2.03 3/202 31151
/proc/meminfo: memFree=29191836/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=435636 memory=411848 CPUtime=51.1 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 103032 0 0 0 5098 12 0 0 20 0 1 0 555184743 446091264 102962 33554432000 4194304 6211132 140735088808192 140735088769432 140683816238053 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 108909 102962 842 493 0 102214 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 435636 KiB
Current children cumulated memory: 411848 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.07 2.03 3/202 31154
/proc/meminfo: memFree=28308196/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=836792 memory=808344 CPUtime=102.3 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 201218 0 0 0 10204 26 0 0 20 0 1 0 555184743 856875008 202086 33554432000 4194304 6211132 140735088808192 140735088769432 140683816238053 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 209198 202086 842 493 0 202503 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 836792 KiB
Current children cumulated memory: 808344 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.06 2.03 3/201 31158
/proc/meminfo: memFree=27269672/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=1303392 memory=1274296 CPUtime=162.29 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 315648 0 0 0 16190 39 0 0 20 0 1 0 555184743 1334673408 318574 33554432000 4194304 6211132 140735088808192 140735088769432 140683817162288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 325848 318574 842 493 0 319153 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 1303392 KiB
Current children cumulated memory: 1274296 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.03 3/201 31162
/proc/meminfo: memFree=26228204/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=1775460 memory=1740192 CPUtime=222.29 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 430103 0 0 0 22176 53 0 0 20 0 1 0 555184743 1818071040 435048 33554432000 4194304 6211132 140735088808192 140735088769432 140683816238053 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 443865 435048 842 493 0 437170 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 1775460 KiB
Current children cumulated memory: 1740192 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/200 31168
/proc/meminfo: memFree=25190252/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=2231388 memory=2204296 CPUtime=282.29 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 544104 0 0 0 28161 68 0 0 20 0 1 0 555184743 2284941312 551074 33554432000 4194304 6211132 140735088808192 140735088769432 5446292 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 557847 551074 842 493 0 551152 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2231388 KiB
Current children cumulated memory: 2204296 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/199 31172
/proc/meminfo: memFree=24150252/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=2712184 memory=2670772 CPUtime=342.29 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 658669 0 0 0 34147 82 0 0 20 0 1 0 555184743 2777276416 667693 33554432000 4194304 6211132 140735088808192 140735088769432 5446292 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 678046 667693 842 493 0 671351 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2712184 KiB
Current children cumulated memory: 2670772 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/199 31176
/proc/meminfo: memFree=23108944/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=3168244 memory=3137180 CPUtime=402.3 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 772762 0 0 0 40136 94 0 0 20 0 1 0 555184743 3244281856 784295 33554432000 4194304 6211132 140735088808192 140735088769432 5456338 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 792061 784295 842 493 0 785366 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 3168244 KiB
Current children cumulated memory: 3137180 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/200 31182
/proc/meminfo: memFree=22067732/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=3660820 memory=3603200 CPUtime=462.3 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 887364 0 0 0 46121 109 0 0 20 0 1 0 555184743 3748679680 900800 33554432000 4194304 6211132 140735088808192 140735088769432 5451580 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 915205 900800 842 493 0 908510 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 3660820 KiB
Current children cumulated memory: 3603200 KiB
################
# More data... #
################
Current children cumulated vsize: 11083780 KiB
Current children cumulated memory: 11042648 KiB
[startup+1482.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/200 31293
/proc/meminfo: memFree=4416136/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=11538520 memory=11505656 CPUtime=1482.32 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 2828284 0 0 0 147756 476 0 0 20 0 1 0 555184743 11815444480 2876414 33554432000 4194304 6211132 140735088808192 140735088769432 5452189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 2884630 2876414 842 493 0 2877935 0
Current children cumulated CPU time: 1482.32 s
Current children cumulated vsize: 11538520 KiB
Current children cumulated memory: 11505656 KiB
[startup+1542.3 s]
/proc/loadavg: 2.25 2.14 2.08 3/201 31299
/proc/meminfo: memFree=3378344/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=11993656 memory=11970024 CPUtime=1542.32 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 2942739 0 0 0 153729 503 0 0 20 0 1 0 555184743 12281503744 2992506 33554432000 4194304 6211132 140735088808192 140735088769432 5451539 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 2998414 2992506 842 493 0 2991719 0
Current children cumulated CPU time: 1542.32 s
Current children cumulated vsize: 11993656 KiB
Current children cumulated memory: 11970024 KiB
[startup+1602.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/200 31303
/proc/meminfo: memFree=2339720/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=12573096 memory=12436128 CPUtime=1602.32 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 3057027 0 0 0 159706 526 0 0 20 0 1 0 555184743 12874850304 3109032 33554432000 4194304 6211132 140735088808192 140735088769432 5012966 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 3143274 3109032 842 493 0 3136579 0
Current children cumulated CPU time: 1602.32 s
Current children cumulated vsize: 12573096 KiB
Current children cumulated memory: 12436128 KiB
[startup+1662.3 s]
/proc/loadavg: 2.03 2.09 2.07 2/197 31313
/proc/meminfo: memFree=16395020/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=13027176 memory=12898340 CPUtime=1662.32 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 3170911 0 0 0 165679 553 0 0 20 0 1 0 555184743 13339828224 3224585 33554432000 4194304 6211132 140735088808192 140735088769432 5440668 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 3256794 3224585 842 493 0 3250099 0
Current children cumulated CPU time: 1662.32 s
Current children cumulated vsize: 13027176 KiB
Current children cumulated memory: 12898340 KiB
[startup+1722.3 s]
/proc/loadavg: 2.33 2.20 2.12 3/202 31380
/proc/meminfo: memFree=16840000/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=13482180 memory=13363580 CPUtime=1722.3 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 3284826 0 0 0 171649 581 0 0 20 0 1 0 555184743 13805752320 3340895 33554432000 4194304 6211132 140735088808192 140735088769432 5446292 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 3370545 3340895 842 493 0 3363850 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 13482180 KiB
Current children cumulated memory: 13363580 KiB
[startup+1782.3 s]
/proc/loadavg: 2.12 2.17 2.11 3/202 31392
/proc/meminfo: memFree=16375944/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=13937844 memory=13829348 CPUtime=1782.28 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 3398827 0 0 0 177619 609 0 0 20 0 1 0 555184743 14272352256 3457337 33554432000 4194304 6211132 140735088808192 140735088769432 5446272 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 3484461 3457337 842 493 0 3477766 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 13937844 KiB
Current children cumulated memory: 13829348 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.14 2.10 3/203 31422
/proc/meminfo: memFree=15910892/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=14392452 memory=14294324 CPUtime=1842.26 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 3512604 0 0 0 183586 640 0 0 20 0 1 0 555184743 14737870848 3573581 33554432000 4194304 6211132 140735088808192 140735088769432 4982624 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 3598113 3573581 842 493 0 3591418 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 14392452 KiB
Current children cumulated memory: 14294324 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.11 2.10 3/204 31428
/proc/meminfo: memFree=15447084/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=14847852 memory=14757784 CPUtime=1902.25 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 3626533 0 0 0 189557 668 0 0 20 0 1 0 555184743 15204200448 3689446 33554432000 4194304 6211132 140735088808192 140735088769432 5455690 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 3711963 3689446 842 493 0 3705268 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 14847852 KiB
Current children cumulated memory: 14757784 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.09 2.09 3/203 31432
/proc/meminfo: memFree=14980472/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=15302988 memory=15223476 CPUtime=1962.22 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 3740457 0 0 0 195524 698 0 0 20 0 1 0 555184743 15670259712 3805869 33554432000 4194304 6211132 140735088808192 140735088769432 5452274 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 3825747 3805869 842 493 0 3819052 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 15302988 KiB
Current children cumulated memory: 15223476 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.07 2.09 3/201 31497
/proc/meminfo: memFree=14494480/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=15758124 memory=15688716 CPUtime=2022.22 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 3854325 0 0 0 201488 734 0 0 20 0 1 0 555184743 16136318976 3922179 33554432000 4194304 6211132 140735088808192 140735088769432 5446299 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 3939531 3922179 842 493 0 3932836 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 15758124 KiB
Current children cumulated memory: 15688716 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2037.4 s]
/proc/loadavg: 2.00 2.07 2.08 3/201 31500
/proc/meminfo: memFree=14377504/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=15872700 memory=15805260 CPUtime=2037.31 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 4202496 3883000 0 0 0 202989 742 0 0 20 0 1 0 555184743 16253644800 3951315 33554432000 4194304 6211132 140735088808192 140735088769432 140683817164224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 3968175 3951315 842 493 0 3961480 0
Current children cumulated CPU time: 2037.31 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15805260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2040.28 s]
# the end of solver process 31142 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2030.16 s, system=8.33902 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2038.4 s]
/proc/loadavg: 2.00 2.07 2.08 3/202 31501
/proc/meminfo: memFree=14042580/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=15872700 memory=15805260 CPUtime=2037.47 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) R 31139 31142 30008 0 -1 512 3883004 0 0 0 203003 744 0 0 20 0 1 0 555184743 16253644800 3951315 33554432000 4194304 6211132 140735088808192 140735088769432 5189800 0 16384 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 3968175 3951315 842 493 0 3961480 0
Current children cumulated CPU time: 2037.47 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15805260 KiB
[startup+2039.2 s]
/proc/loadavg: 2.08 2.09 2.09 3/202 31501
/proc/meminfo: memFree=13515924/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=15872700 memory=15805260 CPUtime=2037.58 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) S 31139 31142 30008 0 -1 512 3883004 0 0 0 203013 745 0 0 20 0 1 0 555184743 16253644800 3951315 33554432000 4194304 6211132 140735088808192 140735088769432 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 3968175 3951315 842 493 0 3961480 0
Current children cumulated CPU time: 2037.58 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15805260 KiB
[startup+2039.4 s]
/proc/loadavg: 2.08 2.09 2.09 3/202 31501
/proc/meminfo: memFree=13515924/32770624 swapFree=66954180/67108860
[pid=31142] ppid=31139 vsize=15872700 memory=15805260 CPUtime=2037.61 cores=0,2,4,6
/proc/31142/stat : 31142 (cosoco) S 31139 31142 30008 0 -1 512 3883004 0 0 0 203015 746 0 0 20 0 1 0 555184743 16253644800 3951315 33554432000 4194304 6211132 140735088808192 140735088769432 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 33185792 140735088813067 140735088813169 140735088813169 140735088816078 0
/proc/31142/statm: 3968175 3951315 842 493 0 3961480 0
Current children cumulated CPU time: 2037.61 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15805260 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2040.28
CPU time (s): 2038.5
CPU user time (s): 2030.16
CPU system time (s): 8.33902
CPU usage (%): 99.9127
Max. virtual memory (cumulated for all children) (KiB): 15872700
Max. memory (cumulated for all children) (KiB): 15805260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2030.16
system time used= 8.33901
maximum resident set size= 15805472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3883004
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= 130867
involuntary context switches= 1841
# summary of solver processes directly reported to runsolver:
# pid: 31142
# total CPU time (s): 2038.5
# total CPU user time (s): 2030.16
# total CPU system time (s): 8.33902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.74 second user time and 11.0555 second system time
The end