Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.34 | 1784.43 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21bt.opb |
MD5SUM | cc11de80c07cf0d445d50327479f6689 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.166974 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 428 |
Total number of constraints | 942 |
Number of constraints which are clauses | 645 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 295 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 144 |
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 | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 189 |
Number of bits of the biggest sum of numbers | 8 |
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/node55/43419-1149204863/instance-43419-1149204863.opb 0.20 c reading problem ... 0.49 c ... done. Time 0.291 ms. 0.49 c #vars 428 0.49 c #constraints 941 1784.32 c starts : 12 1784.32 c conflicts : 25249 1784.32 c decisions : 28682 1784.32 c propagations : 834075 1784.32 c inspects : 475495149 1784.32 c learnt literals : 0 1784.32 c learnt binary clauses : 0 1784.32 c learnt ternary clauses : 0 1784.32 c learnt clauses : 25248 1784.32 c root simplifications : 0 1784.32 c removed literals (reason simplification) : 0 1784.32 c reason swapping (by a shorter reason) : 0 1784.32 c Calls to reduceDB : 0 1784.32 c speed (decisions/second) : 16.078913482080942 1784.32 c non guided choices 25 1784.32 s UNKNOWN 1784.32 c Total wall clock time (ms): 1784.12
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/node55/watcher-43419-1149204863 -o ROOT/results/node55/solver-43419-1149204863 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node55/43419-1149204863/instance-43419-1149204863.opb 755565604 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.45 0.14 0.21 3/64 21212 /proc/meminfo: memFree=1239104/2055920 swapFree=4181444/4192956 [pid=21212] ppid=21210 vsize=1500 CPUtime=0 /proc/21212/stat : 21212 (java) R 21210 21212 21167 0 -1 0 82 0 0 0 0 0 0 0 19 0 1 0 186153866 1536000 64 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 6812864 0 0 4096 0 0 0 0 17 1 0 0 /proc/21212/statm: 375 69 55 14 0 8 0 [startup+10.0029 s] /proc/loadavg: 0.54 0.17 0.21 2/76 21224 /proc/meminfo: memFree=1063672/2055920 swapFree=4181444/4192956 [pid=21212] ppid=21210 vsize=1713412 CPUtime=11.26 /proc/21212/stat : 21212 (java) R 21210 21212 21167 0 -1 0 48365 0 1 0 1106 20 0 0 25 0 13 0 186153866 1754533888 45641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071369770 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21212/statm: 428353 45641 1909 14 0 415100 0 [pid=21212/tid=21213] ppid=21210 vsize=1713412 CPUtime=0.22 /proc/21212/task/21213/stat : 21213 (java) S 21210 21212 21167 0 -1 64 3924 0 0 0 20 2 0 0 17 0 13 0 186153870 1754533888 45641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21214] ppid=21210 vsize=1713412 CPUtime=0.22 /proc/21212/task/21214/stat : 21214 (java) S 21210 21212 21167 0 -1 64 4487 0 0 0 21 1 0 0 17 0 13 0 186153870 1754533888 45641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21215] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21215/stat : 21215 (java) S 21210 21212 21167 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 45641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21216] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21216/stat : 21216 (java) S 21210 21212 21167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 45641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21217] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21217/stat : 21217 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 45641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21218] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21218/stat : 21218 (java) S 21210 21212 21167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186153877 1754533888 45641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21219] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21219/stat : 21219 (java) S 21210 21212 21167 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186153877 1754533888 45641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21220] ppid=21210 vsize=1713412 CPUtime=0.7 /proc/21212/task/21220/stat : 21220 (java) S 21210 21212 21167 0 -1 64 1363 0 0 0 70 0 0 0 15 0 13 0 186153877 1754533888 45641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21221] ppid=21210 vsize=1713412 CPUtime=0.74 /proc/21212/task/21221/stat : 21221 (java) S 21210 21212 21167 0 -1 64 2003 0 0 0 74 0 0 0 16 0 13 0 186153877 1754533888 45641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21222] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21222/stat : 21222 (java) S 21210 21212 21167 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186153877 1754533888 45641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21223] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21223/stat : 21223 (java) S 21210 21212 21167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186153877 1754533888 45641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21224] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21224/stat : 21224 (java) S 21210 21212 21167 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 186153917 1754533888 45641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.26 Current children cumulated vsize (Kb) 1713412 [startup+20.0109 s] /proc/loadavg: 0.61 0.20 0.22 2/76 21224 /proc/meminfo: memFree=1035896/2055920 swapFree=4181444/4192956 [pid=21212] ppid=21210 vsize=1713412 CPUtime=21.47 /proc/21212/stat : 21212 (java) R 21210 21212 21167 0 -1 0 56118 0 1 0 2123 24 0 0 23 0 13 0 186153866 1754533888 52580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071453821 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21212/statm: 428353 52580 1910 14 0 415100 0 [pid=21212/tid=21213] ppid=21210 vsize=1713412 CPUtime=0.4 /proc/21212/task/21213/stat : 21213 (java) S 21210 21212 21167 0 -1 64 7795 0 0 0 36 4 0 0 16 0 13 0 186153870 1754533888 52580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21214] ppid=21210 vsize=1713412 CPUtime=0.39 /proc/21212/task/21214/stat : 21214 (java) S 21210 21212 21167 0 -1 64 8355 0 0 0 37 2 0 0 16 0 13 0 186153870 1754533888 52580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21215] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21215/stat : 21215 (java) S 21210 21212 21167 0 -1 64 24 0 0 0 0 0 0 0 15 0 13 0 186153873 1754533888 52580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21216] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21216/stat : 21216 (java) S 21210 21212 21167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 52580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21217] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21217/stat : 21217 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 52580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21218] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21218/stat : 21218 (java) S 21210 21212 21167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186153877 1754533888 52580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21219] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21219/stat : 21219 (java) S 21210 21212 21167 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186153877 1754533888 52580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21220] ppid=21210 vsize=1713412 CPUtime=0.7 /proc/21212/task/21220/stat : 21220 (java) S 21210 21212 21167 0 -1 64 1363 0 0 0 70 0 0 0 16 0 13 0 186153877 1754533888 52580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21221] ppid=21210 vsize=1713412 CPUtime=0.76 /proc/21212/task/21221/stat : 21221 (java) S 21210 21212 21167 0 -1 64 2009 0 0 0 76 0 0 0 16 0 13 0 186153877 1754533888 52580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21222] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21222/stat : 21222 (java) S 21210 21212 21167 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186153877 1754533888 52580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21223] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21223/stat : 21223 (java) S 21210 21212 21167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186153877 1754533888 52580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21224] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21224/stat : 21224 (java) S 21210 21212 21167 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 186153917 1754533888 52580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.47 Current children cumulated vsize (Kb) 1713412 [startup+30.0199 s] /proc/loadavg: 0.67 0.22 0.23 2/76 21224 /proc/meminfo: memFree=1024248/2055920 swapFree=4181444/4192956 [pid=21212] ppid=21210 vsize=1713412 CPUtime=31.56 /proc/21212/stat : 21212 (java) R 21210 21212 21167 0 -1 0 59443 0 1 0 3131 25 0 0 19 0 13 0 186153866 1754533888 55486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071405330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21212/statm: 428353 55486 1910 14 0 415100 0 [pid=21212/tid=21213] ppid=21210 vsize=1713412 CPUtime=0.49 /proc/21212/task/21213/stat : 21213 (java) S 21210 21212 21167 0 -1 64 9359 0 0 0 44 5 0 0 16 0 13 0 186153870 1754533888 55486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21214] ppid=21210 vsize=1713412 CPUtime=0.48 /proc/21212/task/21214/stat : 21214 (java) S 21210 21212 21167 0 -1 64 10110 0 0 0 45 3 0 0 16 0 13 0 186153870 1754533888 55486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21215] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21215/stat : 21215 (java) S 21210 21212 21167 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 55486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21216] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21216/stat : 21216 (java) S 21210 21212 21167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 55486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21217] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21217/stat : 21217 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 55486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21218] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21218/stat : 21218 (java) S 21210 21212 21167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186153877 1754533888 55486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21219] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21219/stat : 21219 (java) S 21210 21212 21167 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186153877 1754533888 55486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21220] ppid=21210 vsize=1713412 CPUtime=0.71 /proc/21212/task/21220/stat : 21220 (java) S 21210 21212 21167 0 -1 64 1363 0 0 0 71 0 0 0 16 0 13 0 186153877 1754533888 55486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21221] ppid=21210 vsize=1713412 CPUtime=0.76 /proc/21212/task/21221/stat : 21221 (java) S 21210 21212 21167 0 -1 64 2009 0 0 0 76 0 0 0 16 0 13 0 186153877 1754533888 55486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21222] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21222/stat : 21222 (java) S 21210 21212 21167 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186153877 1754533888 55486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21223] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21223/stat : 21223 (java) S 21210 21212 21167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186153877 1754533888 55486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21224] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21224/stat : 21224 (java) S 21210 21212 21167 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 186153917 1754533888 55486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.56 Current children cumulated vsize (Kb) 1713412 [startup+40.0269 s] /proc/loadavg: 0.72 0.25 0.24 2/76 21224 /proc/meminfo: memFree=1020536/2055920 swapFree=4181444/4192956 [pid=21212] ppid=21210 vsize=1713412 CPUtime=41.62 /proc/21212/stat : 21212 (java) R 21210 21212 21167 0 -1 0 61082 0 1 0 4136 26 0 0 25 0 13 0 186153866 1754533888 56382 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071436522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21212/statm: 428353 56382 1910 14 0 415100 0 [pid=21212/tid=21213] ppid=21210 vsize=1713412 CPUtime=0.54 /proc/21212/task/21213/stat : 21213 (java) S 21210 21212 21167 0 -1 64 10170 0 0 0 49 5 0 0 16 0 13 0 186153870 1754533888 56382 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21214] ppid=21210 vsize=1713412 CPUtime=0.54 /proc/21212/task/21214/stat : 21214 (java) S 21210 21212 21167 0 -1 64 10930 0 0 0 50 4 0 0 16 0 13 0 186153870 1754533888 56382 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21215] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21215/stat : 21215 (java) S 21210 21212 21167 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 56382 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21216] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21216/stat : 21216 (java) S 21210 21212 21167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 56382 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21217] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21217/stat : 21217 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 56382 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21218] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21218/stat : 21218 (java) S 21210 21212 21167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186153877 1754533888 56382 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21219] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21219/stat : 21219 (java) S 21210 21212 21167 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186153877 1754533888 56382 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21220] ppid=21210 vsize=1713412 CPUtime=0.71 /proc/21212/task/21220/stat : 21220 (java) S 21210 21212 21167 0 -1 64 1363 0 0 0 71 0 0 0 16 0 13 0 186153877 1754533888 56382 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21221] ppid=21210 vsize=1713412 CPUtime=0.76 /proc/21212/task/21221/stat : 21221 (java) S 21210 21212 21167 0 -1 64 2009 0 0 0 76 0 0 0 16 0 13 0 186153877 1754533888 56382 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21222] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21222/stat : 21222 (java) S 21210 21212 21167 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186153877 1754533888 56382 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21223] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21223/stat : 21223 (java) S 21210 21212 21167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186153877 1754533888 56382 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21224] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21224/stat : 21224 (java) S 21210 21212 21167 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186153917 1754533888 56382 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.62 Current children cumulated vsize (Kb) 1713412 [startup+50.0339 s] /proc/loadavg: 0.76 0.27 0.25 2/76 21224 /proc/meminfo: memFree=1022136/2055920 swapFree=4181444/4192956 [pid=21212] ppid=21210 vsize=1713412 CPUtime=51.68 /proc/21212/stat : 21212 (java) R 21210 21212 21167 0 -1 0 63226 0 1 0 5141 27 0 0 25 0 13 0 186153866 1754533888 55959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071452793 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21212/statm: 428353 55959 1910 14 0 415100 0 [pid=21212/tid=21213] ppid=21210 vsize=1713412 CPUtime=0.61 /proc/21212/task/21213/stat : 21213 (java) S 21210 21212 21167 0 -1 64 11244 0 0 0 55 6 0 0 16 0 13 0 186153870 1754533888 55959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21214] ppid=21210 vsize=1713412 CPUtime=0.61 /proc/21212/task/21214/stat : 21214 (java) S 21210 21212 21167 0 -1 64 11994 0 0 0 57 4 0 0 16 0 13 0 186153870 1754533888 55959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21215] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21215/stat : 21215 (java) S 21210 21212 21167 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 55959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21216] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21216/stat : 21216 (java) S 21210 21212 21167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 55959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21217] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21217/stat : 21217 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 55959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21218] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21218/stat : 21218 (java) S 21210 21212 21167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186153877 1754533888 55959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21219] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21219/stat : 21219 (java) S 21210 21212 21167 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186153877 1754533888 55959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21220] ppid=21210 vsize=1713412 CPUtime=0.71 /proc/21212/task/21220/stat : 21220 (java) S 21210 21212 21167 0 -1 64 1363 0 0 0 71 0 0 0 16 0 13 0 186153877 1754533888 55959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21221] ppid=21210 vsize=1713412 CPUtime=0.76 /proc/21212/task/21221/stat : 21221 (java) S 21210 21212 21167 0 -1 64 2009 0 0 0 76 0 0 0 16 0 13 0 186153877 1754533888 55959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21222] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21222/stat : 21222 (java) S 21210 21212 21167 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186153877 1754533888 55959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21223] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21223/stat : 21223 (java) S 21210 21212 21167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186153877 1754533888 55959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21224] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21224/stat : 21224 (java) S 21210 21212 21167 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186153917 1754533888 55959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.68 Current children cumulated vsize (Kb) 1713412 [startup+60.0409 s] /proc/loadavg: 0.80 0.30 0.25 2/76 21224 /proc/meminfo: memFree=1023352/2055920 swapFree=4181444/4192956 [pid=21212] ppid=21210 vsize=1713412 CPUtime=61.76 /proc/21212/stat : 21212 (java) R 21210 21212 21167 0 -1 0 64591 0 1 0 6148 28 0 0 25 0 13 0 186153866 1754533888 55668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071405218 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21212/statm: 428353 55668 1910 14 0 415100 0 [pid=21212/tid=21213] ppid=21210 vsize=1713412 CPUtime=0.66 /proc/21212/task/21213/stat : 21213 (java) S 21210 21212 21167 0 -1 64 12021 0 0 0 60 6 0 0 16 0 13 0 186153870 1754533888 55668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21214] ppid=21210 vsize=1713412 CPUtime=0.66 /proc/21212/task/21214/stat : 21214 (java) S 21210 21212 21167 0 -1 64 12576 0 0 0 62 4 0 0 16 0 13 0 186153870 1754533888 55668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21215] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21215/stat : 21215 (java) S 21210 21212 21167 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 55668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21216] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21216/stat : 21216 (java) S 21210 21212 21167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 55668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21217] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21217/stat : 21217 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 55668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21218] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21218/stat : 21218 (java) S 21210 21212 21167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186153877 1754533888 55668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=21212/tid=21216] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21216/stat : 21216 (java) S 21210 21212 21167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 137245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21217] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21217/stat : 21217 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 137245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21218] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21218/stat : 21218 (java) S 21210 21212 21167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186153877 1754533888 137245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21219] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21219/stat : 21219 (java) S 21210 21212 21167 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186153877 1754533888 137245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21220] ppid=21210 vsize=1713412 CPUtime=0.81 /proc/21212/task/21220/stat : 21220 (java) S 21210 21212 21167 0 -1 64 1380 0 0 0 81 0 0 0 17 0 13 0 186153877 1754533888 137245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21221] ppid=21210 vsize=1713412 CPUtime=0.8 /proc/21212/task/21221/stat : 21221 (java) S 21210 21212 21167 0 -1 64 2011 0 0 0 80 0 0 0 16 0 13 0 186153877 1754533888 137245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21222] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21222/stat : 21222 (java) S 21210 21212 21167 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186153877 1754533888 137245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21223] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21223/stat : 21223 (java) S 21210 21212 21167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186153877 1754533888 137245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21224] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21224/stat : 21224 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153917 1754533888 137245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.15 Current children cumulated vsize (Kb) 1713412 [startup+1781.3 s] /proc/loadavg: 0.99 0.97 0.84 2/76 21419 /proc/meminfo: memFree=696248/2055920 swapFree=4181444/4192956 [pid=21212] ppid=21210 vsize=1713412 CPUtime=1797.18 /proc/21212/stat : 21212 (java) R 21210 21212 21167 0 -1 0 225950 0 1 0 179600 118 0 0 20 0 13 0 186153866 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071452713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21212/statm: 428353 137005 1910 14 0 415100 0 [pid=21212/tid=21213] ppid=21210 vsize=1713412 CPUtime=15.59 /proc/21212/task/21213/stat : 21213 (java) S 21210 21212 21167 0 -1 64 67104 0 0 0 1525 34 0 0 16 0 13 0 186153870 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21214] ppid=21210 vsize=1713412 CPUtime=15.52 /proc/21212/task/21214/stat : 21214 (java) S 21210 21212 21167 0 -1 64 65787 0 0 0 1523 29 0 0 16 0 13 0 186153870 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21215] ppid=21210 vsize=1713412 CPUtime=0.26 /proc/21212/task/21215/stat : 21215 (java) S 21210 21212 21167 0 -1 64 204 0 0 0 12 14 0 0 16 0 13 0 186153873 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21216] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21216/stat : 21216 (java) S 21210 21212 21167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21217] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21217/stat : 21217 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21218] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21218/stat : 21218 (java) S 21210 21212 21167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21219] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21219/stat : 21219 (java) S 21210 21212 21167 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21220] ppid=21210 vsize=1713412 CPUtime=0.81 /proc/21212/task/21220/stat : 21220 (java) S 21210 21212 21167 0 -1 64 1380 0 0 0 81 0 0 0 17 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21221] ppid=21210 vsize=1713412 CPUtime=0.8 /proc/21212/task/21221/stat : 21221 (java) S 21210 21212 21167 0 -1 64 2011 0 0 0 80 0 0 0 16 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21222] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21222/stat : 21222 (java) S 21210 21212 21167 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21223] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21223/stat : 21223 (java) S 21210 21212 21167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21224] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21224/stat : 21224 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153917 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.18 Current children cumulated vsize (Kb) 1713412 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.84 2/76 21419 /proc/meminfo: memFree=696248/2055920 swapFree=4181444/4192956 [pid=21212] ppid=21210 vsize=1713412 CPUtime=1798.19 /proc/21212/stat : 21212 (java) R 21210 21212 21167 0 -1 0 225950 0 1 0 179701 118 0 0 25 0 13 0 186153866 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071452713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21212/statm: 428353 137005 1910 14 0 415100 0 [pid=21212/tid=21213] ppid=21210 vsize=1713412 CPUtime=15.59 /proc/21212/task/21213/stat : 21213 (java) S 21210 21212 21167 0 -1 64 67104 0 0 0 1525 34 0 0 16 0 13 0 186153870 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21214] ppid=21210 vsize=1713412 CPUtime=15.52 /proc/21212/task/21214/stat : 21214 (java) S 21210 21212 21167 0 -1 64 65787 0 0 0 1523 29 0 0 16 0 13 0 186153870 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21215] ppid=21210 vsize=1713412 CPUtime=0.26 /proc/21212/task/21215/stat : 21215 (java) S 21210 21212 21167 0 -1 64 204 0 0 0 12 14 0 0 16 0 13 0 186153873 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21216] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21216/stat : 21216 (java) S 21210 21212 21167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21217] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21217/stat : 21217 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21218] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21218/stat : 21218 (java) S 21210 21212 21167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21219] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21219/stat : 21219 (java) S 21210 21212 21167 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21220] ppid=21210 vsize=1713412 CPUtime=0.81 /proc/21212/task/21220/stat : 21220 (java) S 21210 21212 21167 0 -1 64 1380 0 0 0 81 0 0 0 17 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21221] ppid=21210 vsize=1713412 CPUtime=0.8 /proc/21212/task/21221/stat : 21221 (java) S 21210 21212 21167 0 -1 64 2011 0 0 0 80 0 0 0 16 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21222] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21222/stat : 21222 (java) S 21210 21212 21167 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21223] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21223/stat : 21223 (java) S 21210 21212 21167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21224] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21224/stat : 21224 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153917 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.19 Current children cumulated vsize (Kb) 1713412 [startup+1783.31 s] /proc/loadavg: 0.99 0.97 0.84 2/76 21419 /proc/meminfo: memFree=696248/2055920 swapFree=4181444/4192956 [pid=21212] ppid=21210 vsize=1713412 CPUtime=1799.19 /proc/21212/stat : 21212 (java) R 21210 21212 21167 0 -1 0 225950 0 1 0 179801 118 0 0 25 0 13 0 186153866 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071388723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21212/statm: 428353 137005 1910 14 0 415100 0 [pid=21212/tid=21213] ppid=21210 vsize=1713412 CPUtime=15.59 /proc/21212/task/21213/stat : 21213 (java) S 21210 21212 21167 0 -1 64 67104 0 0 0 1525 34 0 0 16 0 13 0 186153870 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21214] ppid=21210 vsize=1713412 CPUtime=15.52 /proc/21212/task/21214/stat : 21214 (java) S 21210 21212 21167 0 -1 64 65787 0 0 0 1523 29 0 0 16 0 13 0 186153870 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21215] ppid=21210 vsize=1713412 CPUtime=0.26 /proc/21212/task/21215/stat : 21215 (java) S 21210 21212 21167 0 -1 64 204 0 0 0 12 14 0 0 16 0 13 0 186153873 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21216] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21216/stat : 21216 (java) S 21210 21212 21167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21217] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21217/stat : 21217 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21218] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21218/stat : 21218 (java) S 21210 21212 21167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21219] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21219/stat : 21219 (java) S 21210 21212 21167 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21220] ppid=21210 vsize=1713412 CPUtime=0.81 /proc/21212/task/21220/stat : 21220 (java) S 21210 21212 21167 0 -1 64 1380 0 0 0 81 0 0 0 17 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21221] ppid=21210 vsize=1713412 CPUtime=0.8 /proc/21212/task/21221/stat : 21221 (java) S 21210 21212 21167 0 -1 64 2011 0 0 0 80 0 0 0 16 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21222] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21222/stat : 21222 (java) S 21210 21212 21167 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21223] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21223/stat : 21223 (java) S 21210 21212 21167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186153877 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21224] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21224/stat : 21224 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153917 1754533888 137005 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.19 Current children cumulated vsize (Kb) 1713412 [startup+1784.32 s] /proc/loadavg: 0.99 0.97 0.84 2/76 21419 /proc/meminfo: memFree=696120/2055920 swapFree=4181444/4192956 [pid=21212] ppid=21210 vsize=1713412 CPUtime=1800.22 /proc/21212/stat : 21212 (java) R 21210 21212 21167 0 -1 0 226035 0 1 0 179904 118 0 0 20 0 13 0 186153866 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071452762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21212/statm: 428353 137050 1910 14 0 415100 0 [pid=21212/tid=21213] ppid=21210 vsize=1713412 CPUtime=15.62 /proc/21212/task/21213/stat : 21213 (java) S 21210 21212 21167 0 -1 64 67168 0 0 0 1528 34 0 0 17 0 13 0 186153870 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21214] ppid=21210 vsize=1713412 CPUtime=15.55 /proc/21212/task/21214/stat : 21214 (java) S 21210 21212 21167 0 -1 64 65807 0 0 0 1526 29 0 0 16 0 13 0 186153870 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21215] ppid=21210 vsize=1713412 CPUtime=0.26 /proc/21212/task/21215/stat : 21215 (java) S 21210 21212 21167 0 -1 64 204 0 0 0 12 14 0 0 16 0 13 0 186153873 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21216] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21216/stat : 21216 (java) S 21210 21212 21167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21217] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21217/stat : 21217 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21218] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21218/stat : 21218 (java) S 21210 21212 21167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186153877 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21219] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21219/stat : 21219 (java) S 21210 21212 21167 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186153877 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21220] ppid=21210 vsize=1713412 CPUtime=0.81 /proc/21212/task/21220/stat : 21220 (java) S 21210 21212 21167 0 -1 64 1380 0 0 0 81 0 0 0 17 0 13 0 186153877 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21221] ppid=21210 vsize=1713412 CPUtime=0.8 /proc/21212/task/21221/stat : 21221 (java) S 21210 21212 21167 0 -1 64 2011 0 0 0 80 0 0 0 16 0 13 0 186153877 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21222] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21222/stat : 21222 (java) S 21210 21212 21167 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186153877 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21223] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21223/stat : 21223 (java) S 21210 21212 21167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186153877 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21224] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21224/stat : 21224 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153917 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (Kb) 1713412 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.32 s] /proc/loadavg: 0.99 0.97 0.84 2/76 21419 /proc/meminfo: memFree=696120/2055920 swapFree=4181444/4192956 [pid=21212] ppid=21210 vsize=1713412 CPUtime=1800.23 /proc/21212/stat : 21212 (java) R 21210 21212 21167 0 -1 0 226035 0 1 0 179905 118 0 0 20 0 13 0 186153866 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071452713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21212/statm: 428353 137050 1910 14 0 415100 0 [pid=21212/tid=21213] ppid=21210 vsize=1713412 CPUtime=15.62 /proc/21212/task/21213/stat : 21213 (java) S 21210 21212 21167 0 -1 64 67168 0 0 0 1528 34 0 0 17 0 13 0 186153870 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21214] ppid=21210 vsize=1713412 CPUtime=15.55 /proc/21212/task/21214/stat : 21214 (java) S 21210 21212 21167 0 -1 64 65807 0 0 0 1526 29 0 0 16 0 13 0 186153870 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21215] ppid=21210 vsize=1713412 CPUtime=0.26 /proc/21212/task/21215/stat : 21215 (java) S 21210 21212 21167 0 -1 64 204 0 0 0 12 14 0 0 16 0 13 0 186153873 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21216] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21216/stat : 21216 (java) S 21210 21212 21167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21217] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21217/stat : 21217 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153873 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21218] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21218/stat : 21218 (java) S 21210 21212 21167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186153877 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21219] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21219/stat : 21219 (java) S 21210 21212 21167 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186153877 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21212/tid=21220] ppid=21210 vsize=1713412 CPUtime=0.81 /proc/21212/task/21220/stat : 21220 (java) S 21210 21212 21167 0 -1 64 1380 0 0 0 81 0 0 0 17 0 13 0 186153877 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21221] ppid=21210 vsize=1713412 CPUtime=0.8 /proc/21212/task/21221/stat : 21221 (java) S 21210 21212 21167 0 -1 64 2011 0 0 0 80 0 0 0 16 0 13 0 186153877 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21222] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21222/stat : 21222 (java) S 21210 21212 21167 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186153877 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21223] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21223/stat : 21223 (java) S 21210 21212 21167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186153877 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21212/tid=21224] ppid=21210 vsize=1713412 CPUtime=0 /proc/21212/task/21224/stat : 21224 (java) S 21210 21212 21167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186153917 1754533888 137050 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (Kb) 1713412 Sending SIGTERM to -21212 Sleeping 2 seconds Child status: 143 Real time (s): 1784.43 CPU time (s): 1800.34 CPU user time (s): 1799.07 CPU system time (s): 1.27081 CPU usage (%): 100.892 Max. virtual memory (cumulated for all children) (Kb): 1713412
Begin job on node55 on Thu Jun 1 23:34:23 UTC 2006 FILE ID= 43419-1149204863 PBS_JOBID= 293069 BENCH NAME= ROOT/tmp/node55/43419-1149204863/instance-43419-1149204863.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node55/43419-1149204863/instance-43419-1149204863.opb 755565604 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-43419-1149204863 -o ROOT/results/node55/solver-43419-1149204863 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node55/43419-1149204863/instance-43419-1149204863.opb 755565604 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= cc11de80c07cf0d445d50327479f6689 RANDOM SEED= 755565604 /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.243 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.243 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: 1239312 kB Buffers: 38152 kB Cached: 701868 kB SwapCached: 3560 kB Active: 185792 kB Inactive: 563276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1239312 kB SwapTotal: 4192956 kB SwapFree: 4181444 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14932 kB Slab: 53604 kB Committed_AS: 145748 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node55 on Fri Jun 2 00:04:07 UTC 2006