Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.82 | 1799.37 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975607.opb |
MD5SUM | 4355801cdfe1ea864d19a1c85fc647a0 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.085986 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1221 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node18/43500-1149211458/instance-43500-1149211458.opb 0.20 c reading problem ... 0.31 c ... done. Time 0.108 ms. 0.31 c #vars 169 0.31 c #constraints 101 1799.31 c starts : 6 1799.31 c conflicts : 1756 1799.31 c decisions : 11829 1799.31 c propagations : 47115 1799.31 c inspects : 2548942 1799.31 c learnt literals : 0 1799.31 c learnt binary clauses : 0 1799.31 c learnt ternary clauses : 0 1799.31 c learnt clauses : 1755 1799.31 c root simplifications : 0 1799.31 c removed literals (reason simplification) : 0 1799.31 c reason swapping (by a shorter reason) : 0 1799.31 c Calls to reduceDB : 0 1799.31 c speed (decisions/second) : 6.575319622012229 1799.31 c non guided choices 44 1799.31 s UNKNOWN 1799.31 c Total wall clock time (ms): 1799.111
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-43500-1149211458 -o ROOT/results/node18/solver-43500-1149211458 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node18/43500-1149211458/instance-43500-1149211458.opb 547716130 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.67 0.84 0.87 3/64 25387 /proc/meminfo: memFree=1347680/2055920 swapFree=4180888/4192956 [pid=25387] ppid=25385 vsize=168 CPUtime=0 /proc/25387/stat : 25387 (java) R 25385 25387 25342 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 186808781 172032 23 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 7862925 0 0 4096 0 0 0 0 17 1 0 0 /proc/25387/statm: 54 30 25 14 0 2 0 [startup+10.0027 s] /proc/loadavg: 0.87 0.87 0.88 2/76 25399 /proc/meminfo: memFree=1163800/2055920 swapFree=4180888/4192956 [pid=25387] ppid=25385 vsize=1713436 CPUtime=11.31 /proc/25387/stat : 25387 (java) R 25385 25387 25342 0 -1 0 51829 0 1 0 1109 22 0 0 17 0 13 0 186808781 1754558464 47776 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071579292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25387/statm: 428359 47776 1909 14 0 415106 0 [pid=25387/tid=25388] ppid=25385 vsize=1713436 CPUtime=0.18 /proc/25387/task/25388/stat : 25388 (java) S 25385 25387 25342 0 -1 64 5672 0 0 0 16 2 0 0 16 0 13 0 186808785 1754558464 47776 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25389] ppid=25385 vsize=1713436 CPUtime=0.18 /proc/25387/task/25389/stat : 25389 (java) S 25385 25387 25342 0 -1 64 5061 0 0 0 17 1 0 0 16 0 13 0 186808785 1754558464 47776 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25390] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25390/stat : 25390 (java) S 25385 25387 25342 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186808787 1754558464 47776 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25391] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25391/stat : 25391 (java) S 25385 25387 25342 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 47776 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25392] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25392/stat : 25392 (java) S 25385 25387 25342 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 47776 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25393] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25393/stat : 25393 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186808791 1754558464 47776 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25394] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25394/stat : 25394 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808791 1754558464 47776 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25395] ppid=25385 vsize=1713436 CPUtime=0.77 /proc/25387/task/25395/stat : 25395 (java) S 25385 25387 25342 0 -1 64 2079 0 0 0 77 0 0 0 15 0 13 0 186808791 1754558464 47776 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25396] ppid=25385 vsize=1713436 CPUtime=0.8 /proc/25387/task/25396/stat : 25396 (java) S 25385 25387 25342 0 -1 64 1161 0 0 0 80 0 0 0 15 0 13 0 186808791 1754558464 47776 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25397] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25397/stat : 25397 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186808791 1754558464 47776 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25398] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25398/stat : 25398 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 186808791 1754558464 47776 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25399] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25399/stat : 25399 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 186808813 1754558464 47776 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.31 Current children cumulated vsize (Kb) 1713436 [startup+20.0107 s] /proc/loadavg: 0.89 0.88 0.88 2/76 25399 /proc/meminfo: memFree=1159704/2055920 swapFree=4180888/4192956 [pid=25387] ppid=25385 vsize=1713436 CPUtime=21.33 /proc/25387/stat : 25387 (java) R 25385 25387 25342 0 -1 0 53250 0 1 0 2110 23 0 0 24 0 13 0 186808781 1754558464 48787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071578587 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25387/statm: 428359 48787 1909 14 0 415106 0 [pid=25387/tid=25388] ppid=25385 vsize=1713436 CPUtime=0.2 /proc/25387/task/25388/stat : 25388 (java) S 25385 25387 25342 0 -1 64 6484 0 0 0 18 2 0 0 16 0 13 0 186808785 1754558464 48787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25389] ppid=25385 vsize=1713436 CPUtime=0.19 /proc/25387/task/25389/stat : 25389 (java) S 25385 25387 25342 0 -1 64 5666 0 0 0 18 1 0 0 16 0 13 0 186808785 1754558464 48787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25390] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25390/stat : 25390 (java) S 25385 25387 25342 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186808787 1754558464 48787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25391] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25391/stat : 25391 (java) S 25385 25387 25342 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 48787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25392] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25392/stat : 25392 (java) S 25385 25387 25342 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 48787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25393] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25393/stat : 25393 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186808791 1754558464 48787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25394] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25394/stat : 25394 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808791 1754558464 48787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25395] ppid=25385 vsize=1713436 CPUtime=0.77 /proc/25387/task/25395/stat : 25395 (java) S 25385 25387 25342 0 -1 64 2079 0 0 0 77 0 0 0 15 0 13 0 186808791 1754558464 48787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25396] ppid=25385 vsize=1713436 CPUtime=0.8 /proc/25387/task/25396/stat : 25396 (java) S 25385 25387 25342 0 -1 64 1161 0 0 0 80 0 0 0 15 0 13 0 186808791 1754558464 48787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25397] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25397/stat : 25397 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186808791 1754558464 48787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25398] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25398/stat : 25398 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 186808791 1754558464 48787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25399] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25399/stat : 25399 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 186808813 1754558464 48787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.33 Current children cumulated vsize (Kb) 1713436 [startup+30.0177 s] /proc/loadavg: 0.90 0.88 0.88 2/76 25399 /proc/meminfo: memFree=1157144/2055920 swapFree=4180888/4192956 [pid=25387] ppid=25385 vsize=1713436 CPUtime=31.35 /proc/25387/stat : 25387 (java) R 25385 25387 25342 0 -1 0 54388 0 1 0 3112 23 0 0 25 0 13 0 186808781 1754558464 49392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071375040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25387/statm: 428359 49392 1909 14 0 415106 0 [pid=25387/tid=25388] ppid=25385 vsize=1713436 CPUtime=0.21 /proc/25387/task/25388/stat : 25388 (java) S 25385 25387 25342 0 -1 64 7130 0 0 0 19 2 0 0 16 0 13 0 186808785 1754558464 49392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25389] ppid=25385 vsize=1713436 CPUtime=0.21 /proc/25387/task/25389/stat : 25389 (java) S 25385 25387 25342 0 -1 64 6153 0 0 0 20 1 0 0 16 0 13 0 186808785 1754558464 49392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25390] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25390/stat : 25390 (java) S 25385 25387 25342 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186808787 1754558464 49392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25391] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25391/stat : 25391 (java) S 25385 25387 25342 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 49392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25392] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25392/stat : 25392 (java) S 25385 25387 25342 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 49392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25393] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25393/stat : 25393 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186808791 1754558464 49392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25394] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25394/stat : 25394 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808791 1754558464 49392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25395] ppid=25385 vsize=1713436 CPUtime=0.77 /proc/25387/task/25395/stat : 25395 (java) S 25385 25387 25342 0 -1 64 2079 0 0 0 77 0 0 0 15 0 13 0 186808791 1754558464 49392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25396] ppid=25385 vsize=1713436 CPUtime=0.8 /proc/25387/task/25396/stat : 25396 (java) S 25385 25387 25342 0 -1 64 1161 0 0 0 80 0 0 0 15 0 13 0 186808791 1754558464 49392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25397] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25397/stat : 25397 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186808791 1754558464 49392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25398] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25398/stat : 25398 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 186808791 1754558464 49392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25399] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25399/stat : 25399 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 186808813 1754558464 49392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.35 Current children cumulated vsize (Kb) 1713436 [startup+40.0246 s] /proc/loadavg: 0.92 0.88 0.88 2/76 25399 /proc/meminfo: memFree=1157336/2055920 swapFree=4180888/4192956 [pid=25387] ppid=25385 vsize=1713436 CPUtime=41.38 /proc/25387/stat : 25387 (java) R 25385 25387 25342 0 -1 0 55745 0 1 0 4114 24 0 0 24 0 13 0 186808781 1754558464 49346 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071405752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25387/statm: 428359 49346 1910 14 0 415106 0 [pid=25387/tid=25388] ppid=25385 vsize=1713436 CPUtime=0.24 /proc/25387/task/25388/stat : 25388 (java) S 25385 25387 25342 0 -1 64 7953 0 0 0 21 3 0 0 16 0 13 0 186808785 1754558464 49346 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25389] ppid=25385 vsize=1713436 CPUtime=0.23 /proc/25387/task/25389/stat : 25389 (java) S 25385 25387 25342 0 -1 64 6679 0 0 0 21 2 0 0 16 0 13 0 186808785 1754558464 49346 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25390] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25390/stat : 25390 (java) S 25385 25387 25342 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186808787 1754558464 49346 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25391] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25391/stat : 25391 (java) S 25385 25387 25342 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 49346 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25392] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25392/stat : 25392 (java) S 25385 25387 25342 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 49346 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25393] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25393/stat : 25393 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186808791 1754558464 49346 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25394] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25394/stat : 25394 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808791 1754558464 49346 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25395] ppid=25385 vsize=1713436 CPUtime=0.78 /proc/25387/task/25395/stat : 25395 (java) S 25385 25387 25342 0 -1 64 2079 0 0 0 78 0 0 0 16 0 13 0 186808791 1754558464 49346 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25396] ppid=25385 vsize=1713436 CPUtime=0.8 /proc/25387/task/25396/stat : 25396 (java) S 25385 25387 25342 0 -1 64 1161 0 0 0 80 0 0 0 16 0 13 0 186808791 1754558464 49346 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25397] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25397/stat : 25397 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186808791 1754558464 49346 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25398] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25398/stat : 25398 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 186808791 1754558464 49346 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25399] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25399/stat : 25399 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808813 1754558464 49346 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.38 Current children cumulated vsize (Kb) 1713436 [startup+50.0316 s] /proc/loadavg: 0.93 0.89 0.88 2/76 25399 /proc/meminfo: memFree=1159960/2055920 swapFree=4180888/4192956 [pid=25387] ppid=25385 vsize=1713436 CPUtime=51.43 /proc/25387/stat : 25387 (java) R 25385 25387 25342 0 -1 0 57210 0 1 0 5118 25 0 0 25 0 13 0 186808781 1754558464 48685 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071559012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25387/statm: 428359 48685 1910 14 0 415106 0 [pid=25387/tid=25388] ppid=25385 vsize=1713436 CPUtime=0.27 /proc/25387/task/25388/stat : 25388 (java) S 25385 25387 25342 0 -1 64 8790 0 0 0 24 3 0 0 17 0 13 0 186808785 1754558464 48685 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25389] ppid=25385 vsize=1713436 CPUtime=0.26 /proc/25387/task/25389/stat : 25389 (java) S 25385 25387 25342 0 -1 64 7299 0 0 0 24 2 0 0 16 0 13 0 186808785 1754558464 48685 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25390] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25390/stat : 25390 (java) S 25385 25387 25342 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186808787 1754558464 48685 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25391] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25391/stat : 25391 (java) S 25385 25387 25342 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 48685 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25392] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25392/stat : 25392 (java) S 25385 25387 25342 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 48685 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25393] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25393/stat : 25393 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186808791 1754558464 48685 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25394] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25394/stat : 25394 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808791 1754558464 48685 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25395] ppid=25385 vsize=1713436 CPUtime=0.79 /proc/25387/task/25395/stat : 25395 (java) S 25385 25387 25342 0 -1 64 2079 0 0 0 79 0 0 0 16 0 13 0 186808791 1754558464 48685 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25396] ppid=25385 vsize=1713436 CPUtime=0.8 /proc/25387/task/25396/stat : 25396 (java) S 25385 25387 25342 0 -1 64 1161 0 0 0 80 0 0 0 16 0 13 0 186808791 1754558464 48685 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25397] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25397/stat : 25397 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186808791 1754558464 48685 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25398] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25398/stat : 25398 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 186808791 1754558464 48685 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25399] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25399/stat : 25399 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808813 1754558464 48685 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.43 Current children cumulated vsize (Kb) 1713436 [startup+60.0386 s] /proc/loadavg: 0.94 0.89 0.88 2/76 25399 /proc/meminfo: memFree=1159320/2055920 swapFree=4180888/4192956 [pid=25387] ppid=25385 vsize=1713436 CPUtime=61.44 /proc/25387/stat : 25387 (java) R 25385 25387 25342 0 -1 0 58205 0 1 0 6119 25 0 0 25 0 13 0 186808781 1754558464 48839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071579412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25387/statm: 428359 48839 1910 14 0 415106 0 [pid=25387/tid=25388] ppid=25385 vsize=1713436 CPUtime=0.28 /proc/25387/task/25388/stat : 25388 (java) S 25385 25387 25342 0 -1 64 9296 0 0 0 25 3 0 0 16 0 13 0 186808785 1754558464 48839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25389] ppid=25385 vsize=1713436 CPUtime=0.27 /proc/25387/task/25389/stat : 25389 (java) S 25385 25387 25342 0 -1 64 7785 0 0 0 25 2 0 0 16 0 13 0 186808785 1754558464 48839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25390] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25390/stat : 25390 (java) S 25385 25387 25342 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186808787 1754558464 48839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25391] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25391/stat : 25391 (java) S 25385 25387 25342 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 48839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25392] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25392/stat : 25392 (java) S 25385 25387 25342 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 48839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25393] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25393/stat : 25393 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186808791 1754558464 48839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=25387/tid=25391] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25391/stat : 25391 (java) S 25385 25387 25342 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25392] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25392/stat : 25392 (java) S 25385 25387 25342 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25393] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25393/stat : 25393 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25394] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25394/stat : 25394 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25395] ppid=25385 vsize=1713436 CPUtime=0.79 /proc/25387/task/25395/stat : 25395 (java) S 25385 25387 25342 0 -1 64 2079 0 0 0 79 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25396] ppid=25385 vsize=1713436 CPUtime=0.8 /proc/25387/task/25396/stat : 25396 (java) S 25385 25387 25342 0 -1 64 1161 0 0 0 80 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25397] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25397/stat : 25397 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25398] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25398/stat : 25398 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25399] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25399/stat : 25399 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808813 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (Kb) 1713436 [startup+1796.28 s] /proc/loadavg: 1.00 0.99 0.91 2/76 25401 /proc/meminfo: memFree=1097944/2055920 swapFree=4180888/4192956 [pid=25387] ppid=25385 vsize=1713436 CPUtime=1797.73 /proc/25387/stat : 25387 (java) R 25385 25387 25342 0 -1 0 92327 0 1 0 179720 53 0 0 25 0 13 0 186808781 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071579258 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25387/statm: 428359 63933 1910 14 0 415106 0 [pid=25387/tid=25388] ppid=25385 vsize=1713436 CPUtime=0.77 /proc/25387/task/25388/stat : 25388 (java) S 25385 25387 25342 0 -1 64 26263 0 0 0 64 13 0 0 16 0 13 0 186808785 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25389] ppid=25385 vsize=1713436 CPUtime=0.77 /proc/25387/task/25389/stat : 25389 (java) S 25385 25387 25342 0 -1 64 24800 0 0 0 67 10 0 0 16 0 13 0 186808785 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25390] ppid=25385 vsize=1713436 CPUtime=0.05 /proc/25387/task/25390/stat : 25390 (java) S 25385 25387 25342 0 -1 64 37 0 0 0 2 3 0 0 16 0 13 0 186808787 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25391] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25391/stat : 25391 (java) S 25385 25387 25342 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25392] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25392/stat : 25392 (java) S 25385 25387 25342 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25393] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25393/stat : 25393 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25394] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25394/stat : 25394 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25395] ppid=25385 vsize=1713436 CPUtime=0.79 /proc/25387/task/25395/stat : 25395 (java) S 25385 25387 25342 0 -1 64 2079 0 0 0 79 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25396] ppid=25385 vsize=1713436 CPUtime=0.8 /proc/25387/task/25396/stat : 25396 (java) S 25385 25387 25342 0 -1 64 1161 0 0 0 80 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25397] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25397/stat : 25397 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25398] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25398/stat : 25398 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25399] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25399/stat : 25399 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808813 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (Kb) 1713436 [startup+1797.29 s] /proc/loadavg: 1.00 0.99 0.91 2/76 25401 /proc/meminfo: memFree=1097944/2055920 swapFree=4180888/4192956 [pid=25387] ppid=25385 vsize=1713436 CPUtime=1798.73 /proc/25387/stat : 25387 (java) R 25385 25387 25342 0 -1 0 92327 0 1 0 179820 53 0 0 25 0 13 0 186808781 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071428820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25387/statm: 428359 63933 1910 14 0 415106 0 [pid=25387/tid=25388] ppid=25385 vsize=1713436 CPUtime=0.77 /proc/25387/task/25388/stat : 25388 (java) S 25385 25387 25342 0 -1 64 26263 0 0 0 64 13 0 0 16 0 13 0 186808785 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25389] ppid=25385 vsize=1713436 CPUtime=0.77 /proc/25387/task/25389/stat : 25389 (java) S 25385 25387 25342 0 -1 64 24800 0 0 0 67 10 0 0 16 0 13 0 186808785 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25390] ppid=25385 vsize=1713436 CPUtime=0.05 /proc/25387/task/25390/stat : 25390 (java) S 25385 25387 25342 0 -1 64 37 0 0 0 2 3 0 0 16 0 13 0 186808787 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25391] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25391/stat : 25391 (java) S 25385 25387 25342 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25392] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25392/stat : 25392 (java) S 25385 25387 25342 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25393] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25393/stat : 25393 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25394] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25394/stat : 25394 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25395] ppid=25385 vsize=1713436 CPUtime=0.79 /proc/25387/task/25395/stat : 25395 (java) S 25385 25387 25342 0 -1 64 2079 0 0 0 79 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25396] ppid=25385 vsize=1713436 CPUtime=0.8 /proc/25387/task/25396/stat : 25396 (java) S 25385 25387 25342 0 -1 64 1161 0 0 0 80 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25397] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25397/stat : 25397 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25398] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25398/stat : 25398 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25399] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25399/stat : 25399 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808813 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.73 Current children cumulated vsize (Kb) 1713436 [startup+1798.3 s] /proc/loadavg: 1.00 0.99 0.91 2/76 25401 /proc/meminfo: memFree=1097944/2055920 swapFree=4180888/4192956 [pid=25387] ppid=25385 vsize=1713436 CPUtime=1799.74 /proc/25387/stat : 25387 (java) R 25385 25387 25342 0 -1 0 92327 0 1 0 179921 53 0 0 25 0 13 0 186808781 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071428813 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25387/statm: 428359 63933 1910 14 0 415106 0 [pid=25387/tid=25388] ppid=25385 vsize=1713436 CPUtime=0.77 /proc/25387/task/25388/stat : 25388 (java) S 25385 25387 25342 0 -1 64 26263 0 0 0 64 13 0 0 16 0 13 0 186808785 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25389] ppid=25385 vsize=1713436 CPUtime=0.77 /proc/25387/task/25389/stat : 25389 (java) S 25385 25387 25342 0 -1 64 24800 0 0 0 67 10 0 0 16 0 13 0 186808785 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25390] ppid=25385 vsize=1713436 CPUtime=0.05 /proc/25387/task/25390/stat : 25390 (java) S 25385 25387 25342 0 -1 64 37 0 0 0 2 3 0 0 16 0 13 0 186808787 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25391] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25391/stat : 25391 (java) S 25385 25387 25342 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25392] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25392/stat : 25392 (java) S 25385 25387 25342 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25393] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25393/stat : 25393 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25394] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25394/stat : 25394 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25395] ppid=25385 vsize=1713436 CPUtime=0.79 /proc/25387/task/25395/stat : 25395 (java) S 25385 25387 25342 0 -1 64 2079 0 0 0 79 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25396] ppid=25385 vsize=1713436 CPUtime=0.8 /proc/25387/task/25396/stat : 25396 (java) S 25385 25387 25342 0 -1 64 1161 0 0 0 80 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25397] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25397/stat : 25397 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25398] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25398/stat : 25398 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25399] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25399/stat : 25399 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808813 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.74 Current children cumulated vsize (Kb) 1713436 [startup+1799.3 s] /proc/loadavg: 1.00 0.99 0.91 2/76 25401 /proc/meminfo: memFree=1097944/2055920 swapFree=4180888/4192956 [pid=25387] ppid=25385 vsize=1713436 CPUtime=1800.75 /proc/25387/stat : 25387 (java) R 25385 25387 25342 0 -1 0 92327 0 1 0 180022 53 0 0 25 0 13 0 186808781 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071428730 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25387/statm: 428359 63933 1910 14 0 415106 0 [pid=25387/tid=25388] ppid=25385 vsize=1713436 CPUtime=0.77 /proc/25387/task/25388/stat : 25388 (java) S 25385 25387 25342 0 -1 64 26263 0 0 0 64 13 0 0 16 0 13 0 186808785 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25389] ppid=25385 vsize=1713436 CPUtime=0.77 /proc/25387/task/25389/stat : 25389 (java) S 25385 25387 25342 0 -1 64 24800 0 0 0 67 10 0 0 16 0 13 0 186808785 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25390] ppid=25385 vsize=1713436 CPUtime=0.05 /proc/25387/task/25390/stat : 25390 (java) S 25385 25387 25342 0 -1 64 37 0 0 0 2 3 0 0 16 0 13 0 186808787 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25391] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25391/stat : 25391 (java) S 25385 25387 25342 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25392] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25392/stat : 25392 (java) S 25385 25387 25342 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25393] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25393/stat : 25393 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25394] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25394/stat : 25394 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25395] ppid=25385 vsize=1713436 CPUtime=0.79 /proc/25387/task/25395/stat : 25395 (java) S 25385 25387 25342 0 -1 64 2079 0 0 0 79 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25396] ppid=25385 vsize=1713436 CPUtime=0.8 /proc/25387/task/25396/stat : 25396 (java) S 25385 25387 25342 0 -1 64 1161 0 0 0 80 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25397] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25397/stat : 25397 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25398] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25398/stat : 25398 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25399] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25399/stat : 25399 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808813 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (Kb) 1713436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.31 s] /proc/loadavg: 1.00 0.99 0.91 2/76 25401 /proc/meminfo: memFree=1097944/2055920 swapFree=4180888/4192956 [pid=25387] ppid=25385 vsize=1713436 CPUtime=1800.75 /proc/25387/stat : 25387 (java) R 25385 25387 25342 0 -1 0 92327 0 1 0 180022 53 0 0 25 0 13 0 186808781 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071428856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25387/statm: 428359 63933 1910 14 0 415106 0 [pid=25387/tid=25388] ppid=25385 vsize=1713436 CPUtime=0.77 /proc/25387/task/25388/stat : 25388 (java) S 25385 25387 25342 0 -1 64 26263 0 0 0 64 13 0 0 16 0 13 0 186808785 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25389] ppid=25385 vsize=1713436 CPUtime=0.77 /proc/25387/task/25389/stat : 25389 (java) S 25385 25387 25342 0 -1 64 24800 0 0 0 67 10 0 0 16 0 13 0 186808785 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25390] ppid=25385 vsize=1713436 CPUtime=0.05 /proc/25387/task/25390/stat : 25390 (java) S 25385 25387 25342 0 -1 64 37 0 0 0 2 3 0 0 16 0 13 0 186808787 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25391] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25391/stat : 25391 (java) S 25385 25387 25342 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25392] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25392/stat : 25392 (java) S 25385 25387 25342 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186808788 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25393] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25393/stat : 25393 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25394] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25394/stat : 25394 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25395] ppid=25385 vsize=1713436 CPUtime=0.79 /proc/25387/task/25395/stat : 25395 (java) S 25385 25387 25342 0 -1 64 2079 0 0 0 79 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25396] ppid=25385 vsize=1713436 CPUtime=0.8 /proc/25387/task/25396/stat : 25396 (java) S 25385 25387 25342 0 -1 64 1161 0 0 0 80 0 0 0 16 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25397] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25397/stat : 25397 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25387/tid=25398] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25398/stat : 25398 (java) S 25385 25387 25342 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 186808791 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25387/tid=25399] ppid=25385 vsize=1713436 CPUtime=0 /proc/25387/task/25399/stat : 25399 (java) S 25385 25387 25342 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186808813 1754558464 63933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (Kb) 1713436 Sending SIGTERM to -25387 Sleeping 2 seconds Child status: 143 Real time (s): 1799.37 CPU time (s): 1800.82 CPU user time (s): 1800.25 CPU system time (s): 0.578911 CPU usage (%): 100.081 Max. virtual memory (cumulated for all children) (Kb): 1713436
Begin job on node18 on Fri Jun 2 01:24:18 UTC 2006 FILE ID= 43500-1149211458 PBS_JOBID= 294123 BENCH NAME= ROOT/tmp/node18/43500-1149211458/instance-43500-1149211458.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node18/43500-1149211458/instance-43500-1149211458.opb 547716130 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-43500-1149211458 -o ROOT/results/node18/solver-43500-1149211458 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node18/43500-1149211458/instance-43500-1149211458.opb 547716130 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 4355801cdfe1ea864d19a1c85fc647a0 RANDOM SEED= 547716130 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1347888 kB Buffers: 39744 kB Cached: 591888 kB SwapCached: 3828 kB Active: 250992 kB Inactive: 389416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1347888 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14668 kB Slab: 53596 kB Committed_AS: 214264 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node18 on Fri Jun 2 01:54:18 UTC 2006