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-4240514-1500638390/watcher-4240514-1500638390 -o /tmp/evaluation-result-4240514-1500638390/solver-4240514-1500638390 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500635986-8454 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240514-1500638390.xml
pid=8741
running on 4 cores: 1,3,5,7
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.01 1.95 3/191 8744
/proc/meminfo: memFree=31127968/32770624 swapFree=6272/667676
[pid=8744] ppid=8741 vsize=27252 CPUtime=0 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 1000 0 0 0 0 0 0 0 20 0 1 0 17281895 27906048 806 33554432000 4194304 5970956 140723829943040 140723829939688 140689083206629 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 6813 806 703 434 0 177 0
[startup+0.10018 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 8744
/proc/meminfo: memFree=31127968/32770624 swapFree=6272/667676
[pid=8744] ppid=8741 vsize=34136 CPUtime=0.09 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 2800 0 0 0 9 0 0 0 20 0 1 0 17281895 34955264 2587 33554432000 4194304 5970956 140723829943040 140723829940072 4934410 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8534 2587 780 434 0 1898 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34136
[startup+0.200352 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 8744
/proc/meminfo: memFree=31127968/32770624 swapFree=6272/667676
[pid=8744] ppid=8741 vsize=34796 CPUtime=0.19 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 2989 0 0 0 19 0 0 0 20 0 1 0 17281895 35631104 2785 33554432000 4194304 5970956 140723829943040 140723829939864 4934327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8699 2785 780 434 0 2063 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34796
[startup+0.300268 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 8744
/proc/meminfo: memFree=31127968/32770624 swapFree=6272/667676
[pid=8744] ppid=8741 vsize=34928 CPUtime=0.29 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 3009 0 0 0 29 0 0 0 20 0 1 0 17281895 35766272 2785 33554432000 4194304 5970956 140723829943040 140723829930344 4930640 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8732 2785 780 434 0 2096 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34928
[startup+0.700237 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 8744
/proc/meminfo: memFree=31127968/32770624 swapFree=6272/667676
[pid=8744] ppid=8741 vsize=35060 CPUtime=0.69 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 3056 0 0 0 69 0 0 0 20 0 1 0 17281895 35901440 2851 33554432000 4194304 5970956 140723829943040 140723829940600 4934432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8765 2851 782 434 0 2129 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35060
[startup+1.50021 s]
/proc/loadavg: 1.92 2.00 1.95 3/192 8745
/proc/meminfo: memFree=31119356/32770624 swapFree=6272/667684
[pid=8744] ppid=8741 vsize=35192 CPUtime=1.49 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 3091 0 0 0 149 0 0 0 20 0 1 0 17281895 36036608 2917 33554432000 4194304 5970956 140723829943040 140723829930344 4934127 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8798 2917 782 434 0 2162 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35192
[startup+3.10022 s]
/proc/loadavg: 1.92 2.00 1.95 3/192 8745
/proc/meminfo: memFree=31118628/32770624 swapFree=6272/667692
[pid=8744] ppid=8741 vsize=35324 CPUtime=3.08 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 5179 0 0 0 308 0 0 0 20 0 1 0 17281895 36171776 2955 33554432000 4194304 5970956 140723829943040 140723829940600 4974316 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8831 2955 782 434 0 2195 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 35324
[startup+6.30019 s]
/proc/loadavg: 1.92 2.00 1.95 3/192 8745
/proc/meminfo: memFree=31118816/32770624 swapFree=6272/667696
[pid=8744] ppid=8741 vsize=35456 CPUtime=6.29 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 5774 0 0 0 628 1 0 0 20 0 1 0 17281895 36306944 2986 33554432000 4194304 5970956 140723829943040 140723829930344 5045304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8864 2986 782 434 0 2228 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35456
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 1.95 3/192 8752
/proc/meminfo: memFree=31110076/32770624 swapFree=6272/667704
[pid=8744] ppid=8741 vsize=35456 CPUtime=12.69 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 6379 0 0 0 1268 1 0 0 20 0 1 0 17281895 36306944 2994 33554432000 4194304 5970956 140723829943040 140723829940600 4934299 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8864 2994 782 434 0 2228 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35456
[startup+25.5017 s]
/proc/loadavg: 1.95 2.00 1.95 3/192 8752
/proc/meminfo: memFree=31111208/32770624 swapFree=6272/667716
[pid=8744] ppid=8741 vsize=35588 CPUtime=25.48 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 7505 0 0 0 2547 1 0 0 20 0 1 0 17281895 36442112 3000 33554432000 4194304 5970956 140723829943040 140723829939864 4934521 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3000 782 434 0 2261 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35588
[startup+51.1002 s]
/proc/loadavg: 1.96 2.00 1.95 3/192 8752
/proc/meminfo: memFree=31111396/32770624 swapFree=6272/667736
[pid=8744] ppid=8741 vsize=35588 CPUtime=51.07 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 8031 0 0 0 5106 1 0 0 20 0 1 0 17281895 36442112 3002 33554432000 4194304 5970956 140723829943040 140723829939864 5136625 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3002 782 434 0 2261 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35588
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/192 8775
/proc/meminfo: memFree=31110372/32770624 swapFree=6272/667784
[pid=8744] ppid=8741 vsize=35588 CPUtime=102.26 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 8730 0 0 0 10225 1 0 0 20 0 1 0 17281895 36442112 3008 33554432000 4194304 5970956 140723829943040 140723829930344 4934320 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3008 782 434 0 2261 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 35588
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/191 8776
/proc/meminfo: memFree=31110732/32770624 swapFree=6272/667816
[pid=8744] ppid=8741 vsize=35588 CPUtime=162.23 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 9254 0 0 0 16222 1 0 0 20 0 1 0 17281895 36442112 3008 33554432000 4194304 5970956 140723829943040 140723829930344 4930654 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3008 782 434 0 2261 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 35588
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/191 8777
/proc/meminfo: memFree=31110988/32770624 swapFree=6272/667852
[pid=8744] ppid=8741 vsize=35588 CPUtime=222.22 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 9777 0 0 0 22221 1 0 0 20 0 1 0 17281895 36442112 3008 33554432000 4194304 5970956 140723829943040 140723829930344 5045308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3008 782 434 0 2261 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 35588
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/191 8778
/proc/meminfo: memFree=31111212/32770624 swapFree=6272/667872
[pid=8744] ppid=8741 vsize=35588 CPUtime=282.2 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 10301 0 0 0 28219 1 0 0 20 0 1 0 17281895 36442112 3008 33554432000 4194304 5970956 140723829943040 140723829930344 5136625 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3008 782 434 0 2261 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 35588
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/191 8780
/proc/meminfo: memFree=31110656/32770624 swapFree=6272/667912
[pid=8744] ppid=8741 vsize=35588 CPUtime=342.19 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 10913 0 0 0 34217 2 0 0 20 0 1 0 17281895 36442112 3008 33554432000 4194304 5970956 140723829943040 140723829940600 4933072 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3008 782 434 0 2261 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 35588
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/191 8781
/proc/meminfo: memFree=31110904/32770624 swapFree=6272/667944
[pid=8744] ppid=8741 vsize=35588 CPUtime=402.17 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 11527 0 0 0 40215 2 0 0 20 0 1 0 17281895 36442112 3010 33554432000 4194304 5970956 140723829943040 140723829930344 4934354 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3010 782 434 0 2261 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 35588
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/191 8782
/proc/meminfo: memFree=31110904/32770624 swapFree=6272/667968
[pid=8744] ppid=8741 vsize=35588 CPUtime=462.15 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 12142 0 0 0 46213 2 0 0 20 0 1 0 17281895 36442112 3011 33554432000 4194304 5970956 140723829943040 140723829940600 4934410 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3011 782 434 0 2261 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 35588
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/191 8783
/proc/meminfo: memFree=31110800/32770624 swapFree=6272/667996
[pid=8744] ppid=8741 vsize=35588 CPUtime=522.13 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 12669 0 0 0 52211 2 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829940600 5136625 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 35588
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/191 8784
/proc/meminfo: memFree=31110552/32770624 swapFree=6272/668016
[pid=8744] ppid=8741 vsize=35588 CPUtime=582.11 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 13200 0 0 0 58209 2 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829940600 4934469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 35588
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/191 8820
/proc/meminfo: memFree=31109808/32770624 swapFree=6272/668396
[pid=8744] ppid=8741 vsize=35588 CPUtime=1481.84 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 20895 0 0 0 148181 3 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 5047066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 35588
[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.01 3/191 8822
/proc/meminfo: memFree=31109956/32770624 swapFree=6272/668432
[pid=8744] ppid=8741 vsize=35588 CPUtime=1541.83 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 21411 0 0 0 154180 3 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 4934527 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 35588
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.01 4/191 8823
/proc/meminfo: memFree=31109956/32770624 swapFree=6272/668456
[pid=8744] ppid=8741 vsize=35588 CPUtime=1601.81 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 21938 0 0 0 160178 3 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 4934292 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 35588
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/191 8825
/proc/meminfo: memFree=31110080/32770624 swapFree=6272/668480
[pid=8744] ppid=8741 vsize=35588 CPUtime=1661.79 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 22346 0 0 0 166176 3 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 4933072 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 35588
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/191 8827
/proc/meminfo: memFree=31109832/32770624 swapFree=6272/668504
[pid=8744] ppid=8741 vsize=35588 CPUtime=1721.78 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 22754 0 0 0 172174 4 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 4933210 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 35588
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/191 8828
/proc/meminfo: memFree=31109788/32770624 swapFree=6272/668528
[pid=8744] ppid=8741 vsize=35588 CPUtime=1781.76 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 23369 0 0 0 178172 4 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 5045648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 35588
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/191 8836
/proc/meminfo: memFree=31109440/32770624 swapFree=6272/668560
[pid=8744] ppid=8741 vsize=35588 CPUtime=1841.74 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 23897 0 0 0 184170 4 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 1841.74
Current children cumulated vsize (KiB) 35588
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/191 8837
/proc/meminfo: memFree=31110060/32770624 swapFree=6272/668588
[pid=8744] ppid=8741 vsize=35588 CPUtime=1901.72 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 24408 0 0 0 190168 4 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 5136587 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 1901.72
Current children cumulated vsize (KiB) 35588
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/191 8839
/proc/meminfo: memFree=31109812/32770624 swapFree=6272/668616
[pid=8744] ppid=8741 vsize=35588 CPUtime=1961.7 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 24927 0 0 0 196166 4 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 5045637 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 1961.7
Current children cumulated vsize (KiB) 35588
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.02 4/192 8841
/proc/meminfo: memFree=31109564/32770624 swapFree=6272/668640
[pid=8744] ppid=8741 vsize=35588 CPUtime=2021.69 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 25440 0 0 0 202165 4 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 5136625 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 2021.69
Current children cumulated vsize (KiB) 35588
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/192 8842
/proc/meminfo: memFree=31109416/32770624 swapFree=6272/668664
[pid=8744] ppid=8741 vsize=35588 CPUtime=2081.67 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 25948 0 0 0 208163 4 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 5047044 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 2081.67
Current children cumulated vsize (KiB) 35588
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.02 4/192 8843
/proc/meminfo: memFree=31109516/32770624 swapFree=6272/668676
[pid=8744] ppid=8741 vsize=35588 CPUtime=2141.65 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 26475 0 0 0 214161 4 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 4934366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 2141.65
Current children cumulated vsize (KiB) 35588
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.02 3/192 8844
/proc/meminfo: memFree=31109888/32770624 swapFree=6272/668704
[pid=8744] ppid=8741 vsize=35588 CPUtime=2201.64 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 26885 0 0 0 220160 4 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 4934350 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 2201.64
Current children cumulated vsize (KiB) 35588
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/192 8845
/proc/meminfo: memFree=31110012/32770624 swapFree=6272/668732
[pid=8744] ppid=8741 vsize=35588 CPUtime=2261.61 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 27295 0 0 0 226157 4 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 4934342 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 2261.61
Current children cumulated vsize (KiB) 35588
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 8847
/proc/meminfo: memFree=31110188/32770624 swapFree=6272/668756
[pid=8744] ppid=8741 vsize=35588 CPUtime=2321.6 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 27706 0 0 0 232156 4 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 4934864 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 2321.6
Current children cumulated vsize (KiB) 35588
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 8848
/proc/meminfo: memFree=31109816/32770624 swapFree=6272/668764
[pid=8744] ppid=8741 vsize=35588 CPUtime=2381.58 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 28234 0 0 0 238154 4 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 5136623 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 2381.58
Current children cumulated vsize (KiB) 35588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.8 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 8909
/proc/meminfo: memFree=31068892/32770624 swapFree=6272/668792
[pid=8744] ppid=8741 vsize=35588 CPUtime=2400.07 cores=1,3,5,7
/proc/8744/stat : 8744 (cosoco) R 8741 8744 5850 0 -1 4202496 28725 0 0 0 240003 4 0 0 20 0 1 0 17281895 36442112 3012 33554432000 4194304 5970956 140723829943040 140723829930344 5136623 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36618240 140723829945537 140723829945667 140723829945667 140723829948366 0
/proc/8744/statm: 8897 3012 782 434 0 2261 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 35588
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 8744 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.8
CPU time (s): 2400.08
CPU user time (s): 2400.04
CPU system time (s): 0.046986
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 35588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.046986
maximum resident set size= 12096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28832
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= 9
involuntary context switches= 121038
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00077 second user time and 8.1027 second system time
The end