Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.72 | 1796.4 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-45-40.opb |
MD5SUM | 2149498a764a37bf6db991eef5859a95 |
Bench Category | SATUNSAT-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1800 |
Total number of constraints | 39645 |
Number of constraints which are clauses | 39645 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 40 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 41 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 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/node52/46388-1154060370/instance-46388-1154060370.opb 0.20 c reading problem ... 3.41 c ... done. Time 3.211 ms. 3.41 c #vars 1800 3.41 c #constraints 39645 1796.28 c starts : 18 1796.28 c conflicts : 234445 1796.28 c decisions : 275895 1796.28 c propagations : 6067857 1796.28 c inspects : 711198637 1796.28 c learnt literals : 0 1796.28 c learnt binary clauses : 0 1796.28 c learnt ternary clauses : 0 1796.28 c learnt clauses : 234445 1796.28 c root simplifications : 0 1796.28 c removed literals (reason simplification) : 0 1796.28 c reason swapping (by a shorter reason) : 0 1796.28 c Calls to reduceDB : 0 1796.28 c speed (decisions/second) : 153.88554074065812 1796.28 c non guided choices 906 1796.28 s UNKNOWN 1796.28 c Total wall clock time (ms): 1796.082
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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node52/watcher-46388-1154060370 -o ROOT/results/node52/solver-46388-1154060370 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node52/46388-1154060370/instance-46388-1154060370.opb 918125684 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.99 2/64 8412 /proc/meminfo: memFree=839912/2055920 swapFree=4183112/4192956 [pid=8412] ppid=8410 vsize=1784 CPUtime=0 /proc/8412/stat : 8412 (java) R 8410 8412 8363 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 152907568 1826816 146 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/8412/statm: 446 146 111 14 0 91 0 [startup+10.0015 s] /proc/loadavg: 1.00 0.99 0.99 2/76 8424 /proc/meminfo: memFree=690384/2055920 swapFree=4183112/4192956 [pid=8412] ppid=8410 vsize=1711208 CPUtime=10.78 /proc/8412/stat : 8412 (java) R 8410 8412 8363 0 -1 0 40441 0 1 0 1058 20 0 0 25 0 13 0 152907568 1752276992 39118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071497085 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8412/statm: 427802 39118 1901 14 0 414549 0 [pid=8412/tid=8413] ppid=8410 vsize=1711208 CPUtime=0.07 /proc/8412/task/8413/stat : 8413 (java) S 8410 8412 8363 0 -1 64 1423 0 0 0 7 0 0 0 16 0 13 0 152907571 1752276992 39118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8414] ppid=8410 vsize=1711208 CPUtime=0.07 /proc/8412/task/8414/stat : 8414 (java) S 8410 8412 8363 0 -1 64 1199 0 0 0 7 0 0 0 16 0 13 0 152907571 1752276992 39118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8415] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8415/stat : 8415 (java) S 8410 8412 8363 0 -1 64 31 0 0 0 0 0 0 0 17 0 13 0 152907574 1752276992 39118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8416] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8416/stat : 8416 (java) S 8410 8412 8363 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 39118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8417] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8417/stat : 8417 (java) S 8410 8412 8363 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 39118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8418] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8418/stat : 8418 (java) S 8410 8412 8363 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152907577 1752276992 39118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8419] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8419/stat : 8419 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152907578 1752276992 39118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8420] ppid=8410 vsize=1711208 CPUtime=0.48 /proc/8412/task/8420/stat : 8420 (java) S 8410 8412 8363 0 -1 64 572 0 0 0 48 0 0 0 16 0 13 0 152907578 1752276992 39118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8421] ppid=8410 vsize=1711208 CPUtime=0.52 /proc/8412/task/8421/stat : 8421 (java) S 8410 8412 8363 0 -1 64 676 0 0 0 52 0 0 0 17 0 13 0 152907578 1752276992 39118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8422] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8422/stat : 8422 (java) S 8410 8412 8363 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152907578 1752276992 39118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8423] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8423/stat : 8423 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152907578 1752276992 39118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8424] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8424/stat : 8424 (java) S 8410 8412 8363 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 152907910 1752276992 39118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 10.78 Current children cumulated vsize (Kb) 1711208 [startup+20.0082 s] /proc/loadavg: 1.00 0.99 0.99 2/76 8424 /proc/meminfo: memFree=654608/2055920 swapFree=4183112/4192956 [pid=8412] ppid=8410 vsize=1711208 CPUtime=20.82 /proc/8412/stat : 8412 (java) R 8410 8412 8363 0 -1 0 49523 0 1 0 2058 24 0 0 25 0 13 0 152907568 1752276992 48121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071496745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8412/statm: 427802 48121 1901 14 0 414549 0 [pid=8412/tid=8413] ppid=8410 vsize=1711208 CPUtime=0.11 /proc/8412/task/8413/stat : 8413 (java) S 8410 8412 8363 0 -1 64 3348 0 0 0 10 1 0 0 16 0 13 0 152907571 1752276992 48121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8414] ppid=8410 vsize=1711208 CPUtime=0.11 /proc/8412/task/8414/stat : 8414 (java) S 8410 8412 8363 0 -1 64 3157 0 0 0 9 2 0 0 16 0 13 0 152907571 1752276992 48121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8415] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8415/stat : 8415 (java) S 8410 8412 8363 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 48121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8416] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8416/stat : 8416 (java) S 8410 8412 8363 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 48121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8417] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8417/stat : 8417 (java) S 8410 8412 8363 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 48121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8418] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8418/stat : 8418 (java) S 8410 8412 8363 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152907577 1752276992 48121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8419] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8419/stat : 8419 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152907578 1752276992 48121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8420] ppid=8410 vsize=1711208 CPUtime=0.48 /proc/8412/task/8420/stat : 8420 (java) S 8410 8412 8363 0 -1 64 572 0 0 0 48 0 0 0 17 0 13 0 152907578 1752276992 48121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8421] ppid=8410 vsize=1711208 CPUtime=0.52 /proc/8412/task/8421/stat : 8421 (java) S 8410 8412 8363 0 -1 64 676 0 0 0 52 0 0 0 17 0 13 0 152907578 1752276992 48121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8422] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8422/stat : 8422 (java) S 8410 8412 8363 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152907578 1752276992 48121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8423] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8423/stat : 8423 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152907578 1752276992 48121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8424] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8424/stat : 8424 (java) S 8410 8412 8363 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 152907910 1752276992 48121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 20.82 Current children cumulated vsize (Kb) 1711208 [startup+30.0149 s] /proc/loadavg: 1.00 0.99 0.99 2/76 8424 /proc/meminfo: memFree=650000/2055920 swapFree=4183112/4192956 [pid=8412] ppid=8410 vsize=1711208 CPUtime=30.84 /proc/8412/stat : 8412 (java) R 8410 8412 8363 0 -1 0 51175 0 1 0 3059 25 0 0 25 0 13 0 152907568 1752276992 49228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071379417 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8412/statm: 427802 49228 1901 14 0 414549 0 [pid=8412/tid=8413] ppid=8410 vsize=1711208 CPUtime=0.13 /proc/8412/task/8413/stat : 8413 (java) S 8410 8412 8363 0 -1 64 4322 0 0 0 11 2 0 0 16 0 13 0 152907571 1752276992 49228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8414] ppid=8410 vsize=1711208 CPUtime=0.12 /proc/8412/task/8414/stat : 8414 (java) S 8410 8412 8363 0 -1 64 3832 0 0 0 10 2 0 0 16 0 13 0 152907571 1752276992 49228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8415] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8415/stat : 8415 (java) S 8410 8412 8363 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 49228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8416] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8416/stat : 8416 (java) S 8410 8412 8363 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 49228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8417] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8417/stat : 8417 (java) S 8410 8412 8363 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 49228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8418] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8418/stat : 8418 (java) S 8410 8412 8363 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152907577 1752276992 49228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8419] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8419/stat : 8419 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152907578 1752276992 49228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8420] ppid=8410 vsize=1711208 CPUtime=0.48 /proc/8412/task/8420/stat : 8420 (java) S 8410 8412 8363 0 -1 64 572 0 0 0 48 0 0 0 17 0 13 0 152907578 1752276992 49228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8421] ppid=8410 vsize=1711208 CPUtime=0.52 /proc/8412/task/8421/stat : 8421 (java) S 8410 8412 8363 0 -1 64 676 0 0 0 52 0 0 0 16 0 13 0 152907578 1752276992 49228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8422] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8422/stat : 8422 (java) S 8410 8412 8363 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152907578 1752276992 49228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8423] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8423/stat : 8423 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152907578 1752276992 49228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8424] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8424/stat : 8424 (java) S 8410 8412 8363 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 152907910 1752276992 49228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.84 Current children cumulated vsize (Kb) 1711208 [startup+40.0216 s] /proc/loadavg: 1.00 0.99 0.99 2/76 8424 /proc/meminfo: memFree=646864/2055920 swapFree=4183112/4192956 [pid=8412] ppid=8410 vsize=1711208 CPUtime=40.86 /proc/8412/stat : 8412 (java) R 8410 8412 8363 0 -1 0 52707 0 1 0 4061 25 0 0 25 0 13 0 152907568 1752276992 50007 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071495065 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8412/statm: 427802 50007 1901 14 0 414549 0 [pid=8412/tid=8413] ppid=8410 vsize=1711208 CPUtime=0.14 /proc/8412/task/8413/stat : 8413 (java) S 8410 8412 8363 0 -1 64 4991 0 0 0 12 2 0 0 16 0 13 0 152907571 1752276992 50007 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8414] ppid=8410 vsize=1711208 CPUtime=0.13 /proc/8412/task/8414/stat : 8414 (java) S 8410 8412 8363 0 -1 64 4688 0 0 0 11 2 0 0 16 0 13 0 152907571 1752276992 50007 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8415] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8415/stat : 8415 (java) S 8410 8412 8363 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 50007 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8416] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8416/stat : 8416 (java) S 8410 8412 8363 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 50007 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8417] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8417/stat : 8417 (java) S 8410 8412 8363 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 50007 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8418] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8418/stat : 8418 (java) S 8410 8412 8363 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152907577 1752276992 50007 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8419] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8419/stat : 8419 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152907578 1752276992 50007 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8420] ppid=8410 vsize=1711208 CPUtime=0.5 /proc/8412/task/8420/stat : 8420 (java) S 8410 8412 8363 0 -1 64 574 0 0 0 50 0 0 0 16 0 13 0 152907578 1752276992 50007 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8421] ppid=8410 vsize=1711208 CPUtime=0.54 /proc/8412/task/8421/stat : 8421 (java) S 8410 8412 8363 0 -1 64 677 0 0 0 54 0 0 0 16 0 13 0 152907578 1752276992 50007 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8422] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8422/stat : 8422 (java) S 8410 8412 8363 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152907578 1752276992 50007 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8423] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8423/stat : 8423 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152907578 1752276992 50007 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8424] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8424/stat : 8424 (java) S 8410 8412 8363 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152907910 1752276992 50007 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 40.86 Current children cumulated vsize (Kb) 1711208 [startup+50.0293 s] /proc/loadavg: 1.00 0.99 0.99 2/76 8424 /proc/meminfo: memFree=645840/2055920 swapFree=4183112/4192956 [pid=8412] ppid=8410 vsize=1711208 CPUtime=50.88 /proc/8412/stat : 8412 (java) R 8410 8412 8363 0 -1 0 53653 0 1 0 5062 26 0 0 25 0 13 0 152907568 1752276992 50272 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071517174 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8412/statm: 427802 50272 1901 14 0 414549 0 [pid=8412/tid=8413] ppid=8410 vsize=1711208 CPUtime=0.15 /proc/8412/task/8413/stat : 8413 (java) S 8410 8412 8363 0 -1 64 5605 0 0 0 13 2 0 0 16 0 13 0 152907571 1752276992 50272 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8414] ppid=8410 vsize=1711208 CPUtime=0.15 /proc/8412/task/8414/stat : 8414 (java) S 8410 8412 8363 0 -1 64 5016 0 0 0 12 3 0 0 16 0 13 0 152907571 1752276992 50272 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8415] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8415/stat : 8415 (java) S 8410 8412 8363 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 50272 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8416] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8416/stat : 8416 (java) S 8410 8412 8363 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 50272 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8417] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8417/stat : 8417 (java) S 8410 8412 8363 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 50272 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8418] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8418/stat : 8418 (java) S 8410 8412 8363 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152907577 1752276992 50272 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8419] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8419/stat : 8419 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152907578 1752276992 50272 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8420] ppid=8410 vsize=1711208 CPUtime=0.5 /proc/8412/task/8420/stat : 8420 (java) S 8410 8412 8363 0 -1 64 574 0 0 0 50 0 0 0 16 0 13 0 152907578 1752276992 50272 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8421] ppid=8410 vsize=1711208 CPUtime=0.54 /proc/8412/task/8421/stat : 8421 (java) S 8410 8412 8363 0 -1 64 677 0 0 0 54 0 0 0 16 0 13 0 152907578 1752276992 50272 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8422] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8422/stat : 8422 (java) S 8410 8412 8363 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152907578 1752276992 50272 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8423] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8423/stat : 8423 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152907578 1752276992 50272 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8424] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8424/stat : 8424 (java) S 8410 8412 8363 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152907910 1752276992 50272 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.88 Current children cumulated vsize (Kb) 1711208 [startup+60.036 s] /proc/loadavg: 1.00 0.99 0.99 2/76 8424 /proc/meminfo: memFree=646352/2055920 swapFree=4183112/4192956 [pid=8412] ppid=8410 vsize=1711208 CPUtime=60.89 /proc/8412/stat : 8412 (java) R 8410 8412 8363 0 -1 0 54108 0 1 0 6063 26 0 0 18 0 13 0 152907568 1752276992 50140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071495105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8412/statm: 427802 50140 1901 14 0 414549 0 [pid=8412/tid=8413] ppid=8410 vsize=1711208 CPUtime=0.16 /proc/8412/task/8413/stat : 8413 (java) S 8410 8412 8363 0 -1 64 5775 0 0 0 14 2 0 0 16 0 13 0 152907571 1752276992 50140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8414] ppid=8410 vsize=1711208 CPUtime=0.16 /proc/8412/task/8414/stat : 8414 (java) S 8410 8412 8363 0 -1 64 5299 0 0 0 13 3 0 0 16 0 13 0 152907571 1752276992 50140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8415] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8415/stat : 8415 (java) S 8410 8412 8363 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 50140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8416] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8416/stat : 8416 (java) S 8410 8412 8363 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 50140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8417] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8417/stat : 8417 (java) S 8410 8412 8363 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 50140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8418] ppid=8410 vsize=1711208 CPUtime=0 ################ # More data... # ################ /proc/8412/task/8416/stat : 8416 (java) S 8410 8412 8363 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8417] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8417/stat : 8417 (java) S 8410 8412 8363 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8418] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8418/stat : 8418 (java) S 8410 8412 8363 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152907577 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8419] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8419/stat : 8419 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8420] ppid=8410 vsize=1711208 CPUtime=0.51 /proc/8412/task/8420/stat : 8420 (java) S 8410 8412 8363 0 -1 64 574 0 0 0 51 0 0 0 17 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8421] ppid=8410 vsize=1711208 CPUtime=0.54 /proc/8412/task/8421/stat : 8421 (java) S 8410 8412 8363 0 -1 64 677 0 0 0 54 0 0 0 16 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8422] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8422/stat : 8422 (java) S 8410 8412 8363 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8423] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8423/stat : 8423 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8424] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8424/stat : 8424 (java) S 8410 8412 8363 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152907910 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 1711208 [startup+1793.25 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8426 /proc/meminfo: memFree=437712/2055920 swapFree=4183112/4192956 [pid=8412] ppid=8410 vsize=1711208 CPUtime=1797.54 /proc/8412/stat : 8412 (java) R 8410 8412 8363 0 -1 0 143634 0 1 0 179678 76 0 0 25 0 13 0 152907568 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071580539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8412/statm: 427802 101990 1901 14 0 414549 0 [pid=8412/tid=8413] ppid=8410 vsize=1711208 CPUtime=4.1 /proc/8412/task/8413/stat : 8413 (java) S 8410 8412 8363 0 -1 64 46046 0 0 0 389 21 0 0 17 0 13 0 152907571 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8414] ppid=8410 vsize=1711208 CPUtime=4.13 /proc/8412/task/8414/stat : 8414 (java) S 8410 8412 8363 0 -1 64 54225 0 0 0 386 27 0 0 16 0 13 0 152907571 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8415] ppid=8410 vsize=1711208 CPUtime=0.08 /proc/8412/task/8415/stat : 8415 (java) S 8410 8412 8363 0 -1 64 38 0 0 0 4 4 0 0 16 0 13 0 152907574 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8416] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8416/stat : 8416 (java) S 8410 8412 8363 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8417] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8417/stat : 8417 (java) S 8410 8412 8363 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8418] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8418/stat : 8418 (java) S 8410 8412 8363 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152907577 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8419] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8419/stat : 8419 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8420] ppid=8410 vsize=1711208 CPUtime=0.51 /proc/8412/task/8420/stat : 8420 (java) S 8410 8412 8363 0 -1 64 574 0 0 0 51 0 0 0 17 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8421] ppid=8410 vsize=1711208 CPUtime=0.54 /proc/8412/task/8421/stat : 8421 (java) S 8410 8412 8363 0 -1 64 677 0 0 0 54 0 0 0 16 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8422] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8422/stat : 8422 (java) S 8410 8412 8363 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8423] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8423/stat : 8423 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8424] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8424/stat : 8424 (java) S 8410 8412 8363 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152907910 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 1711208 [startup+1794.26 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8426 /proc/meminfo: memFree=437712/2055920 swapFree=4183112/4192956 [pid=8412] ppid=8410 vsize=1711208 CPUtime=1798.54 /proc/8412/stat : 8412 (java) R 8410 8412 8363 0 -1 0 143634 0 1 0 179778 76 0 0 25 0 13 0 152907568 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071495033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8412/statm: 427802 101990 1901 14 0 414549 0 [pid=8412/tid=8413] ppid=8410 vsize=1711208 CPUtime=4.1 /proc/8412/task/8413/stat : 8413 (java) S 8410 8412 8363 0 -1 64 46046 0 0 0 389 21 0 0 17 0 13 0 152907571 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8414] ppid=8410 vsize=1711208 CPUtime=4.13 /proc/8412/task/8414/stat : 8414 (java) S 8410 8412 8363 0 -1 64 54225 0 0 0 386 27 0 0 16 0 13 0 152907571 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8415] ppid=8410 vsize=1711208 CPUtime=0.08 /proc/8412/task/8415/stat : 8415 (java) S 8410 8412 8363 0 -1 64 38 0 0 0 4 4 0 0 16 0 13 0 152907574 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8416] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8416/stat : 8416 (java) S 8410 8412 8363 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8417] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8417/stat : 8417 (java) S 8410 8412 8363 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8418] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8418/stat : 8418 (java) S 8410 8412 8363 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152907577 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8419] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8419/stat : 8419 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8420] ppid=8410 vsize=1711208 CPUtime=0.51 /proc/8412/task/8420/stat : 8420 (java) S 8410 8412 8363 0 -1 64 574 0 0 0 51 0 0 0 17 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8421] ppid=8410 vsize=1711208 CPUtime=0.54 /proc/8412/task/8421/stat : 8421 (java) S 8410 8412 8363 0 -1 64 677 0 0 0 54 0 0 0 16 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8422] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8422/stat : 8422 (java) S 8410 8412 8363 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8423] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8423/stat : 8423 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152907578 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8424] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8424/stat : 8424 (java) S 8410 8412 8363 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152907910 1752276992 101990 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 1711208 [startup+1795.26 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8426 /proc/meminfo: memFree=436560/2055920 swapFree=4183112/4192956 [pid=8412] ppid=8410 vsize=1711208 CPUtime=1799.57 /proc/8412/stat : 8412 (java) R 8410 8412 8363 0 -1 0 144050 0 1 0 179881 76 0 0 25 0 13 0 152907568 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071495118 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8412/statm: 427802 102281 1901 14 0 414549 0 [pid=8412/tid=8413] ppid=8410 vsize=1711208 CPUtime=4.12 /proc/8412/task/8413/stat : 8413 (java) S 8410 8412 8363 0 -1 64 46281 0 0 0 391 21 0 0 16 0 13 0 152907571 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8414] ppid=8410 vsize=1711208 CPUtime=4.15 /proc/8412/task/8414/stat : 8414 (java) S 8410 8412 8363 0 -1 64 54405 0 0 0 388 27 0 0 16 0 13 0 152907571 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8415] ppid=8410 vsize=1711208 CPUtime=0.08 /proc/8412/task/8415/stat : 8415 (java) S 8410 8412 8363 0 -1 64 38 0 0 0 4 4 0 0 16 0 13 0 152907574 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8416] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8416/stat : 8416 (java) S 8410 8412 8363 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8417] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8417/stat : 8417 (java) S 8410 8412 8363 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8418] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8418/stat : 8418 (java) S 8410 8412 8363 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152907577 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8419] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8419/stat : 8419 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8420] ppid=8410 vsize=1711208 CPUtime=0.51 /proc/8412/task/8420/stat : 8420 (java) S 8410 8412 8363 0 -1 64 574 0 0 0 51 0 0 0 17 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8421] ppid=8410 vsize=1711208 CPUtime=0.54 /proc/8412/task/8421/stat : 8421 (java) S 8410 8412 8363 0 -1 64 677 0 0 0 54 0 0 0 16 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8422] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8422/stat : 8422 (java) S 8410 8412 8363 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8423] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8423/stat : 8423 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8424] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8424/stat : 8424 (java) S 8410 8412 8363 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152907910 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 1711208 [startup+1796.27 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8426 /proc/meminfo: memFree=436560/2055920 swapFree=4183112/4192956 [pid=8412] ppid=8410 vsize=1711208 CPUtime=1800.58 /proc/8412/stat : 8412 (java) R 8410 8412 8363 0 -1 0 144050 0 1 0 179982 76 0 0 25 0 13 0 152907568 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071536308 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8412/statm: 427802 102281 1901 14 0 414549 0 [pid=8412/tid=8413] ppid=8410 vsize=1711208 CPUtime=4.12 /proc/8412/task/8413/stat : 8413 (java) S 8410 8412 8363 0 -1 64 46281 0 0 0 391 21 0 0 16 0 13 0 152907571 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8414] ppid=8410 vsize=1711208 CPUtime=4.15 /proc/8412/task/8414/stat : 8414 (java) S 8410 8412 8363 0 -1 64 54405 0 0 0 388 27 0 0 16 0 13 0 152907571 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8415] ppid=8410 vsize=1711208 CPUtime=0.08 /proc/8412/task/8415/stat : 8415 (java) S 8410 8412 8363 0 -1 64 38 0 0 0 4 4 0 0 16 0 13 0 152907574 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8416] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8416/stat : 8416 (java) S 8410 8412 8363 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8417] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8417/stat : 8417 (java) S 8410 8412 8363 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8418] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8418/stat : 8418 (java) S 8410 8412 8363 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152907577 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8419] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8419/stat : 8419 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8420] ppid=8410 vsize=1711208 CPUtime=0.51 /proc/8412/task/8420/stat : 8420 (java) S 8410 8412 8363 0 -1 64 574 0 0 0 51 0 0 0 17 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8421] ppid=8410 vsize=1711208 CPUtime=0.54 /proc/8412/task/8421/stat : 8421 (java) S 8410 8412 8363 0 -1 64 677 0 0 0 54 0 0 0 16 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8422] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8422/stat : 8422 (java) S 8410 8412 8363 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8423] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8423/stat : 8423 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8424] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8424/stat : 8424 (java) S 8410 8412 8363 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152907910 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 1711208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.28 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8426 /proc/meminfo: memFree=436560/2055920 swapFree=4183112/4192956 [pid=8412] ppid=8410 vsize=1711208 CPUtime=1800.58 /proc/8412/stat : 8412 (java) R 8410 8412 8363 0 -1 0 144050 0 1 0 179982 76 0 0 25 0 13 0 152907568 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071495078 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8412/statm: 427802 102281 1901 14 0 414549 0 [pid=8412/tid=8413] ppid=8410 vsize=1711208 CPUtime=4.12 /proc/8412/task/8413/stat : 8413 (java) S 8410 8412 8363 0 -1 64 46281 0 0 0 391 21 0 0 16 0 13 0 152907571 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8414] ppid=8410 vsize=1711208 CPUtime=4.15 /proc/8412/task/8414/stat : 8414 (java) S 8410 8412 8363 0 -1 64 54405 0 0 0 388 27 0 0 16 0 13 0 152907571 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8415] ppid=8410 vsize=1711208 CPUtime=0.08 /proc/8412/task/8415/stat : 8415 (java) S 8410 8412 8363 0 -1 64 38 0 0 0 4 4 0 0 16 0 13 0 152907574 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8416] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8416/stat : 8416 (java) S 8410 8412 8363 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8417] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8417/stat : 8417 (java) S 8410 8412 8363 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152907574 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8418] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8418/stat : 8418 (java) S 8410 8412 8363 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152907577 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8419] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8419/stat : 8419 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8420] ppid=8410 vsize=1711208 CPUtime=0.51 /proc/8412/task/8420/stat : 8420 (java) S 8410 8412 8363 0 -1 64 574 0 0 0 51 0 0 0 17 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8412/tid=8421] ppid=8410 vsize=1711208 CPUtime=0.54 /proc/8412/task/8421/stat : 8421 (java) S 8410 8412 8363 0 -1 64 677 0 0 0 54 0 0 0 16 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8422] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8422/stat : 8422 (java) S 8410 8412 8363 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8423] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8423/stat : 8423 (java) S 8410 8412 8363 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152907578 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8412/tid=8424] ppid=8410 vsize=1711208 CPUtime=0 /proc/8412/task/8424/stat : 8424 (java) S 8410 8412 8363 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152907910 1752276992 102281 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 1711208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1796.4 CPU time (s): 1800.72 CPU user time (s): 1799.89 CPU system time (s): 0.832873 CPU usage (%): 100.24 Max. virtual memory (cumulated for all children) (Kb): 1711208 The end
Begin job on node52 on Fri Jul 28 04:19:30 UTC 2006 FILE ID= 46388-1154060370 PBS_JOBID= 882205 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node52/46388-1154060370/instance-46388-1154060370.opb 918125684 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-46388-1154060370 -o ROOT/results/node52/solver-46388-1154060370 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node52/46388-1154060370/instance-46388-1154060370.opb 918125684 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 2149498a764a37bf6db991eef5859a95 RANDOM SEED= 918125684 TIMEOUT= 1800 seconds /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.234 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 : 5914.62 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.234 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: 840056 kB Buffers: 37132 kB Cached: 1107996 kB SwapCached: 3732 kB Active: 294568 kB Inactive: 859264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 840056 kB SwapTotal: 4192956 kB SwapFree: 4183112 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14712 kB Slab: 47972 kB Committed_AS: 599680 kB PageTables: 1500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node52 on Fri Jul 28 04:49:26 UTC 2006