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-4241861-1500652982/watcher-4241861-1500652982 -o /tmp/evaluation-result-4241861-1500652982/solver-4241861-1500652982 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500648174-9885 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241861-1500652982.xml
pid=10374
running on 8 cores: 1,3,5,7,9,11,13,15
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 1.99 3/246 10377
/proc/meminfo: memFree=32012144/32770624 swapFree=5956/187812
[pid=10377] ppid=10374 vsize=28576 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 1 0 565195 29261824 1163 33554432000 4194304 5970956 140735492222496 140735492217784 5522069 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 7144 1163 703 434 0 508 0
[startup+0.100119 s]
/proc/loadavg: 1.93 2.00 1.99 3/246 10377
/proc/meminfo: memFree=32012144/32770624 swapFree=5956/187812
[pid=10377] ppid=10374 vsize=29460 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 1655 0 0 0 9 0 0 0 20 0 1 0 565195 30167040 1479 33554432000 4194304 5970956 140735492222496 140735492216088 140188832033765 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 7365 1479 788 434 0 729 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29460
[startup+0.20031 s]
/proc/loadavg: 1.93 2.00 1.99 3/246 10377
/proc/meminfo: memFree=32012144/32770624 swapFree=5956/187812
[pid=10377] ppid=10374 vsize=30988 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 2023 0 0 0 19 0 0 0 20 0 1 0 565195 31731712 1828 33554432000 4194304 5970956 140735492222496 140735492216328 140188832033765 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 7747 1828 788 434 0 1111 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30988
[startup+0.300236 s]
/proc/loadavg: 1.93 2.00 1.99 3/246 10377
/proc/meminfo: memFree=32012144/32770624 swapFree=5956/187812
[pid=10377] ppid=10374 vsize=32728 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 2470 0 0 0 29 0 0 0 20 0 1 0 565195 33513472 2298 33554432000 4194304 5970956 140735492222496 140735492216328 140188832033765 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 8182 2298 788 434 0 1546 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32728
[startup+0.700217 s]
/proc/loadavg: 1.93 2.00 1.99 3/246 10377
/proc/meminfo: memFree=32012144/32770624 swapFree=5956/187812
[pid=10377] ppid=10374 vsize=103200 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 14781 0 0 0 67 2 0 0 20 0 1 0 565195 105676800 18182 33554432000 4194304 5970956 140735492222496 140735492219320 140188832033765 0 0 4096 8404994 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 25800 18182 829 434 0 19164 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103200
[startup+1.50027 s]
/proc/loadavg: 1.93 2.00 1.99 3/247 10378
/proc/meminfo: memFree=31716356/32770624 swapFree=5956/187812
[pid=10377] ppid=10374 vsize=682652 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 72176 0 0 0 137 12 0 0 20 0 1 0 565195 699035648 129722 33554432000 4194304 5970956 140735492222496 140735492219320 140188832033765 0 0 4096 8404994 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 170663 129722 829 434 0 164027 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 682652
[startup+3.10025 s]
/proc/loadavg: 1.93 2.00 1.99 3/247 10378
/proc/meminfo: memFree=31100228/32770624 swapFree=5956/187812
[pid=10377] ppid=10374 vsize=1296880 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 157398 0 0 0 281 28 0 0 20 0 1 0 565195 1328005120 299439 33554432000 4194304 5970956 140735492222496 140735492219416 140188832033765 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 324220 299439 845 434 0 317584 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1296880
[startup+6.30025 s]
/proc/loadavg: 1.94 2.00 1.99 3/247 10378
/proc/meminfo: memFree=30806324/32770624 swapFree=5956/187812
[pid=10377] ppid=10374 vsize=1303168 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 169053 0 0 0 600 29 0 0 20 0 1 0 565195 1334444032 300997 33554432000 4194304 5970956 140735492222496 140735492219464 4964576 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 325792 300997 845 434 0 319156 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1303168
[startup+12.7002 s]
/proc/loadavg: 1.94 2.00 1.99 3/247 10378
/proc/meminfo: memFree=30800884/32770624 swapFree=5956/187812
[pid=10377] ppid=10374 vsize=1305408 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 189315 0 0 0 1238 30 0 0 20 0 1 0 565195 1336737792 301565 33554432000 4194304 5970956 140735492222496 140735492219464 4967807 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 326352 301565 845 434 0 319716 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1305408
[startup+25.5004 s]
/proc/loadavg: 1.96 2.00 1.99 3/247 10378
/proc/meminfo: memFree=30799284/32770624 swapFree=5956/187812
[pid=10377] ppid=10374 vsize=1306592 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 229853 0 0 0 2515 33 0 0 20 0 1 0 565195 1337950208 301861 33554432000 4194304 5970956 140735492222496 140735492219832 5243443 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 326648 301861 845 434 0 320012 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306592
[startup+51.1004 s]
/proc/loadavg: 1.97 2.00 1.99 3/247 10378
/proc/meminfo: memFree=30797860/32770624 swapFree=5956/188128
[pid=10377] ppid=10374 vsize=1307552 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 277007 0 0 0 5072 35 0 0 20 0 1 0 565195 1338933248 302115 33554432000 4194304 5970956 140735492222496 140735492219832 5243443 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 326888 302115 845 434 0 320252 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1307552
[startup+102.3 s]
/proc/loadavg: 2.06 2.02 1.99 3/247 10379
/proc/meminfo: memFree=30794204/32770624 swapFree=5956/188128
[pid=10377] ppid=10374 vsize=1308184 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 331748 0 0 0 10188 39 0 0 20 0 1 0 565195 1339580416 302767 33554432000 4194304 5970956 140735492222496 140735492219832 5070064 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327046 302767 845 434 0 320410 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1308184
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/247 10380
/proc/meminfo: memFree=30793968/32770624 swapFree=5956/188128
[pid=10377] ppid=10374 vsize=1308436 CPUtime=162.25 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 370009 0 0 0 16184 41 0 0 20 0 1 0 565195 1339838464 302841 33554432000 4194304 5970956 140735492222496 140735492219832 5070791 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327109 302841 845 434 0 320473 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1308436
[startup+222.308 s]
/proc/loadavg: 2.01 2.01 1.99 3/246 10381
/proc/meminfo: memFree=30793404/32770624 swapFree=5956/188128
[pid=10377] ppid=10374 vsize=1308560 CPUtime=222.25 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 404250 0 0 0 22182 43 0 0 20 0 1 0 565195 1339965440 302865 33554432000 4194304 5970956 140735492222496 140735492219832 5070064 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327140 302865 845 434 0 320504 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1308560
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/246 10382
/proc/meminfo: memFree=30791724/32770624 swapFree=5956/188128
[pid=10377] ppid=10374 vsize=1308692 CPUtime=282.23 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 424033 0 0 0 28179 44 0 0 20 0 1 0 565195 1340100608 303399 33554432000 4194304 5970956 140735492222496 140735492219464 5070082 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327173 303399 845 434 0 320537 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1308692
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/245 10383
/proc/meminfo: memFree=30792072/32770624 swapFree=5956/188128
[pid=10377] ppid=10374 vsize=1308692 CPUtime=342.23 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 442461 0 0 0 34178 45 0 0 20 0 1 0 565195 1340100608 303417 33554432000 4194304 5970956 140735492222496 140735492219464 5243443 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327173 303417 845 434 0 320537 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1308692
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/246 10385
/proc/meminfo: memFree=30791504/32770624 swapFree=5956/188280
[pid=10377] ppid=10374 vsize=1308956 CPUtime=402.21 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 450318 0 0 0 40176 45 0 0 20 0 1 0 565195 1340370944 303494 33554432000 4194304 5970956 140735492222496 140735492219256 4974668 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327239 303494 845 434 0 320603 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1308956
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/248 10395
/proc/meminfo: memFree=30790940/32770624 swapFree=5956/188312
[pid=10377] ppid=10374 vsize=1309088 CPUtime=462.2 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 455440 0 0 0 46175 45 0 0 20 0 1 0 565195 1340506112 303519 33554432000 4194304 5970956 140735492222496 140735492219464 4977104 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327272 303519 845 434 0 320636 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1309088
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/248 10396
/proc/meminfo: memFree=30790340/32770624 swapFree=5956/188312
[pid=10377] ppid=10374 vsize=1309220 CPUtime=522.2 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 463414 0 0 0 52174 46 0 0 20 0 1 0 565195 1340641280 303537 33554432000 4194304 5970956 140735492222496 140735492219256 5070994 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327305 303537 845 434 0 320669 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1309220
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/248 10397
/proc/meminfo: memFree=30790244/32770624 swapFree=5956/188312
[pid=10377] ppid=10374 vsize=1309220 CPUtime=582.19 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 464652 0 0 0 58173 46 0 0 20 0 1 0 565195 1340641280 303539 33554432000 4194304 5970956 140735492222496 140735492219256 5069997 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327305 303539 845 434 0 320669 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1309220
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.02 3/246 10423
/proc/meminfo: memFree=30789848/32770624 swapFree=5920/188736
[pid=10377] ppid=10374 vsize=1309220 CPUtime=1542.09 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 504859 0 0 0 154161 48 0 0 20 0 1 0 565195 1340641280 303894 33554432000 4194304 5970956 140735492222496 140735492219256 4971752 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327305 303894 845 434 0 320669 0
Current children cumulated CPU time (s) 1542.09
Current children cumulated vsize (KiB) 1309220
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/246 10424
/proc/meminfo: memFree=30790336/32770624 swapFree=5920/188852
[pid=10377] ppid=10374 vsize=1309220 CPUtime=1602.08 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 507908 0 0 0 160160 48 0 0 20 0 1 0 565195 1340641280 303894 33554432000 4194304 5970956 140735492222496 140735492219256 4978182 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327305 303894 845 434 0 320669 0
Current children cumulated CPU time (s) 1602.08
Current children cumulated vsize (KiB) 1309220
[startup+1662.3 s]
/proc/loadavg: 2.10 2.05 2.03 3/247 10433
/proc/meminfo: memFree=30784592/32770624 swapFree=5920/188852
[pid=10377] ppid=10374 vsize=1309352 CPUtime=1662.07 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 510922 0 0 0 166159 48 0 0 20 0 1 0 565195 1340776448 304417 33554432000 4194304 5970956 140735492222496 140735492219256 4977844 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304417 845 434 0 320702 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 1309352
[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.03 3/247 10434
/proc/meminfo: memFree=30784820/32770624 swapFree=5920/188852
[pid=10377] ppid=10374 vsize=1309352 CPUtime=1722.07 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 511416 0 0 0 172159 48 0 0 20 0 1 0 565195 1340776448 304418 33554432000 4194304 5970956 140735492222496 140735492219256 5070064 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304418 845 434 0 320702 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 1309352
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/247 10435
/proc/meminfo: memFree=30785048/32770624 swapFree=5920/188852
[pid=10377] ppid=10374 vsize=1309352 CPUtime=1782.07 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 512018 0 0 0 178158 49 0 0 20 0 1 0 565195 1340776448 304418 33554432000 4194304 5970956 140735492222496 140735492219256 4978389 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304418 845 434 0 320702 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 1309352
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/247 10436
/proc/meminfo: memFree=30785228/32770624 swapFree=5920/188852
[pid=10377] ppid=10374 vsize=1309352 CPUtime=1842.06 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 512677 0 0 0 184157 49 0 0 20 0 1 0 565195 1340776448 304418 33554432000 4194304 5970956 140735492222496 140735492219256 4974299 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304418 845 434 0 320702 0
Current children cumulated CPU time (s) 1842.06
Current children cumulated vsize (KiB) 1309352
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/247 10437
/proc/meminfo: memFree=30785980/32770624 swapFree=5920/189000
[pid=10377] ppid=10374 vsize=1309352 CPUtime=1902.05 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 515576 0 0 0 190156 49 0 0 20 0 1 0 565195 1340776448 304420 33554432000 4194304 5970956 140735492222496 140735492219256 4964389 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304420 845 434 0 320702 0
Current children cumulated CPU time (s) 1902.05
Current children cumulated vsize (KiB) 1309352
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/246 10438
/proc/meminfo: memFree=30786200/32770624 swapFree=5920/189000
[pid=10377] ppid=10374 vsize=1309352 CPUtime=1962.04 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 516873 0 0 0 196155 49 0 0 20 0 1 0 565195 1340776448 304420 33554432000 4194304 5970956 140735492222496 140735492219256 5070008 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304420 845 434 0 320702 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 1309352
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/246 10439
/proc/meminfo: memFree=30785328/32770624 swapFree=5920/189000
[pid=10377] ppid=10374 vsize=1309352 CPUtime=2022.04 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 518005 0 0 0 202155 49 0 0 20 0 1 0 565195 1340776448 304420 33554432000 4194304 5970956 140735492222496 140735492219256 5070008 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304420 845 434 0 320702 0
Current children cumulated CPU time (s) 2022.04
Current children cumulated vsize (KiB) 1309352
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/246 10440
/proc/meminfo: memFree=30786196/32770624 swapFree=5920/189000
[pid=10377] ppid=10374 vsize=1309352 CPUtime=2082.03 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 520454 0 0 0 208154 49 0 0 20 0 1 0 565195 1340776448 304421 33554432000 4194304 5970956 140735492222496 140735492219256 4971813 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304421 845 434 0 320702 0
Current children cumulated CPU time (s) 2082.03
Current children cumulated vsize (KiB) 1309352
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.03 3/246 10441
/proc/meminfo: memFree=30785812/32770624 swapFree=5920/189000
[pid=10377] ppid=10374 vsize=1309352 CPUtime=2142.02 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 520975 0 0 0 214153 49 0 0 20 0 1 0 565195 1340776448 304421 33554432000 4194304 5970956 140735492222496 140735492219256 5052062 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304421 845 434 0 320702 0
Current children cumulated CPU time (s) 2142.02
Current children cumulated vsize (KiB) 1309352
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.03 3/246 10442
/proc/meminfo: memFree=30786404/32770624 swapFree=5920/189140
[pid=10377] ppid=10374 vsize=1309352 CPUtime=2202.02 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 523934 0 0 0 220153 49 0 0 20 0 1 0 565195 1340776448 304422 33554432000 4194304 5970956 140735492222496 140735492219256 4961411 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304422 845 434 0 320702 0
Current children cumulated CPU time (s) 2202.02
Current children cumulated vsize (KiB) 1309352
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/246 10450
/proc/meminfo: memFree=30786744/32770624 swapFree=5920/189172
[pid=10377] ppid=10374 vsize=1309352 CPUtime=2262.01 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 524924 0 0 0 226152 49 0 0 20 0 1 0 565195 1340776448 304422 33554432000 4194304 5970956 140735492222496 140735492219256 5071028 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304422 845 434 0 320702 0
Current children cumulated CPU time (s) 2262.01
Current children cumulated vsize (KiB) 1309352
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/246 10451
/proc/meminfo: memFree=30786648/32770624 swapFree=5920/189172
[pid=10377] ppid=10374 vsize=1309352 CPUtime=2322 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 526062 0 0 0 232151 49 0 0 20 0 1 0 565195 1340776448 304422 33554432000 4194304 5970956 140735492222496 140735492219256 4971407 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304422 845 434 0 320702 0
Current children cumulated CPU time (s) 2322
Current children cumulated vsize (KiB) 1309352
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/246 10452
/proc/meminfo: memFree=30786180/32770624 swapFree=5920/189172
[pid=10377] ppid=10374 vsize=1309352 CPUtime=2381.99 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 527236 0 0 0 238150 49 0 0 20 0 1 0 565195 1340776448 304422 33554432000 4194304 5970956 140735492222496 140735492219256 5052093 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304422 845 434 0 320702 0
Current children cumulated CPU time (s) 2381.99
Current children cumulated vsize (KiB) 1309352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.03 3/264 10486
/proc/meminfo: memFree=30810564/32770624 swapFree=5920/189296
[pid=10377] ppid=10374 vsize=1309352 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 529271 0 0 0 239951 49 0 0 20 0 1 0 565195 1340776448 304422 33554432000 4194304 5970956 140735492222496 140735492219256 5070008 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304422 845 434 0 320702 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 1309352
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 10377 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.03 3/264 10486
/proc/meminfo: memFree=30810564/32770624 swapFree=5920/189296
[pid=10377] ppid=10374 vsize=1309352 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/10377/stat : 10377 (cosoco) R 10374 10377 9853 0 -1 4202496 529271 0 0 0 239951 49 0 0 20 0 1 0 565195 1340776448 304422 33554432000 4194304 5970956 140735492222496 140735492219256 5070008 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 13983744 140735492228284 140735492228419 140735492228419 140735492231118 0
/proc/10377/statm: 327338 304422 845 434 0 320702 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 1309352
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.01
CPU user time (s): 2399.51
CPU system time (s): 0.498943
CPU usage (%): 99.9874
Max. virtual memory (cumulated for all children) (KiB): 1309352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.51
system time used= 0.498943
maximum resident set size= 1217736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 529293
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= 58
involuntary context switches= 120671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28702 second user time and 11.1108 second system time
The end