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-4242872-1500669923/watcher-4242872-1500669923 -o /tmp/evaluation-result-4242872-1500669923/solver-4242872-1500669923 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500667521-5318 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242872-1500669923.xml
pid=5548
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: 1.93 2.00 2.01 3/242 5551
/proc/meminfo: memFree=31899372/32770624 swapFree=5800/224768
[pid=5551] ppid=5548 vsize=27388 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 1047 0 0 0 0 0 0 0 20 0 1 0 2260069 28045312 832 33554432000 4194304 5970956 140728695197936 140728695194584 140470291270011 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 6847 832 703 434 0 211 0
[startup+0.100168 s]
/proc/loadavg: 1.93 2.00 2.01 3/242 5551
/proc/meminfo: memFree=31899372/32770624 swapFree=5800/224768
[pid=5551] ppid=5548 vsize=28120 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 1264 0 0 0 9 0 0 0 20 0 1 0 2260069 28794880 993 33554432000 4194304 5970956 140728695197936 140728695194536 140470290852864 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 7030 993 709 434 0 394 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28120
[startup+0.200319 s]
/proc/loadavg: 1.93 2.00 2.01 3/242 5551
/proc/meminfo: memFree=31899372/32770624 swapFree=5800/224768
[pid=5551] ppid=5548 vsize=28900 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 1547 0 0 0 19 0 0 0 20 0 1 0 2260069 29593600 1236 33554432000 4194304 5970956 140728695197936 140728695194536 5378266 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 7225 1236 709 434 0 589 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28900
[startup+0.300281 s]
/proc/loadavg: 1.93 2.00 2.01 3/242 5551
/proc/meminfo: memFree=31899372/32770624 swapFree=5800/224768
[pid=5551] ppid=5548 vsize=30064 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 1923 0 0 0 29 0 0 0 20 0 1 0 2260069 30785536 1394 33554432000 4194304 5970956 140728695197936 140728695194536 5674904 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 7516 1394 709 434 0 880 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30064
[startup+0.700262 s]
/proc/loadavg: 1.93 2.00 2.01 3/242 5551
/proc/meminfo: memFree=31899372/32770624 swapFree=5800/224768
[pid=5551] ppid=5548 vsize=33316 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 3052 0 0 0 69 0 0 0 20 0 1 0 2260069 34115584 2106 33554432000 4194304 5970956 140728695197936 140728695194536 5417055 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 8329 2106 709 434 0 1693 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33316
[startup+1.50026 s]
/proc/loadavg: 1.93 2.00 2.01 3/243 5552
/proc/meminfo: memFree=31888336/32770624 swapFree=5800/224436
[pid=5551] ppid=5548 vsize=39820 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 4424 0 0 0 149 0 0 0 20 0 1 0 2260069 40775680 3762 33554432000 4194304 5970956 140728695197936 140728695192488 140470290852864 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 9955 3762 709 434 0 3319 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39820
[startup+3.10026 s]
/proc/loadavg: 1.93 2.00 2.01 3/243 5552
/proc/meminfo: memFree=31881612/32770624 swapFree=5800/224436
[pid=5551] ppid=5548 vsize=52696 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 6665 0 0 0 308 1 0 0 20 0 1 0 2260069 53960704 7017 33554432000 4194304 5970956 140728695197936 140728695194536 140470290414565 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 13174 7017 709 434 0 6538 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52696
[startup+6.30029 s]
/proc/loadavg: 1.94 2.00 2.01 3/243 5552
/proc/meminfo: memFree=31856008/32770624 swapFree=5800/224436
[pid=5551] ppid=5548 vsize=78448 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 10906 0 0 0 627 2 0 0 20 0 1 0 2260069 80330752 12944 33554432000 4194304 5970956 140728695197936 140728695194536 5670483 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 19612 12944 709 434 0 12976 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78448
[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 2.01 3/243 5552
/proc/meminfo: memFree=31804328/32770624 swapFree=5800/224464
[pid=5551] ppid=5548 vsize=130216 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 18590 0 0 0 1264 4 0 0 20 0 1 0 2260069 133341184 24828 33554432000 4194304 5970956 140728695197936 140728695194536 5674627 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 32554 24828 709 434 0 25918 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 130216
[startup+25.5005 s]
/proc/loadavg: 1.96 2.00 2.01 3/243 5552
/proc/meminfo: memFree=31323948/32770624 swapFree=5800/224464
[pid=5551] ppid=5548 vsize=600768 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 134855 0 0 0 2529 19 0 0 20 0 1 0 2260069 615186432 143655 33554432000 4194304 5970956 140728695197936 140728695185256 4934449 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143655 849 434 0 143556 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 600768
[startup+51.1004 s]
/proc/loadavg: 1.97 2.00 2.01 3/243 5552
/proc/meminfo: memFree=31323564/32770624 swapFree=5800/224464
[pid=5551] ppid=5548 vsize=600768 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 157097 0 0 0 5087 20 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934556 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 600768
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.01 3/243 5553
/proc/meminfo: memFree=31322992/32770624 swapFree=5800/224436
[pid=5551] ppid=5548 vsize=600768 CPUtime=102.25 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 202010 0 0 0 10203 22 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 600768
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/243 5554
/proc/meminfo: memFree=31323372/32770624 swapFree=5800/224436
[pid=5551] ppid=5548 vsize=600768 CPUtime=162.2 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 236941 0 0 0 16196 24 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4933153 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 600768
[startup+222.309 s]
/proc/loadavg: 2.00 2.00 2.01 3/243 5555
/proc/meminfo: memFree=31323056/32770624 swapFree=5800/224664
[pid=5551] ppid=5548 vsize=600768 CPUtime=222.16 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 258957 0 0 0 22192 24 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 600768
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/243 5563
/proc/meminfo: memFree=31323008/32770624 swapFree=5800/224700
[pid=5551] ppid=5548 vsize=600768 CPUtime=282.12 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 271664 0 0 0 28187 25 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 600768
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/243 5564
/proc/meminfo: memFree=31323500/32770624 swapFree=5800/224700
[pid=5551] ppid=5548 vsize=600768 CPUtime=342.08 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 283724 0 0 0 34182 26 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 600768
[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.01 3/243 5565
/proc/meminfo: memFree=31323636/32770624 swapFree=5800/224700
[pid=5551] ppid=5548 vsize=600768 CPUtime=402.03 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 284591 0 0 0 40177 26 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 600768
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.01 3/243 5566
/proc/meminfo: memFree=31324180/32770624 swapFree=5800/224700
[pid=5551] ppid=5548 vsize=600768 CPUtime=462 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 285420 0 0 0 46174 26 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 600768
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.01 3/243 5567
/proc/meminfo: memFree=31323868/32770624 swapFree=5800/224820
[pid=5551] ppid=5548 vsize=600768 CPUtime=521.96 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 286910 0 0 0 52170 26 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 600768
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 5569
/proc/meminfo: memFree=31324468/32770624 swapFree=5800/224820
[pid=5551] ppid=5548 vsize=600768 CPUtime=581.93 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 287718 0 0 0 58167 26 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934342 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 600768
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.04 3/244 5624
/proc/meminfo: memFree=31323168/32770624 swapFree=5800/225268
[pid=5551] ppid=5548 vsize=600768 CPUtime=1481.41 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 302409 0 0 0 148114 27 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 1481.41
Current children cumulated vsize (KiB) 600768
[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.04 3/244 5625
/proc/meminfo: memFree=31323444/32770624 swapFree=5800/225268
[pid=5551] ppid=5548 vsize=600768 CPUtime=1541.39 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 303582 0 0 0 154112 27 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 1541.39
Current children cumulated vsize (KiB) 600768
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/244 5626
/proc/meminfo: memFree=31323292/32770624 swapFree=5800/225268
[pid=5551] ppid=5548 vsize=600768 CPUtime=1601.34 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 304422 0 0 0 160107 27 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934527 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 1601.34
Current children cumulated vsize (KiB) 600768
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/244 5627
/proc/meminfo: memFree=31323512/32770624 swapFree=5800/225268
[pid=5551] ppid=5548 vsize=600768 CPUtime=1661.31 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 305245 0 0 0 166104 27 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 1661.31
Current children cumulated vsize (KiB) 600768
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/244 5628
/proc/meminfo: memFree=31322516/32770624 swapFree=5800/225404
[pid=5551] ppid=5548 vsize=600768 CPUtime=1721.28 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 306448 0 0 0 172100 28 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934460 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 1721.28
Current children cumulated vsize (KiB) 600768
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/243 5629
/proc/meminfo: memFree=31322716/32770624 swapFree=5800/225404
[pid=5551] ppid=5548 vsize=600768 CPUtime=1781.24 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 307284 0 0 0 178096 28 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 1781.24
Current children cumulated vsize (KiB) 600768
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/243 5630
/proc/meminfo: memFree=31322280/32770624 swapFree=5800/225404
[pid=5551] ppid=5548 vsize=600768 CPUtime=1841.21 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 307833 0 0 0 184093 28 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 5319216 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 1841.21
Current children cumulated vsize (KiB) 600768
[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 5631
/proc/meminfo: memFree=31322524/32770624 swapFree=5800/225404
[pid=5551] ppid=5548 vsize=600768 CPUtime=1901.17 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 308382 0 0 0 190089 28 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 1901.17
Current children cumulated vsize (KiB) 600768
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 5632
/proc/meminfo: memFree=31322752/32770624 swapFree=5800/225404
[pid=5551] ppid=5548 vsize=600768 CPUtime=1961.14 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 309859 0 0 0 196085 29 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 1961.14
Current children cumulated vsize (KiB) 600768
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5633
/proc/meminfo: memFree=31323212/32770624 swapFree=5800/225532
[pid=5551] ppid=5548 vsize=600768 CPUtime=2021.11 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 310693 0 0 0 202082 29 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 2021.11
Current children cumulated vsize (KiB) 600768
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/245 5643
/proc/meminfo: memFree=31322488/32770624 swapFree=5800/225532
[pid=5551] ppid=5548 vsize=600768 CPUtime=2081.08 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 311305 0 0 0 208079 29 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934460 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 2081.08
Current children cumulated vsize (KiB) 600768
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5644
/proc/meminfo: memFree=31321304/32770624 swapFree=5800/225532
[pid=5551] ppid=5548 vsize=600768 CPUtime=2141.04 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 311850 0 0 0 214075 29 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 2141.04
Current children cumulated vsize (KiB) 600768
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5645
/proc/meminfo: memFree=31321888/32770624 swapFree=5800/225532
[pid=5551] ppid=5548 vsize=600768 CPUtime=2201.01 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 312499 0 0 0 220072 29 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 2201.01
Current children cumulated vsize (KiB) 600768
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5646
/proc/meminfo: memFree=31321380/32770624 swapFree=5800/225532
[pid=5551] ppid=5548 vsize=600768 CPUtime=2260.97 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 314175 0 0 0 226068 29 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934320 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 2260.97
Current children cumulated vsize (KiB) 600768
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5647
/proc/meminfo: memFree=31322680/32770624 swapFree=5800/225680
[pid=5551] ppid=5548 vsize=600768 CPUtime=2320.94 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 315325 0 0 0 232065 29 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 2320.94
Current children cumulated vsize (KiB) 600768
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5649
/proc/meminfo: memFree=31323032/32770624 swapFree=5800/225680
[pid=5551] ppid=5548 vsize=600768 CPUtime=2380.9 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 316102 0 0 0 238061 29 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934460 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 2380.9
Current children cumulated vsize (KiB) 600768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.41 s]
/proc/loadavg: 2.00 2.01 2.05 2/240 5683
/proc/meminfo: memFree=31373140/32770624 swapFree=5800/225680
[pid=5551] ppid=5548 vsize=600768 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/5551/stat : 5551 (cosoco) R 5548 5551 2447 0 -1 4202496 316372 0 0 0 239971 29 0 0 20 0 1 0 2260069 615186432 143657 33554432000 4194304 5970956 140728695197936 140728695185240 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32301056 140728695203009 140728695203139 140728695203139 140728695205838 0
/proc/5551/statm: 150192 143657 851 434 0 143556 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 600768
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 5551 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.01
CPU user time (s): 2399.71
CPU system time (s): 0.29483
CPU usage (%): 99.9416
Max. virtual memory (cumulated for all children) (KiB): 600768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.71
system time used= 0.29483
maximum resident set size= 574668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316404
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= 35
involuntary context switches= 120676
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.94737 second user time and 12.2647 second system time
The end