runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3709599-1338183307/watcher-3709599-1338183307 -o /tmp/evaluation-result-3709599-1338183307/solver-3709599-1338183307 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709599-1338183307.opb
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.00 2.00 2.00 3/177 18270
/proc/meminfo: memFree=29847304/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
[startup+0.064007 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18270
/proc/meminfo: memFree=29847304/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100257 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18270
/proc/meminfo: memFree=29847304/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300222 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18270
/proc/meminfo: memFree=29847304/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18270
/proc/meminfo: memFree=29847304/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18272
/proc/meminfo: memFree=29845404/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
[pid=18271] ppid=18270 vsize=4504 CPUtime=1.49 cores=0,2,4,6
/proc/18271/stat : 18271 (clasp-R5325) R 18270 18270 15493 0 -1 4202496 900 0 0 0 149 0 0 0 20 0 1 0 284454837 4612096 832 33554432000 4194304 6212839 140734214313760 140734214311912 5437001 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18271/statm: 1126 832 238 493 0 631 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13656
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18272
/proc/meminfo: memFree=29844040/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
[pid=18271] ppid=18270 vsize=4900 CPUtime=3.09 cores=0,2,4,6
/proc/18271/stat : 18271 (clasp-R5325) R 18270 18270 15493 0 -1 4202496 973 0 0 0 309 0 0 0 20 0 1 0 284454837 5017600 905 33554432000 4194304 6212839 140734214313760 140734214311768 4407753 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18271/statm: 1225 905 238 493 0 730 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14052
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18272
/proc/meminfo: memFree=29843304/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
[pid=18271] ppid=18270 vsize=5432 CPUtime=6.29 cores=0,2,4,6
/proc/18271/stat : 18271 (clasp-R5325) R 18270 18270 15493 0 -1 4202496 1122 0 0 0 629 0 0 0 20 0 1 0 284454837 5562368 1054 33554432000 4194304 6212839 140734214313760 140734214311720 4681761 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18271/statm: 1358 1054 238 493 0 863 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14584
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 18272
/proc/meminfo: memFree=29842088/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
[pid=18271] ppid=18270 vsize=5960 CPUtime=12.69 cores=0,2,4,6
/proc/18271/stat : 18271 (clasp-R5325) R 18270 18270 15493 0 -1 4202496 1247 0 0 0 1269 0 0 0 20 0 1 0 284454837 6103040 1179 33554432000 4194304 6212839 140734214313760 140734214311880 4745728 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18271/statm: 1490 1179 238 493 0 995 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15112
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 18272
/proc/meminfo: memFree=29841608/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
[pid=18271] ppid=18270 vsize=6640 CPUtime=25.49 cores=0,2,4,6
/proc/18271/stat : 18271 (clasp-R5325) R 18270 18270 15493 0 -1 4202496 1426 0 0 0 2549 0 0 0 20 0 1 0 284454837 6799360 1358 33554432000 4194304 6212839 140734214313760 140734214311720 4635113 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18271/statm: 1660 1358 238 493 0 1165 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15792
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18272
/proc/meminfo: memFree=29836768/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
[pid=18271] ppid=18270 vsize=7592 CPUtime=51.08 cores=0,2,4,6
/proc/18271/stat : 18271 (clasp-R5325) R 18270 18270 15493 0 -1 4202496 1673 0 0 0 5108 0 0 0 20 0 1 0 284454837 7774208 1603 33554432000 4194304 6212839 140734214313760 140734214311912 4298163 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18271/statm: 1898 1603 238 493 0 1403 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16744
Solver just ended. Dumping a history of the last processes samples
[startup+57.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 18272
/proc/meminfo: memFree=29833916/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
[pid=18271] ppid=18270 vsize=7884 CPUtime=57.48 cores=0,2,4,6
/proc/18271/stat : 18271 (clasp-R5325) R 18270 18270 15493 0 -1 4202496 1727 0 0 0 5748 0 0 0 20 0 1 0 284454837 8073216 1657 33554432000 4194304 6212839 140734214313760 140734214311912 4676484 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18271/statm: 1971 1657 238 493 0 1476 0
Current children cumulated CPU time (s) 57.48
Current children cumulated vsize (KiB) 17036
[startup+59.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 18272
/proc/meminfo: memFree=29834536/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
[pid=18271] ppid=18270 vsize=7884 CPUtime=59.08 cores=0,2,4,6
/proc/18271/stat : 18271 (clasp-R5325) R 18270 18270 15493 0 -1 4202496 1727 0 0 0 5908 0 0 0 20 0 1 0 284454837 8073216 1657 33554432000 4194304 6212839 140734214313760 140734214311912 4635113 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18271/statm: 1971 1657 238 493 0 1476 0
Current children cumulated CPU time (s) 59.08
Current children cumulated vsize (KiB) 17036
[startup+60.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 18272
/proc/meminfo: memFree=29835032/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
[pid=18271] ppid=18270 vsize=7884 CPUtime=60.68 cores=0,2,4,6
/proc/18271/stat : 18271 (clasp-R5325) R 18270 18270 15493 0 -1 4202496 1727 0 0 0 6068 0 0 0 20 0 1 0 284454837 8073216 1657 33554432000 4194304 6212839 140734214313760 140734214311912 4635099 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18271/statm: 1971 1657 238 493 0 1476 0
Current children cumulated CPU time (s) 60.68
Current children cumulated vsize (KiB) 17036
[startup+61.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 18272
/proc/meminfo: memFree=29835032/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
[pid=18271] ppid=18270 vsize=7884 CPUtime=61.49 cores=0,2,4,6
/proc/18271/stat : 18271 (clasp-R5325) R 18270 18270 15493 0 -1 4202496 1727 0 0 0 6149 0 0 0 20 0 1 0 284454837 8073216 1657 33554432000 4194304 6212839 140734214313760 140734214311912 5477026 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18271/statm: 1971 1657 238 493 0 1476 0
Current children cumulated CPU time (s) 61.49
Current children cumulated vsize (KiB) 17036
[startup+61.9003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 18272
/proc/meminfo: memFree=29835032/32873648 swapFree=7368/7368
[pid=18270] ppid=18268 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (clasp-opt.sh) S 18268 18270 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284454837 9371648 275 33554432000 4194304 5064252 140734765797376 140734765796288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18270/statm: 2288 275 232 213 0 73 0
[pid=18271] ppid=18270 vsize=7884 CPUtime=61.88 cores=0,2,4,6
/proc/18271/stat : 18271 (clasp-R5325) R 18270 18270 15493 0 -1 4202496 1727 0 0 0 6188 0 0 0 20 0 1 0 284454837 8073216 1657 33554432000 4194304 6212839 140734214313760 140734214311912 4737466 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18271/statm: 1971 1657 238 493 0 1476 0
Current children cumulated CPU time (s) 61.88
Current children cumulated vsize (KiB) 17036
Child status: 10
Real time (s): 61.9942
CPU time (s): 61.9826
CPU user time (s): 61.9786
CPU system time (s): 0.003999
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 17036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.9786
system time used= 0.003999
maximum resident set size= 6656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2099
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= 7
involuntary context switches= 65
runsolver used 0.083987 second user time and 0.25796 second system time
The end