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-3709047-1338157242/watcher-3709047-1338157242 -o /tmp/evaluation-result-3709047-1338157242/solver-3709047-1338157242 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709047-1338157242.opb
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.01 2.01 2.00 3/178 24635
/proc/meminfo: memFree=31494684/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
[startup+0.103121 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24635
/proc/meminfo: memFree=31494684/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.200258 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24635
/proc/meminfo: memFree=31494684/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300256 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24635
/proc/meminfo: memFree=31494684/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700229 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24635
/proc/meminfo: memFree=31494684/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50027 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 24637
/proc/meminfo: memFree=31492164/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
[pid=24636] ppid=24635 vsize=3404 CPUtime=1.49 cores=1,3,5,7
/proc/24636/stat : 24636 (clasp-R5325) R 24635 24635 9266 0 -1 4202496 586 0 0 0 149 0 0 0 20 0 1 0 281851017 3485696 541 33554432000 4194304 6212839 140734821797312 140734821795464 4333831 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24636/statm: 851 541 234 493 0 356 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12556
[startup+3.10027 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 24637
/proc/meminfo: memFree=31490924/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
[pid=24636] ppid=24635 vsize=3676 CPUtime=3.09 cores=1,3,5,7
/proc/24636/stat : 24636 (clasp-R5325) R 24635 24635 9266 0 -1 4202496 654 0 0 0 309 0 0 0 20 0 1 0 281851017 3764224 609 33554432000 4194304 6212839 140734821797312 140734821795464 4685331 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24636/statm: 919 609 234 493 0 424 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12828
[startup+6.30027 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 24637
/proc/meminfo: memFree=31489664/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
[pid=24636] ppid=24635 vsize=4092 CPUtime=6.29 cores=1,3,5,7
/proc/24636/stat : 24636 (clasp-R5325) R 24635 24635 9266 0 -1 4202496 747 0 0 0 629 0 0 0 20 0 1 0 281851017 4190208 702 33554432000 4194304 6212839 140734821797312 140734821795464 4333806 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24636/statm: 1023 702 234 493 0 528 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13244
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 24637
/proc/meminfo: memFree=31486744/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
[pid=24636] ppid=24635 vsize=4364 CPUtime=12.69 cores=1,3,5,7
/proc/24636/stat : 24636 (clasp-R5325) R 24635 24635 9266 0 -1 4202496 821 0 0 0 1269 0 0 0 20 0 1 0 281851017 4468736 776 33554432000 4194304 6212839 140734821797312 140734821795464 5485568 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24636/statm: 1091 776 234 493 0 596 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13516
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24637
/proc/meminfo: memFree=31485328/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
[pid=24636] ppid=24635 vsize=4644 CPUtime=25.49 cores=1,3,5,7
/proc/24636/stat : 24636 (clasp-R5325) R 24635 24635 9266 0 -1 4202496 873 0 0 0 2549 0 0 0 20 0 1 0 281851017 4755456 828 33554432000 4194304 6212839 140734821797312 140734821795464 4685321 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24636/statm: 1161 828 234 493 0 666 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13796
Solver just ended. Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24637
/proc/meminfo: memFree=31485328/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
[pid=24636] ppid=24635 vsize=4644 CPUtime=25.59 cores=1,3,5,7
/proc/24636/stat : 24636 (clasp-R5325) R 24635 24635 9266 0 -1 4202496 874 0 0 0 2559 0 0 0 20 0 1 0 281851017 4755456 829 33554432000 4194304 6212839 140734821797312 140734821795464 4685305 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24636/statm: 1161 829 234 493 0 666 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 13796
[startup+28.8003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24637
/proc/meminfo: memFree=31484708/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
[pid=24636] ppid=24635 vsize=4644 CPUtime=28.79 cores=1,3,5,7
/proc/24636/stat : 24636 (clasp-R5325) R 24635 24635 9266 0 -1 4202496 892 0 0 0 2879 0 0 0 20 0 1 0 281851017 4755456 847 33554432000 4194304 6212839 140734821797312 140734821795464 4682215 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24636/statm: 1161 847 235 493 0 666 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 13796
[startup+30.4003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24637
/proc/meminfo: memFree=31484020/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
[pid=24636] ppid=24635 vsize=4644 CPUtime=30.39 cores=1,3,5,7
/proc/24636/stat : 24636 (clasp-R5325) R 24635 24635 9266 0 -1 4202496 900 0 0 0 3039 0 0 0 20 0 1 0 281851017 4755456 855 33554432000 4194304 6212839 140734821797312 140734821795464 4661914 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24636/statm: 1161 855 235 493 0 666 0
Current children cumulated CPU time (s) 30.39
Current children cumulated vsize (KiB) 13796
[startup+31.2003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24637
/proc/meminfo: memFree=31484144/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
[pid=24636] ppid=24635 vsize=4644 CPUtime=31.19 cores=1,3,5,7
/proc/24636/stat : 24636 (clasp-R5325) R 24635 24635 9266 0 -1 4202496 902 0 0 0 3119 0 0 0 20 0 1 0 281851017 4755456 857 33554432000 4194304 6212839 140734821797312 140734821795464 4683914 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24636/statm: 1161 857 235 493 0 666 0
Current children cumulated CPU time (s) 31.19
Current children cumulated vsize (KiB) 13796
[startup+31.4003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24637
/proc/meminfo: memFree=31484144/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
[pid=24636] ppid=24635 vsize=4644 CPUtime=31.39 cores=1,3,5,7
/proc/24636/stat : 24636 (clasp-R5325) R 24635 24635 9266 0 -1 4202496 903 0 0 0 3139 0 0 0 20 0 1 0 281851017 4755456 858 33554432000 4194304 6212839 140734821797312 140734821795464 4661283 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24636/statm: 1161 858 235 493 0 666 0
Current children cumulated CPU time (s) 31.39
Current children cumulated vsize (KiB) 13796
[startup+31.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24637
/proc/meminfo: memFree=31484144/32873648 swapFree=6852/6852
[pid=24635] ppid=24633 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24635/stat : 24635 (clasp-opt.sh) S 24633 24635 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281851017 9371648 275 33554432000 4194304 5064252 140737029733792 140737029732704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24635/statm: 2288 275 232 213 0 73 0
[pid=24636] ppid=24635 vsize=4644 CPUtime=31.49 cores=1,3,5,7
/proc/24636/stat : 24636 (clasp-R5325) R 24635 24635 9266 0 -1 4202496 903 0 0 0 3149 0 0 0 20 0 1 0 281851017 4755456 858 33554432000 4194304 6212839 140734821797312 140734821795464 4685476 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24636/statm: 1161 858 235 493 0 666 0
Current children cumulated CPU time (s) 31.49
Current children cumulated vsize (KiB) 13796
Child status: 10
Real time (s): 31.5499
CPU time (s): 31.5452
CPU user time (s): 31.5402
CPU system time (s): 0.004999
CPU usage (%): 99.985
Max. virtual memory (cumulated for all children) (KiB): 13796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.5402
system time used= 0.004999
maximum resident set size= 3460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1275
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= 34
runsolver used 0.048992 second user time and 0.13098 second system time
The end