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-3469130-1307084691/watcher-3469130-1307084691 -o /tmp/evaluation-result-3469130-1307084691/solver-3469130-1307084691 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469130-1307084691.opb --solu --heu=VSIDS
running on 4 cores: 0,2,4,6
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.01 2.33 3.02 3/461 9906
/proc/meminfo: memFree=28707116/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/9906/stat : 9906 (runsolver) R 9904 9906 4773 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 820067100 12079104 50 33554432000 4194304 5432328 140735342587056 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/9906/statm: 2949 50 31 303 0 2643 0
[startup+0.109168 s]
/proc/loadavg: 2.01 2.33 3.02 3/461 9906
/proc/meminfo: memFree=28707116/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=13116 CPUtime=0.09 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 700 0 0 0 9 0 0 0 25 0 1 0 820067100 13430784 625 33554432000 4194304 4933572 140735522783552 18446744073709551615 4718525 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 3279 625 369 181 0 288 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13116
[startup+0.201154 s]
/proc/loadavg: 2.01 2.33 3.02 3/461 9906
/proc/meminfo: memFree=28707116/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=13248 CPUtime=0.18 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 747 0 0 0 18 0 0 0 25 0 1 0 820067100 13565952 672 33554432000 4194304 4933572 140735522783552 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 3312 672 369 181 0 321 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 13248
[startup+0.301132 s]
/proc/loadavg: 2.01 2.33 3.02 3/461 9906
/proc/meminfo: memFree=28707116/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=13380 CPUtime=0.28 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 757 0 0 0 28 0 0 0 25 0 1 0 820067100 13701120 682 33554432000 4194304 4933572 140735522783552 18446744073709551615 4718544 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 3345 682 369 181 0 354 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13380
[startup+0.70106 s]
/proc/loadavg: 2.01 2.33 3.02 3/461 9906
/proc/meminfo: memFree=28707116/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=13776 CPUtime=0.68 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 854 0 0 0 68 0 0 0 25 0 1 0 820067100 14106624 779 33554432000 4194304 4933572 140735522783552 18446744073709551615 4648334 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 3444 779 369 181 0 453 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13776
[startup+1.50096 s]
/proc/loadavg: 2.01 2.33 3.02 3/462 9907
/proc/meminfo: memFree=28702768/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=14436 CPUtime=1.48 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 1033 0 0 0 148 0 0 0 25 0 1 0 820067100 14782464 958 33554432000 4194304 4933572 140735522783552 18446744073709551615 4716992 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 3609 958 369 181 0 618 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14436
[startup+3.10066 s]
/proc/loadavg: 2.01 2.33 3.02 3/462 9907
/proc/meminfo: memFree=28700928/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=15212 CPUtime=3.08 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 1233 0 0 0 308 0 0 0 25 0 1 0 820067100 15577088 1158 33554432000 4194304 4933572 140735522783552 18446744073709551615 4629723 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 3803 1158 374 181 0 812 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15212
[startup+6.30106 s]
/proc/loadavg: 2.01 2.32 3.01 3/462 9907
/proc/meminfo: memFree=28699664/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=16252 CPUtime=6.28 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 1474 0 0 0 628 0 0 0 25 0 1 0 820067100 16642048 1399 33554432000 4194304 4933572 140735522783552 18446744073709551615 4717586 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 4063 1399 374 181 0 1072 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16252
[startup+12.7009 s]
/proc/loadavg: 2.01 2.31 3.01 3/462 9907
/proc/meminfo: memFree=28696736/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=17184 CPUtime=12.68 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 1708 0 0 0 1268 0 0 0 25 0 1 0 820067100 17596416 1633 33554432000 4194304 4933572 140735522783552 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 4296 1633 374 181 0 1305 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17184
[startup+25.5006 s]
/proc/loadavg: 2.01 2.30 2.99 3/462 9908
/proc/meminfo: memFree=28692380/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=19500 CPUtime=25.48 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 2289 0 0 0 2548 0 0 0 25 0 1 0 820067100 19968000 2214 33554432000 4194304 4933572 140735522783552 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 4875 2214 374 181 0 1884 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19500
[startup+51.101 s]
/proc/loadavg: 2.00 2.27 2.96 3/462 9908
/proc/meminfo: memFree=28687148/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=21812 CPUtime=51.08 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 2885 0 0 0 5108 0 0 0 25 0 1 0 820067100 22335488 2810 33554432000 4194304 4933572 140735522783552 18446744073709551615 4718416 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 5453 2810 374 181 0 2462 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21812
[startup+102.301 s]
/proc/loadavg: 2.00 2.23 2.91 3/462 9910
/proc/meminfo: memFree=28679072/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=25628 CPUtime=102.29 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 3822 0 0 0 10229 0 0 0 25 0 1 0 820067100 26243072 3747 33554432000 4194304 4933572 140735522783552 18446744073709551615 4717010 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 6407 3747 374 181 0 3416 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 25628
[startup+162.301 s]
/proc/loadavg: 2.00 2.18 2.85 3/462 9911
/proc/meminfo: memFree=28673464/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=28388 CPUtime=162.29 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 4476 0 0 0 16228 1 0 0 25 0 1 0 820067100 29069312 4401 33554432000 4194304 4933572 140735522783552 18446744073709551615 4625206 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 7097 4401 374 181 0 4106 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 28388
[startup+222.316 s]
/proc/loadavg: 2.00 2.15 2.79 3/462 9913
/proc/meminfo: memFree=28671208/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=29252 CPUtime=222.31 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 4696 0 0 0 22230 1 0 0 25 0 1 0 820067100 29954048 4621 33554432000 4194304 4933572 140735522783552 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 7313 4621 374 181 0 4322 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 29252
[startup+282.3 s]
/proc/loadavg: 2.00 2.12 2.74 3/462 10239
/proc/meminfo: memFree=28685100/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=30360 CPUtime=282.28 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 4978 0 0 0 28226 2 0 0 25 0 1 0 820067100 31088640 4903 33554432000 4194304 4933572 140735522783552 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 7590 4903 374 181 0 4599 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 30360
[startup+342.301 s]
/proc/loadavg: 2.00 2.09 2.69 3/462 10321
/proc/meminfo: memFree=28687168/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=30776 CPUtime=342.28 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 5060 0 0 0 34226 2 0 0 25 0 1 0 820067100 31514624 4985 33554432000 4194304 4933572 140735522783552 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 7694 4985 374 181 0 4703 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 30776
[startup+402.301 s]
/proc/loadavg: 2.00 2.08 2.65 3/462 10350
/proc/meminfo: memFree=28689096/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=31048 CPUtime=402.29 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 5146 0 0 0 40226 3 0 0 25 0 1 0 820067100 31793152 5071 33554432000 4194304 4933572 140735522783552 18446744073709551615 4717035 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 7762 5071 374 181 0 4771 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 31048
Solver just ended. Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 2.15 2.10 2.65 3/462 10404
/proc/meminfo: memFree=28686264/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=31184 CPUtime=409.59 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 5155 0 0 0 40956 3 0 0 25 0 1 0 820067100 31932416 5080 33554432000 4194304 4933572 140735522783552 18446744073709551615 4648515 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 7796 5080 374 181 0 4805 0
Current children cumulated CPU time (s) 409.59
Current children cumulated vsize (KiB) 31184
[startup+416 s]
/proc/loadavg: 2.13 2.10 2.64 3/462 10404
/proc/meminfo: memFree=28684440/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=31184 CPUtime=415.99 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 5177 0 0 0 41596 3 0 0 25 0 1 0 820067100 31932416 5102 33554432000 4194304 4933572 140735522783552 18446744073709551615 4631791 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 7796 5102 374 181 0 4805 0
Current children cumulated CPU time (s) 415.99
Current children cumulated vsize (KiB) 31184
[startup+419.217 s]
/proc/loadavg: 2.12 2.10 2.64 3/462 10404
/proc/meminfo: memFree=28683820/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=31184 CPUtime=419.21 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 5177 0 0 0 41918 3 0 0 25 0 1 0 820067100 31932416 5102 33554432000 4194304 4933572 140735522783552 18446744073709551615 4718175 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 7796 5102 374 181 0 4805 0
Current children cumulated CPU time (s) 419.21
Current children cumulated vsize (KiB) 31184
[startup+420.8 s]
/proc/loadavg: 2.12 2.10 2.64 3/462 10404
/proc/meminfo: memFree=28683572/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=31184 CPUtime=420.79 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 5177 0 0 0 42076 3 0 0 25 0 1 0 820067100 31932416 5102 33554432000 4194304 4933572 140735522783552 18446744073709551615 4377754 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 7796 5102 374 181 0 4805 0
Current children cumulated CPU time (s) 420.79
Current children cumulated vsize (KiB) 31184
[startup+422.401 s]
/proc/loadavg: 2.12 2.10 2.64 3/462 10404
/proc/meminfo: memFree=28683312/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=31184 CPUtime=422.4 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 5177 0 0 0 42237 3 0 0 25 0 1 0 820067100 31932416 5102 33554432000 4194304 4933572 140735522783552 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 7796 5102 374 181 0 4805 0
Current children cumulated CPU time (s) 422.4
Current children cumulated vsize (KiB) 31184
[startup+423.201 s]
/proc/loadavg: 2.12 2.10 2.64 3/462 10404
/proc/meminfo: memFree=28683312/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=31184 CPUtime=423.19 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 5177 0 0 0 42316 3 0 0 25 0 1 0 820067100 31932416 5102 33554432000 4194304 4933572 140735522783552 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 7796 5102 374 181 0 4805 0
Current children cumulated CPU time (s) 423.19
Current children cumulated vsize (KiB) 31184
[startup+423.401 s]
/proc/loadavg: 2.12 2.10 2.64 3/462 10404
/proc/meminfo: memFree=28683312/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=31184 CPUtime=423.39 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 5177 0 0 0 42336 3 0 0 25 0 1 0 820067100 31932416 5102 33554432000 4194304 4933572 140735522783552 18446744073709551615 4711048 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 7796 5102 374 181 0 4805 0
Current children cumulated CPU time (s) 423.39
Current children cumulated vsize (KiB) 31184
[startup+423.501 s]
/proc/loadavg: 2.12 2.10 2.64 3/462 10404
/proc/meminfo: memFree=28683188/32951124 swapFree=41830676/67111528
[pid=9906] ppid=9904 vsize=31184 CPUtime=423.5 cores=0,2,4,6
/proc/9906/stat : 9906 (clasp) R 9904 9906 4773 0 -1 4202496 5177 0 0 0 42347 3 0 0 25 0 1 0 820067100 31932416 5102 33554432000 4194304 4933572 140735522783552 18446744073709551615 4625312 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9906/statm: 7796 5102 374 181 0 4805 0
Current children cumulated CPU time (s) 423.5
Current children cumulated vsize (KiB) 31184
Child status: 10
Real time (s): 423.517
CPU time (s): 423.515
CPU user time (s): 423.481
CPU system time (s): 0.033994
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 31184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 423.481
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5191
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= 619
runsolver used 2.05569 second user time and 3.90341 second system time
The end