runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453798-1307194218/watcher-3453798-1307194218 -o /tmp/evaluation-result-3453798-1307194218/solver-3453798-1307194218 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453798-1307194218.opb
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.61 3.63 3.79 5/547 10297
/proc/meminfo: memFree=22595656/32951124 swapFree=64303760/67111528
[pid=10297] ppid=10295 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/10297/stat : 10297 (java) S 10295 10297 4512 0 -1 4202496 1834 0 1 0 0 0 0 0 25 0 2 0 811837649 10681323520 1535 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/10297/statm: 2607745 1549 906 9 0 2598901 0
[pid=10297/tid=10298] ppid=10295 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10298/stat : 10298 (java) R 10295 10297 4512 0 -1 4202560 7931 0 1 0 0 0 0 0 25 0 2 0 811837649 10694979584 8748 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0603961 s]
/proc/loadavg: 2.61 3.63 3.79 5/547 10297
/proc/meminfo: memFree=22595656/32951124 swapFree=64303760/67111528
[pid=10297] ppid=10295 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/10297/stat : 10297 (java) S 10295 10297 4512 0 -1 4202496 11686 0 1 0 4 1 0 0 25 0 18 0 811837649 10724274176 11382 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10297/statm: 2618231 11383 1733 9 0 2608972 0
[pid=10297/tid=10298] ppid=10295 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/10297/task/10298/stat : 10298 (java) R 10295 10297 4512 0 -1 4202560 10511 0 1 0 4 1 0 0 25 0 18 0 811837649 10724274176 11384 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 47097099717156 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.100419 s]
/proc/loadavg: 2.61 3.63 3.79 5/547 10297
/proc/meminfo: memFree=22595656/32951124 swapFree=64303760/67111528
[pid=10297] ppid=10295 vsize=10540468 CPUtime=0.1 cores=1,3,5,7
/proc/10297/stat : 10297 (java) S 10295 10297 4512 0 -1 4202496 13149 0 1 0 9 1 0 0 25 0 18 0 811837649 10793439232 12824 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10297/statm: 2635117 12826 2093 9 0 2625851 0
[pid=10297/tid=10298] ppid=10295 vsize=10540468 CPUtime=0.08 cores=1,3,5,7
/proc/10297/task/10298/stat : 10298 (java) R 10295 10297 4512 0 -1 4202560 11208 0 1 0 7 1 0 0 18 0 18 0 811837649 10793439232 12826 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 47097103354707 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540468
[startup+0.300356 s]
/proc/loadavg: 2.61 3.63 3.79 5/547 10297
/proc/meminfo: memFree=22595656/32951124 swapFree=64303760/67111528
[pid=10297] ppid=10295 vsize=10544580 CPUtime=0.17 cores=1,3,5,7
/proc/10297/stat : 10297 (java) S 10295 10297 4512 0 -1 4202496 13714 0 1 0 15 2 0 0 25 0 19 0 811837649 10797649920 13389 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10297/statm: 2636145 13389 2141 9 0 2626879 0
[pid=10297/tid=10298] ppid=10295 vsize=10544580 CPUtime=0.12 cores=1,3,5,7
/proc/10297/task/10298/stat : 10298 (java) S 10295 10297 4512 0 -1 4202560 11557 0 1 0 11 1 0 0 19 0 19 0 811837649 10797649920 13389 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522114048 0 4 0 16800975 18446604462888010752 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10544580
[startup+0.700297 s]
/proc/loadavg: 2.61 3.63 3.79 5/547 10297
/proc/meminfo: memFree=22595656/32951124 swapFree=64303760/67111528
[pid=10297] ppid=10295 vsize=10544580 CPUtime=0.17 cores=1,3,5,7
/proc/10297/stat : 10297 (java) S 10295 10297 4512 0 -1 4202496 13719 0 1 0 15 2 0 0 25 0 19 0 811837649 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10297/statm: 2636145 13394 2141 9 0 2626879 0
[pid=10297/tid=10298] ppid=10295 vsize=10544580 CPUtime=0.12 cores=1,3,5,7
/proc/10297/task/10298/stat : 10298 (java) S 10295 10297 4512 0 -1 4202560 11558 0 1 0 11 1 0 0 16 0 19 0 811837649 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522114048 0 4 0 16800975 18446604462888010752 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10544580
Solver just ended. Dumping a history of the last processes samples
[startup+1.12023 s]
/proc/loadavg: 2.61 3.63 3.79 3/566 10321
/proc/meminfo: memFree=22416944/32951124 swapFree=64303760/67111528
[pid=10297] ppid=10295 vsize=10544580 CPUtime=0.17 cores=1,3,5,7
/proc/10297/stat : 10297 (java) S 10295 10297 4512 0 -1 4202496 13719 0 1 0 15 2 0 0 25 0 19 0 811837649 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10297/statm: 2636145 13394 2141 9 0 2626879 0
[pid=10297/tid=10298] ppid=10295 vsize=10544580 CPUtime=0.12 cores=1,3,5,7
/proc/10297/task/10298/stat : 10298 (java) S 10295 10297 4512 0 -1 4202560 11558 0 1 0 11 1 0 0 16 0 19 0 811837649 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522114048 0 4 0 16800975 18446604462888010752 0 0 -1 1 0 0 0
[pid=10297/tid=10300] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10300/stat : 10300 (java) S 10295 10297 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837651 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522113433 0 4 0 16800975 18446604462888010752 0 0 -1 7 0 0 0
[pid=10297/tid=10301] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10301/stat : 10301 (java) S 10295 10297 4512 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811837651 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522113433 0 4 0 16800975 18446604462888010752 0 0 -1 7 0 0 0
[pid=10297/tid=10302] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10302/stat : 10302 (java) S 10295 10297 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837651 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522113433 0 4 0 16800975 18446604462888010752 0 0 -1 7 0 0 0
[pid=10297/tid=10303] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10303/stat : 10303 (java) S 10295 10297 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837651 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522113433 0 4 0 16800975 18446604462888010752 0 0 -1 7 0 0 0
[pid=10297/tid=10304] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10304/stat : 10304 (java) S 10295 10297 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837651 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522113433 0 4 0 16800975 18446604462888010752 0 0 -1 7 0 0 0
[pid=10297/tid=10305] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10305/stat : 10305 (java) S 10295 10297 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837651 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522113433 0 4 0 16800975 18446604462888010752 0 0 -1 7 0 0 0
[pid=10297/tid=10306] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10306/stat : 10306 (java) S 10295 10297 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837651 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522113433 0 4 0 16800975 18446604462888010752 0 0 -1 7 0 0 0
[pid=10297/tid=10307] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10307/stat : 10307 (java) S 10295 10297 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837651 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522113433 0 4 0 16800975 18446604462888010752 0 0 -1 7 0 0 0
[pid=10297/tid=10308] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10308/stat : 10308 (java) S 10295 10297 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811837652 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522114048 0 0 0 16800975 18446604462888010752 0 0 -1 1 0 0 0
[pid=10297/tid=10309] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10309/stat : 10309 (java) S 10295 10297 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811837652 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522113433 0 4 0 16800975 18446604462888010752 0 0 -1 1 0 0 0
[pid=10297/tid=10310] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10310/stat : 10310 (java) S 10295 10297 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811837652 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522113433 0 4 0 16800975 18446604462888010752 0 0 -1 1 0 0 0
[pid=10297/tid=10311] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10311/stat : 10311 (java) S 10295 10297 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837654 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522121137 0 4 0 16800975 18446604462888010752 0 0 -1 1 0 0 0
[pid=10297/tid=10312] ppid=10295 vsize=10544580 CPUtime=0.01 cores=1,3,5,7
/proc/10297/task/10312/stat : 10312 (java) S 10295 10297 4512 0 -1 4202560 372 0 0 0 1 0 0 0 25 0 19 0 811837654 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522113433 0 4 0 16800975 18446604462888010752 0 0 -1 3 0 0 0
[pid=10297/tid=10313] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10313/stat : 10313 (java) S 10295 10297 4512 0 -1 4202560 497 0 0 0 0 0 0 0 25 0 19 0 811837654 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522113433 0 4 0 16800975 18446604462888010752 0 0 -1 7 0 0 0
[pid=10297/tid=10314] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10314/stat : 10314 (java) S 10295 10297 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837654 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522113433 0 4 0 16800975 18446604462888010752 0 0 -1 1 0 0 0
[pid=10297/tid=10315] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10315/stat : 10315 (java) S 10295 10297 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811837654 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522114048 0 4 0 16800975 18446604462888010752 0 0 -1 7 0 0 0
[pid=10297/tid=10318] ppid=10295 vsize=10544580 CPUtime=0 cores=1,3,5,7
/proc/10297/task/10318/stat : 10318 (java) S 10295 10297 4512 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 811837662 10797649920 13394 33554432000 1073741824 1073778376 140733771922896 18446744073709551615 233522114048 0 4 0 16800975 18446604462888010752 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10544580
Child status: 30
Real time (s): 1.14563
CPU time (s): 0.183971
CPU user time (s): 0.159975
CPU system time (s): 0.023996
CPU usage (%): 16.0585
Max. virtual memory (cumulated for all children) (KiB): 10544580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.159975
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13730
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142
involuntary context switches= 13
runsolver used 0.015997 second user time and 0.023996 second system time
The end