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-4242786-1500662788/watcher-4242786-1500662788 -o /tmp/evaluation-result-4242786-1500662788/solver-4242786-1500662788 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500648174-9884 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242786-1500662788.xml
pid=12313
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.01 2.03 2.05 3/245 12316
/proc/meminfo: memFree=27372460/32770624 swapFree=5920/201500
[pid=12316] ppid=12313 vsize=27512 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 1191 0 0 0 1 0 0 0 20 0 1 0 1545748 28172288 968 33554432000 4194304 5970956 140727136348128 140727136344776 140203399980926 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 6878 968 752 434 0 242 0
[startup+0.100181 s]
/proc/loadavg: 2.01 2.03 2.05 3/245 12316
/proc/meminfo: memFree=27372460/32770624 swapFree=5920/201500
[pid=12316] ppid=12313 vsize=34840 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 2077 0 0 0 9 0 0 0 20 0 1 0 1545748 35676160 2425 33554432000 4194304 5970956 140727136348128 140727136335448 5136623 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8710 2425 857 434 0 2074 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34840
[startup+0.200381 s]
/proc/loadavg: 2.01 2.03 2.05 3/245 12316
/proc/meminfo: memFree=27372460/32770624 swapFree=5920/201500
[pid=12316] ppid=12313 vsize=34840 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 2077 0 0 0 19 0 0 0 20 0 1 0 1545748 35676160 2425 33554432000 4194304 5970956 140727136348128 140727136335448 5136625 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8710 2425 857 434 0 2074 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34840
[startup+0.300315 s]
/proc/loadavg: 2.01 2.03 2.05 3/245 12316
/proc/meminfo: memFree=27372460/32770624 swapFree=5920/201500
[pid=12316] ppid=12313 vsize=34840 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 2077 0 0 0 29 0 0 0 20 0 1 0 1545748 35676160 2425 33554432000 4194304 5970956 140727136348128 140727136335448 5031424 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8710 2425 857 434 0 2074 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34840
[startup+0.70022 s]
/proc/loadavg: 2.01 2.03 2.05 3/245 12316
/proc/meminfo: memFree=27372460/32770624 swapFree=5920/201500
[pid=12316] ppid=12313 vsize=34972 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 2108 0 0 0 69 0 0 0 20 0 1 0 1545748 35811328 2425 33554432000 4194304 5970956 140727136348128 140727136344952 5136577 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8743 2425 857 434 0 2107 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34972
[startup+1.50028 s]
/proc/loadavg: 2.00 2.03 2.05 3/246 12317
/proc/meminfo: memFree=27366160/32770624 swapFree=5920/201500
[pid=12316] ppid=12313 vsize=34972 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 2113 0 0 0 149 0 0 0 20 0 1 0 1545748 35811328 2425 33554432000 4194304 5970956 140727136348128 140727136344952 5136625 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8743 2425 857 434 0 2107 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34972
[startup+3.10028 s]
/proc/loadavg: 2.00 2.03 2.05 3/246 12317
/proc/meminfo: memFree=27365544/32770624 swapFree=5920/201416
[pid=12316] ppid=12313 vsize=35104 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 2640 0 0 0 309 0 0 0 20 0 1 0 1545748 35946496 2467 33554432000 4194304 5970956 140727136348128 140727136345400 5136570 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8776 2467 857 434 0 2140 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35104
[startup+6.30028 s]
/proc/loadavg: 2.00 2.03 2.05 3/246 12317
/proc/meminfo: memFree=27365660/32770624 swapFree=5920/201504
[pid=12316] ppid=12313 vsize=35104 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 3168 0 0 0 629 0 0 0 20 0 1 0 1545748 35946496 2474 33554432000 4194304 5970956 140727136348128 140727136345464 5136620 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8776 2474 862 434 0 2140 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35104
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/246 12317
/proc/meminfo: memFree=27365396/32770624 swapFree=5920/201508
[pid=12316] ppid=12313 vsize=35104 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 3720 0 0 0 1269 0 0 0 20 0 1 0 1545748 35946496 2478 33554432000 4194304 5970956 140727136348128 140727136345464 5031455 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8776 2478 862 434 0 2140 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35104
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/246 12317
/proc/meminfo: memFree=27364752/32770624 swapFree=5920/201520
[pid=12316] ppid=12313 vsize=35104 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 4853 0 0 0 2548 0 0 0 20 0 1 0 1545748 35946496 2496 33554432000 4194304 5970956 140727136348128 140727136345464 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8776 2496 862 434 0 2140 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35104
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 12317
/proc/meminfo: memFree=27364508/32770624 swapFree=5920/201540
[pid=12316] ppid=12313 vsize=35104 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 5438 0 0 0 5108 0 0 0 20 0 1 0 1545748 35946496 2501 33554432000 4194304 5970956 140727136348128 140727136345464 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8776 2501 862 434 0 2140 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35104
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 12318
/proc/meminfo: memFree=27364724/32770624 swapFree=5920/201568
[pid=12316] ppid=12313 vsize=35104 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 6003 0 0 0 10228 0 0 0 20 0 1 0 1545748 35946496 2504 33554432000 4194304 5970956 140727136348128 140727136345464 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8776 2504 862 434 0 2140 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 35104
[startup+162.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/246 12319
/proc/meminfo: memFree=27364648/32770624 swapFree=5920/201608
[pid=12316] ppid=12313 vsize=35104 CPUtime=162.27 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 6601 0 0 0 16227 0 0 0 20 0 1 0 1545748 35946496 2504 33554432000 4194304 5970956 140727136348128 140727136345464 5136797 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8776 2504 862 434 0 2140 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 35104
[startup+222.308 s]
/proc/loadavg: 2.04 2.04 2.05 3/246 12327
/proc/meminfo: memFree=27364920/32770624 swapFree=5920/201640
[pid=12316] ppid=12313 vsize=35244 CPUtime=222.27 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 7222 0 0 0 22227 0 0 0 20 0 1 0 1545748 36089856 2509 33554432000 4194304 5970956 140727136348128 140727136344888 5136625 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2509 862 434 0 2175 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 35244
[startup+282.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/247 12329
/proc/meminfo: memFree=27362972/32770624 swapFree=5920/201688
[pid=12316] ppid=12313 vsize=35244 CPUtime=282.25 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 7816 0 0 0 28225 0 0 0 20 0 1 0 1545748 36089856 2514 33554432000 4194304 5970956 140727136348128 140727136344888 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2514 862 434 0 2175 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 35244
[startup+342.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/247 12330
/proc/meminfo: memFree=27362412/32770624 swapFree=5920/201724
[pid=12316] ppid=12313 vsize=35244 CPUtime=342.25 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 8365 0 0 0 34225 0 0 0 20 0 1 0 1545748 36089856 2514 33554432000 4194304 5970956 140727136348128 140727136344888 5136615 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2514 862 434 0 2175 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 35244
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/247 12331
/proc/meminfo: memFree=27361884/32770624 swapFree=5920/201764
[pid=12316] ppid=12313 vsize=35244 CPUtime=402.24 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 8905 0 0 0 40224 0 0 0 20 0 1 0 1545748 36089856 2515 33554432000 4194304 5970956 140727136348128 140727136344888 5136620 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2515 862 434 0 2175 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 35244
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/247 12332
/proc/meminfo: memFree=27361804/32770624 swapFree=5920/201804
[pid=12316] ppid=12313 vsize=35244 CPUtime=462.23 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 9451 0 0 0 46223 0 0 0 20 0 1 0 1545748 36089856 2515 33554432000 4194304 5970956 140727136348128 140727136344888 5136634 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2515 862 434 0 2175 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 35244
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/247 12334
/proc/meminfo: memFree=27362012/32770624 swapFree=5920/201856
[pid=12316] ppid=12313 vsize=35244 CPUtime=522.22 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 9981 0 0 0 52222 0 0 0 20 0 1 0 1545748 36089856 2515 33554432000 4194304 5970956 140727136348128 140727136344888 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2515 862 434 0 2175 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 35244
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 12335
/proc/meminfo: memFree=27362016/32770624 swapFree=5920/201896
[pid=12316] ppid=12313 vsize=35244 CPUtime=582.22 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 10520 0 0 0 58222 0 0 0 20 0 1 0 1545748 36089856 2515 33554432000 4194304 5970956 140727136348128 140727136344888 5136625 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2515 862 434 0 2175 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 35244
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/247 12457
/proc/meminfo: memFree=31582412/32770624 swapFree=5920/202544
[pid=12316] ppid=12313 vsize=35244 CPUtime=1542.11 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 16399 0 0 0 154211 0 0 0 20 0 1 0 1545748 36089856 2531 33554432000 4194304 5970956 140727136348128 140727136344888 5136625 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2531 862 434 0 2175 0
Current children cumulated CPU time (s) 1542.11
Current children cumulated vsize (KiB) 35244
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/247 12458
/proc/meminfo: memFree=31582728/32770624 swapFree=5920/202572
[pid=12316] ppid=12313 vsize=35244 CPUtime=1602.09 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 16701 0 0 0 160209 0 0 0 20 0 1 0 1545748 36089856 2532 33554432000 4194304 5970956 140727136348128 140727136344888 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2532 862 434 0 2175 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 35244
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 12459
/proc/meminfo: memFree=31579008/32770624 swapFree=5920/202608
[pid=12316] ppid=12313 vsize=35244 CPUtime=1662.09 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 16991 0 0 0 166209 0 0 0 20 0 1 0 1545748 36089856 2536 33554432000 4194304 5970956 140727136348128 140727136344888 5136795 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2536 862 434 0 2175 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 35244
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12460
/proc/meminfo: memFree=31578820/32770624 swapFree=5920/202652
[pid=12316] ppid=12313 vsize=35244 CPUtime=1722.08 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 17144 0 0 0 172208 0 0 0 20 0 1 0 1545748 36089856 2536 33554432000 4194304 5970956 140727136348128 140727136344888 5136629 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2536 862 434 0 2175 0
Current children cumulated CPU time (s) 1722.08
Current children cumulated vsize (KiB) 35244
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/246 12461
/proc/meminfo: memFree=31576724/32770624 swapFree=5920/202688
[pid=12316] ppid=12313 vsize=35244 CPUtime=1782.07 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 17285 0 0 0 178207 0 0 0 20 0 1 0 1545748 36089856 2536 33554432000 4194304 5970956 140727136348128 140727136344888 5320168 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2536 862 434 0 2175 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 35244
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 12463
/proc/meminfo: memFree=31575420/32770624 swapFree=5920/202724
[pid=12316] ppid=12313 vsize=35244 CPUtime=1842.07 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 17722 0 0 0 184207 0 0 0 20 0 1 0 1545748 36089856 2536 33554432000 4194304 5970956 140727136348128 140727136344888 5136634 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2536 862 434 0 2175 0
Current children cumulated CPU time (s) 1842.07
Current children cumulated vsize (KiB) 35244
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 12464
/proc/meminfo: memFree=31574664/32770624 swapFree=5920/202760
[pid=12316] ppid=12313 vsize=35244 CPUtime=1902.06 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 17888 0 0 0 190206 0 0 0 20 0 1 0 1545748 36089856 2536 33554432000 4194304 5970956 140727136348128 140727136344888 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2536 862 434 0 2175 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 35244
[startup+1962.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/247 12465
/proc/meminfo: memFree=31575104/32770624 swapFree=5920/202784
[pid=12316] ppid=12313 vsize=35244 CPUtime=1962.06 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 18316 0 0 0 196205 1 0 0 20 0 1 0 1545748 36089856 2540 33554432000 4194304 5970956 140727136348128 140727136344888 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2540 862 434 0 2175 0
Current children cumulated CPU time (s) 1962.06
Current children cumulated vsize (KiB) 35244
[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/249 12475
/proc/meminfo: memFree=31574540/32770624 swapFree=5920/202828
[pid=12316] ppid=12313 vsize=35244 CPUtime=2022.05 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 18457 0 0 0 202204 1 0 0 20 0 1 0 1545748 36089856 2540 33554432000 4194304 5970956 140727136348128 140727136344888 5031428 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2540 862 434 0 2175 0
Current children cumulated CPU time (s) 2022.05
Current children cumulated vsize (KiB) 35244
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/249 12476
/proc/meminfo: memFree=31574312/32770624 swapFree=5920/202868
[pid=12316] ppid=12313 vsize=35244 CPUtime=2082.05 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 18832 0 0 0 208204 1 0 0 20 0 1 0 1545748 36089856 2540 33554432000 4194304 5970956 140727136348128 140727136344888 5031479 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2540 862 434 0 2175 0
Current children cumulated CPU time (s) 2082.05
Current children cumulated vsize (KiB) 35244
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/248 12477
/proc/meminfo: memFree=31574168/32770624 swapFree=5920/202904
[pid=12316] ppid=12313 vsize=35244 CPUtime=2142.04 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 19036 0 0 0 214203 1 0 0 20 0 1 0 1545748 36089856 2540 33554432000 4194304 5970956 140727136348128 140727136344888 5136615 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2540 862 434 0 2175 0
Current children cumulated CPU time (s) 2142.04
Current children cumulated vsize (KiB) 35244
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/248 12478
/proc/meminfo: memFree=31574224/32770624 swapFree=5920/202944
[pid=12316] ppid=12313 vsize=35244 CPUtime=2202.04 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 19330 0 0 0 220203 1 0 0 20 0 1 0 1545748 36089856 2540 33554432000 4194304 5970956 140727136348128 140727136344888 5136623 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2540 862 434 0 2175 0
Current children cumulated CPU time (s) 2202.04
Current children cumulated vsize (KiB) 35244
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/248 12479
/proc/meminfo: memFree=31573636/32770624 swapFree=5920/202992
[pid=12316] ppid=12313 vsize=35244 CPUtime=2262.03 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 19545 0 0 0 226202 1 0 0 20 0 1 0 1545748 36089856 2540 33554432000 4194304 5970956 140727136348128 140727136344888 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2540 862 434 0 2175 0
Current children cumulated CPU time (s) 2262.03
Current children cumulated vsize (KiB) 35244
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 12481
/proc/meminfo: memFree=31574316/32770624 swapFree=5920/203032
[pid=12316] ppid=12313 vsize=35244 CPUtime=2322.02 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 19832 0 0 0 232201 1 0 0 20 0 1 0 1545748 36089856 2540 33554432000 4194304 5970956 140727136348128 140727136344888 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2540 862 434 0 2175 0
Current children cumulated CPU time (s) 2322.02
Current children cumulated vsize (KiB) 35244
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/246 12482
/proc/meminfo: memFree=31574936/32770624 swapFree=5920/203068
[pid=12316] ppid=12313 vsize=35244 CPUtime=2382.01 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 19982 0 0 0 238200 1 0 0 20 0 1 0 1545748 36089856 2540 33554432000 4194304 5970956 140727136348128 140727136344888 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2540 862 434 0 2175 0
Current children cumulated CPU time (s) 2382.01
Current children cumulated vsize (KiB) 35244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12482
/proc/meminfo: memFree=31574936/32770624 swapFree=5920/203080
[pid=12316] ppid=12313 vsize=35244 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 20116 0 0 0 240001 1 0 0 20 0 1 0 1545748 36089856 2540 33554432000 4194304 5970956 140727136348128 140727136344888 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2540 862 434 0 2175 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 35244
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 12316 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12482
/proc/meminfo: memFree=31574936/32770624 swapFree=5920/203080
[pid=12316] ppid=12313 vsize=35244 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/12316/stat : 12316 (cosoco) R 12313 12316 9853 0 -1 4202496 20116 0 0 0 240001 1 0 0 20 0 1 0 1545748 36089856 2540 33554432000 4194304 5970956 140727136348128 140727136344888 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 31436800 140727136355516 140727136355651 140727136355651 140727136358350 0
/proc/12316/statm: 8811 2540 862 434 0 2175 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 35244
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.03
CPU user time (s): 2400.01
CPU system time (s): 0.011998
CPU usage (%): 99.9882
Max. virtual memory (cumulated for all children) (KiB): 35244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.011998
maximum resident set size= 10204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20144
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= 13
involuntary context switches= 120633
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50833 second user time and 11.1199 second system time
The end