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-3711374-1338199367/watcher-3711374-1338199367 -o /tmp/evaluation-result-3711374-1338199367/solver-3711374-1338199367 -C 1800 -W 1900 -M 15500 HOME/clasp-wbo.sh HOME/instance-3711374-1338199367.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.05 2.03 2.00 3/179 30280
/proc/meminfo: memFree=29805152/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
[startup+0.0729291 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 30280
/proc/meminfo: memFree=29805152/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100241 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 30280
/proc/meminfo: memFree=29805152/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300205 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 30280
/proc/meminfo: memFree=29805152/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700204 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 30280
/proc/meminfo: memFree=29805152/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50024 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 30282
/proc/meminfo: memFree=29802920/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
[pid=30281] ppid=30280 vsize=5028 CPUtime=1.49 cores=1,3,5,7
/proc/30281/stat : 30281 (clasp-R5325) R 30280 30280 27436 0 -1 4202496 1006 0 0 0 149 0 0 0 20 0 1 0 286061446 5148672 944 33554432000 4194304 6212839 140735806561536 140735806559544 4737488 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/30281/statm: 1257 944 243 493 0 762 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14180
[startup+3.10024 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 30282
/proc/meminfo: memFree=29801112/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
[pid=30281] ppid=30280 vsize=9092 CPUtime=3.09 cores=1,3,5,7
/proc/30281/stat : 30281 (clasp-R5325) R 30280 30280 27436 0 -1 4202496 2026 0 0 0 309 0 0 0 20 0 1 0 286061446 9310208 1964 33554432000 4194304 6212839 140735806561536 140735806559944 4739537 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/30281/statm: 2273 1964 243 493 0 1778 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18244
[startup+6.30025 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 30282
/proc/meminfo: memFree=29797144/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
[pid=30281] ppid=30280 vsize=10412 CPUtime=6.29 cores=1,3,5,7
/proc/30281/stat : 30281 (clasp-R5325) R 30280 30280 27436 0 -1 4202496 2374 0 0 0 629 0 0 0 20 0 1 0 286061446 10661888 2312 33554432000 4194304 6212839 140735806561536 140735806559704 4662523 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/30281/statm: 2603 2312 243 493 0 2108 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19564
[startup+12.7002 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 30282
/proc/meminfo: memFree=29794176/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
[pid=30281] ppid=30280 vsize=12408 CPUtime=12.68 cores=1,3,5,7
/proc/30281/stat : 30281 (clasp-R5325) R 30280 30280 27436 0 -1 4202496 2966 0 0 0 1268 0 0 0 20 0 1 0 286061446 12705792 2815 33554432000 4194304 6212839 140735806561536 140735806559704 4686042 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/30281/statm: 3102 2815 243 493 0 2607 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21560
[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 30282
/proc/meminfo: memFree=29790524/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
[pid=30281] ppid=30280 vsize=17128 CPUtime=25.48 cores=1,3,5,7
/proc/30281/stat : 30281 (clasp-R5325) R 30280 30280 27436 0 -1 4202496 4141 0 0 0 2548 0 0 0 20 0 1 0 286061446 17539072 3989 33554432000 4194304 6212839 140735806561536 140735806559704 4334731 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/30281/statm: 4282 3989 243 493 0 3787 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26280
Solver just ended. Dumping a history of the last processes samples
[startup+31.9065 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 30282
/proc/meminfo: memFree=29790276/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
[pid=30281] ppid=30280 vsize=16364 CPUtime=31.88 cores=1,3,5,7
/proc/30281/stat : 30281 (clasp-R5325) R 30280 30280 27436 0 -1 4202496 4273 0 0 0 3188 0 0 0 20 0 1 0 286061446 16756736 3804 33554432000 4194304 6212839 140735806561536 140735806559832 4737466 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/30281/statm: 4091 3804 243 493 0 3596 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 25516
[startup+35.1002 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 30282
/proc/meminfo: memFree=29790284/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
[pid=30281] ppid=30280 vsize=16364 CPUtime=35.08 cores=1,3,5,7
/proc/30281/stat : 30281 (clasp-R5325) R 30280 30280 27436 0 -1 4202496 4273 0 0 0 3508 0 0 0 20 0 1 0 286061446 16756736 3804 33554432000 4194304 6212839 140735806561536 140735806559832 4739478 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/30281/statm: 4091 3804 243 493 0 3596 0
Current children cumulated CPU time (s) 35.08
Current children cumulated vsize (KiB) 25516
[startup+38.3002 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 30282
/proc/meminfo: memFree=29790284/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
[pid=30281] ppid=30280 vsize=17368 CPUtime=38.28 cores=1,3,5,7
/proc/30281/stat : 30281 (clasp-R5325) R 30280 30280 27436 0 -1 4202496 4494 0 0 0 3828 0 0 0 20 0 1 0 286061446 17784832 4025 33554432000 4194304 6212839 140735806561536 140735806559704 4686038 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/30281/statm: 4342 4025 243 493 0 3847 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 26520
[startup+39.1003 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 30283
/proc/meminfo: memFree=29790028/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
[pid=30281] ppid=30280 vsize=16804 CPUtime=39.08 cores=1,3,5,7
/proc/30281/stat : 30281 (clasp-R5325) R 30280 30280 27436 0 -1 4202496 4494 0 0 0 3908 0 0 0 20 0 1 0 286061446 17207296 3914 33554432000 4194304 6212839 140735806561536 140735806559704 4745347 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/30281/statm: 4201 3914 243 493 0 3706 0
Current children cumulated CPU time (s) 39.08
Current children cumulated vsize (KiB) 25956
[startup+39.9002 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 30283
/proc/meminfo: memFree=29790028/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
[pid=30281] ppid=30280 vsize=15540 CPUtime=39.87 cores=1,3,5,7
/proc/30281/stat : 30281 (clasp-R5325) R 30280 30280 27436 0 -1 4202496 4494 0 0 0 3987 0 0 0 20 0 1 0 286061446 15912960 3598 33554432000 4194304 6212839 140735806561536 140735806559832 4300610 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/30281/statm: 3885 3598 243 493 0 3390 0
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (KiB) 24692
[startup+40.1002 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 30283
/proc/meminfo: memFree=29790028/32873844 swapFree=7372/7372
[pid=30280] ppid=30278 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (clasp-wbo.sh) S 30278 30280 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286061446 9371648 275 33554432000 4194304 5064252 140734732362816 140734732361728 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2288 275 232 213 0 73 0
[pid=30281] ppid=30280 vsize=15540 CPUtime=40.07 cores=1,3,5,7
/proc/30281/stat : 30281 (clasp-R5325) R 30280 30280 27436 0 -1 4202496 4494 0 0 0 4007 0 0 0 20 0 1 0 286061446 15912960 3598 33554432000 4194304 6212839 140735806561536 140735806559832 4737452 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/30281/statm: 3885 3598 243 493 0 3390 0
Current children cumulated CPU time (s) 40.07
Current children cumulated vsize (KiB) 24692
Child status: 10
Real time (s): 40.1627
CPU time (s): 40.1519
CPU user time (s): 40.1429
CPU system time (s): 0.008998
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 26788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.1429
system time used= 0.008998
maximum resident set size= 16484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4866
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= 10
involuntary context switches= 42
runsolver used 0.076988 second user time and 0.175973 second system time
The end