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-4240743-1500626246/watcher-4240743-1500626246 -o /tmp/evaluation-result-4240743-1500626246/solver-4240743-1500626246 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500623778-4227 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240743-1500626246.xml
pid=5700
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.09 2.03 1.89 3/190 5703
/proc/meminfo: memFree=31439576/32770624 swapFree=6232/495068
[pid=5703] ppid=5700 vsize=27120 CPUtime=0 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 982 0 0 0 0 0 0 0 20 0 1 0 16074643 27770880 800 33554432000 4194304 5970956 140723065207472 140723065204072 140478652750821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 6780 800 698 434 0 144 0
[startup+0.100114 s]
/proc/loadavg: 2.09 2.03 1.89 3/190 5703
/proc/meminfo: memFree=31439576/32770624 swapFree=6232/495068
[pid=5703] ppid=5700 vsize=29308 CPUtime=0.09 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 1609 0 0 0 9 0 0 0 20 0 1 0 16074643 30011392 1444 33554432000 4194304 5970956 140723065207472 140723065200712 140478662390654 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 7327 1444 792 434 0 691 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29308
[startup+0.200263 s]
/proc/loadavg: 2.09 2.03 1.89 3/190 5703
/proc/meminfo: memFree=31439576/32770624 swapFree=6232/495068
[pid=5703] ppid=5700 vsize=30988 CPUtime=0.19 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 2053 0 0 0 19 0 0 0 20 0 1 0 16074643 31731712 1864 33554432000 4194304 5970956 140723065207472 140723065200712 140478652750821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 7747 1864 792 434 0 1111 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30988
[startup+0.300201 s]
/proc/loadavg: 2.09 2.03 1.89 3/190 5703
/proc/meminfo: memFree=31439576/32770624 swapFree=6232/495068
[pid=5703] ppid=5700 vsize=37076 CPUtime=0.29 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 2525 0 0 0 29 0 0 0 20 0 1 0 16074643 37965824 2867 33554432000 4194304 5970956 140723065207472 140723065204728 5069735 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 9269 2867 830 434 0 2633 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37076
[startup+0.700175 s]
/proc/loadavg: 2.09 2.03 1.89 3/190 5703
/proc/meminfo: memFree=31439576/32770624 swapFree=6232/495068
[pid=5703] ppid=5700 vsize=37868 CPUtime=0.69 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 2702 0 0 0 69 0 0 0 20 0 1 0 16074643 38776832 2999 33554432000 4194304 5970956 140723065207472 140723065204536 4908971 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 9467 2999 830 434 0 2831 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37868
[startup+1.50017 s]
/proc/loadavg: 2.08 2.03 1.89 3/191 5704
/proc/meminfo: memFree=31430016/32770624 swapFree=6232/495068
[pid=5703] ppid=5700 vsize=39188 CPUtime=1.49 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 3027 0 0 0 149 0 0 0 20 0 1 0 16074643 40128512 3329 33554432000 4194304 5970956 140723065207472 140723065204536 5052095 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 9797 3329 830 434 0 3161 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39188
[startup+3.10017 s]
/proc/loadavg: 2.08 2.03 1.89 3/191 5704
/proc/meminfo: memFree=31427656/32770624 swapFree=6232/495136
[pid=5703] ppid=5700 vsize=41828 CPUtime=3.09 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 3978 0 0 0 309 0 0 0 20 0 1 0 16074643 42831872 4050 33554432000 4194304 5970956 140723065207472 140723065204536 4908985 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 10457 4050 831 434 0 3821 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41828
[startup+6.30017 s]
/proc/loadavg: 2.08 2.03 1.89 3/190 5704
/proc/meminfo: memFree=31421124/32770624 swapFree=6232/495136
[pid=5703] ppid=5700 vsize=47504 CPUtime=6.29 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 5528 0 0 0 629 0 0 0 20 0 1 0 16074643 48644096 5420 33554432000 4194304 5970956 140723065207472 140723065204536 4908985 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 11876 5420 831 434 0 5240 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47504
[startup+12.7002 s]
/proc/loadavg: 2.15 2.05 1.90 3/190 5704
/proc/meminfo: memFree=31413604/32770624 swapFree=6232/495140
[pid=5703] ppid=5700 vsize=53312 CPUtime=12.68 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 7652 0 0 0 1268 0 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 4908967 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 53312
[startup+25.5002 s]
/proc/loadavg: 2.13 2.04 1.90 3/190 5704
/proc/meminfo: memFree=31413840/32770624 swapFree=6232/495164
[pid=5703] ppid=5700 vsize=53312 CPUtime=25.48 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 7726 0 0 0 2548 0 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5070523 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53312
[startup+51.1002 s]
/proc/loadavg: 2.08 2.04 1.90 3/191 5705
/proc/meminfo: memFree=31414112/32770624 swapFree=6232/495192
[pid=5703] ppid=5700 vsize=53312 CPUtime=51.08 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 7788 0 0 0 5108 0 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 4961411 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 53312
[startup+102.3 s]
/proc/loadavg: 2.10 2.06 1.92 3/191 5706
/proc/meminfo: memFree=31414148/32770624 swapFree=6232/495252
[pid=5703] ppid=5700 vsize=53312 CPUtime=102.28 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 7903 0 0 0 10228 0 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 4908985 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 53312
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 1.92 3/192 5715
/proc/meminfo: memFree=31412860/32770624 swapFree=6232/495328
[pid=5703] ppid=5700 vsize=53312 CPUtime=162.26 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 7926 0 0 0 16226 0 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 53312
[startup+222.306 s]
/proc/loadavg: 2.01 2.04 1.93 3/192 5716
/proc/meminfo: memFree=31414064/32770624 swapFree=6232/495360
[pid=5703] ppid=5700 vsize=53312 CPUtime=222.26 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 7987 0 0 0 22226 0 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 53312
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 1.93 3/192 5717
/proc/meminfo: memFree=31414316/32770624 swapFree=6232/495420
[pid=5703] ppid=5700 vsize=53312 CPUtime=282.25 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8010 0 0 0 28225 0 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5070544 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 53312
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/191 5718
/proc/meminfo: memFree=31414396/32770624 swapFree=6232/495452
[pid=5703] ppid=5700 vsize=53312 CPUtime=342.24 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8015 0 0 0 34224 0 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 53312
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/191 5719
/proc/meminfo: memFree=31414528/32770624 swapFree=6232/495504
[pid=5703] ppid=5700 vsize=53312 CPUtime=402.24 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8078 0 0 0 40224 0 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 4961405 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 53312
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/190 5720
/proc/meminfo: memFree=31414424/32770624 swapFree=6232/495544
[pid=5703] ppid=5700 vsize=53312 CPUtime=462.23 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8114 0 0 0 46223 0 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5098944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 53312
[startup+522.3 s]
/proc/loadavg: 2.07 2.03 1.96 3/190 5721
/proc/meminfo: memFree=31414024/32770624 swapFree=6232/495580
[pid=5703] ppid=5700 vsize=53312 CPUtime=522.22 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8126 0 0 0 52222 0 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5070480 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 53312
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/190 5722
/proc/meminfo: memFree=31414044/32770624 swapFree=6232/495624
[pid=5703] ppid=5700 vsize=53312 CPUtime=582.22 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8131 0 0 0 58222 0 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5069735 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 53312
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.09 2.04 1.99 3/190 5959
/proc/meminfo: memFree=31417292/32770624 swapFree=6232/496388
[pid=5703] ppid=5700 vsize=53312 CPUtime=1542.13 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8443 0 0 0 154212 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5070523 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 53312
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 1.99 3/191 5961
/proc/meminfo: memFree=31417740/32770624 swapFree=6232/496452
[pid=5703] ppid=5700 vsize=53312 CPUtime=1602.12 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8461 0 0 0 160211 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5070523 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 53312
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/191 5962
/proc/meminfo: memFree=31417496/32770624 swapFree=6232/496504
[pid=5703] ppid=5700 vsize=53312 CPUtime=1662.11 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8479 0 0 0 166210 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 53312
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/191 5963
/proc/meminfo: memFree=31417476/32770624 swapFree=6232/496540
[pid=5703] ppid=5700 vsize=53312 CPUtime=1722.11 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8511 0 0 0 172210 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5070512 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 53312
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/191 5964
/proc/meminfo: memFree=31417076/32770624 swapFree=6232/496580
[pid=5703] ppid=5700 vsize=53312 CPUtime=1782.1 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8529 0 0 0 178209 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 53312
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/191 5965
/proc/meminfo: memFree=31417444/32770624 swapFree=6232/496612
[pid=5703] ppid=5700 vsize=53312 CPUtime=1842.1 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8545 0 0 0 184209 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5070520 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 53312
[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 1.99 3/190 5966
/proc/meminfo: memFree=31417716/32770624 swapFree=6232/496660
[pid=5703] ppid=5700 vsize=53312 CPUtime=1902.09 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8556 0 0 0 190208 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5069735 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 53312
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 1.99 3/190 5974
/proc/meminfo: memFree=31416232/32770624 swapFree=6232/496700
[pid=5703] ppid=5700 vsize=53312 CPUtime=1962.08 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8568 0 0 0 196207 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5070487 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 53312
[startup+2022.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/190 5975
/proc/meminfo: memFree=31416232/32770624 swapFree=6232/496748
[pid=5703] ppid=5700 vsize=53312 CPUtime=2022.08 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8574 0 0 0 202207 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5070502 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 53312
[startup+2082.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/191 5977
/proc/meminfo: memFree=31416336/32770624 swapFree=6232/496788
[pid=5703] ppid=5700 vsize=53312 CPUtime=2082.08 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8581 0 0 0 208207 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5070502 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 2082.08
Current children cumulated vsize (KiB) 53312
[startup+2142.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/191 5978
/proc/meminfo: memFree=31416196/32770624 swapFree=6232/496824
[pid=5703] ppid=5700 vsize=53312 CPUtime=2142.07 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8585 0 0 0 214206 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5098944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 2142.07
Current children cumulated vsize (KiB) 53312
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/191 5979
/proc/meminfo: memFree=31416824/32770624 swapFree=6232/496868
[pid=5703] ppid=5700 vsize=53312 CPUtime=2202.07 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8590 0 0 0 220206 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 2202.07
Current children cumulated vsize (KiB) 53312
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/191 5980
/proc/meminfo: memFree=31416792/32770624 swapFree=6232/496900
[pid=5703] ppid=5700 vsize=53312 CPUtime=2262.05 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8594 0 0 0 226204 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 4961400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 2262.05
Current children cumulated vsize (KiB) 53312
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/191 5981
/proc/meminfo: memFree=31416676/32770624 swapFree=6232/496932
[pid=5703] ppid=5700 vsize=53312 CPUtime=2322.05 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8599 0 0 0 232204 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 2322.05
Current children cumulated vsize (KiB) 53312
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/191 5982
/proc/meminfo: memFree=31416936/32770624 swapFree=6232/496960
[pid=5703] ppid=5700 vsize=53312 CPUtime=2382.04 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8603 0 0 0 238203 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5070480 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 2382.04
Current children cumulated vsize (KiB) 53312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/190 5983
/proc/meminfo: memFree=31416580/32770624 swapFree=6232/496988
[pid=5703] ppid=5700 vsize=53312 CPUtime=2400.05 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8607 0 0 0 240004 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5070437 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 53312
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 5703 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.00 3/190 5983
/proc/meminfo: memFree=31416580/32770624 swapFree=6232/496988
[pid=5703] ppid=5700 vsize=53312 CPUtime=2400.05 cores=1,3,5,7
/proc/5703/stat : 5703 (cosoco) R 5700 5703 4195 0 -1 4202496 8607 0 0 0 240004 1 0 0 20 0 1 0 16074643 54591488 6917 33554432000 4194304 5970956 140723065207472 140723065205080 5070437 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10006528 140723065210044 140723065210179 140723065210179 140723065212878 0
/proc/5703/statm: 13328 6917 833 434 0 6692 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 53312
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.05
CPU user time (s): 2400.04
CPU system time (s): 0.012998
CPU usage (%): 99.9895
Max. virtual memory (cumulated for all children) (KiB): 53312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.012998
maximum resident set size= 27716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8638
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= 8
involuntary context switches= 120619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.39923 second user time and 8.34587 second system time
The end