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-3711420-1338194947/watcher-3711420-1338194947 -o /tmp/evaluation-result-3711420-1338194947/solver-3711420-1338194947 -C 1800 -W 1900 -M 15500 HOME/clasp-wbo.sh HOME/instance-3711420-1338194947.wbo
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/175 12164
/proc/meminfo: memFree=31354504/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
[startup+0.048279 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 12164
/proc/meminfo: memFree=31354504/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 12164
/proc/meminfo: memFree=31354504/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 12164
/proc/meminfo: memFree=31354504/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700173 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 12164
/proc/meminfo: memFree=31354504/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/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 4/179 12168
/proc/meminfo: memFree=31338080/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
[pid=12165] ppid=12164 vsize=3788 CPUtime=1.49 cores=0,2,4,6
/proc/12165/stat : 12165 (clasp-R5325) R 12164 12164 12121 0 -1 4202496 673 0 0 0 149 0 0 0 20 0 1 0 285619041 3878912 627 33554432000 4194304 6212839 140734876081552 140734876079560 4298171 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/12165/statm: 947 627 237 493 0 452 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12940
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 12168
/proc/meminfo: memFree=31330360/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
[pid=12165] ppid=12164 vsize=4056 CPUtime=3.09 cores=0,2,4,6
/proc/12165/stat : 12165 (clasp-R5325) R 12164 12164 12121 0 -1 4202496 746 0 0 0 309 0 0 0 20 0 1 0 285619041 4153344 700 33554432000 4194304 6212839 140734876081552 140734876079704 4298129 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/12165/statm: 1014 700 237 493 0 519 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13208
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 12168
/proc/meminfo: memFree=31322052/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
[pid=12165] ppid=12164 vsize=4328 CPUtime=6.29 cores=0,2,4,6
/proc/12165/stat : 12165 (clasp-R5325) R 12164 12164 12121 0 -1 4202496 806 0 0 0 629 0 0 0 20 0 1 0 285619041 4431872 760 33554432000 4194304 6212839 140734876081552 140734876079704 4685294 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/12165/statm: 1082 760 237 493 0 587 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13480
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 12168
/proc/meminfo: memFree=31315428/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
[pid=12165] ppid=12164 vsize=4464 CPUtime=12.69 cores=0,2,4,6
/proc/12165/stat : 12165 (clasp-R5325) R 12164 12164 12121 0 -1 4202496 864 0 0 0 1269 0 0 0 20 0 1 0 285619041 4571136 818 33554432000 4194304 6212839 140734876081552 140734876079960 4298304 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/12165/statm: 1116 818 237 493 0 621 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13616
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 12168
/proc/meminfo: memFree=31305616/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
[pid=12165] ppid=12164 vsize=4728 CPUtime=25.49 cores=0,2,4,6
/proc/12165/stat : 12165 (clasp-R5325) R 12164 12164 12121 0 -1 4202496 902 0 0 0 2549 0 0 0 20 0 1 0 285619041 4841472 856 33554432000 4194304 6212839 140734876081552 140734876079704 4298160 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/12165/statm: 1182 856 237 493 0 687 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13880
Solver just ended. Dumping a history of the last processes samples
[startup+31.9066 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 12168
/proc/meminfo: memFree=31303688/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
[pid=12165] ppid=12164 vsize=4728 CPUtime=31.89 cores=0,2,4,6
/proc/12165/stat : 12165 (clasp-R5325) R 12164 12164 12121 0 -1 4202496 912 0 0 0 3189 0 0 0 20 0 1 0 285619041 4841472 866 33554432000 4194304 6212839 140734876081552 140734876079960 4298317 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/12165/statm: 1182 866 237 493 0 687 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 13880
[startup+35.1002 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 12168
/proc/meminfo: memFree=31302572/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
[pid=12165] ppid=12164 vsize=4728 CPUtime=35.09 cores=0,2,4,6
/proc/12165/stat : 12165 (clasp-R5325) R 12164 12164 12121 0 -1 4202496 926 0 0 0 3509 0 0 0 20 0 1 0 285619041 4841472 880 33554432000 4194304 6212839 140734876081552 140734876079960 4298175 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/12165/statm: 1182 880 237 493 0 687 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 13880
[startup+38.3002 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 12168
/proc/meminfo: memFree=31302324/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
[pid=12165] ppid=12164 vsize=4728 CPUtime=38.29 cores=0,2,4,6
/proc/12165/stat : 12165 (clasp-R5325) R 12164 12164 12121 0 -1 4202496 934 0 0 0 3829 0 0 0 20 0 1 0 285619041 4841472 888 33554432000 4194304 6212839 140734876081552 140734876079960 4737373 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/12165/statm: 1182 888 237 493 0 687 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 13880
[startup+39.9002 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 12168
/proc/meminfo: memFree=31301828/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
[pid=12165] ppid=12164 vsize=4844 CPUtime=39.89 cores=0,2,4,6
/proc/12165/stat : 12165 (clasp-R5325) R 12164 12164 12121 0 -1 4202496 937 0 0 0 3989 0 0 0 20 0 1 0 285619041 4960256 891 33554432000 4194304 6212839 140734876081552 140734876079848 4298307 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/12165/statm: 1211 891 237 493 0 716 0
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (KiB) 13996
[startup+40.7065 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 12168
/proc/meminfo: memFree=31301828/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
[pid=12165] ppid=12164 vsize=4844 CPUtime=40.69 cores=0,2,4,6
/proc/12165/stat : 12165 (clasp-R5325) R 12164 12164 12121 0 -1 4202496 943 0 0 0 4069 0 0 0 20 0 1 0 285619041 4960256 897 33554432000 4194304 6212839 140734876081552 140734876079848 4683066 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/12165/statm: 1211 897 237 493 0 716 0
Current children cumulated CPU time (s) 40.69
Current children cumulated vsize (KiB) 13996
[startup+41.1002 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 12168
/proc/meminfo: memFree=31301828/32873844 swapFree=7632/7632
[pid=12164] ppid=12160 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12164/stat : 12164 (clasp-wbo.sh) S 12160 12164 12121 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285619041 9371648 275 33554432000 4194304 5064252 140737349174240 140737349173152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12164/statm: 2288 275 232 213 0 73 0
[pid=12165] ppid=12164 vsize=4844 CPUtime=41.09 cores=0,2,4,6
/proc/12165/stat : 12165 (clasp-R5325) R 12164 12164 12121 0 -1 4202496 953 0 0 0 4109 0 0 0 20 0 1 0 285619041 4960256 907 33554432000 4194304 6212839 140734876081552 140734876079848 4674504 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/12165/statm: 1211 907 237 493 0 716 0
Current children cumulated CPU time (s) 41.09
Current children cumulated vsize (KiB) 13996
Child status: 10
Real time (s): 41.1516
CPU time (s): 41.1447
CPU user time (s): 41.1417
CPU system time (s): 0.002999
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 14012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.1417
system time used= 0.002999
maximum resident set size= 3660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1325
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= 98
runsolver used 0.06099 second user time and 0.19097 second system time
The end