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-3711400-1338198754/watcher-3711400-1338198754 -o /tmp/evaluation-result-3711400-1338198754/solver-3711400-1338198754 -C 1800 -W 1900 -M 15500 HOME/clasp-wbo.sh HOME/instance-3711400-1338198754.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: 1.94 1.98 1.99 3/179 29199
/proc/meminfo: memFree=29828344/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
[startup+0.042871 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 29199
/proc/meminfo: memFree=29828344/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100236 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 29199
/proc/meminfo: memFree=29828344/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300193 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 29199
/proc/meminfo: memFree=29828344/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700211 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 29199
/proc/meminfo: memFree=29828344/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50025 s]
/proc/loadavg: 1.94 1.98 1.99 3/181 29201
/proc/meminfo: memFree=29827468/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
[pid=29200] ppid=29199 vsize=3500 CPUtime=1.49 cores=1,3,5,7
/proc/29200/stat : 29200 (clasp-R5325) R 29199 29199 27436 0 -1 4202496 613 0 0 0 149 0 0 0 20 0 1 0 286000173 3584000 566 33554432000 4194304 6212839 140736439008096 140736439006504 4739248 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29200/statm: 875 566 244 493 0 380 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12652
[startup+3.10024 s]
/proc/loadavg: 1.94 1.98 1.99 3/181 29201
/proc/meminfo: memFree=29826220/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
[pid=29200] ppid=29199 vsize=3792 CPUtime=3.09 cores=1,3,5,7
/proc/29200/stat : 29200 (clasp-R5325) R 29199 29199 27436 0 -1 4202496 706 0 0 0 309 0 0 0 20 0 1 0 286000173 3883008 659 33554432000 4194304 6212839 140736439008096 140736439006504 4683398 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29200/statm: 948 659 244 493 0 453 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12944
[startup+6.30025 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 29201
/proc/meminfo: memFree=29825848/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
[pid=29200] ppid=29199 vsize=4192 CPUtime=6.29 cores=1,3,5,7
/proc/29200/stat : 29200 (clasp-R5325) R 29199 29199 27436 0 -1 4202496 778 0 0 0 629 0 0 0 20 0 1 0 286000173 4292608 731 33554432000 4194304 6212839 140736439008096 140736439006248 4737496 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29200/statm: 1048 731 244 493 0 553 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13344
[startup+12.7002 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 29201
/proc/meminfo: memFree=29825144/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
[pid=29200] ppid=29199 vsize=4580 CPUtime=12.69 cores=1,3,5,7
/proc/29200/stat : 29200 (clasp-R5325) R 29199 29199 27436 0 -1 4202496 871 0 0 0 1269 0 0 0 20 0 1 0 286000173 4689920 824 33554432000 4194304 6212839 140736439008096 140736439006392 4737280 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29200/statm: 1145 824 244 493 0 650 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13732
[startup+25.5002 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 29201
/proc/meminfo: memFree=29822172/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
[pid=29200] ppid=29199 vsize=4992 CPUtime=25.49 cores=1,3,5,7
/proc/29200/stat : 29200 (clasp-R5325) R 29199 29199 27436 0 -1 4202496 982 0 0 0 2549 0 0 0 20 0 1 0 286000173 5111808 935 33554432000 4194304 6212839 140736439008096 140736439006504 4745352 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29200/statm: 1248 935 244 493 0 753 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14144
Solver just ended. Dumping a history of the last processes samples
[startup+31.9063 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 29201
/proc/meminfo: memFree=29821180/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
[pid=29200] ppid=29199 vsize=4992 CPUtime=31.89 cores=1,3,5,7
/proc/29200/stat : 29200 (clasp-R5325) R 29199 29199 27436 0 -1 4202496 999 0 0 0 3189 0 0 0 20 0 1 0 286000173 5111808 952 33554432000 4194304 6212839 140736439008096 140736439006504 4685352 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29200/statm: 1248 952 244 493 0 753 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 14144
[startup+35.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 29201
/proc/meminfo: memFree=29821180/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
[pid=29200] ppid=29199 vsize=4992 CPUtime=35.09 cores=1,3,5,7
/proc/29200/stat : 29200 (clasp-R5325) R 29199 29199 27436 0 -1 4202496 1000 0 0 0 3509 0 0 0 20 0 1 0 286000173 5111808 953 33554432000 4194304 6212839 140736439008096 140736439006504 4685413 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29200/statm: 1248 953 244 493 0 753 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 14144
[startup+36.7002 s]
/proc/loadavg: 1.97 1.98 1.99 3/180 29201
/proc/meminfo: memFree=29821188/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
[pid=29200] ppid=29199 vsize=4992 CPUtime=36.69 cores=1,3,5,7
/proc/29200/stat : 29200 (clasp-R5325) R 29199 29199 27436 0 -1 4202496 1006 0 0 0 3669 0 0 0 20 0 1 0 286000173 5111808 959 33554432000 4194304 6212839 140736439008096 140736439006504 4358155 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29200/statm: 1248 959 244 493 0 753 0
Current children cumulated CPU time (s) 36.69
Current children cumulated vsize (KiB) 14144
[startup+37.5003 s]
/proc/loadavg: 1.97 1.98 1.99 3/180 29201
/proc/meminfo: memFree=29821064/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
[pid=29200] ppid=29199 vsize=5132 CPUtime=37.49 cores=1,3,5,7
/proc/29200/stat : 29200 (clasp-R5325) R 29199 29199 27436 0 -1 4202496 1032 0 0 0 3749 0 0 0 20 0 1 0 286000173 5255168 985 33554432000 4194304 6212839 140736439008096 140736439006248 4745330 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29200/statm: 1283 985 244 493 0 788 0
Current children cumulated CPU time (s) 37.49
Current children cumulated vsize (KiB) 14284
[startup+37.9003 s]
/proc/loadavg: 1.97 1.98 1.99 3/180 29201
/proc/meminfo: memFree=29821064/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
[pid=29200] ppid=29199 vsize=5132 CPUtime=37.89 cores=1,3,5,7
/proc/29200/stat : 29200 (clasp-R5325) R 29199 29199 27436 0 -1 4202496 1032 0 0 0 3789 0 0 0 20 0 1 0 286000173 5255168 985 33554432000 4194304 6212839 140736439008096 140736439006248 4685352 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29200/statm: 1283 985 244 493 0 788 0
Current children cumulated CPU time (s) 37.89
Current children cumulated vsize (KiB) 14284
[startup+38.0002 s]
/proc/loadavg: 1.97 1.98 1.99 3/180 29201
/proc/meminfo: memFree=29821064/32873844 swapFree=7372/7372
[pid=29199] ppid=29197 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (clasp-wbo.sh) S 29197 29199 27436 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 286000173 9371648 274 33554432000 4194304 5064252 140736556376560 140736556375472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29199/statm: 2288 274 232 213 0 73 0
[pid=29200] ppid=29199 vsize=5132 CPUtime=37.99 cores=1,3,5,7
/proc/29200/stat : 29200 (clasp-R5325) R 29199 29199 27436 0 -1 4202496 1032 0 0 0 3799 0 0 0 20 0 1 0 286000173 5255168 985 33554432000 4194304 6212839 140736439008096 140736439006248 4686042 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29200/statm: 1283 985 244 493 0 788 0
Current children cumulated CPU time (s) 37.99
Current children cumulated vsize (KiB) 14284
Child status: 10
Real time (s): 38.0188
CPU time (s): 38.0122
CPU user time (s): 38.0102
CPU system time (s): 0.001999
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 14284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.0102
system time used= 0.001999
maximum resident set size= 3968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1403
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= 42
runsolver used 0.049992 second user time and 0.160975 second system time
The end