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-4242969-1500670076/watcher-4242969-1500670076 -o /tmp/evaluation-result-4242969-1500670076/solver-4242969-1500670076 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500667675-5213 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242969-1500670076.xml
pid=5442
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.00 2.02 2.05 3/242 5445
/proc/meminfo: memFree=32024664/32770624 swapFree=5776/221508
[pid=5445] ppid=5442 vsize=27124 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 2275070 27774976 767 33554432000 4194304 5970956 140723784773104 140723784769752 5471658 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 6781 767 684 434 0 145 0
[startup+0.100123 s]
/proc/loadavg: 2.00 2.02 2.05 3/242 5445
/proc/meminfo: memFree=32024664/32770624 swapFree=5776/221508
[pid=5445] ppid=5442 vsize=27652 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 1109 0 0 0 9 0 0 0 20 0 1 0 2275070 28315648 899 33554432000 4194304 5970956 140723784773104 140723784769704 139706425097216 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 6913 899 710 434 0 277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27652
[startup+0.200312 s]
/proc/loadavg: 2.00 2.02 2.05 3/242 5445
/proc/meminfo: memFree=32024664/32770624 swapFree=5776/221508
[pid=5445] ppid=5442 vsize=28028 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 1281 0 0 0 19 0 0 0 20 0 1 0 2275070 28700672 1116 33554432000 4194304 5970956 140723784773104 140723784766936 139706434016353 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 7007 1116 783 434 0 371 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28028
[startup+0.300265 s]
/proc/loadavg: 2.00 2.02 2.05 3/242 5445
/proc/meminfo: memFree=32024664/32770624 swapFree=5776/221508
[pid=5445] ppid=5442 vsize=28392 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 1374 0 0 0 29 0 0 0 20 0 1 0 2275070 29073408 1206 33554432000 4194304 5970956 140723784773104 140723784766936 139706424658917 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 7098 1206 783 434 0 462 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28392
[startup+0.700242 s]
/proc/loadavg: 2.00 2.02 2.05 3/242 5445
/proc/meminfo: memFree=32024664/32770624 swapFree=5776/221508
[pid=5445] ppid=5442 vsize=29856 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 1745 0 0 0 69 0 0 0 20 0 1 0 2275070 30572544 1572 33554432000 4194304 5970956 140723784773104 140723784766936 139706434004260 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 7464 1572 783 434 0 828 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29856
[startup+1.50029 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5446
/proc/meminfo: memFree=32014336/32770624 swapFree=5776/221984
[pid=5445] ppid=5442 vsize=32872 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 2486 0 0 0 149 0 0 0 20 0 1 0 2275070 33660928 2327 33554432000 4194304 5970956 140723784773104 140723784766936 139706434017097 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 8218 2327 783 434 0 1582 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32872
[startup+3.10016 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5446
/proc/meminfo: memFree=32005192/32770624 swapFree=5776/221696
[pid=5445] ppid=5442 vsize=38804 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 4071 0 0 0 308 1 0 0 20 0 1 0 2275070 39735296 3810 33554432000 4194304 5970956 140723784773104 140723784766936 139706434004230 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 9701 3810 783 434 0 3065 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38804
[startup+6.30034 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 5446
/proc/meminfo: memFree=31969396/32770624 swapFree=5776/221696
[pid=5445] ppid=5442 vsize=54148 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 11831 0 0 0 628 1 0 0 20 0 1 0 2275070 55447552 7705 33554432000 4194304 5970956 140723784773104 140723784770440 5327999 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7705 822 434 0 6901 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54148
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/243 5446
/proc/meminfo: memFree=31896888/32770624 swapFree=5776/221696
[pid=5445] ppid=5442 vsize=54148 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 18651 0 0 0 1267 1 0 0 20 0 1 0 2275070 55447552 7712 33554432000 4194304 5970956 140723784773104 140723784770440 5052118 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7712 823 434 0 6901 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 54148
[startup+25.5005 s]
/proc/loadavg: 1.95 2.00 2.04 3/243 5446
/proc/meminfo: memFree=31896664/32770624 swapFree=5776/221680
[pid=5445] ppid=5442 vsize=54148 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 32291 0 0 0 2546 2 0 0 20 0 1 0 2275070 55447552 7712 33554432000 4194304 5970956 140723784773104 140723784770440 4964452 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7712 823 434 0 6901 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54148
[startup+51.1004 s]
/proc/loadavg: 1.96 2.00 2.04 3/243 5446
/proc/meminfo: memFree=31896632/32770624 swapFree=5776/221708
[pid=5445] ppid=5442 vsize=54148 CPUtime=51.06 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 39111 0 0 0 5104 2 0 0 20 0 1 0 2275070 55447552 7712 33554432000 4194304 5970956 140723784773104 140723784770440 5070930 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7712 823 434 0 6901 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 54148
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/243 5447
/proc/meminfo: memFree=31894120/32770624 swapFree=5776/221752
[pid=5445] ppid=5442 vsize=54148 CPUtime=102.22 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 45943 0 0 0 10220 2 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 54148
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/243 5455
/proc/meminfo: memFree=31894676/32770624 swapFree=5776/221864
[pid=5445] ppid=5442 vsize=54148 CPUtime=162.18 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 46639 0 0 0 16216 2 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 5052118 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 54148
[startup+222.308 s]
/proc/loadavg: 2.05 2.01 2.05 3/243 5456
/proc/meminfo: memFree=31894704/32770624 swapFree=5776/221864
[pid=5445] ppid=5442 vsize=54148 CPUtime=222.14 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 47335 0 0 0 22212 2 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 5052095 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 54148
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/243 5457
/proc/meminfo: memFree=31895136/32770624 swapFree=5776/221988
[pid=5445] ppid=5442 vsize=54148 CPUtime=282.1 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 48031 0 0 0 28208 2 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 5093183 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 54148
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/243 5458
/proc/meminfo: memFree=31895088/32770624 swapFree=5776/221988
[pid=5445] ppid=5442 vsize=54148 CPUtime=342.07 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 48727 0 0 0 34204 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 5070322 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 54148
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5459
/proc/meminfo: memFree=31895208/32770624 swapFree=5776/222096
[pid=5445] ppid=5442 vsize=54148 CPUtime=402.03 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 49423 0 0 0 40200 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4961428 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 54148
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5461
/proc/meminfo: memFree=31895384/32770624 swapFree=5776/222152
[pid=5445] ppid=5442 vsize=54148 CPUtime=461.99 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 50119 0 0 0 46196 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 54148
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5462
/proc/meminfo: memFree=31895632/32770624 swapFree=5776/222196
[pid=5445] ppid=5442 vsize=54148 CPUtime=521.95 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 50815 0 0 0 52192 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4908175 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 54148
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5463
/proc/meminfo: memFree=31895828/32770624 swapFree=5776/222236
[pid=5445] ppid=5442 vsize=54148 CPUtime=581.91 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 51511 0 0 0 58188 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4964452 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 54148
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 5519
/proc/meminfo: memFree=31893224/32770624 swapFree=5776/222776
[pid=5445] ppid=5442 vsize=54148 CPUtime=1481.31 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 61759 0 0 0 148128 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 1481.31
Current children cumulated vsize (KiB) 54148
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 5520
/proc/meminfo: memFree=31893396/32770624 swapFree=5776/222776
[pid=5445] ppid=5442 vsize=54148 CPUtime=1541.28 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 62455 0 0 0 154125 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 5069844 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 1541.28
Current children cumulated vsize (KiB) 54148
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5521
/proc/meminfo: memFree=31893916/32770624 swapFree=5776/222840
[pid=5445] ppid=5442 vsize=54148 CPUtime=1601.24 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 63102 0 0 0 160121 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4964784 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 1601.24
Current children cumulated vsize (KiB) 54148
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5522
/proc/meminfo: memFree=31894336/32770624 swapFree=5776/222868
[pid=5445] ppid=5442 vsize=54148 CPUtime=1661.2 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 63798 0 0 0 166117 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 1661.2
Current children cumulated vsize (KiB) 54148
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 5523
/proc/meminfo: memFree=31894512/32770624 swapFree=5776/222916
[pid=5445] ppid=5442 vsize=54148 CPUtime=1721.16 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 64447 0 0 0 172113 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 5070918 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 1721.16
Current children cumulated vsize (KiB) 54148
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5524
/proc/meminfo: memFree=31894416/32770624 swapFree=5776/222948
[pid=5445] ppid=5442 vsize=54148 CPUtime=1781.12 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 65100 0 0 0 178109 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 1781.12
Current children cumulated vsize (KiB) 54148
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5525
/proc/meminfo: memFree=31893560/32770624 swapFree=5776/222972
[pid=5445] ppid=5442 vsize=54148 CPUtime=1841.08 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 65796 0 0 0 184105 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 1841.08
Current children cumulated vsize (KiB) 54148
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5526
/proc/meminfo: memFree=31894288/32770624 swapFree=5776/223000
[pid=5445] ppid=5442 vsize=54148 CPUtime=1901.04 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 66472 0 0 0 190101 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4961388 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 1901.04
Current children cumulated vsize (KiB) 54148
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5534
/proc/meminfo: memFree=31894696/32770624 swapFree=5776/223048
[pid=5445] ppid=5442 vsize=54148 CPUtime=1961 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 67168 0 0 0 196097 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 1961
Current children cumulated vsize (KiB) 54148
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5535
/proc/meminfo: memFree=31892604/32770624 swapFree=5776/223048
[pid=5445] ppid=5442 vsize=54148 CPUtime=2020.96 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 67825 0 0 0 202093 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 5070320 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 2020.96
Current children cumulated vsize (KiB) 54148
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5536
/proc/meminfo: memFree=31893132/32770624 swapFree=5776/223108
[pid=5445] ppid=5442 vsize=54148 CPUtime=2080.93 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 68484 0 0 0 208090 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 2080.93
Current children cumulated vsize (KiB) 54148
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5537
/proc/meminfo: memFree=31892756/32770624 swapFree=5776/223108
[pid=5445] ppid=5442 vsize=54148 CPUtime=2140.88 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 69181 0 0 0 214085 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4964784 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 2140.88
Current children cumulated vsize (KiB) 54148
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5538
/proc/meminfo: memFree=31894012/32770624 swapFree=5776/223172
[pid=5445] ppid=5442 vsize=54148 CPUtime=2200.85 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 69836 0 0 0 220082 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 5052121 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 2200.85
Current children cumulated vsize (KiB) 54148
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5540
/proc/meminfo: memFree=31891828/32770624 swapFree=5776/223196
[pid=5445] ppid=5442 vsize=54148 CPUtime=2260.8 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 70493 0 0 0 226077 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 2260.8
Current children cumulated vsize (KiB) 54148
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5541
/proc/meminfo: memFree=31892924/32770624 swapFree=5776/223196
[pid=5445] ppid=5442 vsize=54148 CPUtime=2320.76 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 71139 0 0 0 232073 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 5069929 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 2320.76
Current children cumulated vsize (KiB) 54148
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 5542
/proc/meminfo: memFree=31893804/32770624 swapFree=5776/223268
[pid=5445] ppid=5442 vsize=54148 CPUtime=2380.72 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 71860 0 0 0 238069 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 2380.72
Current children cumulated vsize (KiB) 54148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.6 s]
/proc/loadavg: 2.02 2.02 2.05 3/251 5566
/proc/meminfo: memFree=31989836/32770624 swapFree=5776/223268
[pid=5445] ppid=5442 vsize=54148 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/5445/stat : 5445 (cosoco) R 5442 5445 2451 0 -1 4202496 72531 0 0 0 239998 3 0 0 20 0 1 0 2275070 55447552 7713 33554432000 4194304 5970956 140723784773104 140723784770440 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 36245504 140723784778945 140723784779075 140723784779075 140723784781774 0
/proc/5445/statm: 13537 7713 823 434 0 6901 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 54148
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 5445 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2401.6
CPU time (s): 2400.02
CPU user time (s): 2399.98
CPU system time (s): 0.040973
CPU usage (%): 99.9343
Max. virtual memory (cumulated for all children) (KiB): 54148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.040973
maximum resident set size= 30904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72560
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= 18
involuntary context switches= 121887
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.72244 second user time and 13.5791 second system time
The end