runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241194-1500648174/watcher-4241194-1500648174 -o /tmp/evaluation-result-4241194-1500648174/solver-4241194-1500648174 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500648173-9853 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241194-1500648174.xml
pid=9883
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.05 0.11 3/244 9886
/proc/meminfo: memFree=32077652/32770624 swapFree=5956/171056
[pid=9886] ppid=9883 vsize=26992 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 1 0 83708 27639808 766 33554432000 4194304 5970956 140736851499200 140736851495848 5674732 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 6748 766 683 434 0 112 0
[startup+0.100117 s]
/proc/loadavg: 0.00 0.05 0.11 3/244 9886
/proc/meminfo: memFree=32077652/32770624 swapFree=5956/171056
[pid=9886] ppid=9883 vsize=27476 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 1157 0 0 0 9 0 0 0 20 0 1 0 83708 28135424 964 33554432000 4194304 5970956 140736851499200 140736851495800 139785941325062 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 6869 964 783 434 0 233 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27476
[startup+0.20026 s]
/proc/loadavg: 0.00 0.05 0.11 3/244 9886
/proc/meminfo: memFree=32077652/32770624 swapFree=5956/171056
[pid=9886] ppid=9883 vsize=30000 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 1779 0 0 0 19 0 0 0 20 0 1 0 83708 30720000 1598 33554432000 4194304 5970956 140736851499200 140736851492792 4966541 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 7500 1598 783 434 0 864 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30000
[startup+0.300211 s]
/proc/loadavg: 0.00 0.05 0.11 3/244 9886
/proc/meminfo: memFree=32077652/32770624 swapFree=5956/171056
[pid=9886] ppid=9883 vsize=33036 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 2519 0 0 0 29 0 0 0 20 0 1 0 83708 33828864 2325 33554432000 4194304 5970956 140736851499200 140736851492792 139785932723585 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 8259 2325 783 434 0 1623 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33036
[startup+0.700177 s]
/proc/loadavg: 0.00 0.05 0.11 3/244 9886
/proc/meminfo: memFree=32077652/32770624 swapFree=5956/171056
[pid=9886] ppid=9883 vsize=44756 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 5472 0 0 0 68 0 0 0 20 0 1 0 83708 45830144 5290 33554432000 4194304 5970956 140736851499200 140736851493032 139785932834752 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 11189 5290 783 434 0 4553 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44756
[startup+1.50018 s]
/proc/loadavg: 0.00 0.05 0.11 3/245 9887
/proc/meminfo: memFree=32014728/32770624 swapFree=5956/170912
[pid=9886] ppid=9883 vsize=68300 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 11343 0 0 0 148 1 0 0 20 0 1 0 83708 69939200 11140 33554432000 4194304 5970956 140736851499200 140736851492792 4966541 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 17075 11140 783 434 0 10439 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68300
[startup+3.10019 s]
/proc/loadavg: 0.00 0.05 0.11 3/245 9887
/proc/meminfo: memFree=31950076/32770624 swapFree=5956/170500
[pid=9886] ppid=9883 vsize=151444 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 30430 0 0 0 306 3 0 0 20 0 1 0 83708 155078656 30334 33554432000 4194304 5970956 140736851499200 140736851496328 5279748 0 0 4096 8404994 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 37861 30334 824 434 0 31225 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 151444
[startup+6.30028 s]
/proc/loadavg: 0.08 0.06 0.11 3/245 9887
/proc/meminfo: memFree=31589020/32770624 swapFree=5956/170628
[pid=9886] ppid=9883 vsize=270860 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 90184 0 0 0 621 8 0 0 20 0 1 0 83708 277360640 60542 33554432000 4194304 5970956 140736851499200 140736851496168 5098928 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 67715 60542 838 434 0 61079 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 270860
[startup+12.7003 s]
/proc/loadavg: 0.24 0.10 0.12 3/245 9887
/proc/meminfo: memFree=31537424/32770624 swapFree=5956/170640
[pid=9886] ppid=9883 vsize=276008 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 121171 0 0 0 1259 9 0 0 20 0 1 0 83708 282632192 61831 33554432000 4194304 5970956 140736851499200 140736851496168 4968237 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 69002 61831 838 434 0 62366 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 276008
[startup+25.5004 s]
/proc/loadavg: 0.63 0.19 0.15 3/245 9887
/proc/meminfo: memFree=31508044/32770624 swapFree=5956/170648
[pid=9886] ppid=9883 vsize=288020 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 187327 0 0 0 2535 12 0 0 20 0 1 0 83708 294932480 64843 33554432000 4194304 5970956 140736851499200 140736851496760 139785931979749 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 72005 64843 839 434 0 65369 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 288020
[startup+51.1004 s]
/proc/loadavg: 1.10 0.34 0.20 3/245 9887
/proc/meminfo: memFree=31499976/32770624 swapFree=5956/170660
[pid=9886] ppid=9883 vsize=291584 CPUtime=51.06 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 220523 0 0 0 5091 15 0 0 20 0 1 0 83708 298582016 65731 33554432000 4194304 5970956 140736851499200 140736851496168 4961411 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 72896 65731 839 434 0 66260 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 291584
[startup+102.3 s]
/proc/loadavg: 1.66 0.61 0.30 3/245 9891
/proc/meminfo: memFree=31495020/32770624 swapFree=5956/171464
[pid=9886] ppid=9883 vsize=292768 CPUtime=102.24 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 250155 0 0 0 10208 16 0 0 20 0 1 0 83708 299794432 66024 33554432000 4194304 5970956 140736851499200 140736851496168 4964366 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73192 66024 839 434 0 66556 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 292768
[startup+162.3 s]
/proc/loadavg: 2.02 0.89 0.42 3/245 9892
/proc/meminfo: memFree=31492560/32770624 swapFree=5956/171536
[pid=9886] ppid=9883 vsize=293032 CPUtime=162.2 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 279615 0 0 0 16203 17 0 0 20 0 1 0 83708 300064768 66091 33554432000 4194304 5970956 140736851499200 140736851496168 5070338 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73258 66091 839 434 0 66622 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 293032
[startup+222.308 s]
/proc/loadavg: 2.01 1.10 0.52 3/245 9893
/proc/meminfo: memFree=31491292/32770624 swapFree=5956/171572
[pid=9886] ppid=9883 vsize=293164 CPUtime=222.18 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 308133 0 0 0 22199 19 0 0 20 0 1 0 83708 300199936 66137 33554432000 4194304 5970956 140736851499200 140736851496168 4968249 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73291 66137 839 434 0 66655 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 293164
[startup+282.3 s]
/proc/loadavg: 2.00 1.26 0.61 3/245 9894
/proc/meminfo: memFree=31490884/32770624 swapFree=5956/171592
[pid=9886] ppid=9883 vsize=293164 CPUtime=282.13 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 326576 0 0 0 28193 20 0 0 20 0 1 0 83708 300199936 66146 33554432000 4194304 5970956 140736851499200 140736851496168 4964797 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73291 66146 839 434 0 66655 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 293164
[startup+342.3 s]
/proc/loadavg: 2.00 1.39 0.70 3/244 9895
/proc/meminfo: memFree=31490512/32770624 swapFree=5956/171628
[pid=9886] ppid=9883 vsize=293692 CPUtime=342.08 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 338662 0 0 0 34188 20 0 0 20 0 1 0 83708 300740608 66271 33554432000 4194304 5970956 140736851499200 140736851496168 4964705 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73423 66271 839 434 0 66787 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 293692
[startup+402.3 s]
/proc/loadavg: 2.00 1.51 0.78 3/243 9896
/proc/meminfo: memFree=31490188/32770624 swapFree=5956/171656
[pid=9886] ppid=9883 vsize=294220 CPUtime=402.04 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 339363 0 0 0 40184 20 0 0 20 0 1 0 83708 301281280 66440 33554432000 4194304 5970956 140736851499200 140736851496168 5052080 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73555 66440 839 434 0 66919 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 294220
[startup+462.3 s]
/proc/loadavg: 2.00 1.60 0.85 3/243 9904
/proc/meminfo: memFree=31489968/32770624 swapFree=5956/171700
[pid=9886] ppid=9883 vsize=294220 CPUtime=462.01 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 340034 0 0 0 46181 20 0 0 20 0 1 0 83708 301281280 66453 33554432000 4194304 5970956 140736851499200 140736851496168 4908912 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73555 66453 839 434 0 66919 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 294220
[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.93 3/243 9905
/proc/meminfo: memFree=31490048/32770624 swapFree=5956/171728
[pid=9886] ppid=9883 vsize=294220 CPUtime=521.99 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 340894 0 0 0 52178 21 0 0 20 0 1 0 83708 301281280 66459 33554432000 4194304 5970956 140736851499200 140736851496168 5052080 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73555 66459 839 434 0 66919 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 294220
[startup+582.3 s]
/proc/loadavg: 2.00 1.73 0.99 3/243 9906
/proc/meminfo: memFree=31489840/32770624 swapFree=5956/171756
[pid=9886] ppid=9883 vsize=294352 CPUtime=581.96 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 341527 0 0 0 58175 21 0 0 20 0 1 0 83708 301416448 66468 33554432000 4194304 5970956 140736851499200 140736851496168 4961400 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73588 66468 839 434 0 66952 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 294352
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.65 3/243 9953
/proc/meminfo: memFree=31486192/32770624 swapFree=5956/172232
[pid=9886] ppid=9883 vsize=295012 CPUtime=1541.48 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 356122 0 0 0 154125 23 0 0 20 0 1 0 83708 302092288 66649 33554432000 4194304 5970956 140736851499200 140736851486504 4967872 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73753 66649 839 434 0 67117 0
Current children cumulated CPU time (s) 1541.48
Current children cumulated vsize (KiB) 295012
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 1.68 3/243 9954
/proc/meminfo: memFree=31485176/32770624 swapFree=5956/172260
[pid=9886] ppid=9883 vsize=295012 CPUtime=1601.44 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 357192 0 0 0 160121 23 0 0 20 0 1 0 83708 302092288 66649 33554432000 4194304 5970956 140736851499200 140736851486504 4968186 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73753 66649 839 434 0 67117 0
Current children cumulated CPU time (s) 1601.44
Current children cumulated vsize (KiB) 295012
[startup+1662.3 s]
/proc/loadavg: 2.09 2.04 1.70 3/243 9962
/proc/meminfo: memFree=31483432/32770624 swapFree=5956/172304
[pid=9886] ppid=9883 vsize=295012 CPUtime=1661.41 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 358686 0 0 0 166118 23 0 0 20 0 1 0 83708 302092288 66649 33554432000 4194304 5970956 140736851499200 140736851486504 4964389 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73753 66649 839 434 0 67117 0
Current children cumulated CPU time (s) 1661.41
Current children cumulated vsize (KiB) 295012
[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 1.73 3/243 9963
/proc/meminfo: memFree=31484228/32770624 swapFree=5956/172332
[pid=9886] ppid=9883 vsize=295012 CPUtime=1721.38 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 359558 0 0 0 172115 23 0 0 20 0 1 0 83708 302092288 66651 33554432000 4194304 5970956 140736851499200 140736851486504 5069735 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73753 66651 839 434 0 67117 0
Current children cumulated CPU time (s) 1721.38
Current children cumulated vsize (KiB) 295012
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 1.75 3/243 9964
/proc/meminfo: memFree=31484664/32770624 swapFree=5956/172360
[pid=9886] ppid=9883 vsize=295012 CPUtime=1781.35 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 361178 0 0 0 178112 23 0 0 20 0 1 0 83708 302092288 66651 33554432000 4194304 5970956 140736851499200 140736851486504 4964389 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73753 66651 839 434 0 67117 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (KiB) 295012
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 1.76 3/243 9965
/proc/meminfo: memFree=31484152/32770624 swapFree=5956/172388
[pid=9886] ppid=9883 vsize=295012 CPUtime=1841.32 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 362457 0 0 0 184109 23 0 0 20 0 1 0 83708 302092288 66653 33554432000 4194304 5970956 140736851499200 140736851486504 5052048 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73753 66653 839 434 0 67117 0
Current children cumulated CPU time (s) 1841.32
Current children cumulated vsize (KiB) 295012
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 1.78 3/243 9966
/proc/meminfo: memFree=31483700/32770624 swapFree=5956/172416
[pid=9886] ppid=9883 vsize=295276 CPUtime=1901.28 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 363470 0 0 0 190105 23 0 0 20 0 1 0 83708 302362624 66699 33554432000 4194304 5970956 140736851499200 140736851496168 5052093 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73819 66699 839 434 0 67183 0
Current children cumulated CPU time (s) 1901.28
Current children cumulated vsize (KiB) 295276
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.79 3/243 9967
/proc/meminfo: memFree=31483668/32770624 swapFree=5956/172456
[pid=9886] ppid=9883 vsize=295276 CPUtime=1961.25 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 364103 0 0 0 196102 23 0 0 20 0 1 0 83708 302362624 66707 33554432000 4194304 5970956 140736851499200 140736851496168 4964768 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73819 66707 839 434 0 67183 0
Current children cumulated CPU time (s) 1961.25
Current children cumulated vsize (KiB) 295276
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/243 9968
/proc/meminfo: memFree=31483528/32770624 swapFree=5956/172484
[pid=9886] ppid=9883 vsize=295276 CPUtime=2021.22 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 365257 0 0 0 202099 23 0 0 20 0 1 0 83708 302362624 66707 33554432000 4194304 5970956 140736851499200 140736851496168 5052121 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73819 66707 839 434 0 67183 0
Current children cumulated CPU time (s) 2021.22
Current children cumulated vsize (KiB) 295276
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 1.82 3/243 9969
/proc/meminfo: memFree=31481072/32770624 swapFree=5956/172512
[pid=9886] ppid=9883 vsize=295276 CPUtime=2081.2 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 366240 0 0 0 208097 23 0 0 20 0 1 0 83708 302362624 66707 33554432000 4194304 5970956 140736851499200 140736851496168 4964366 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73819 66707 839 434 0 67183 0
Current children cumulated CPU time (s) 2081.2
Current children cumulated vsize (KiB) 295276
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 1.83 3/243 9970
/proc/meminfo: memFree=31482024/32770624 swapFree=5956/172544
[pid=9886] ppid=9883 vsize=295276 CPUtime=2141.16 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 367137 0 0 0 214093 23 0 0 20 0 1 0 83708 302362624 66707 33554432000 4194304 5970956 140736851499200 140736851496168 4964366 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73819 66707 839 434 0 67183 0
Current children cumulated CPU time (s) 2141.16
Current children cumulated vsize (KiB) 295276
[startup+2202.31 s]
/proc/loadavg: 2.08 2.05 1.85 3/243 9971
/proc/meminfo: memFree=31482032/32770624 swapFree=5956/172572
[pid=9886] ppid=9883 vsize=295276 CPUtime=2201.14 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 367552 0 0 0 220090 24 0 0 20 0 1 0 83708 302362624 66707 33554432000 4194304 5970956 140736851499200 140736851496168 4964366 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73819 66707 839 434 0 67183 0
Current children cumulated CPU time (s) 2201.14
Current children cumulated vsize (KiB) 295276
[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 1.86 3/243 9979
/proc/meminfo: memFree=31481628/32770624 swapFree=5956/172584
[pid=9886] ppid=9883 vsize=295276 CPUtime=2261.11 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 368354 0 0 0 226087 24 0 0 20 0 1 0 83708 302362624 66707 33554432000 4194304 5970956 140736851499200 140736851496168 5052093 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73819 66707 839 434 0 67183 0
Current children cumulated CPU time (s) 2261.11
Current children cumulated vsize (KiB) 295276
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 1.87 3/243 9980
/proc/meminfo: memFree=31481580/32770624 swapFree=5956/172608
[pid=9886] ppid=9883 vsize=295276 CPUtime=2321.07 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 369206 0 0 0 232083 24 0 0 20 0 1 0 83708 302362624 66707 33554432000 4194304 5970956 140736851499200 140736851496168 5052121 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73819 66707 839 434 0 67183 0
Current children cumulated CPU time (s) 2321.07
Current children cumulated vsize (KiB) 295276
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 1.88 3/243 9981
/proc/meminfo: memFree=31481984/32770624 swapFree=5956/172636
[pid=9886] ppid=9883 vsize=295276 CPUtime=2381.04 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 370055 0 0 0 238080 24 0 0 20 0 1 0 83708 302362624 66707 33554432000 4194304 5970956 140736851499200 140736851496168 4964406 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73819 66707 839 434 0 67183 0
Current children cumulated CPU time (s) 2381.04
Current children cumulated vsize (KiB) 295276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.3 s]
/proc/loadavg: 2.00 2.03 1.88 3/243 9981
/proc/meminfo: memFree=31482728/32770624 swapFree=5956/172644
[pid=9886] ppid=9883 vsize=295276 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 370450 0 0 0 239980 24 0 0 20 0 1 0 83708 302362624 66707 33554432000 4194304 5970956 140736851499200 140736851496168 4964705 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73819 66707 839 434 0 67183 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 295276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9886 sig 9
??? kill -9886 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.3 s]
/proc/loadavg: 2.00 2.03 1.88 3/243 9981
/proc/meminfo: memFree=31482728/32770624 swapFree=5956/172644
[pid=9886] ppid=9883 vsize=295276 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/9886/stat : 9886 (cosoco) R 9883 9886 9821 0 -1 4202496 370450 0 0 0 239980 24 0 0 20 0 1 0 83708 302362624 66707 33554432000 4194304 5970956 140736851499200 140736851496168 4964705 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 12951552 140736851506364 140736851506499 140736851506499 140736851509198 0
/proc/9886/statm: 73819 66707 839 434 0 67183 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 295276
Child status: 1
Real time (s): 2401.31
CPU time (s): 2400.05
CPU user time (s): 2399.81
CPU system time (s): 0.245876
CPU usage (%): 99.9476
Max. virtual memory (cumulated for all children) (KiB): 295276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.81
system time used= 0.245876
maximum resident set size= 266876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370478
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= 62
involuntary context switches= 121025
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.93564 second user time and 12.8948 second system time
The end