Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.2 | 1778.53 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-railway_8_1_0.opb |
MD5SUM | 0748343c41c1a4f38800a46bbbd374d2 |
Bench Category | OPT-SMALLINT (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 | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 19747 |
Total number of constraints | 3145 |
Number of constraints which are clauses | 426 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2719 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 133 |
Biggest coefficient in the objective function | 262119 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524354 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262119 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524354 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.20 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.20 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.21 c no version file found!!! 0.21 c sun.arch.data.model 32 0.21 c java.version 1.5.0_06 0.21 c os.name Linux 0.21 c os.version 2.6.9-22.EL.rootsmp 0.21 c os.arch i386 0.21 c Free memory 1548419056 0.21 c Max memory 1551040512 0.21 c Total memory 1551040512 0.21 c Number of processors 2 0.26 c Cutting planes based inference 0.26 c --- Begin Solver configuration --- 0.26 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.26 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.26 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.26 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.26 c VSIDS like heuristics from MiniSAT using a heap 0.26 c No reason simplification 0.26 c --- End Solver configuration --- 0.26 c solving ROOT/tmp/node23/43867-1149262453/instance-43867-1149262453.opb 0.26 c reading problem ... 3.79 c ... done. Time 3.53 ms. 3.79 c #vars 19747 3.79 c #constraints 3146 1778.43 c starts : 14 1778.43 c conflicts : 53753 1778.43 c decisions : 59413 1778.43 c propagations : 238105 1778.43 c inspects : 581712572 1778.43 c learnt literals : 0 1778.43 c learnt binary clauses : 0 1778.43 c learnt ternary clauses : 0 1778.43 c learnt clauses : 53753 1778.43 c root simplifications : 0 1778.43 c removed literals (reason simplification) : 0 1778.43 c reason swapping (by a shorter reason) : 0 1778.43 c Calls to reduceDB : 0 1778.43 c speed (decisions/second) : 33.47960078958505 1778.43 c non guided choices 1221 1778.43 s UNKNOWN 1778.43 c Total wall clock time (ms): 1778.173
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/node23/watcher-43867-1149262453 -o ROOT/results/node23/solver-43867-1149262453 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node23/43867-1149262453/instance-43867-1149262453.opb 61305152 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.91 3/64 12320 /proc/meminfo: memFree=1170408/2055920 swapFree=4180892/4192956 [pid=12320] ppid=12318 vsize=1500 CPUtime=0 /proc/12320/stat : 12320 (java) R 12318 12320 12274 0 -1 0 88 0 0 0 0 0 0 0 19 0 1 0 191909034 1536000 69 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 2463414 0 0 4096 0 0 0 0 17 1 0 0 /proc/12320/statm: 363 65 49 14 0 8 0 [startup+10.0033 s] /proc/loadavg: 0.93 0.95 0.91 2/76 12332 /proc/meminfo: memFree=989200/2055920 swapFree=4180892/4192956 [pid=12320] ppid=12318 vsize=1719652 CPUtime=12.31 /proc/12320/stat : 12320 (java) R 12318 12320 12274 0 -1 0 53663 0 1 0 1210 21 0 0 25 0 13 0 191909034 1760923648 47068 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071607112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12320/statm: 429913 47068 1909 14 0 416660 0 [pid=12320/tid=12321] ppid=12318 vsize=1719652 CPUtime=0.23 /proc/12320/task/12321/stat : 12321 (java) S 12318 12320 12274 0 -1 64 4694 0 0 0 22 1 0 0 16 0 13 0 191909044 1760923648 47068 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12322] ppid=12318 vsize=1719652 CPUtime=0.21 /proc/12320/task/12322/stat : 12322 (java) S 12318 12320 12274 0 -1 64 3375 0 0 0 21 0 0 0 16 0 13 0 191909044 1760923648 47068 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12323] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12323/stat : 12323 (java) S 12318 12320 12274 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 191909046 1760923648 47068 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12324] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12324/stat : 12324 (java) S 12318 12320 12274 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 47068 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12325] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12325/stat : 12325 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 47068 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12326] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12326/stat : 12326 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191909050 1760923648 47068 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12327] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12327/stat : 12327 (java) S 12318 12320 12274 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191909050 1760923648 47068 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12328] ppid=12318 vsize=1719652 CPUtime=1.01 /proc/12320/task/12328/stat : 12328 (java) S 12318 12320 12274 0 -1 64 2231 0 0 0 101 0 0 0 17 0 13 0 191909050 1760923648 47068 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12329] ppid=12318 vsize=1719652 CPUtime=1.66 /proc/12320/task/12329/stat : 12329 (java) S 12318 12320 12274 0 -1 64 6768 0 0 0 164 2 0 0 17 0 13 0 191909050 1760923648 47068 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12330] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12330/stat : 12330 (java) S 12318 12320 12274 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191909050 1760923648 47068 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12331] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12331/stat : 12331 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191909050 1760923648 47068 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12332] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12332/stat : 12332 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 191909418 1760923648 47068 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.31 Current children cumulated vsize (Kb) 1719652 [startup+20.0104 s] /proc/loadavg: 1.01 0.97 0.92 2/76 12332 /proc/meminfo: memFree=968472/2055920 swapFree=4180892/4192956 [pid=12320] ppid=12318 vsize=1719652 CPUtime=22.49 /proc/12320/stat : 12320 (java) R 12318 12320 12274 0 -1 0 59637 0 1 0 2225 24 0 0 25 0 13 0 191909034 1760923648 52281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071434346 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12320/statm: 429913 52281 1909 14 0 416660 0 [pid=12320/tid=12321] ppid=12318 vsize=1719652 CPUtime=0.4 /proc/12320/task/12321/stat : 12321 (java) S 12318 12320 12274 0 -1 64 7584 0 0 0 37 3 0 0 16 0 13 0 191909044 1760923648 52281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12322] ppid=12318 vsize=1719652 CPUtime=0.37 /proc/12320/task/12322/stat : 12322 (java) S 12318 12320 12274 0 -1 64 6449 0 0 0 35 2 0 0 16 0 13 0 191909044 1760923648 52281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12323] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12323/stat : 12323 (java) S 12318 12320 12274 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 191909046 1760923648 52281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12324] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12324/stat : 12324 (java) S 12318 12320 12274 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 52281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12325] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12325/stat : 12325 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 52281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12326] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12326/stat : 12326 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191909050 1760923648 52281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12327] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12327/stat : 12327 (java) S 12318 12320 12274 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191909050 1760923648 52281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12328] ppid=12318 vsize=1719652 CPUtime=1.04 /proc/12320/task/12328/stat : 12328 (java) S 12318 12320 12274 0 -1 64 2232 0 0 0 103 1 0 0 17 0 13 0 191909050 1760923648 52281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12329] ppid=12318 vsize=1719652 CPUtime=1.67 /proc/12320/task/12329/stat : 12329 (java) S 12318 12320 12274 0 -1 64 6768 0 0 0 165 2 0 0 16 0 13 0 191909050 1760923648 52281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12330] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12330/stat : 12330 (java) S 12318 12320 12274 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191909050 1760923648 52281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12331] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12331/stat : 12331 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191909050 1760923648 52281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12332] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12332/stat : 12332 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 191909418 1760923648 52281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 22.49 Current children cumulated vsize (Kb) 1719652 [startup+30.0175 s] /proc/loadavg: 1.01 0.97 0.92 2/76 12332 /proc/meminfo: memFree=964056/2055920 swapFree=4180892/4192956 [pid=12320] ppid=12318 vsize=1719652 CPUtime=32.54 /proc/12320/stat : 12320 (java) R 12318 12320 12274 0 -1 0 60876 0 1 0 3229 25 0 0 25 0 13 0 191909034 1760923648 53366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071344555 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12320/statm: 429913 53366 1909 14 0 416660 0 [pid=12320/tid=12321] ppid=12318 vsize=1719652 CPUtime=0.43 /proc/12320/task/12321/stat : 12321 (java) S 12318 12320 12274 0 -1 64 8198 0 0 0 40 3 0 0 16 0 13 0 191909044 1760923648 53366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12322] ppid=12318 vsize=1719652 CPUtime=0.41 /proc/12320/task/12322/stat : 12322 (java) S 12318 12320 12274 0 -1 64 7069 0 0 0 39 2 0 0 16 0 13 0 191909044 1760923648 53366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12323] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12323/stat : 12323 (java) S 12318 12320 12274 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 191909046 1760923648 53366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12324] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12324/stat : 12324 (java) S 12318 12320 12274 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 53366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12325] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12325/stat : 12325 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 53366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12326] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12326/stat : 12326 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191909050 1760923648 53366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12327] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12327/stat : 12327 (java) S 12318 12320 12274 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191909050 1760923648 53366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12328] ppid=12318 vsize=1719652 CPUtime=1.05 /proc/12320/task/12328/stat : 12328 (java) S 12318 12320 12274 0 -1 64 2232 0 0 0 104 1 0 0 17 0 13 0 191909050 1760923648 53366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12329] ppid=12318 vsize=1719652 CPUtime=1.67 /proc/12320/task/12329/stat : 12329 (java) S 12318 12320 12274 0 -1 64 6768 0 0 0 165 2 0 0 16 0 13 0 191909050 1760923648 53366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12330] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12330/stat : 12330 (java) S 12318 12320 12274 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191909050 1760923648 53366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12331] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12331/stat : 12331 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191909050 1760923648 53366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12332] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12332/stat : 12332 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 191909418 1760923648 53366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.54 Current children cumulated vsize (Kb) 1719652 [startup+40.0247 s] /proc/loadavg: 1.01 0.97 0.92 2/76 12332 /proc/meminfo: memFree=964888/2055920 swapFree=4180892/4192956 [pid=12320] ppid=12318 vsize=1719652 CPUtime=42.56 /proc/12320/stat : 12320 (java) R 12318 12320 12274 0 -1 0 62459 0 1 0 4231 25 0 0 25 0 13 0 191909034 1760923648 53126 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071434346 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12320/statm: 429913 53126 1909 14 0 416660 0 [pid=12320/tid=12321] ppid=12318 vsize=1719652 CPUtime=0.46 /proc/12320/task/12321/stat : 12321 (java) S 12318 12320 12274 0 -1 64 9143 0 0 0 43 3 0 0 16 0 13 0 191909044 1760923648 53126 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12322] ppid=12318 vsize=1719652 CPUtime=0.44 /proc/12320/task/12322/stat : 12322 (java) S 12318 12320 12274 0 -1 64 7701 0 0 0 42 2 0 0 17 0 13 0 191909044 1760923648 53126 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12323] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12323/stat : 12323 (java) S 12318 12320 12274 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 191909046 1760923648 53126 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12324] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12324/stat : 12324 (java) S 12318 12320 12274 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 53126 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12325] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12325/stat : 12325 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 53126 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12326] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12326/stat : 12326 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191909050 1760923648 53126 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12327] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12327/stat : 12327 (java) S 12318 12320 12274 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191909050 1760923648 53126 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12328] ppid=12318 vsize=1719652 CPUtime=1.05 /proc/12320/task/12328/stat : 12328 (java) S 12318 12320 12274 0 -1 64 2232 0 0 0 104 1 0 0 16 0 13 0 191909050 1760923648 53126 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12329] ppid=12318 vsize=1719652 CPUtime=1.68 /proc/12320/task/12329/stat : 12329 (java) S 12318 12320 12274 0 -1 64 6768 0 0 0 166 2 0 0 17 0 13 0 191909050 1760923648 53126 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12330] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12330/stat : 12330 (java) S 12318 12320 12274 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191909050 1760923648 53126 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12331] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12331/stat : 12331 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191909050 1760923648 53126 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12332] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12332/stat : 12332 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909418 1760923648 53126 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.56 Current children cumulated vsize (Kb) 1719652 [startup+50.0318 s] /proc/loadavg: 1.01 0.97 0.92 2/76 12332 /proc/meminfo: memFree=970904/2055920 swapFree=4180892/4192956 [pid=12320] ppid=12318 vsize=1719652 CPUtime=52.62 /proc/12320/stat : 12320 (java) R 12318 12320 12274 0 -1 0 63751 0 1 0 5235 27 0 0 22 0 13 0 191909034 1760923648 51640 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071607217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12320/statm: 429913 51640 1909 14 0 416660 0 [pid=12320/tid=12321] ppid=12318 vsize=1719652 CPUtime=0.51 /proc/12320/task/12321/stat : 12321 (java) S 12318 12320 12274 0 -1 64 9811 0 0 0 47 4 0 0 16 0 13 0 191909044 1760923648 51640 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12322] ppid=12318 vsize=1719652 CPUtime=0.48 /proc/12320/task/12322/stat : 12322 (java) S 12318 12320 12274 0 -1 64 8319 0 0 0 46 2 0 0 16 0 13 0 191909044 1760923648 51640 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12323] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12323/stat : 12323 (java) S 12318 12320 12274 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 191909046 1760923648 51640 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12324] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12324/stat : 12324 (java) S 12318 12320 12274 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 51640 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12325] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12325/stat : 12325 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 51640 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12326] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12326/stat : 12326 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191909050 1760923648 51640 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12327] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12327/stat : 12327 (java) S 12318 12320 12274 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191909050 1760923648 51640 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12328] ppid=12318 vsize=1719652 CPUtime=1.05 /proc/12320/task/12328/stat : 12328 (java) S 12318 12320 12274 0 -1 64 2232 0 0 0 104 1 0 0 16 0 13 0 191909050 1760923648 51640 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12329] ppid=12318 vsize=1719652 CPUtime=1.68 /proc/12320/task/12329/stat : 12329 (java) S 12318 12320 12274 0 -1 64 6768 0 0 0 166 2 0 0 17 0 13 0 191909050 1760923648 51640 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12330] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12330/stat : 12330 (java) S 12318 12320 12274 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191909050 1760923648 51640 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12331] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12331/stat : 12331 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191909050 1760923648 51640 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12332] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12332/stat : 12332 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909418 1760923648 51640 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.62 Current children cumulated vsize (Kb) 1719652 [startup+60.0389 s] /proc/loadavg: 1.00 0.97 0.92 2/76 12333 /proc/meminfo: memFree=975064/2055920 swapFree=4180892/4192956 [pid=12320] ppid=12318 vsize=1719652 CPUtime=62.68 /proc/12320/stat : 12320 (java) R 12318 12320 12274 0 -1 0 64919 0 1 0 6241 27 0 0 25 0 13 0 191909034 1760923648 50583 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071624394 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12320/statm: 429913 50583 1909 14 0 416660 0 [pid=12320/tid=12321] ppid=12318 vsize=1719652 CPUtime=0.55 /proc/12320/task/12321/stat : 12321 (java) S 12318 12320 12274 0 -1 64 10496 0 0 0 51 4 0 0 16 0 13 0 191909044 1760923648 50583 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12322] ppid=12318 vsize=1719652 CPUtime=0.53 /proc/12320/task/12322/stat : 12322 (java) S 12318 12320 12274 0 -1 64 8795 0 0 0 50 3 0 0 17 0 13 0 191909044 1760923648 50583 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12323] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12323/stat : 12323 (java) S 12318 12320 12274 0 -1 64 24 0 0 0 0 0 0 0 17 0 13 0 191909046 1760923648 50583 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12324] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12324/stat : 12324 (java) S 12318 12320 12274 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 50583 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12325] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12325/stat : 12325 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 50583 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12326] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12326/stat : 12326 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191909050 1760923648 50583 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=12320/tid=12324] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12324/stat : 12324 (java) S 12318 12320 12274 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12325] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12325/stat : 12325 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12326] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12326/stat : 12326 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191909050 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12327] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12327/stat : 12327 (java) S 12318 12320 12274 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191909050 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12328] ppid=12318 vsize=1719652 CPUtime=1.08 /proc/12320/task/12328/stat : 12328 (java) S 12318 12320 12274 0 -1 64 2233 0 0 0 107 1 0 0 17 0 13 0 191909050 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12329] ppid=12318 vsize=1719652 CPUtime=1.72 /proc/12320/task/12329/stat : 12329 (java) S 12318 12320 12274 0 -1 64 6771 0 0 0 170 2 0 0 16 0 13 0 191909050 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12330] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12330/stat : 12330 (java) S 12318 12320 12274 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191909050 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12331] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12331/stat : 12331 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191909050 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12332] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12332/stat : 12332 (java) S 12318 12320 12274 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 191909418 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796 Current children cumulated vsize (Kb) 1719652 [startup+1775.41 s] /proc/loadavg: 1.02 1.01 0.95 2/76 12529 /proc/meminfo: memFree=668184/2055920 swapFree=4180892/4192956 [pid=12320] ppid=12318 vsize=1719652 CPUtime=1797.01 /proc/12320/stat : 12320 (java) R 12318 12320 12274 0 -1 0 195710 0 1 0 179586 115 0 0 25 0 13 0 191909034 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071684140 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12320/statm: 429913 126965 1909 14 0 416660 0 [pid=12320/tid=12321] ppid=12318 vsize=1719652 CPUtime=20.32 /proc/12320/task/12321/stat : 12321 (java) S 12318 12320 12274 0 -1 64 62674 0 0 0 2005 27 0 0 16 0 13 0 191909044 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12322] ppid=12318 vsize=1719652 CPUtime=20.33 /proc/12320/task/12322/stat : 12322 (java) S 12318 12320 12274 0 -1 64 49296 0 0 0 2006 27 0 0 17 0 13 0 191909044 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12323] ppid=12318 vsize=1719652 CPUtime=0.29 /proc/12320/task/12323/stat : 12323 (java) S 12318 12320 12274 0 -1 64 162 0 0 0 16 13 0 0 16 0 13 0 191909046 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12324] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12324/stat : 12324 (java) S 12318 12320 12274 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12325] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12325/stat : 12325 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12326] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12326/stat : 12326 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191909050 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12327] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12327/stat : 12327 (java) S 12318 12320 12274 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191909050 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12328] ppid=12318 vsize=1719652 CPUtime=1.08 /proc/12320/task/12328/stat : 12328 (java) S 12318 12320 12274 0 -1 64 2233 0 0 0 107 1 0 0 17 0 13 0 191909050 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12329] ppid=12318 vsize=1719652 CPUtime=1.72 /proc/12320/task/12329/stat : 12329 (java) S 12318 12320 12274 0 -1 64 6771 0 0 0 170 2 0 0 16 0 13 0 191909050 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12330] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12330/stat : 12330 (java) S 12318 12320 12274 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191909050 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12331] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12331/stat : 12331 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191909050 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12332] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12332/stat : 12332 (java) S 12318 12320 12274 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 191909418 1760923648 126965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (Kb) 1719652 [startup+1776.41 s] /proc/loadavg: 1.02 1.01 0.95 2/76 12529 /proc/meminfo: memFree=667992/2055920 swapFree=4180892/4192956 [pid=12320] ppid=12318 vsize=1719652 CPUtime=1798.05 /proc/12320/stat : 12320 (java) R 12318 12320 12274 0 -1 0 195745 0 1 0 179690 115 0 0 24 0 13 0 191909034 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071588600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12320/statm: 429913 126999 1909 14 0 416660 0 [pid=12320/tid=12321] ppid=12318 vsize=1719652 CPUtime=20.35 /proc/12320/task/12321/stat : 12321 (java) S 12318 12320 12274 0 -1 64 62674 0 0 0 2008 27 0 0 16 0 13 0 191909044 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12322] ppid=12318 vsize=1719652 CPUtime=20.36 /proc/12320/task/12322/stat : 12322 (java) S 12318 12320 12274 0 -1 64 49330 0 0 0 2009 27 0 0 16 0 13 0 191909044 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12323] ppid=12318 vsize=1719652 CPUtime=0.29 /proc/12320/task/12323/stat : 12323 (java) S 12318 12320 12274 0 -1 64 162 0 0 0 16 13 0 0 16 0 13 0 191909046 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12324] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12324/stat : 12324 (java) S 12318 12320 12274 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12325] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12325/stat : 12325 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12326] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12326/stat : 12326 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191909050 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12327] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12327/stat : 12327 (java) S 12318 12320 12274 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191909050 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12328] ppid=12318 vsize=1719652 CPUtime=1.08 /proc/12320/task/12328/stat : 12328 (java) S 12318 12320 12274 0 -1 64 2233 0 0 0 107 1 0 0 17 0 13 0 191909050 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12329] ppid=12318 vsize=1719652 CPUtime=1.72 /proc/12320/task/12329/stat : 12329 (java) S 12318 12320 12274 0 -1 64 6771 0 0 0 170 2 0 0 16 0 13 0 191909050 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12330] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12330/stat : 12330 (java) S 12318 12320 12274 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191909050 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12331] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12331/stat : 12331 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191909050 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12332] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12332/stat : 12332 (java) S 12318 12320 12274 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 191909418 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (Kb) 1719652 [startup+1777.42 s] /proc/loadavg: 1.01 1.01 0.95 2/76 12529 /proc/meminfo: memFree=667992/2055920 swapFree=4180892/4192956 [pid=12320] ppid=12318 vsize=1719652 CPUtime=1799.05 /proc/12320/stat : 12320 (java) R 12318 12320 12274 0 -1 0 195745 0 1 0 179790 115 0 0 25 0 13 0 191909034 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071434346 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12320/statm: 429913 126999 1909 14 0 416660 0 [pid=12320/tid=12321] ppid=12318 vsize=1719652 CPUtime=20.35 /proc/12320/task/12321/stat : 12321 (java) S 12318 12320 12274 0 -1 64 62674 0 0 0 2008 27 0 0 16 0 13 0 191909044 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12322] ppid=12318 vsize=1719652 CPUtime=20.36 /proc/12320/task/12322/stat : 12322 (java) S 12318 12320 12274 0 -1 64 49330 0 0 0 2009 27 0 0 16 0 13 0 191909044 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12323] ppid=12318 vsize=1719652 CPUtime=0.29 /proc/12320/task/12323/stat : 12323 (java) S 12318 12320 12274 0 -1 64 162 0 0 0 16 13 0 0 16 0 13 0 191909046 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12324] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12324/stat : 12324 (java) S 12318 12320 12274 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12325] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12325/stat : 12325 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12326] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12326/stat : 12326 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191909050 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12327] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12327/stat : 12327 (java) S 12318 12320 12274 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191909050 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12328] ppid=12318 vsize=1719652 CPUtime=1.08 /proc/12320/task/12328/stat : 12328 (java) S 12318 12320 12274 0 -1 64 2233 0 0 0 107 1 0 0 17 0 13 0 191909050 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12329] ppid=12318 vsize=1719652 CPUtime=1.72 /proc/12320/task/12329/stat : 12329 (java) S 12318 12320 12274 0 -1 64 6771 0 0 0 170 2 0 0 16 0 13 0 191909050 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12330] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12330/stat : 12330 (java) S 12318 12320 12274 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191909050 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12331] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12331/stat : 12331 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191909050 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12332] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12332/stat : 12332 (java) S 12318 12320 12274 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 191909418 1760923648 126999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.05 Current children cumulated vsize (Kb) 1719652 [startup+1778.43 s] /proc/loadavg: 1.01 1.01 0.95 2/76 12529 /proc/meminfo: memFree=667800/2055920 swapFree=4180892/4192956 [pid=12320] ppid=12318 vsize=1719652 CPUtime=1800.09 /proc/12320/stat : 12320 (java) R 12318 12320 12274 0 -1 0 195804 0 1 0 179894 115 0 0 25 0 13 0 191909034 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071588740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12320/statm: 429913 127057 1909 14 0 416660 0 [pid=12320/tid=12321] ppid=12318 vsize=1719652 CPUtime=20.39 /proc/12320/task/12321/stat : 12321 (java) S 12318 12320 12274 0 -1 64 62684 0 0 0 2012 27 0 0 16 0 13 0 191909044 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12322] ppid=12318 vsize=1719652 CPUtime=20.4 /proc/12320/task/12322/stat : 12322 (java) S 12318 12320 12274 0 -1 64 49378 0 0 0 2013 27 0 0 16 0 13 0 191909044 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12323] ppid=12318 vsize=1719652 CPUtime=0.29 /proc/12320/task/12323/stat : 12323 (java) S 12318 12320 12274 0 -1 64 162 0 0 0 16 13 0 0 16 0 13 0 191909046 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12324] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12324/stat : 12324 (java) S 12318 12320 12274 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12325] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12325/stat : 12325 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12326] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12326/stat : 12326 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191909050 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12327] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12327/stat : 12327 (java) S 12318 12320 12274 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191909050 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12328] ppid=12318 vsize=1719652 CPUtime=1.08 /proc/12320/task/12328/stat : 12328 (java) S 12318 12320 12274 0 -1 64 2233 0 0 0 107 1 0 0 17 0 13 0 191909050 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12329] ppid=12318 vsize=1719652 CPUtime=1.72 /proc/12320/task/12329/stat : 12329 (java) S 12318 12320 12274 0 -1 64 6771 0 0 0 170 2 0 0 16 0 13 0 191909050 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12330] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12330/stat : 12330 (java) S 12318 12320 12274 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191909050 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12331] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12331/stat : 12331 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191909050 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12332] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12332/stat : 12332 (java) S 12318 12320 12274 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 191909418 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (Kb) 1719652 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1778.43 s] /proc/loadavg: 1.01 1.01 0.95 2/76 12529 /proc/meminfo: memFree=667800/2055920 swapFree=4180892/4192956 [pid=12320] ppid=12318 vsize=1719652 CPUtime=1800.1 /proc/12320/stat : 12320 (java) R 12318 12320 12274 0 -1 0 195804 0 1 0 179895 115 0 0 25 0 13 0 191909034 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071591207 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12320/statm: 429913 127057 1909 14 0 416660 0 [pid=12320/tid=12321] ppid=12318 vsize=1719652 CPUtime=20.39 /proc/12320/task/12321/stat : 12321 (java) S 12318 12320 12274 0 -1 64 62684 0 0 0 2012 27 0 0 16 0 13 0 191909044 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12322] ppid=12318 vsize=1719652 CPUtime=20.4 /proc/12320/task/12322/stat : 12322 (java) S 12318 12320 12274 0 -1 64 49378 0 0 0 2013 27 0 0 16 0 13 0 191909044 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12323] ppid=12318 vsize=1719652 CPUtime=0.29 /proc/12320/task/12323/stat : 12323 (java) S 12318 12320 12274 0 -1 64 162 0 0 0 16 13 0 0 16 0 13 0 191909046 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12324] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12324/stat : 12324 (java) S 12318 12320 12274 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12325] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12325/stat : 12325 (java) S 12318 12320 12274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191909047 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12326] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12326/stat : 12326 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191909050 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12327] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12327/stat : 12327 (java) S 12318 12320 12274 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191909050 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12328] ppid=12318 vsize=1719652 CPUtime=1.08 /proc/12320/task/12328/stat : 12328 (java) S 12318 12320 12274 0 -1 64 2233 0 0 0 107 1 0 0 17 0 13 0 191909050 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12329] ppid=12318 vsize=1719652 CPUtime=1.72 /proc/12320/task/12329/stat : 12329 (java) S 12318 12320 12274 0 -1 64 6771 0 0 0 170 2 0 0 16 0 13 0 191909050 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12320/tid=12330] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12330/stat : 12330 (java) S 12318 12320 12274 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191909050 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12331] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12331/stat : 12331 (java) S 12318 12320 12274 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191909050 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12320/tid=12332] ppid=12318 vsize=1719652 CPUtime=0 /proc/12320/task/12332/stat : 12332 (java) S 12318 12320 12274 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 191909418 1760923648 127057 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (Kb) 1719652 Sending SIGTERM to -12320 Sleeping 2 seconds Child status: 143 Real time (s): 1778.53 CPU time (s): 1800.2 CPU user time (s): 1798.97 CPU system time (s): 1.23281 CPU usage (%): 101.218 Max. virtual memory (cumulated for all children) (Kb): 1719652
Begin job on node23 on Fri Jun 2 15:34:14 UTC 2006 FILE ID= 43867-1149262453 PBS_JOBID= 298746 BENCH NAME= ROOT/tmp/node23/43867-1149262453/instance-43867-1149262453.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node23/43867-1149262453/instance-43867-1149262453.opb 61305152 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-43867-1149262453 -o ROOT/results/node23/solver-43867-1149262453 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node23/43867-1149262453/instance-43867-1149262453.opb 61305152 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 0748343c41c1a4f38800a46bbbd374d2 RANDOM SEED= 61305152 /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.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 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: 1170616 kB Buffers: 42468 kB Cached: 765444 kB SwapCached: 3872 kB Active: 176688 kB Inactive: 640052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1170616 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14708 kB Slab: 54672 kB Committed_AS: 276284 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node23 on Fri Jun 2 16:03:52 UTC 2006