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-3733640-1338715519/watcher-3733640-1338715519 -o /tmp/evaluation-result-3733640-1338715519/solver-3733640-1338715519 -C 1800 -W 1900 -M 15500 pbclasp instance-3733640-1338715519.opb HOME/temp
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: 1.18 0.92 0.73 4/181 3917
/proc/meminfo: memFree=27636680/32873844 swapFree=7112/7112
[pid=3917] ppid=3915 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3917/stat : 3917 (pbclasp) D 3915 3917 2078 0 -1 4202496 432 0 0 0 0 0 0 0 20 0 1 0 337677259 26071040 362 33554432000 4194304 4198148 140735752003488 140735752000936 273589026485 0 0 4224 0 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/3917/statm: 6365 362 277 1 0 160 0
[startup+0.0445759 s]
/proc/loadavg: 1.18 0.92 0.73 4/181 3917
/proc/meminfo: memFree=27636680/32873844 swapFree=7112/7112
[pid=3917] ppid=3915 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/3917/stat : 3917 (pbclasp) S 3915 3917 2078 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 337677259 26492928 542 33554432000 4194304 4198148 140735752003488 140735752002376 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3917/statm: 6468 542 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.100276 s]
/proc/loadavg: 1.18 0.92 0.73 4/181 3917
/proc/meminfo: memFree=27636680/32873844 swapFree=7112/7112
[pid=3917] ppid=3915 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/3917/stat : 3917 (pbclasp) S 3915 3917 2078 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 337677259 26492928 542 33554432000 4194304 4198148 140735752003488 140735752002376 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3917/statm: 6468 542 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.300241 s]
/proc/loadavg: 1.18 0.92 0.73 4/181 3917
/proc/meminfo: memFree=27636680/32873844 swapFree=7112/7112
[pid=3917] ppid=3915 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/3917/stat : 3917 (pbclasp) S 3915 3917 2078 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 337677259 26492928 542 33554432000 4194304 4198148 140735752003488 140735752002376 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3917/statm: 6468 542 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.700239 s]
/proc/loadavg: 1.18 0.92 0.73 4/181 3917
/proc/meminfo: memFree=27636680/32873844 swapFree=7112/7112
[pid=3917] ppid=3915 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/3917/stat : 3917 (pbclasp) S 3915 3917 2078 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 337677259 26492928 542 33554432000 4194304 4198148 140735752003488 140735752002376 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3917/statm: 6468 542 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+1.50028 s]
/proc/loadavg: 1.18 0.92 0.73 3/185 4394
/proc/meminfo: memFree=27627108/32873844 swapFree=7112/7112
[pid=3917] ppid=3915 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/3917/stat : 3917 (pbclasp) S 3915 3917 2078 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 337677259 26492928 542 33554432000 4194304 4198148 140735752003488 140735752002376 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3917/statm: 6468 542 363 1 0 263 0
[pid=3924] ppid=3917 vsize=9148 CPUtime=0.08 cores=0,2,4,6
/proc/3924/stat : 3924 (sh) S 3917 3917 2078 0 -1 4202496 371 620 0 0 0 0 8 0 20 0 1 0 337677260 9367552 263 33554432000 4194304 5064252 140734126006816 140734126005072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 263 223 213 0 72 0
[pid=3927] ppid=3924 vsize=13952 CPUtime=1.4 cores=0,2,4,6
/proc/3927/stat : 3927 (clasp-1.0) R 3924 3917 2078 0 -1 4202496 3070 0 0 0 140 0 0 0 20 0 1 0 337677261 14286848 2979 33554432000 134512640 134847168 4289122064 4289120704 134782437 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3927/statm: 3488 2979 272 82 0 2729 0
[pid=3928] ppid=3924 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3928/stat : 3928 (pboutclasp.pl) S 3924 3917 2078 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337677261 26071040 437 33554432000 4194304 4198148 140733427427008 140733427417544 273592411376 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/3928/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 74432
[startup+3.10036 s]
/proc/loadavg: 1.18 0.92 0.73 3/185 4842
/proc/meminfo: memFree=27621052/32873844 swapFree=7112/7112
[pid=3917] ppid=3915 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/3917/stat : 3917 (pbclasp) S 3915 3917 2078 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 337677259 26492928 542 33554432000 4194304 4198148 140735752003488 140735752002376 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3917/statm: 6468 542 363 1 0 263 0
[pid=3924] ppid=3917 vsize=9148 CPUtime=0.08 cores=0,2,4,6
/proc/3924/stat : 3924 (sh) S 3917 3917 2078 0 -1 4202496 371 620 0 0 0 0 8 0 20 0 1 0 337677260 9367552 263 33554432000 4194304 5064252 140734126006816 140734126005072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 263 223 213 0 72 0
[pid=3927] ppid=3924 vsize=18632 CPUtime=3 cores=0,2,4,6
/proc/3927/stat : 3927 (clasp-1.0) R 3924 3917 2078 0 -1 4202496 4236 0 0 0 300 0 0 0 20 0 1 0 337677261 19079168 4145 33554432000 134512640 134847168 4289122064 4289120804 134737633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3927/statm: 4658 4145 272 82 0 3899 0
[pid=3928] ppid=3924 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3928/stat : 3928 (pboutclasp.pl) S 3924 3917 2078 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337677261 26071040 437 33554432000 4194304 4198148 140733427427008 140733427417544 273592411376 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/3928/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 79112
[startup+6.30037 s]
/proc/loadavg: 1.16 0.92 0.73 3/183 6425
/proc/meminfo: memFree=27614984/32873844 swapFree=7112/7112
[pid=3917] ppid=3915 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/3917/stat : 3917 (pbclasp) S 3915 3917 2078 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 337677259 26492928 542 33554432000 4194304 4198148 140735752003488 140735752002376 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3917/statm: 6468 542 363 1 0 263 0
[pid=3924] ppid=3917 vsize=9148 CPUtime=0.08 cores=0,2,4,6
/proc/3924/stat : 3924 (sh) S 3917 3917 2078 0 -1 4202496 371 620 0 0 0 0 8 0 20 0 1 0 337677260 9367552 263 33554432000 4194304 5064252 140734126006816 140734126005072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 263 223 213 0 72 0
[pid=3927] ppid=3924 vsize=24964 CPUtime=6.19 cores=0,2,4,6
/proc/3927/stat : 3927 (clasp-1.0) R 3924 3917 2078 0 -1 4202496 5822 0 0 0 619 0 0 0 20 0 1 0 337677261 25563136 5731 33554432000 134512640 134847168 4289122064 4289120640 134714254 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3927/statm: 6241 5731 272 82 0 5482 0
[pid=3928] ppid=3924 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3928/stat : 3928 (pboutclasp.pl) S 3924 3917 2078 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337677261 26071040 437 33554432000 4194304 4198148 140733427427008 140733427417544 273592411376 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/3928/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 85444
Solver just ended. Dumping a history of the last processes samples
[startup+7.10049 s]
/proc/loadavg: 1.16 0.92 0.73 3/184 6949
/proc/meminfo: memFree=27613728/32873844 swapFree=7112/7112
[pid=3917] ppid=3915 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/3917/stat : 3917 (pbclasp) S 3915 3917 2078 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 337677259 26492928 542 33554432000 4194304 4198148 140735752003488 140735752002376 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3917/statm: 6468 542 363 1 0 263 0
[pid=3924] ppid=3917 vsize=9148 CPUtime=0.08 cores=0,2,4,6
/proc/3924/stat : 3924 (sh) S 3917 3917 2078 0 -1 4202496 371 620 0 0 0 0 8 0 20 0 1 0 337677260 9367552 263 33554432000 4194304 5064252 140734126006816 140734126005072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 263 223 213 0 72 0
[pid=3927] ppid=3924 vsize=25876 CPUtime=7 cores=0,2,4,6
/proc/3927/stat : 3927 (clasp-1.0) R 3924 3917 2078 0 -1 4202496 6049 0 0 0 699 1 0 0 20 0 1 0 337677261 26497024 5958 33554432000 134512640 134847168 4289122064 4289120908 134740921 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3927/statm: 6469 5958 272 82 0 5710 0
[pid=3928] ppid=3924 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3928/stat : 3928 (pboutclasp.pl) S 3924 3917 2078 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337677261 26071040 437 33554432000 4194304 4198148 140733427427008 140733427417544 273592411376 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/3928/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 86356
[startup+7.90038 s]
/proc/loadavg: 1.16 0.92 0.73 3/182 7373
/proc/meminfo: memFree=27609212/32873844 swapFree=7112/7112
[pid=3917] ppid=3915 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/3917/stat : 3917 (pbclasp) S 3915 3917 2078 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 337677259 26492928 542 33554432000 4194304 4198148 140735752003488 140735752002376 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3917/statm: 6468 542 363 1 0 263 0
[pid=3924] ppid=3917 vsize=9148 CPUtime=0.08 cores=0,2,4,6
/proc/3924/stat : 3924 (sh) S 3917 3917 2078 0 -1 4202496 371 620 0 0 0 0 8 0 20 0 1 0 337677260 9367552 263 33554432000 4194304 5064252 140734126006816 140734126005072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 263 223 213 0 72 0
[pid=3927] ppid=3924 vsize=27436 CPUtime=7.8 cores=0,2,4,6
/proc/3927/stat : 3927 (clasp-1.0) R 3924 3917 2078 0 -1 4202496 6411 0 0 0 779 1 0 0 20 0 1 0 337677261 28094464 6320 33554432000 134512640 134847168 4289122064 4289120704 134782435 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3927/statm: 6859 6320 272 82 0 6100 0
[pid=3928] ppid=3924 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3928/stat : 3928 (pboutclasp.pl) S 3924 3917 2078 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337677261 26071040 437 33554432000 4194304 4198148 140733427427008 140733427417544 273592411376 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/3928/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (KiB) 87916
[startup+8.30037 s]
/proc/loadavg: 1.16 0.92 0.73 3/182 7373
/proc/meminfo: memFree=27609212/32873844 swapFree=7112/7112
[pid=3917] ppid=3915 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/3917/stat : 3917 (pbclasp) S 3915 3917 2078 0 -1 4202496 630 0 0 0 0 0 0 0 20 0 1 0 337677259 26492928 542 33554432000 4194304 4198148 140735752003488 140735752002376 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3917/statm: 6468 542 363 1 0 263 0
[pid=3924] ppid=3917 vsize=9148 CPUtime=0.08 cores=0,2,4,6
/proc/3924/stat : 3924 (sh) S 3917 3917 2078 0 -1 4202496 371 620 0 0 0 0 8 0 20 0 1 0 337677260 9367552 263 33554432000 4194304 5064252 140734126006816 140734126005072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 263 223 213 0 72 0
[pid=3927] ppid=3924 vsize=27436 CPUtime=8.2 cores=0,2,4,6
/proc/3927/stat : 3927 (clasp-1.0) R 3924 3917 2078 0 -1 4202496 6413 0 0 0 819 1 0 0 20 0 1 0 337677261 28094464 6322 33554432000 134512640 134847168 4289122064 4289120704 134782439 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3927/statm: 6859 6322 272 82 0 6100 0
[pid=3928] ppid=3924 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3928/stat : 3928 (pboutclasp.pl) S 3924 3917 2078 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337677261 26071040 437 33554432000 4194304 4198148 140733427427008 140733427417544 273592411376 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/3928/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 8.28
Current children cumulated vsize (KiB) 87916
Child status: 0
Real time (s): 8.31163
CPU time (s): 8.31874
CPU user time (s): 8.29374
CPU system time (s): 0.024996
CPU usage (%): 100.086
Max. virtual memory (cumulated for all children) (KiB): 87916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.29374
system time used= 0.024996
maximum resident set size= 25288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71
involuntary context switches= 17
runsolver used 0.029995 second user time and 0.081987 second system time
The end