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-3709216-1338165380/watcher-3709216-1338165380 -o /tmp/evaluation-result-3709216-1338165380/solver-3709216-1338165380 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709216-1338165380.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 24004
/proc/meminfo: memFree=30486240/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
[startup+0.07294 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24004
/proc/meminfo: memFree=30486240/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100208 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24004
/proc/meminfo: memFree=30486240/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24004
/proc/meminfo: memFree=30486240/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24004
/proc/meminfo: memFree=30486240/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24006
/proc/meminfo: memFree=30485132/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
[pid=24005] ppid=24004 vsize=3272 CPUtime=1.49 cores=0,2,4,6
/proc/24005/stat : 24005 (clasp-R5325) R 24004 24004 23256 0 -1 4202496 555 0 0 0 149 0 0 0 20 0 1 0 282662430 3350528 510 33554432000 4194304 6212839 140733932859280 140733932857432 4333818 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/24005/statm: 818 510 228 493 0 323 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12424
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24006
/proc/meminfo: memFree=30484264/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
[pid=24005] ppid=24004 vsize=3560 CPUtime=3.09 cores=0,2,4,6
/proc/24005/stat : 24005 (clasp-R5325) R 24004 24004 23256 0 -1 4202496 621 0 0 0 309 0 0 0 20 0 1 0 282662430 3645440 576 33554432000 4194304 6212839 140733932859280 140733932857432 4744819 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/24005/statm: 890 576 228 493 0 395 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12712
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24006
/proc/meminfo: memFree=30483272/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
[pid=24005] ppid=24004 vsize=4128 CPUtime=6.29 cores=0,2,4,6
/proc/24005/stat : 24005 (clasp-R5325) R 24004 24004 23256 0 -1 4202496 734 0 0 0 629 0 0 0 20 0 1 0 282662430 4227072 689 33554432000 4194304 6212839 140733932859280 140733932857432 4744528 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/24005/statm: 1032 689 228 493 0 537 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13280
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24006
/proc/meminfo: memFree=30482304/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
[pid=24005] ppid=24004 vsize=4416 CPUtime=12.69 cores=0,2,4,6
/proc/24005/stat : 24005 (clasp-R5325) R 24004 24004 23256 0 -1 4202496 812 0 0 0 1269 0 0 0 20 0 1 0 282662430 4521984 767 33554432000 4194304 6212839 140733932859280 140733932857432 4303947 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/24005/statm: 1104 767 228 493 0 609 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13568
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24006
/proc/meminfo: memFree=30481124/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
[pid=24005] ppid=24004 vsize=4856 CPUtime=25.49 cores=0,2,4,6
/proc/24005/stat : 24005 (clasp-R5325) R 24004 24004 23256 0 -1 4202496 921 0 0 0 2549 0 0 0 20 0 1 0 282662430 4972544 876 33554432000 4194304 6212839 140733932859280 140733932857432 4661872 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/24005/statm: 1214 876 228 493 0 719 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14008
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24006
/proc/meminfo: memFree=30479760/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
[pid=24005] ppid=24004 vsize=5472 CPUtime=51.08 cores=0,2,4,6
/proc/24005/stat : 24005 (clasp-R5325) R 24004 24004 23256 0 -1 4202496 1079 0 0 0 5108 0 0 0 20 0 1 0 282662430 5603328 1034 33554432000 4194304 6212839 140733932859280 140733932857432 4685814 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/24005/statm: 1368 1034 228 493 0 873 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14624
Solver just ended. Dumping a history of the last processes samples
[startup+57.5002 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 24006
/proc/meminfo: memFree=30479760/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
[pid=24005] ppid=24004 vsize=5472 CPUtime=57.48 cores=0,2,4,6
/proc/24005/stat : 24005 (clasp-R5325) R 24004 24004 23256 0 -1 4202496 1082 0 0 0 5748 0 0 0 20 0 1 0 282662430 5603328 1037 33554432000 4194304 6212839 140733932859280 140733932857432 4737667 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/24005/statm: 1368 1037 228 493 0 873 0
Current children cumulated CPU time (s) 57.48
Current children cumulated vsize (KiB) 14624
[startup+60.7002 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 24006
/proc/meminfo: memFree=30479760/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
[pid=24005] ppid=24004 vsize=5472 CPUtime=60.68 cores=0,2,4,6
/proc/24005/stat : 24005 (clasp-R5325) R 24004 24004 23256 0 -1 4202496 1084 0 0 0 6068 0 0 0 20 0 1 0 282662430 5603328 1039 33554432000 4194304 6212839 140733932859280 140733932857432 4685294 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/24005/statm: 1368 1039 228 493 0 873 0
Current children cumulated CPU time (s) 60.68
Current children cumulated vsize (KiB) 14624
[startup+63.9002 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 24006
/proc/meminfo: memFree=30479140/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
[pid=24005] ppid=24004 vsize=5644 CPUtime=63.88 cores=0,2,4,6
/proc/24005/stat : 24005 (clasp-R5325) R 24004 24004 23256 0 -1 4202496 1106 0 0 0 6388 0 0 0 20 0 1 0 282662430 5779456 1061 33554432000 4194304 6212839 140733932859280 140733932857432 4744606 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/24005/statm: 1411 1061 229 493 0 916 0
Current children cumulated CPU time (s) 63.88
Current children cumulated vsize (KiB) 14796
[startup+64.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 24006
/proc/meminfo: memFree=30479140/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
[pid=24005] ppid=24004 vsize=5644 CPUtime=64.68 cores=0,2,4,6
/proc/24005/stat : 24005 (clasp-R5325) R 24004 24004 23256 0 -1 4202496 1120 0 0 0 6468 0 0 0 20 0 1 0 282662430 5779456 1075 33554432000 4194304 6212839 140733932859280 140733932857432 4685283 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/24005/statm: 1411 1075 229 493 0 916 0
Current children cumulated CPU time (s) 64.68
Current children cumulated vsize (KiB) 14796
[startup+65.1002 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 24006
/proc/meminfo: memFree=30479016/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
[pid=24005] ppid=24004 vsize=5812 CPUtime=65.08 cores=0,2,4,6
/proc/24005/stat : 24005 (clasp-R5325) R 24004 24004 23256 0 -1 4202496 1131 0 0 0 6508 0 0 0 20 0 1 0 282662430 5951488 1086 33554432000 4194304 6212839 140733932859280 140733932857432 4303947 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/24005/statm: 1453 1086 229 493 0 958 0
Current children cumulated CPU time (s) 65.08
Current children cumulated vsize (KiB) 14964
[startup+65.3002 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 24006
/proc/meminfo: memFree=30479016/32873844 swapFree=7388/7388
[pid=24004] ppid=24002 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (clasp-opt.sh) S 24002 24004 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282662430 9371648 275 33554432000 4194304 5064252 140736612953344 140736612952256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 2288 275 232 213 0 73 0
[pid=24005] ppid=24004 vsize=5812 CPUtime=65.28 cores=0,2,4,6
/proc/24005/stat : 24005 (clasp-R5325) R 24004 24004 23256 0 -1 4202496 1132 0 0 0 6528 0 0 0 20 0 1 0 282662430 5951488 1089 33554432000 4194304 6212839 140733932859280 140733932857432 4685321 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/24005/statm: 1453 1089 229 493 0 958 0
Current children cumulated CPU time (s) 65.28
Current children cumulated vsize (KiB) 14964
Child status: 20
Real time (s): 65.4002
CPU time (s): 65.3871
CPU user time (s): 65.3841
CPU system time (s): 0.002999
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 14964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.3841
system time used= 0.002999
maximum resident set size= 4356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1507
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= 6
involuntary context switches= 72
runsolver used 0.092985 second user time and 0.266959 second system time
The end