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-3733895-1338750843/watcher-3733895-1338750843 -o /tmp/evaluation-result-3733895-1338750843/solver-3733895-1338750843 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3733895-1338750843.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.01 2.00 3/194 27949
/proc/meminfo: memFree=25065584/32873648 swapFree=6864/6864
[pid=27949] ppid=27947 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/27949/stat : 27949 (java6) D 27947 27949 26477 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341209717 9515008 183 33554432000 1073741824 1073778376 140734990828720 140734990819752 270707539637 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/27949/statm: 2323 183 140 9 0 71 0
[startup+0.0761291 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 27949
/proc/meminfo: memFree=25065584/32873648 swapFree=6864/6864
[pid=27949] ppid=27947 vsize=2648568 CPUtime=0.04 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27947 27949 26477 0 -1 4202496 3863 0 1 0 4 0 0 0 20 0 18 0 341209717 2712133632 5582 33554432000 1073741824 1073778376 140734532511168 140734532502304 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27949/statm: 662142 5582 1772 9 0 652835 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2648568
[startup+0.100262 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 27949
/proc/meminfo: memFree=25065584/32873648 swapFree=6864/6864
[pid=27949] ppid=27947 vsize=2648568 CPUtime=0.08 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27947 27949 26477 0 -1 4202496 4684 0 1 0 8 0 0 0 20 0 18 0 341209717 2712133632 6402 33554432000 1073741824 1073778376 140734532511168 140734532502304 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27949/statm: 662142 6402 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.300235 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 27949
/proc/meminfo: memFree=25065584/32873648 swapFree=6864/6864
[pid=27949] ppid=27947 vsize=2715132 CPUtime=0.57 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27947 27949 26477 0 -1 4202496 12366 0 1 0 55 2 0 0 20 0 19 0 341209717 2780295168 12623 33554432000 1073741824 1073778376 140734532511168 140734532502304 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27949/statm: 678783 12636 2227 9 0 669476 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 2715132
[startup+0.700258 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 27949
/proc/meminfo: memFree=25065584/32873648 swapFree=6864/6864
[pid=27949] ppid=27947 vsize=2715132 CPUtime=1.46 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27947 27949 26477 0 -1 4202496 13887 0 1 0 143 3 0 0 20 0 19 0 341209717 2780295168 41443 33554432000 1073741824 1073778376 140734532511168 140734532502304 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27949/statm: 678783 41443 2235 9 0 669476 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
[startup+1.10694 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 27968
/proc/meminfo: memFree=24770640/32873648 swapFree=6864/6864
[pid=27949] ppid=27947 vsize=2715132 CPUtime=1.89 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27947 27949 26477 0 -1 4202496 13981 0 1 0 183 6 0 0 20 0 19 0 341209717 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140734532502304 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27949/statm: 678783 87526 2237 9 0 669476 0
[pid=27949/tid=27951] ppid=27947 vsize=2715132 CPUtime=1.07 cores=0,2,4,6
/proc/27949/task/27951/stat : 27951 (java) R 27947 27949 26477 0 -1 4202560 2907 0 1 0 101 6 0 0 20 0 19 0 341209718 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053208644104 140053062557953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27949/tid=27952] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27952/stat : 27952 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053193095592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27953] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27953/stat : 27953 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053192043048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27949/tid=27954] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27954/stat : 27954 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053190989992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27949/tid=27955] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27955/stat : 27955 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053189937448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27949/tid=27956] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27956/stat : 27956 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053188885416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27957] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27957/stat : 27957 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053187832872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27949/tid=27958] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27958/stat : 27958 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053186779816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27949/tid=27959] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27959/stat : 27959 (java) S 27947 27949 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053185727272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27960] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27960/stat : 27960 (java) S 27947 27949 26477 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341209721 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053055506792 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27961] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27961/stat : 27961 (java) S 27947 27949 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341209721 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053054453112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27962] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27962/stat : 27962 (java) S 27947 27949 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341209721 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053053399944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27963] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27963/stat : 27963 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209723 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053052348688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27964] ppid=27947 vsize=2715132 CPUtime=0.38 cores=0,2,4,6
/proc/27949/task/27964/stat : 27964 (java) S 27947 27949 26477 0 -1 4202560 5396 0 0 0 38 0 0 0 20 0 19 0 341209723 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053051296568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27965] ppid=27947 vsize=2715132 CPUtime=0.41 cores=0,2,4,6
/proc/27949/task/27965/stat : 27965 (java) S 27947 27949 26477 0 -1 4202560 4483 0 0 0 41 0 0 0 20 0 19 0 341209723 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053050244024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27949/tid=27966] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27966/stat : 27966 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209723 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053049191160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27949/tid=27967] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27967/stat : 27967 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209723 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140053048138824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27968] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27968/stat : 27968 (java) S 27947 27949 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341209743 2780295168 87526 33554432000 1073741824 1073778376 140734532511168 140052038411304 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 2715132
[startup+1.30073 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 27968
/proc/meminfo: memFree=24770640/32873648 swapFree=6864/6864
[pid=27949] ppid=27947 vsize=2715132 CPUtime=2.11 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27947 27949 26477 0 -1 4202496 14027 0 1 0 204 7 0 0 20 0 19 0 341209717 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140734532502304 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27949/statm: 678783 94718 2251 9 0 669476 0
[pid=27949/tid=27951] ppid=27947 vsize=2715132 CPUtime=1.26 cores=0,2,4,6
/proc/27949/task/27951/stat : 27951 (java) R 27947 27949 26477 0 -1 4202560 2924 0 1 0 120 6 0 0 20 0 19 0 341209718 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053208645000 140053062557880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27949/tid=27952] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27952/stat : 27952 (java) S 27947 27949 26477 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053193095592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27953] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27953/stat : 27953 (java) S 27947 27949 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053192043048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27949/tid=27954] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27954/stat : 27954 (java) S 27947 27949 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053190989992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27949/tid=27955] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27955/stat : 27955 (java) S 27947 27949 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053189937448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27949/tid=27956] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27956/stat : 27956 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053188885416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27957] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27957/stat : 27957 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053187832872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27949/tid=27958] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27958/stat : 27958 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053186779816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27949/tid=27959] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27959/stat : 27959 (java) S 27947 27949 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341209720 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053185727272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27960] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27960/stat : 27960 (java) S 27947 27949 26477 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341209721 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053055506792 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27961] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27961/stat : 27961 (java) S 27947 27949 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341209721 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053054453112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27962] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27962/stat : 27962 (java) S 27947 27949 26477 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341209721 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053053399944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27963] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27963/stat : 27963 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209723 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053052348688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27964] ppid=27947 vsize=2715132 CPUtime=0.38 cores=0,2,4,6
/proc/27949/task/27964/stat : 27964 (java) S 27947 27949 26477 0 -1 4202560 5396 0 0 0 38 0 0 0 20 0 19 0 341209723 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053051296568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27965] ppid=27947 vsize=2715132 CPUtime=0.42 cores=0,2,4,6
/proc/27949/task/27965/stat : 27965 (java) R 27947 27949 26477 0 -1 4202560 4483 0 0 0 42 0 0 0 20 0 19 0 341209723 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053050244024 140053211201568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27949/tid=27966] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27966/stat : 27966 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209723 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053049191160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27949/tid=27967] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27967/stat : 27967 (java) S 27947 27949 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341209723 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140053048138824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27949/tid=27968] ppid=27947 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27968/stat : 27968 (java) S 27947 27949 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341209743 2780295168 94718 33554432000 1073741824 1073778376 140734532511168 140052038411304 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 2715132
Child status: 30
Real time (s): 1.36921
CPU time (s): 2.26266
CPU user time (s): 2.15267
CPU system time (s): 0.109983
CPU usage (%): 165.253
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.15267
system time used= 0.109983
maximum resident set size= 379312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14562
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 320
involuntary context switches= 22
runsolver used 0.007998 second user time and 0.009998 second system time
The end