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-3711362-1338199101/watcher-3711362-1338199101 -o /tmp/evaluation-result-3711362-1338199101/solver-3711362-1338199101 -C 1800 -W 1900 -M 15500 HOME/clasp-wbo.sh HOME/instance-3711362-1338199101.wbo
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.00 2.00 3/177 726
/proc/meminfo: memFree=27427124/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 232 213 0 73 0
[startup+0.0560721 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 726
/proc/meminfo: memFree=27427124/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 726
/proc/meminfo: memFree=27427124/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 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 726
/proc/meminfo: memFree=27427124/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 726
/proc/meminfo: memFree=27427124/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 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 728
/proc/meminfo: memFree=27423140/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 232 213 0 73 0
[pid=727] ppid=726 vsize=5288 CPUtime=1.49 cores=1,3,5,7
/proc/727/stat : 727 (clasp-R5325) R 726 726 32713 0 -1 4202496 1087 0 0 0 149 0 0 0 20 0 1 0 286036955 5414912 1026 33554432000 4194304 6212839 140734844783584 140734844781736 4744384 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/727/statm: 1322 1026 243 493 0 827 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14440
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 728
/proc/meminfo: memFree=27421776/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 232 213 0 73 0
[pid=727] ppid=726 vsize=5932 CPUtime=3.09 cores=1,3,5,7
/proc/727/stat : 727 (clasp-R5325) R 726 726 32713 0 -1 4202496 1243 0 0 0 309 0 0 0 20 0 1 0 286036955 6074368 1182 33554432000 4194304 6212839 140734844783584 140734844781752 4737532 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/727/statm: 1483 1182 243 493 0 988 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15084
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 728
/proc/meminfo: memFree=27420296/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 232 213 0 73 0
[pid=727] ppid=726 vsize=8068 CPUtime=6.29 cores=1,3,5,7
/proc/727/stat : 727 (clasp-R5325) R 726 726 32713 0 -1 4202496 1800 0 0 0 629 0 0 0 20 0 1 0 286036955 8261632 1730 33554432000 4194304 6212839 140734844783584 140734844781880 4737291 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/727/statm: 2017 1730 243 493 0 1522 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17220
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 728
/proc/meminfo: memFree=27414412/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 232 213 0 73 0
[pid=727] ppid=726 vsize=12388 CPUtime=12.68 cores=1,3,5,7
/proc/727/stat : 727 (clasp-R5325) R 726 726 32713 0 -1 4202496 2920 0 0 0 1268 0 0 0 20 0 1 0 286036955 12685312 2810 33554432000 4194304 6212839 140734844783584 140734844781992 4300799 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/727/statm: 3097 2810 243 493 0 2602 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21540
Solver just ended. Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 728
/proc/meminfo: memFree=27414412/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 232 213 0 73 0
[pid=727] ppid=726 vsize=12388 CPUtime=12.78 cores=1,3,5,7
/proc/727/stat : 727 (clasp-R5325) R 726 726 32713 0 -1 4202496 2920 0 0 0 1278 0 0 0 20 0 1 0 286036955 12685312 2810 33554432000 4194304 6212839 140734844783584 140734844781992 4333776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/727/statm: 3097 2810 243 493 0 2602 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 21540
[startup+19.2003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 728
/proc/meminfo: memFree=27414044/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 232 213 0 73 0
[pid=727] ppid=726 vsize=13368 CPUtime=19.18 cores=1,3,5,7
/proc/727/stat : 727 (clasp-R5325) R 726 726 32713 0 -1 4202496 3170 0 0 0 1918 0 0 0 20 0 1 0 286036955 13688832 3055 33554432000 4194304 6212839 140734844783584 140734844781896 4737466 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/727/statm: 3342 3055 243 493 0 2847 0
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (KiB) 22520
[startup+22.4003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 728
/proc/meminfo: memFree=27413928/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 232 213 0 73 0
[pid=727] ppid=726 vsize=13368 CPUtime=22.38 cores=1,3,5,7
/proc/727/stat : 727 (clasp-R5325) R 726 726 32713 0 -1 4202496 3170 0 0 0 2238 0 0 0 20 0 1 0 286036955 13688832 3055 33554432000 4194304 6212839 140734844783584 140734844781992 4743798 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/727/statm: 3342 3055 243 493 0 2847 0
Current children cumulated CPU time (s) 22.38
Current children cumulated vsize (KiB) 22520
[startup+23.2065 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 728
/proc/meminfo: memFree=27413928/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 232 213 0 73 0
[pid=727] ppid=726 vsize=13368 CPUtime=23.18 cores=1,3,5,7
/proc/727/stat : 727 (clasp-R5325) R 726 726 32713 0 -1 4202496 3170 0 0 0 2318 0 0 0 20 0 1 0 286036955 13688832 3055 33554432000 4194304 6212839 140734844783584 140734844781992 4308165 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/727/statm: 3342 3055 243 493 0 2847 0
Current children cumulated CPU time (s) 23.18
Current children cumulated vsize (KiB) 22520
[startup+24.0003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 728
/proc/meminfo: memFree=27413928/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 232 213 0 73 0
[pid=727] ppid=726 vsize=13368 CPUtime=23.98 cores=1,3,5,7
/proc/727/stat : 727 (clasp-R5325) R 726 726 32713 0 -1 4202496 3170 0 0 0 2398 0 0 0 20 0 1 0 286036955 13688832 3055 33554432000 4194304 6212839 140734844783584 140734844781992 4670461 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/727/statm: 3342 3055 243 493 0 2847 0
Current children cumulated CPU time (s) 23.98
Current children cumulated vsize (KiB) 22520
[startup+24.2002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 728
/proc/meminfo: memFree=27410332/32873648 swapFree=6848/6848
[pid=726] ppid=724 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/726/stat : 726 (clasp-wbo.sh) S 724 726 32713 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286036955 9371648 274 33554432000 4194304 5064252 140734363573520 140734363572432 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/726/statm: 2288 274 232 213 0 73 0
[pid=727] ppid=726 vsize=18328 CPUtime=24.18 cores=1,3,5,7
/proc/727/stat : 727 (clasp-R5325) R 726 726 32713 0 -1 4202496 4389 0 0 0 2418 0 0 0 20 0 1 0 286036955 18767872 4274 33554432000 4194304 6212839 140734844783584 140734844781592 5484523 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/727/statm: 4582 4277 243 493 0 4087 0
Current children cumulated CPU time (s) 24.18
Current children cumulated vsize (KiB) 27480
Child status: 10
Real time (s): 24.2812
CPU time (s): 24.2723
CPU user time (s): 24.2553
CPU system time (s): 0.016997
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 27480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.2553
system time used= 0.016997
maximum resident set size= 29072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7746
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= 9
involuntary context switches= 28
runsolver used 0.035994 second user time and 0.120981 second system time
The end