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-3491691-1307766879/watcher-3491691-1307766879 -o /tmp/evaluation-result-3491691-1307766879/solver-3491691-1307766879 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491691-1307766879.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: 1.96 1.91 1.74 2/177 25227
/proc/meminfo: memFree=31470536/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=2772 CPUtime=0 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 1 0 888285606 2838528 357 33554432000 4194304 6245536 140735697596560 18446744073709551615 4694617 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/25227/statm: 693 357 220 501 0 189 0
[startup+0.0586141 s]
/proc/loadavg: 1.96 1.91 1.74 2/177 25227
/proc/meminfo: memFree=31470536/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=2904 CPUtime=0.05 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 444 0 0 0 5 0 0 0 25 0 1 0 888285606 2973696 388 33554432000 4194304 6245536 140735697596560 18446744073709551615 4635113 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/25227/statm: 726 388 226 501 0 222 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2904
[startup+0.10061 s]
/proc/loadavg: 1.96 1.91 1.74 2/177 25227
/proc/meminfo: memFree=31470536/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=3036 CPUtime=0.1 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 475 0 0 0 10 0 0 0 25 0 1 0 888285606 3108864 419 33554432000 4194304 6245536 140735697596560 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/25227/statm: 759 419 227 501 0 255 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3036
[startup+0.300571 s]
/proc/loadavg: 1.96 1.91 1.74 2/177 25227
/proc/meminfo: memFree=31470536/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=3300 CPUtime=0.3 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 558 0 0 0 30 0 0 0 25 0 1 0 888285606 3379200 502 33554432000 4194304 6245536 140735697596560 18446744073709551615 4342649 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/25227/statm: 825 502 227 501 0 321 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 3300
[startup+0.700528 s]
/proc/loadavg: 1.96 1.91 1.74 2/177 25227
/proc/meminfo: memFree=31470536/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=3564 CPUtime=0.7 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 623 0 0 0 70 0 0 0 25 0 1 0 888285606 3649536 567 33554432000 4194304 6245536 140735697596560 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/25227/statm: 891 567 227 501 0 387 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 3564
[startup+1.50038 s]
/proc/loadavg: 1.96 1.91 1.74 3/178 25228
/proc/meminfo: memFree=31469192/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=4080 CPUtime=1.5 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 743 0 0 0 150 0 0 0 25 0 1 0 888285606 4177920 687 33554432000 4194304 6245536 140735697596560 18446744073709551615 4362872 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/25227/statm: 1020 687 231 501 0 516 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 4080
[startup+3.10108 s]
/proc/loadavg: 1.96 1.91 1.74 3/178 25228
/proc/meminfo: memFree=31468324/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=4604 CPUtime=3.1 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 870 0 0 0 310 0 0 0 25 0 1 0 888285606 4714496 814 33554432000 4194304 6245536 140735697596560 18446744073709551615 4316703 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/25227/statm: 1151 814 231 501 0 647 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 4604
[startup+6.30048 s]
/proc/loadavg: 1.96 1.91 1.74 3/178 25228
/proc/meminfo: memFree=31467200/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=5300 CPUtime=6.29 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 1045 0 0 0 629 0 0 0 25 0 1 0 888285606 5427200 989 33554432000 4194304 6245536 140735697596560 18446744073709551615 4629045 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/25227/statm: 1325 989 231 501 0 821 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5300
[startup+12.7003 s]
/proc/loadavg: 1.97 1.92 1.74 3/178 25228
/proc/meminfo: memFree=31466468/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=5816 CPUtime=12.69 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 1193 0 0 0 1269 0 0 0 25 0 1 0 888285606 5955584 1137 33554432000 4194304 6245536 140735697596560 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/25227/statm: 1454 1137 231 501 0 950 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5816
[startup+25.501 s]
/proc/loadavg: 1.97 1.92 1.74 3/178 25229
/proc/meminfo: memFree=31464860/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=7540 CPUtime=25.49 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 1620 0 0 0 2549 0 0 0 25 0 1 0 888285606 7720960 1564 33554432000 4194304 6245536 140735697596560 18446744073709551615 4628817 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/25227/statm: 1885 1564 231 501 0 1381 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7540
[startup+51.1003 s]
/proc/loadavg: 1.98 1.92 1.75 3/178 25229
/proc/meminfo: memFree=31463204/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=9032 CPUtime=51.09 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 2004 0 0 0 5109 0 0 0 25 0 1 0 888285606 9248768 1948 33554432000 4194304 6245536 140735697596560 18446744073709551615 4701940 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/25227/statm: 2258 1948 231 501 0 1754 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 9032
[startup+102.306 s]
/proc/loadavg: 1.99 1.93 1.75 3/178 25231
/proc/meminfo: memFree=31460324/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=11212 CPUtime=102.3 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 2516 0 0 0 10230 0 0 0 25 0 1 0 888285606 11481088 2460 33554432000 4194304 6245536 140735697596560 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/25227/statm: 2803 2460 231 501 0 2299 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11212
[startup+162.301 s]
/proc/loadavg: 1.99 1.94 1.77 3/178 25232
/proc/meminfo: memFree=31458312/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=12712 CPUtime=162.29 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 2906 0 0 0 16229 0 0 0 25 0 1 0 888285606 13017088 2850 33554432000 4194304 6245536 140735697596560 18446744073709551615 4628672 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/25227/statm: 3178 2850 231 501 0 2674 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 12712
[startup+222.301 s]
/proc/loadavg: 1.99 1.95 1.78 3/178 25234
/proc/meminfo: memFree=31457412/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=13528 CPUtime=222.29 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 3094 0 0 0 22229 0 0 0 25 0 1 0 888285606 13852672 3038 33554432000 4194304 6245536 140735697596560 18446744073709551615 4694456 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/25227/statm: 3382 3038 231 501 0 2878 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 13528
[startup+282.301 s]
/proc/loadavg: 1.99 1.95 1.79 3/178 25236
/proc/meminfo: memFree=31456148/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=14220 CPUtime=282.3 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 3267 0 0 0 28230 0 0 0 25 0 1 0 888285606 14561280 3211 33554432000 4194304 6245536 140735697596560 18446744073709551615 4702496 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/25227/statm: 3555 3211 231 501 0 3051 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 14220
Solver just ended. Dumping a history of the last processes samples
[startup+307.101 s]
/proc/loadavg: 1.99 1.96 1.79 3/178 25236
/proc/meminfo: memFree=31455888/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=14220 CPUtime=307.1 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 3277 0 0 0 30710 0 0 0 25 0 1 0 888285606 14561280 3221 33554432000 4194304 6245536 140735697596560 18446744073709551615 4700946 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/25227/statm: 3555 3221 231 501 0 3051 0
Current children cumulated CPU time (s) 307.1
Current children cumulated vsize (KiB) 14220
[startup+319.9 s]
/proc/loadavg: 1.99 1.96 1.80 3/178 25237
/proc/meminfo: memFree=31455880/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=14352 CPUtime=319.9 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 3291 0 0 0 31990 0 0 0 25 0 1 0 888285606 14696448 3235 33554432000 4194304 6245536 140735697596560 18446744073709551615 4628144 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/25227/statm: 3588 3235 231 501 0 3084 0
Current children cumulated CPU time (s) 319.9
Current children cumulated vsize (KiB) 14352
[startup+332.701 s]
/proc/loadavg: 1.99 1.96 1.80 3/178 25237
/proc/meminfo: memFree=31455624/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=14492 CPUtime=332.7 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 3323 0 0 0 33270 0 0 0 25 0 1 0 888285606 14839808 3267 33554432000 4194304 6245536 140735697596560 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/25227/statm: 3623 3267 231 501 0 3119 0
Current children cumulated CPU time (s) 332.7
Current children cumulated vsize (KiB) 14492
[startup+335.9 s]
/proc/loadavg: 1.99 1.96 1.80 3/178 25237
/proc/meminfo: memFree=31455492/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=14492 CPUtime=335.9 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 3327 0 0 0 33590 0 0 0 25 0 1 0 888285606 14839808 3271 33554432000 4194304 6245536 140735697596560 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/25227/statm: 3623 3271 231 501 0 3119 0
Current children cumulated CPU time (s) 335.9
Current children cumulated vsize (KiB) 14492
[startup+337.501 s]
/proc/loadavg: 1.99 1.96 1.80 3/178 25237
/proc/meminfo: memFree=31455492/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=14492 CPUtime=337.5 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 3327 0 0 0 33750 0 0 0 25 0 1 0 888285606 14839808 3271 33554432000 4194304 6245536 140735697596560 18446744073709551615 4344464 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/25227/statm: 3623 3271 231 501 0 3119 0
Current children cumulated CPU time (s) 337.5
Current children cumulated vsize (KiB) 14492
[startup+338.301 s]
/proc/loadavg: 1.99 1.96 1.80 3/178 25237
/proc/meminfo: memFree=31455492/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=14492 CPUtime=338.3 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 3327 0 0 0 33830 0 0 0 25 0 1 0 888285606 14839808 3271 33554432000 4194304 6245536 140735697596560 18446744073709551615 4342527 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/25227/statm: 3623 3271 231 501 0 3119 0
Current children cumulated CPU time (s) 338.3
Current children cumulated vsize (KiB) 14492
[startup+338.701 s]
/proc/loadavg: 1.99 1.96 1.80 3/178 25237
/proc/meminfo: memFree=31455492/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=14492 CPUtime=338.7 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 3327 0 0 0 33870 0 0 0 25 0 1 0 888285606 14839808 3271 33554432000 4194304 6245536 140735697596560 18446744073709551615 4701920 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/25227/statm: 3623 3271 231 501 0 3119 0
Current children cumulated CPU time (s) 338.7
Current children cumulated vsize (KiB) 14492
[startup+339.101 s]
/proc/loadavg: 1.99 1.96 1.80 3/178 25237
/proc/meminfo: memFree=31455492/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=14492 CPUtime=339.1 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 3327 0 0 0 33910 0 0 0 25 0 1 0 888285606 14839808 3271 33554432000 4194304 6245536 140735697596560 18446744073709551615 4701019 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/25227/statm: 3623 3271 231 501 0 3119 0
Current children cumulated CPU time (s) 339.1
Current children cumulated vsize (KiB) 14492
[startup+339.201 s]
/proc/loadavg: 1.99 1.96 1.80 3/178 25237
/proc/meminfo: memFree=31455492/32951124 swapFree=67076880/67111528
[pid=25227] ppid=25225 vsize=14492 CPUtime=339.2 cores=0,2,4,6
/proc/25227/stat : 25227 (clasp) R 25225 25227 17771 0 -1 4202496 3327 0 0 0 33920 0 0 0 25 0 1 0 888285606 14839808 3271 33554432000 4194304 6245536 140735697596560 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/25227/statm: 3623 3271 231 501 0 3119 0
Current children cumulated CPU time (s) 339.2
Current children cumulated vsize (KiB) 14492
Child status: 10
Real time (s): 339.206
CPU time (s): 339.21
CPU user time (s): 339.204
CPU system time (s): 0.005999
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 14492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 339.204
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3339
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= 598
runsolver used 0.567913 second user time and 0.978851 second system time
The end