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-3469212-1307085374/watcher-3469212-1307085374 -o /tmp/evaluation-result-3469212-1307085374/solver-3469212-1307085374 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469212-1307085374.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: 2.00 2.05 2.48 3/461 11004
/proc/meminfo: memFree=28703468/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=12840 CPUtime=0 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 606 0 0 0 0 0 0 0 25 0 1 0 820135348 13148160 534 33554432000 4194304 4933572 140735494597056 18446744073709551615 4717062 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 3210 534 361 181 0 219 0
[startup+0.0899179 s]
/proc/loadavg: 2.00 2.05 2.48 3/461 11004
/proc/meminfo: memFree=28703468/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=12972 CPUtime=0.08 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 667 0 0 0 8 0 0 0 25 0 1 0 820135348 13283328 595 33554432000 4194304 4933572 140735494597056 18446744073709551615 4632794 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 3243 595 369 181 0 252 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12972
[startup+0.100919 s]
/proc/loadavg: 2.00 2.05 2.48 3/461 11004
/proc/meminfo: memFree=28703468/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=12972 CPUtime=0.09 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 668 0 0 0 9 0 0 0 25 0 1 0 820135348 13283328 596 33554432000 4194304 4933572 140735494597056 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 3243 596 369 181 0 252 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12972
[startup+0.300894 s]
/proc/loadavg: 2.00 2.05 2.48 3/461 11004
/proc/meminfo: memFree=28703468/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=13368 CPUtime=0.29 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 760 0 0 0 29 0 0 0 25 0 1 0 820135348 13688832 688 33554432000 4194304 4933572 140735494597056 18446744073709551615 4361968 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 3342 688 369 181 0 351 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13368
[startup+0.700807 s]
/proc/loadavg: 2.00 2.05 2.48 3/461 11004
/proc/meminfo: memFree=28703468/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=13632 CPUtime=0.69 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 840 0 0 0 69 0 0 0 25 0 1 0 820135348 13959168 768 33554432000 4194304 4933572 140735494597056 18446744073709551615 4635407 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 3408 768 369 181 0 417 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13632
[startup+1.50068 s]
/proc/loadavg: 2.00 2.05 2.48 3/462 11005
/proc/meminfo: memFree=28700740/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=14012 CPUtime=1.49 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 931 0 0 0 149 0 0 0 25 0 1 0 820135348 14348288 859 33554432000 4194304 4933572 140735494597056 18446744073709551615 4718288 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 3503 859 369 181 0 512 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14012
[startup+3.10037 s]
/proc/loadavg: 2.00 2.05 2.48 3/462 11005
/proc/meminfo: memFree=28699476/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=14788 CPUtime=3.09 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 1118 0 0 0 309 0 0 0 25 0 1 0 820135348 15142912 1046 33554432000 4194304 4933572 140735494597056 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 3697 1046 369 181 0 706 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14788
[startup+6.3008 s]
/proc/loadavg: 2.00 2.05 2.48 3/462 11005
/proc/meminfo: memFree=28698476/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=15436 CPUtime=6.29 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 1285 0 0 0 629 0 0 0 25 0 1 0 820135348 15806464 1213 33554432000 4194304 4933572 140735494597056 18446744073709551615 4663961 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 3859 1213 369 181 0 868 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15436
[startup+12.7006 s]
/proc/loadavg: 2.00 2.05 2.47 3/462 11006
/proc/meminfo: memFree=28696400/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=16560 CPUtime=12.69 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 1571 0 0 0 1269 0 0 0 25 0 1 0 820135348 16957440 1499 33554432000 4194304 4933572 140735494597056 18446744073709551615 4638035 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 4140 1499 369 181 0 1149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16560
[startup+25.5003 s]
/proc/loadavg: 2.00 2.05 2.47 3/462 11006
/proc/meminfo: memFree=28692080/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=18436 CPUtime=25.49 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 2026 0 0 0 2549 0 0 0 25 0 1 0 820135348 18878464 1954 33554432000 4194304 4933572 140735494597056 18446744073709551615 4319331 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 4609 1954 374 181 0 1618 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18436
[startup+51.1007 s]
/proc/loadavg: 2.00 2.04 2.45 3/462 11007
/proc/meminfo: memFree=28690308/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=20040 CPUtime=51.09 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 2433 0 0 0 5109 0 0 0 25 0 1 0 820135348 20520960 2361 33554432000 4194304 4933572 140735494597056 18446744073709551615 4329847 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 5010 2361 374 181 0 2019 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20040
[startup+102.316 s]
/proc/loadavg: 2.00 2.03 2.43 3/462 11008
/proc/meminfo: memFree=28684696/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=23628 CPUtime=102.31 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 3312 0 0 0 10231 0 0 0 25 0 1 0 820135348 24195072 3240 33554432000 4194304 4933572 140735494597056 18446744073709551615 4717024 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 5907 3240 374 181 0 2916 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 23628
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.40 3/462 11010
/proc/meminfo: memFree=28682156/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=25400 CPUtime=162.29 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 3745 0 0 0 16229 0 0 0 25 0 1 0 820135348 26009600 3673 33554432000 4194304 4933572 140735494597056 18446744073709551615 4632260 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 6350 3673 374 181 0 3359 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 25400
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.37 3/462 11146
/proc/meminfo: memFree=28687380/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=26788 CPUtime=222.29 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 4110 0 0 0 22229 0 0 0 25 0 1 0 820135348 27430912 4038 33554432000 4194304 4933572 140735494597056 18446744073709551615 4359760 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 6697 4038 374 181 0 3706 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 26788
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.34 3/462 11148
/proc/meminfo: memFree=28682752/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=27200 CPUtime=282.29 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 4191 0 0 0 28229 0 0 0 25 0 1 0 820135348 27852800 4119 33554432000 4194304 4933572 140735494597056 18446744073709551615 4717073 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 6800 4119 374 181 0 3809 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 27200
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.32 3/462 11203
/proc/meminfo: memFree=28685780/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=28028 CPUtime=342.29 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 4396 0 0 0 34229 0 0 0 25 0 1 0 820135348 28700672 4324 33554432000 4194304 4933572 140735494597056 18446744073709551615 4637209 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 7007 4324 374 181 0 4016 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 28028
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.30 3/462 11205
/proc/meminfo: memFree=28683004/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=28028 CPUtime=402.28 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 4409 0 0 0 40228 0 0 0 25 0 1 0 820135348 28700672 4337 33554432000 4194304 4933572 140735494597056 18446744073709551615 4711295 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 7007 4337 374 181 0 4016 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 28028
[startup+462.3 s]
/proc/loadavg: 2.15 2.03 2.28 3/462 11207
/proc/meminfo: memFree=28682244/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=28584 CPUtime=462.29 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 4529 0 0 0 46229 0 0 0 25 0 1 0 820135348 29270016 4457 33554432000 4194304 4933572 140735494597056 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 7146 4457 374 181 0 4155 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 28584
Solver just ended. Dumping a history of the last processes samples
[startup+467.1 s]
/proc/loadavg: 2.15 2.03 2.28 3/462 11207
/proc/meminfo: memFree=28681252/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=28584 CPUtime=467.09 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 4530 0 0 0 46709 0 0 0 25 0 1 0 820135348 29270016 4458 33554432000 4194304 4933572 140735494597056 18446744073709551615 4362336 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 7146 4458 374 181 0 4155 0
Current children cumulated CPU time (s) 467.09
Current children cumulated vsize (KiB) 28584
[startup+473.5 s]
/proc/loadavg: 2.04 2.01 2.27 3/462 11235
/proc/meminfo: memFree=28689524/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=28584 CPUtime=473.49 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 4530 0 0 0 47349 0 0 0 25 0 1 0 820135348 29270016 4458 33554432000 4194304 4933572 140735494597056 18446744073709551615 4635463 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 7146 4458 374 181 0 4155 0
Current children cumulated CPU time (s) 473.49
Current children cumulated vsize (KiB) 28584
[startup+476.701 s]
/proc/loadavg: 2.04 2.01 2.27 3/462 11235
/proc/meminfo: memFree=28688612/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=28584 CPUtime=476.69 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 4530 0 0 0 47669 0 0 0 25 0 1 0 820135348 29270016 4458 33554432000 4194304 4933572 140735494597056 18446744073709551615 4635474 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 7146 4458 374 181 0 4155 0
Current children cumulated CPU time (s) 476.69
Current children cumulated vsize (KiB) 28584
[startup+477.501 s]
/proc/loadavg: 2.04 2.01 2.27 3/462 11235
/proc/meminfo: memFree=28688612/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=28584 CPUtime=477.49 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 4530 0 0 0 47749 0 0 0 25 0 1 0 820135348 29270016 4458 33554432000 4194304 4933572 140735494597056 18446744073709551615 4648318 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 7146 4458 374 181 0 4155 0
Current children cumulated CPU time (s) 477.49
Current children cumulated vsize (KiB) 28584
[startup+478.3 s]
/proc/loadavg: 2.04 2.01 2.27 3/462 11235
/proc/meminfo: memFree=28688612/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=28584 CPUtime=478.29 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 4530 0 0 0 47829 0 0 0 25 0 1 0 820135348 29270016 4458 33554432000 4194304 4933572 140735494597056 18446744073709551615 4635456 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 7146 4458 374 181 0 4155 0
Current children cumulated CPU time (s) 478.29
Current children cumulated vsize (KiB) 28584
[startup+478.7 s]
/proc/loadavg: 2.04 2.01 2.27 3/462 11235
/proc/meminfo: memFree=28688612/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=28584 CPUtime=478.69 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 4530 0 0 0 47869 0 0 0 25 0 1 0 820135348 29270016 4458 33554432000 4194304 4933572 140735494597056 18446744073709551615 4717536 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 7146 4458 374 181 0 4155 0
Current children cumulated CPU time (s) 478.69
Current children cumulated vsize (KiB) 28584
[startup+478.8 s]
/proc/loadavg: 2.04 2.01 2.27 3/462 11235
/proc/meminfo: memFree=28688612/32951124 swapFree=41830676/67111528
[pid=11004] ppid=11002 vsize=28584 CPUtime=478.79 cores=1,3,5,7
/proc/11004/stat : 11004 (clasp) R 11002 11004 4773 0 -1 4202496 4530 0 0 0 47879 0 0 0 25 0 1 0 820135348 29270016 4458 33554432000 4194304 4933572 140735494597056 18446744073709551615 4648297 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11004/statm: 7146 4458 374 181 0 4155 0
Current children cumulated CPU time (s) 478.79
Current children cumulated vsize (KiB) 28584
Child status: 10
Real time (s): 478.872
CPU time (s): 478.866
CPU user time (s): 478.861
CPU system time (s): 0.004999
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 28584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 478.861
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4544
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= 5
involuntary context switches= 1239
runsolver used 1.93971 second user time and 4.73228 second system time
The end