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-4242878-1500669924/watcher-4242878-1500669924 -o /tmp/evaluation-result-4242878-1500669924/solver-4242878-1500669924 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500667522-12933 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242878-1500669924.xml
pid=13218
running on 8 cores: 0,2,4,6,8,10,12,14
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: 2.08 2.03 2.04 4/238 13221
/proc/meminfo: memFree=31857996/32770624 swapFree=5920/263412
[pid=13221] ppid=13218 vsize=27388 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 1066 0 0 0 1 0 0 0 20 0 1 0 2261463 28045312 898 33554432000 4194304 5970956 140735122123856 140735122120456 5674857 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 6847 898 706 434 0 211 0
[startup+0.100119 s]
/proc/loadavg: 2.08 2.03 2.04 4/238 13221
/proc/meminfo: memFree=31857996/32770624 swapFree=5920/263412
[pid=13221] ppid=13218 vsize=28212 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 1259 0 0 0 9 0 0 0 20 0 1 0 2261463 28889088 1015 33554432000 4194304 5970956 140735122123856 140735122120456 139860465269566 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 7053 1015 709 434 0 417 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28212
[startup+0.200333 s]
/proc/loadavg: 2.08 2.03 2.04 4/238 13221
/proc/meminfo: memFree=31857996/32770624 swapFree=5920/263412
[pid=13221] ppid=13218 vsize=28860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 1522 0 0 0 19 0 0 0 20 0 1 0 2261463 29552640 1192 33554432000 4194304 5970956 140735122123856 140735122120456 5672374 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 7215 1192 709 434 0 579 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28860
[startup+0.300325 s]
/proc/loadavg: 2.08 2.03 2.04 4/238 13221
/proc/meminfo: memFree=31857996/32770624 swapFree=5920/263412
[pid=13221] ppid=13218 vsize=30156 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 1901 0 0 0 29 0 0 0 20 0 1 0 2261463 30879744 1351 33554432000 4194304 5970956 140735122123856 140735122120456 5383944 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 7539 1351 709 434 0 903 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30156
[startup+0.700271 s]
/proc/loadavg: 2.08 2.03 2.04 4/238 13221
/proc/meminfo: memFree=31857996/32770624 swapFree=5920/263412
[pid=13221] ppid=13218 vsize=33408 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 3033 0 0 0 69 0 0 0 20 0 1 0 2261463 34209792 2128 33554432000 4194304 5970956 140735122123856 140735122120456 5383944 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 8352 2128 709 434 0 1716 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33408
[startup+1.50028 s]
/proc/loadavg: 2.08 2.03 2.04 3/243 13233
/proc/meminfo: memFree=31827740/32770624 swapFree=5920/198652
[pid=13221] ppid=13218 vsize=39780 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 4575 0 0 0 148 1 0 0 20 0 1 0 2261463 40734720 3931 33554432000 4194304 5970956 140735122123856 140735122120456 5673449 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 9945 3931 709 434 0 3309 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39780
[startup+3.10026 s]
/proc/loadavg: 2.08 2.03 2.04 3/243 13233
/proc/meminfo: memFree=31810704/32770624 swapFree=5920/198632
[pid=13221] ppid=13218 vsize=52788 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 6828 0 0 0 308 1 0 0 20 0 1 0 2261463 54054912 6608 33554432000 4194304 5970956 140735122123856 140735122120456 5674958 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 13197 6608 709 434 0 6561 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52788
[startup+6.30029 s]
/proc/loadavg: 2.07 2.03 2.04 3/243 13233
/proc/meminfo: memFree=31744836/32770624 swapFree=5920/198612
[pid=13221] ppid=13218 vsize=78672 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 11252 0 0 0 626 2 0 0 20 0 1 0 2261463 80560128 12601 33554432000 4194304 5970956 140735122123856 140735122120456 5399038 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 19668 12601 709 434 0 13032 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 78672
[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.04 3/243 13233
/proc/meminfo: memFree=31661484/32770624 swapFree=5920/198620
[pid=13221] ppid=13218 vsize=130836 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 19159 0 0 0 1263 5 0 0 20 0 1 0 2261463 133976064 24618 33554432000 4194304 5970956 140735122123856 140735122120456 5674904 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 32709 24618 709 434 0 26073 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 130836
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.04 3/243 13233
/proc/meminfo: memFree=31457148/32770624 swapFree=5920/198628
[pid=13221] ppid=13218 vsize=235692 CPUtime=25.47 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 34204 0 0 0 2538 9 0 0 20 0 1 0 2261463 241348608 49330 33554432000 4194304 5970956 140735122123856 140735122120456 139860465712128 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 58923 49330 709 434 0 52287 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 235692
[startup+51.1004 s]
/proc/loadavg: 2.03 2.03 2.04 3/243 13233
/proc/meminfo: memFree=30144600/32770624 swapFree=5920/198636
[pid=13221] ppid=13218 vsize=913672 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 146787 0 0 0 5078 29 0 0 20 0 1 0 2261463 935600128 219484 33554432000 4194304 5970956 140735122123856 140735122111176 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219484 848 434 0 221782 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 913672
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/243 13234
/proc/meminfo: memFree=30144008/32770624 swapFree=5920/198656
[pid=13221] ppid=13218 vsize=913672 CPUtime=102.24 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 199483 0 0 0 10193 31 0 0 20 0 1 0 2261463 935600128 219484 33554432000 4194304 5970956 140735122123856 140735122111176 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219484 848 434 0 221782 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 913672
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 13235
/proc/meminfo: memFree=30144216/32770624 swapFree=5920/198680
[pid=13221] ppid=13218 vsize=913672 CPUtime=162.2 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 241549 0 0 0 16186 34 0 0 20 0 1 0 2261463 935600128 219484 33554432000 4194304 5970956 140735122123856 140735122111176 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219484 848 434 0 221782 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 913672
[startup+222.309 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 13236
/proc/meminfo: memFree=30144508/32770624 swapFree=5920/198712
[pid=13221] ppid=13218 vsize=913672 CPUtime=222.16 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 276761 0 0 0 22181 35 0 0 20 0 1 0 2261463 935600128 219484 33554432000 4194304 5970956 140735122123856 140735122111176 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219484 848 434 0 221782 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 913672
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 13245
/proc/meminfo: memFree=30144392/32770624 swapFree=5920/198744
[pid=13221] ppid=13218 vsize=913672 CPUtime=282.12 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 299308 0 0 0 28175 37 0 0 20 0 1 0 2261463 935600128 219484 33554432000 4194304 5970956 140735122123856 140735122111176 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219484 848 434 0 221782 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 913672
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 13246
/proc/meminfo: memFree=30143704/32770624 swapFree=5920/198776
[pid=13221] ppid=13218 vsize=913672 CPUtime=342.09 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 319295 0 0 0 34172 37 0 0 20 0 1 0 2261463 935600128 219484 33554432000 4194304 5970956 140735122123856 140735122111176 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219484 848 434 0 221782 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 913672
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 13247
/proc/meminfo: memFree=30143916/32770624 swapFree=5920/198812
[pid=13221] ppid=13218 vsize=913672 CPUtime=402.06 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 339823 0 0 0 40168 38 0 0 20 0 1 0 2261463 935600128 219484 33554432000 4194304 5970956 140735122123856 140735122111176 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219484 848 434 0 221782 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 913672
[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/244 13248
/proc/meminfo: memFree=30144168/32770624 swapFree=5920/198840
[pid=13221] ppid=13218 vsize=913672 CPUtime=462.03 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 355538 0 0 0 46164 39 0 0 20 0 1 0 2261463 935600128 219484 33554432000 4194304 5970956 140735122123856 140735122111176 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219484 848 434 0 221782 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 913672
[startup+522.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/244 13249
/proc/meminfo: memFree=30143600/32770624 swapFree=5920/198872
[pid=13221] ppid=13218 vsize=913672 CPUtime=521.99 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 369542 0 0 0 52159 40 0 0 20 0 1 0 2261463 935600128 219484 33554432000 4194304 5970956 140735122123856 140735122111176 4934460 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219484 848 434 0 221782 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 913672
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 13251
/proc/meminfo: memFree=30144968/32770624 swapFree=5920/198908
[pid=13221] ppid=13218 vsize=913672 CPUtime=581.95 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 371617 0 0 0 58155 40 0 0 20 0 1 0 2261463 935600128 219484 33554432000 4194304 5970956 140735122123856 140735122111176 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219484 848 434 0 221782 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 913672
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 13307
/proc/meminfo: memFree=30143812/32770624 swapFree=5920/199360
[pid=13221] ppid=13218 vsize=913672 CPUtime=1481.45 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 386691 0 0 0 148104 41 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 1481.45
Current children cumulated vsize (KiB) 913672
[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/244 13308
/proc/meminfo: memFree=30144428/32770624 swapFree=5920/199396
[pid=13221] ppid=13218 vsize=913672 CPUtime=1541.43 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 387643 0 0 0 154102 41 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 1541.43
Current children cumulated vsize (KiB) 913672
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 13309
/proc/meminfo: memFree=30144676/32770624 swapFree=5920/199428
[pid=13221] ppid=13218 vsize=913672 CPUtime=1601.39 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 388559 0 0 0 160098 41 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 1601.39
Current children cumulated vsize (KiB) 913672
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 13310
/proc/meminfo: memFree=30144676/32770624 swapFree=5920/199452
[pid=13221] ppid=13218 vsize=913672 CPUtime=1661.36 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 389442 0 0 0 166094 42 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 1661.36
Current children cumulated vsize (KiB) 913672
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 13311
/proc/meminfo: memFree=30144988/32770624 swapFree=5920/199484
[pid=13221] ppid=13218 vsize=913672 CPUtime=1721.33 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 390348 0 0 0 172091 42 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 1721.33
Current children cumulated vsize (KiB) 913672
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13312
/proc/meminfo: memFree=30144508/32770624 swapFree=5920/199520
[pid=13221] ppid=13218 vsize=913672 CPUtime=1781.29 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 391376 0 0 0 178087 42 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 1781.29
Current children cumulated vsize (KiB) 913672
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13313
/proc/meminfo: memFree=30144616/32770624 swapFree=5920/199548
[pid=13221] ppid=13218 vsize=913672 CPUtime=1841.26 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 392434 0 0 0 184084 42 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 1841.26
Current children cumulated vsize (KiB) 913672
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13314
/proc/meminfo: memFree=30144860/32770624 swapFree=5920/199584
[pid=13221] ppid=13218 vsize=913672 CPUtime=1901.22 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 393450 0 0 0 190080 42 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 1901.22
Current children cumulated vsize (KiB) 913672
[startup+1962.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 13315
/proc/meminfo: memFree=30145488/32770624 swapFree=5920/199556
[pid=13221] ppid=13218 vsize=913672 CPUtime=1961.19 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 394434 0 0 0 196077 42 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 1961.19
Current children cumulated vsize (KiB) 913672
[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 13316
/proc/meminfo: memFree=30145860/32770624 swapFree=5920/199584
[pid=13221] ppid=13218 vsize=913672 CPUtime=2021.16 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 395361 0 0 0 202074 42 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4933153 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 2021.16
Current children cumulated vsize (KiB) 913672
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 13325
/proc/meminfo: memFree=30145276/32770624 swapFree=5920/199624
[pid=13221] ppid=13218 vsize=913672 CPUtime=2081.13 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 396269 0 0 0 208071 42 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 2081.13
Current children cumulated vsize (KiB) 913672
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 13326
/proc/meminfo: memFree=30145632/32770624 swapFree=5920/199660
[pid=13221] ppid=13218 vsize=913672 CPUtime=2141.09 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 397174 0 0 0 214067 42 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 2141.09
Current children cumulated vsize (KiB) 913672
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 13327
/proc/meminfo: memFree=30143976/32770624 swapFree=5920/199692
[pid=13221] ppid=13218 vsize=913672 CPUtime=2201.07 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 398045 0 0 0 220065 42 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934506 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 2201.07
Current children cumulated vsize (KiB) 913672
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 13328
/proc/meminfo: memFree=30143192/32770624 swapFree=5920/199720
[pid=13221] ppid=13218 vsize=913672 CPUtime=2261.03 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 399103 0 0 0 226060 43 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 2261.03
Current children cumulated vsize (KiB) 913672
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 13329
/proc/meminfo: memFree=30143472/32770624 swapFree=5920/199752
[pid=13221] ppid=13218 vsize=913672 CPUtime=2321 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 400188 0 0 0 232057 43 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 2321
Current children cumulated vsize (KiB) 913672
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13331
/proc/meminfo: memFree=30143116/32770624 swapFree=5920/199788
[pid=13221] ppid=13218 vsize=913672 CPUtime=2380.97 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 401197 0 0 0 238054 43 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 2380.97
Current children cumulated vsize (KiB) 913672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.41 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13331
/proc/meminfo: memFree=30143488/32770624 swapFree=5920/199800
[pid=13221] ppid=13218 vsize=913672 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/13221/stat : 13221 (cosoco) R 13218 13221 9824 0 -1 4202496 401735 0 0 0 239963 43 0 0 20 0 1 0 2261463 935600128 219486 33554432000 4194304 5970956 140735122123856 140735122111160 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39964672 140735122130113 140735122130243 140735122130243 140735122132942 0
/proc/13221/statm: 228418 219486 850 434 0 221782 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 913672
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 13221 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2401.41
CPU time (s): 2400.07
CPU user time (s): 2399.64
CPU system time (s): 0.434765
CPU usage (%): 99.9443
Max. virtual memory (cumulated for all children) (KiB): 913672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.64
system time used= 0.434765
maximum resident set size= 877984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401766
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= 61
involuntary context switches= 120694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.05477 second user time and 12.163 second system time
The end