runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491703-1307767054/watcher-3491703-1307767054 -o /tmp/evaluation-result-3491703-1307767054/solver-3491703-1307767054 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491703-1307767054.opb --solu --heu=VSIDS
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.14 1.53 2/177 10219
/proc/meminfo: memFree=31620844/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=2872 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 434 0 0 0 0 0 0 0 25 0 1 0 966936098 2940928 374 33554432000 4194304 6245536 140737314459120 18446744073709551615 4637714 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10219/statm: 718 374 219 501 0 214 0
[startup+0.103359 s]
/proc/loadavg: 1.00 1.14 1.53 2/177 10219
/proc/meminfo: memFree=31620844/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=3004 CPUtime=0.1 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 496 0 0 0 10 0 0 0 25 0 1 0 966936098 3076096 436 33554432000 4194304 6245536 140737314459120 18446744073709551615 4628241 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10219/statm: 751 436 227 501 0 247 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3004
[startup+0.200385 s]
/proc/loadavg: 1.00 1.14 1.53 2/177 10219
/proc/meminfo: memFree=31620844/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=3268 CPUtime=0.19 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 566 0 0 0 19 0 0 0 25 0 1 0 966936098 3346432 506 33554432000 4194304 6245536 140737314459120 18446744073709551615 4628329 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10219/statm: 817 506 227 501 0 313 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3268
[startup+0.300337 s]
/proc/loadavg: 1.00 1.14 1.53 2/177 10219
/proc/meminfo: memFree=31620844/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=3400 CPUtime=0.29 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 587 0 0 0 29 0 0 0 25 0 1 0 966936098 3481600 527 33554432000 4194304 6245536 140737314459120 18446744073709551615 4635753 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10219/statm: 850 527 227 501 0 346 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3400
[startup+0.700313 s]
/proc/loadavg: 1.00 1.14 1.53 2/177 10219
/proc/meminfo: memFree=31620844/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=3768 CPUtime=0.69 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 672 0 0 0 69 0 0 0 25 0 1 0 966936098 3858432 612 33554432000 4194304 6245536 140737314459120 18446744073709551615 4637884 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10219/statm: 942 612 227 501 0 438 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3768
[startup+1.50111 s]
/proc/loadavg: 1.00 1.14 1.53 3/178 10296
/proc/meminfo: memFree=31619348/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=4148 CPUtime=1.49 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 760 0 0 0 149 0 0 0 25 0 1 0 966936098 4247552 700 33554432000 4194304 6245536 140737314459120 18446744073709551615 4344286 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10219/statm: 1037 700 227 501 0 533 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4148
[startup+3.10082 s]
/proc/loadavg: 1.08 1.16 1.53 3/178 10296
/proc/meminfo: memFree=31618108/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=4804 CPUtime=3.09 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 947 0 0 0 309 0 0 0 25 0 1 0 966936098 4919296 887 33554432000 4194304 6245536 140737314459120 18446744073709551615 4304834 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10219/statm: 1201 887 227 501 0 697 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4804
[startup+6.30023 s]
/proc/loadavg: 1.08 1.16 1.53 3/178 10296
/proc/meminfo: memFree=31617240/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=5464 CPUtime=6.29 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 1114 0 0 0 629 0 0 0 25 0 1 0 966936098 5595136 1054 33554432000 4194304 6245536 140737314459120 18446744073709551615 4635052 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10219/statm: 1366 1054 227 501 0 862 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5464
[startup+12.701 s]
/proc/loadavg: 1.22 1.18 1.53 2/176 10296
/proc/meminfo: memFree=31615656/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=6620 CPUtime=12.69 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 1401 0 0 0 1269 0 0 0 25 0 1 0 966936098 6778880 1341 33554432000 4194304 6245536 140737314459120 18446744073709551615 4323498 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 1655 1341 227 501 0 1151 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6620
[startup+25.5007 s]
/proc/loadavg: 1.34 1.21 1.54 3/178 10373
/proc/meminfo: memFree=31611980/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=8456 CPUtime=25.49 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 1853 0 0 0 2549 0 0 0 25 0 1 0 966936098 8658944 1793 33554432000 4194304 6245536 140737314459120 18446744073709551615 4696433 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 2114 1793 231 501 0 1610 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 8456
[startup+51.1009 s]
/proc/loadavg: 1.56 1.27 1.55 3/178 10411
/proc/meminfo: memFree=31611760/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=10032 CPUtime=51.09 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 2244 0 0 0 5109 0 0 0 25 0 1 0 966936098 10272768 2184 33554432000 4194304 6245536 140737314459120 18446744073709551615 4646368 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 2508 2184 231 501 0 2004 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 10032
[startup+102.3 s]
/proc/loadavg: 1.79 1.38 1.57 3/178 10568
/proc/meminfo: memFree=31602280/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=13736 CPUtime=102.3 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 3151 0 0 0 10230 0 0 0 25 0 1 0 966936098 14065664 3091 33554432000 4194304 6245536 140737314459120 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 3434 3091 231 501 0 2930 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 13736
[startup+162.3 s]
/proc/loadavg: 1.91 1.48 1.59 3/178 10569
/proc/meminfo: memFree=31597356/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=15524 CPUtime=162.29 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 3601 0 0 0 16229 0 0 0 25 0 1 0 966936098 15896576 3541 33554432000 4194304 6245536 140737314459120 18446744073709551615 4315322 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 3881 3541 231 501 0 3377 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15524
[startup+222.306 s]
/proc/loadavg: 1.97 1.58 1.61 4/178 10647
/proc/meminfo: memFree=31599640/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=16908 CPUtime=222.3 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 3938 0 0 0 22230 0 0 0 25 0 1 0 966936098 17313792 3878 33554432000 4194304 6245536 140737314459120 18446744073709551615 4633918 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 4227 3878 231 501 0 3723 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 16908
[startup+282.301 s]
/proc/loadavg: 1.99 1.65 1.63 3/178 10648
/proc/meminfo: memFree=31597500/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=17328 CPUtime=282.3 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 4052 0 0 0 28230 0 0 0 25 0 1 0 966936098 17743872 3992 33554432000 4194304 6245536 140737314459120 18446744073709551615 4633864 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 4332 3992 231 501 0 3828 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 17328
[startup+342.301 s]
/proc/loadavg: 1.99 1.71 1.65 3/178 10650
/proc/meminfo: memFree=31595728/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=18300 CPUtime=342.3 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 4264 0 0 0 34230 0 0 0 25 0 1 0 966936098 18739200 4204 33554432000 4194304 6245536 140737314459120 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 4575 4204 231 501 0 4071 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 18300
[startup+402.301 s]
/proc/loadavg: 1.99 1.76 1.67 3/178 10766
/proc/meminfo: memFree=31602144/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=18300 CPUtime=402.3 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 4280 0 0 0 40230 0 0 0 25 0 1 0 966936098 18739200 4220 33554432000 4194304 6245536 140737314459120 18446744073709551615 4696467 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 4575 4220 231 501 0 4071 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 18300
[startup+462.301 s]
/proc/loadavg: 1.99 1.80 1.69 3/178 10881
/proc/meminfo: memFree=31597668/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=18720 CPUtime=462.3 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 4393 0 0 0 46230 0 0 0 25 0 1 0 966936098 19169280 4333 33554432000 4194304 6245536 140737314459120 18446744073709551615 4627950 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 4680 4333 231 501 0 4176 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 18720
Solver just ended. Dumping a history of the last processes samples
[startup+473.601 s]
/proc/loadavg: 1.99 1.81 1.69 3/178 10919
/proc/meminfo: memFree=31601692/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=18720 CPUtime=473.6 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 4393 0 0 0 47360 0 0 0 25 0 1 0 966936098 19169280 4333 33554432000 4194304 6245536 140737314459120 18446744073709551615 4701974 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 4680 4333 231 501 0 4176 0
Current children cumulated CPU time (s) 473.6
Current children cumulated vsize (KiB) 18720
[startup+476.801 s]
/proc/loadavg: 1.99 1.81 1.69 2/173 11020
/proc/meminfo: memFree=31604808/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=18720 CPUtime=476.8 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 4393 0 0 0 47680 0 0 0 25 0 1 0 966936098 19169280 4333 33554432000 4194304 6245536 140737314459120 18446744073709551615 4646368 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 4680 4333 231 501 0 4176 0
Current children cumulated CPU time (s) 476.8
Current children cumulated vsize (KiB) 18720
[startup+478.401 s]
/proc/loadavg: 1.99 1.81 1.69 3/178 11034
/proc/meminfo: memFree=31602024/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=18720 CPUtime=478.4 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 4393 0 0 0 47840 0 0 0 25 0 1 0 966936098 19169280 4333 33554432000 4194304 6245536 140737314459120 18446744073709551615 4304820 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 4680 4333 231 501 0 4176 0
Current children cumulated CPU time (s) 478.4
Current children cumulated vsize (KiB) 18720
[startup+480.001 s]
/proc/loadavg: 1.99 1.81 1.69 3/178 11034
/proc/meminfo: memFree=31601016/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=18720 CPUtime=480 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 4394 0 0 0 48000 0 0 0 25 0 1 0 966936098 19169280 4334 33554432000 4194304 6245536 140737314459120 18446744073709551615 4628019 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 4680 4334 231 501 0 4176 0
Current children cumulated CPU time (s) 480
Current children cumulated vsize (KiB) 18720
[startup+480.806 s]
/proc/loadavg: 1.99 1.81 1.69 3/178 11034
/proc/meminfo: memFree=31600860/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=18720 CPUtime=480.81 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 4394 0 0 0 48081 0 0 0 25 0 1 0 966936098 19169280 4334 33554432000 4194304 6245536 140737314459120 18446744073709551615 4700427 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 4680 4334 231 501 0 4176 0
Current children cumulated CPU time (s) 480.81
Current children cumulated vsize (KiB) 18720
[startup+481 s]
/proc/loadavg: 1.99 1.81 1.69 3/178 11034
/proc/meminfo: memFree=31600860/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=18720 CPUtime=481 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 4394 0 0 0 48100 0 0 0 25 0 1 0 966936098 19169280 4334 33554432000 4194304 6245536 140737314459120 18446744073709551615 4702501 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 4680 4334 231 501 0 4176 0
Current children cumulated CPU time (s) 481
Current children cumulated vsize (KiB) 18720
[startup+481.1 s]
/proc/loadavg: 1.99 1.81 1.69 3/178 11034
/proc/meminfo: memFree=31600860/32950928 swapFree=67051096/67111528
[pid=10219] ppid=10217 vsize=18720 CPUtime=481.1 cores=1,3,5,7
/proc/10219/stat : 10219 (clasp) R 10217 10219 6496 0 -1 4202496 4394 0 0 0 48110 0 0 0 25 0 1 0 966936098 19169280 4334 33554432000 4194304 6245536 140737314459120 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10219/statm: 4680 4334 231 501 0 4176 0
Current children cumulated CPU time (s) 481.1
Current children cumulated vsize (KiB) 18720
Child status: 10
Real time (s): 481.169
CPU time (s): 481.184
CPU user time (s): 481.176
CPU system time (s): 0.007998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 18720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 481.176
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4406
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= 3
involuntary context switches= 604
runsolver used 0.637903 second user time and 1.55276 second system time
The end