runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3469504-1307105144/watcher-3469504-1307105144 -o /tmp/evaluation-result-3469504-1307105144/solver-3469504-1307105144 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469504-1307105144.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.91 1.98 1.99 2/489 20789
/proc/meminfo: memFree=27259880/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=14184 CPUtime=0 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 1005 0 0 0 0 0 0 0 25 0 1 0 822112866 14524416 896 33554432000 4194304 4933572 140735925935872 18446744073709551615 4718448 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 3546 896 364 181 0 555 0
[startup+0.0926451 s]
/proc/loadavg: 1.91 1.98 1.99 2/489 20789
/proc/meminfo: memFree=27259880/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=14184 CPUtime=0.08 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 1014 0 0 0 8 0 0 0 25 0 1 0 822112866 14524416 905 33554432000 4194304 4933572 140735925935872 18446744073709551615 4718312 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 3546 905 371 181 0 555 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14184
[startup+0.100643 s]
/proc/loadavg: 1.91 1.98 1.99 2/489 20789
/proc/meminfo: memFree=27259880/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=14184 CPUtime=0.09 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 1014 0 0 0 9 0 0 0 25 0 1 0 822112866 14524416 905 33554432000 4194304 4933572 140735925935872 18446744073709551615 4711159 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 3546 905 371 181 0 555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14184
[startup+0.300609 s]
/proc/loadavg: 1.91 1.98 1.99 2/489 20789
/proc/meminfo: memFree=27259880/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=14184 CPUtime=0.29 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 1015 0 0 0 29 0 0 0 25 0 1 0 822112866 14524416 906 33554432000 4194304 4933572 140735925935872 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 3546 906 371 181 0 555 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14184
[startup+0.700545 s]
/proc/loadavg: 1.91 1.98 1.99 2/489 20789
/proc/meminfo: memFree=27259880/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=14592 CPUtime=0.69 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 1094 0 0 0 69 0 0 0 25 0 1 0 822112866 14942208 985 33554432000 4194304 4933572 140735925935872 18446744073709551615 4718157 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 3648 985 371 181 0 657 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14592
[startup+1.50041 s]
/proc/loadavg: 1.91 1.98 1.99 3/490 20790
/proc/meminfo: memFree=27256036/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=15648 CPUtime=1.49 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 1359 0 0 0 149 0 0 0 25 0 1 0 822112866 16023552 1250 33554432000 4194304 4933572 140735925935872 18446744073709551615 4649834 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 3912 1250 376 181 0 921 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15648
[startup+3.10014 s]
/proc/loadavg: 1.91 1.98 1.99 3/490 20790
/proc/meminfo: memFree=27254052/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=15772 CPUtime=3.09 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 1411 0 0 0 309 0 0 0 25 0 1 0 822112866 16150528 1302 33554432000 4194304 4933572 140735925935872 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 3943 1302 376 181 0 952 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15772
[startup+6.3006 s]
/proc/loadavg: 1.92 1.98 1.99 3/490 20791
/proc/meminfo: memFree=27253420/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=16184 CPUtime=6.29 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 1488 0 0 0 629 0 0 0 25 0 1 0 822112866 16572416 1379 33554432000 4194304 4933572 140735925935872 18446744073709551615 4649834 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 4046 1379 376 181 0 1055 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16184
[startup+12.7005 s]
/proc/loadavg: 1.93 1.98 1.99 3/490 20791
/proc/meminfo: memFree=27251700/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=17016 CPUtime=12.69 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 1715 0 0 0 1269 0 0 0 25 0 1 0 822112866 17424384 1606 33554432000 4194304 4933572 140735925935872 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 4254 1606 376 181 0 1263 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17016
[startup+25.5004 s]
/proc/loadavg: 2.09 2.02 2.00 3/490 20791
/proc/meminfo: memFree=27250960/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=18256 CPUtime=25.49 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 2008 0 0 0 2549 0 0 0 25 0 1 0 822112866 18694144 1899 33554432000 4194304 4933572 140735925935872 18446744073709551615 4377748 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 4564 1899 376 181 0 1573 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18256
[startup+51.1011 s]
/proc/loadavg: 2.12 2.03 2.00 3/490 20792
/proc/meminfo: memFree=27249084/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=19868 CPUtime=51.09 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 2391 0 0 0 5109 0 0 0 25 0 1 0 822112866 20344832 2282 33554432000 4194304 4933572 140735925935872 18446744073709551615 4319323 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 4967 2282 376 181 0 1976 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19868
[startup+102.318 s]
/proc/loadavg: 1.88 1.99 1.99 2/484 20810
/proc/meminfo: memFree=27262680/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=21624 CPUtime=102.31 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 2776 0 0 0 10231 0 0 0 25 0 1 0 822112866 22142976 2667 33554432000 4194304 4933572 140735925935872 18446744073709551615 4361699 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 5406 2667 376 181 0 2415 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 21624
[startup+162.3 s]
/proc/loadavg: 1.32 1.81 1.92 2/484 20812
/proc/meminfo: memFree=27260888/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=22988 CPUtime=162.29 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 3106 0 0 0 16229 0 0 0 25 0 1 0 822112866 23539712 2997 33554432000 4194304 4933572 140735925935872 18446744073709551615 4711098 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 5747 2997 376 181 0 2756 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 22988
[startup+222.3 s]
/proc/loadavg: 1.12 1.66 1.86 2/484 20813
/proc/meminfo: memFree=27259864/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=24468 CPUtime=222.29 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 3472 0 0 0 22229 0 0 0 25 0 1 0 822112866 25055232 3363 33554432000 4194304 4933572 140735925935872 18446744073709551615 4713147 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 6117 3363 376 181 0 3126 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 24468
[startup+282.3 s]
/proc/loadavg: 1.04 1.54 1.81 2/484 20815
/proc/meminfo: memFree=27259576/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=24808 CPUtime=282.29 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 3539 0 0 0 28229 0 0 0 25 0 1 0 822112866 25403392 3430 33554432000 4194304 4933572 140735925935872 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 6202 3430 376 181 0 3211 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 24808
[startup+342.3 s]
/proc/loadavg: 1.01 1.44 1.75 2/484 20817
/proc/meminfo: memFree=27259036/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=25512 CPUtime=342.29 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 3692 0 0 0 34229 0 0 0 25 0 1 0 822112866 26124288 3583 33554432000 4194304 4933572 140735925935872 18446744073709551615 4718548 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 6378 3583 376 181 0 3387 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 25512
[startup+402.3 s]
/proc/loadavg: 1.00 1.35 1.70 2/484 20818
/proc/meminfo: memFree=27258632/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=25832 CPUtime=402.29 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 3756 0 0 0 40229 0 0 0 25 0 1 0 822112866 26451968 3647 33554432000 4194304 4933572 140735925935872 18446744073709551615 4718312 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 6458 3647 376 181 0 3467 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 25832
[startup+462.301 s]
/proc/loadavg: 1.00 1.29 1.66 2/484 20820
/proc/meminfo: memFree=27258088/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=26616 CPUtime=462.3 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 3948 0 0 0 46230 0 0 0 25 0 1 0 822112866 27254784 3839 33554432000 4194304 4933572 140735925935872 18446744073709551615 4637439 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 6654 3839 376 181 0 3663 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 26616
Solver just ended. Dumping a history of the last processes samples
[startup+486.301 s]
/proc/loadavg: 1.00 1.26 1.64 2/484 20821
/proc/meminfo: memFree=27257840/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=26788 CPUtime=486.3 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 3987 0 0 0 48630 0 0 0 25 0 1 0 822112866 27430912 3878 33554432000 4194304 4933572 140735925935872 18446744073709551615 4713087 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 6697 3878 376 181 0 3706 0
Current children cumulated CPU time (s) 486.3
Current children cumulated vsize (KiB) 26788
[startup+499.101 s]
/proc/loadavg: 1.00 1.25 1.63 2/484 20821
/proc/meminfo: memFree=27257828/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=26956 CPUtime=499.1 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 4015 0 0 0 49910 0 0 0 25 0 1 0 822112866 27602944 3906 33554432000 4194304 4933572 140735925935872 18446744073709551615 4718525 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 6739 3906 376 181 0 3748 0
Current children cumulated CPU time (s) 499.1
Current children cumulated vsize (KiB) 26956
[startup+505.501 s]
/proc/loadavg: 1.00 1.24 1.62 2/484 20821
/proc/meminfo: memFree=27257820/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=26956 CPUtime=505.5 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 4028 0 0 0 50550 0 0 0 25 0 1 0 822112866 27602944 3919 33554432000 4194304 4933572 140735925935872 18446744073709551615 4637459 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 6739 3919 376 181 0 3748 0
Current children cumulated CPU time (s) 505.5
Current children cumulated vsize (KiB) 26956
[startup+507.118 s]
/proc/loadavg: 1.00 1.24 1.62 2/484 20821
/proc/meminfo: memFree=27257820/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=26956 CPUtime=507.11 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 4028 0 0 0 50711 0 0 0 25 0 1 0 822112866 27602944 3919 33554432000 4194304 4933572 140735925935872 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 6739 3919 376 181 0 3748 0
Current children cumulated CPU time (s) 507.11
Current children cumulated vsize (KiB) 26956
[startup+507.9 s]
/proc/loadavg: 1.00 1.24 1.62 2/484 20821
/proc/meminfo: memFree=27257820/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=26956 CPUtime=507.9 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 4028 0 0 0 50790 0 0 0 25 0 1 0 822112866 27602944 3919 33554432000 4194304 4933572 140735925935872 18446744073709551615 4711093 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 6739 3919 376 181 0 3748 0
Current children cumulated CPU time (s) 507.9
Current children cumulated vsize (KiB) 26956
[startup+508.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/484 20821
/proc/meminfo: memFree=27257820/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=26956 CPUtime=508.3 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 4028 0 0 0 50830 0 0 0 25 0 1 0 822112866 27602944 3919 33554432000 4194304 4933572 140735925935872 18446744073709551615 4359965 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 6739 3919 376 181 0 3748 0
Current children cumulated CPU time (s) 508.3
Current children cumulated vsize (KiB) 26956
[startup+508.5 s]
/proc/loadavg: 1.00 1.24 1.62 2/484 20821
/proc/meminfo: memFree=27257820/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=26956 CPUtime=508.5 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 4028 0 0 0 50850 0 0 0 25 0 1 0 822112866 27602944 3919 33554432000 4194304 4933572 140735925935872 18446744073709551615 4718492 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 6739 3919 376 181 0 3748 0
Current children cumulated CPU time (s) 508.5
Current children cumulated vsize (KiB) 26956
[startup+508.6 s]
/proc/loadavg: 1.00 1.24 1.62 2/484 20821
/proc/meminfo: memFree=27257820/32951124 swapFree=63649284/67111528
[pid=20789] ppid=20787 vsize=26956 CPUtime=508.6 cores=1,3,5,7
/proc/20789/stat : 20789 (clasp) R 20787 20789 19900 0 -1 4202496 4028 0 0 0 50860 0 0 0 25 0 1 0 822112866 27602944 3919 33554432000 4194304 4933572 140735925935872 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20789/statm: 6739 3919 376 181 0 3748 0
Current children cumulated CPU time (s) 508.6
Current children cumulated vsize (KiB) 26956
Child status: 10
Real time (s): 508.646
CPU time (s): 508.653
CPU user time (s): 508.646
CPU system time (s): 0.006998
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 26956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 508.646
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4042
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= 10
involuntary context switches= 5735
runsolver used 2.22466 second user time and 5.64514 second system time
The end