Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.56 | 1783.49 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-ship04l.opb |
MD5SUM | 8c2ebef1f909dd9b378c2f7f10ba6b39 |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 63540 |
Total number of constraints | 348 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 348 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 2520 |
Number of terms in the objective function | 63540 |
Biggest coefficient in the objective function | 2379 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 577490 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 577490 |
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.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.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.22 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node6/42516-1149335063/instance-42516-1149335063.opb 0.22 c reading problem ... 3.78 c ... done. Time 3.56 ms. 3.78 c #vars 63540 3.78 c #constraints 604 1783.40 c starts : 1 1783.40 c conflicts : 96 1783.40 c decisions : 14636 1783.40 c propagations : 53092 1783.40 c inspects : 57127 1783.40 c learnt literals : 0 1783.40 c learnt binary clauses : 0 1783.40 c learnt ternary clauses : 0 1783.40 c learnt clauses : 95 1783.40 c root simplifications : 0 1783.40 c removed literals (reason simplification) : 0 1783.40 c reason swapping (by a shorter reason) : 0 1783.40 c Calls to reduceDB : 0 1783.40 c speed (decisions/second) : 8.226104335959587 1783.40 c non guided choices 0 1783.40 s UNKNOWN 1783.40 c Total wall clock time (ms): 1783.179
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/node6/watcher-42516-1149335063 -o ROOT/results/node6/solver-42516-1149335063 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node6/42516-1149335063/instance-42516-1149335063.opb 944645641 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.97 3/64 16257 /proc/meminfo: memFree=1320976/2055924 swapFree=4181416/4192956 [pid=16257] ppid=16255 vsize=1592 CPUtime=0 /proc/16257/stat : 16257 (java) D 16255 16257 16211 0 -1 0 131 0 0 0 0 0 0 0 19 0 1 0 199168414 1630208 103 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/16257/statm: 398 103 82 14 0 43 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.98 0.97 2/76 16269 /proc/meminfo: memFree=1098288/2055924 swapFree=4181416/4192956 [pid=16257] ppid=16255 vsize=1713680 CPUtime=11.89 /proc/16257/stat : 16257 (java) R 16255 16257 16211 0 -1 0 61343 0 1 0 1160 29 0 0 19 0 13 0 199168414 1754808320 57465 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071705086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16257/statm: 428420 57465 1910 14 0 415167 0 [pid=16257/tid=16258] ppid=16255 vsize=1713680 CPUtime=0.68 /proc/16257/task/16258/stat : 16258 (java) S 16255 16257 16211 0 -1 64 11516 0 0 0 61 7 0 0 16 0 13 0 199168417 1754808320 57465 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16259] ppid=16255 vsize=1713680 CPUtime=0.7 /proc/16257/task/16259/stat : 16259 (java) S 16255 16257 16211 0 -1 64 10353 0 0 0 66 4 0 0 16 0 13 0 199168417 1754808320 57465 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16260] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16260/stat : 16260 (java) S 16255 16257 16211 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 57465 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16261] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16261/stat : 16261 (java) S 16255 16257 16211 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 57465 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16262] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16262/stat : 16262 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 57465 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16263] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16263/stat : 16263 (java) S 16255 16257 16211 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199168424 1754808320 57465 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16264] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16264/stat : 16264 (java) S 16255 16257 16211 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 199168424 1754808320 57465 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16265] ppid=16255 vsize=1713680 CPUtime=0.95 /proc/16257/task/16265/stat : 16265 (java) S 16255 16257 16211 0 -1 64 2029 0 0 0 95 0 0 0 16 0 13 0 199168424 1754808320 57465 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16266] ppid=16255 vsize=1713680 CPUtime=0.83 /proc/16257/task/16266/stat : 16266 (java) S 16255 16257 16211 0 -1 64 905 0 0 0 83 0 0 0 17 0 13 0 199168424 1754808320 57465 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16267] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16267/stat : 16267 (java) S 16255 16257 16211 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199168424 1754808320 57465 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16268] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16268/stat : 16268 (java) S 16255 16257 16211 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199168424 1754808320 57465 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16269] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16269/stat : 16269 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 199168847 1754808320 57465 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.89 Current children cumulated vsize (Kb) 1713680 [startup+20.0108 s] /proc/loadavg: 0.94 0.98 0.97 2/76 16269 /proc/meminfo: memFree=1108784/2055924 swapFree=4181416/4192956 [pid=16257] ppid=16255 vsize=1713680 CPUtime=22.14 /proc/16257/stat : 16257 (java) R 16255 16257 16211 0 -1 0 63213 0 1 0 2183 31 0 0 25 0 13 0 199168414 1754808320 54811 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071365984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16257/statm: 428420 54811 1910 14 0 415167 0 [pid=16257/tid=16258] ppid=16255 vsize=1713680 CPUtime=0.78 /proc/16257/task/16258/stat : 16258 (java) S 16255 16257 16211 0 -1 64 11965 0 0 0 71 7 0 0 15 0 13 0 199168417 1754808320 54811 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16259] ppid=16255 vsize=1713680 CPUtime=0.83 /proc/16257/task/16259/stat : 16259 (java) S 16255 16257 16211 0 -1 64 11605 0 0 0 77 6 0 0 16 0 13 0 199168417 1754808320 54811 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16260] ppid=16255 vsize=1713680 CPUtime=0.01 /proc/16257/task/16260/stat : 16260 (java) S 16255 16257 16211 0 -1 64 24 0 0 0 1 0 0 0 16 0 13 0 199168420 1754808320 54811 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16261] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16261/stat : 16261 (java) S 16255 16257 16211 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 54811 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16262] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16262/stat : 16262 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 54811 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16263] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16263/stat : 16263 (java) S 16255 16257 16211 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199168424 1754808320 54811 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16264] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16264/stat : 16264 (java) S 16255 16257 16211 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 199168424 1754808320 54811 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16265] ppid=16255 vsize=1713680 CPUtime=0.98 /proc/16257/task/16265/stat : 16265 (java) S 16255 16257 16211 0 -1 64 2030 0 0 0 98 0 0 0 17 0 13 0 199168424 1754808320 54811 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16266] ppid=16255 vsize=1713680 CPUtime=0.96 /proc/16257/task/16266/stat : 16266 (java) S 16255 16257 16211 0 -1 64 1032 0 0 0 96 0 0 0 16 0 13 0 199168424 1754808320 54811 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16267] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16267/stat : 16267 (java) S 16255 16257 16211 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199168424 1754808320 54811 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16268] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16268/stat : 16268 (java) S 16255 16257 16211 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199168424 1754808320 54811 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16269] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16269/stat : 16269 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 199168847 1754808320 54811 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 22.14 Current children cumulated vsize (Kb) 1713680 [startup+30.0188 s] /proc/loadavg: 0.95 0.98 0.97 2/76 16269 /proc/meminfo: memFree=1118832/2055924 swapFree=4181416/4192956 [pid=16257] ppid=16255 vsize=1713680 CPUtime=32.31 /proc/16257/stat : 16257 (java) R 16255 16257 16211 0 -1 0 64095 0 1 0 3198 33 0 0 25 0 13 0 199168414 1754808320 52297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071492396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16257/statm: 428420 52297 1910 14 0 415167 0 [pid=16257/tid=16258] ppid=16255 vsize=1713680 CPUtime=0.86 /proc/16257/task/16258/stat : 16258 (java) S 16255 16257 16211 0 -1 64 12396 0 0 0 78 8 0 0 16 0 13 0 199168417 1754808320 52297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16259] ppid=16255 vsize=1713680 CPUtime=0.9 /proc/16257/task/16259/stat : 16259 (java) S 16255 16257 16211 0 -1 64 12004 0 0 0 84 6 0 0 16 0 13 0 199168417 1754808320 52297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16260] ppid=16255 vsize=1713680 CPUtime=0.01 /proc/16257/task/16260/stat : 16260 (java) S 16255 16257 16211 0 -1 64 25 0 0 0 1 0 0 0 16 0 13 0 199168420 1754808320 52297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16261] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16261/stat : 16261 (java) S 16255 16257 16211 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 52297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16262] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16262/stat : 16262 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 52297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16263] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16263/stat : 16263 (java) S 16255 16257 16211 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199168424 1754808320 52297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16264] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16264/stat : 16264 (java) S 16255 16257 16211 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 199168424 1754808320 52297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16265] ppid=16255 vsize=1713680 CPUtime=1.05 /proc/16257/task/16265/stat : 16265 (java) S 16255 16257 16211 0 -1 64 2055 0 0 0 105 0 0 0 16 0 13 0 199168424 1754808320 52297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16266] ppid=16255 vsize=1713680 CPUtime=0.99 /proc/16257/task/16266/stat : 16266 (java) S 16255 16257 16211 0 -1 64 1033 0 0 0 99 0 0 0 15 0 13 0 199168424 1754808320 52297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16267] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16267/stat : 16267 (java) S 16255 16257 16211 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199168424 1754808320 52297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16268] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16268/stat : 16268 (java) S 16255 16257 16211 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199168424 1754808320 52297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16269] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16269/stat : 16269 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 199168847 1754808320 52297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.31 Current children cumulated vsize (Kb) 1713680 [startup+40.0258 s] /proc/loadavg: 0.96 0.98 0.97 2/76 16269 /proc/meminfo: memFree=1130032/2055924 swapFree=4181416/4192956 [pid=16257] ppid=16255 vsize=1713680 CPUtime=42.36 /proc/16257/stat : 16257 (java) R 16255 16257 16211 0 -1 0 64461 0 1 0 4202 34 0 0 25 0 13 0 199168414 1754808320 49527 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071761218 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16257/statm: 428420 49527 1910 14 0 415167 0 [pid=16257/tid=16258] ppid=16255 vsize=1713680 CPUtime=0.92 /proc/16257/task/16258/stat : 16258 (java) S 16255 16257 16211 0 -1 64 12530 0 0 0 83 9 0 0 16 0 13 0 199168417 1754808320 49527 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16259] ppid=16255 vsize=1713680 CPUtime=0.96 /proc/16257/task/16259/stat : 16259 (java) S 16255 16257 16211 0 -1 64 12214 0 0 0 89 7 0 0 16 0 13 0 199168417 1754808320 49527 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16260] ppid=16255 vsize=1713680 CPUtime=0.03 /proc/16257/task/16260/stat : 16260 (java) S 16255 16257 16211 0 -1 64 25 0 0 0 2 1 0 0 16 0 13 0 199168420 1754808320 49527 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16261] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16261/stat : 16261 (java) S 16255 16257 16211 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 49527 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16262] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16262/stat : 16262 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 49527 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16263] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16263/stat : 16263 (java) S 16255 16257 16211 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199168424 1754808320 49527 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16264] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16264/stat : 16264 (java) S 16255 16257 16211 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 199168424 1754808320 49527 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16265] ppid=16255 vsize=1713680 CPUtime=1.05 /proc/16257/task/16265/stat : 16265 (java) S 16255 16257 16211 0 -1 64 2055 0 0 0 105 0 0 0 16 0 13 0 199168424 1754808320 49527 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16266] ppid=16255 vsize=1713680 CPUtime=0.99 /proc/16257/task/16266/stat : 16266 (java) S 16255 16257 16211 0 -1 64 1033 0 0 0 99 0 0 0 15 0 13 0 199168424 1754808320 49527 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16267] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16267/stat : 16267 (java) S 16255 16257 16211 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199168424 1754808320 49527 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16268] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16268/stat : 16268 (java) S 16255 16257 16211 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199168424 1754808320 49527 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16269] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16269/stat : 16269 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168847 1754808320 49527 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.36 Current children cumulated vsize (Kb) 1713680 [startup+50.0338 s] /proc/loadavg: 0.96 0.98 0.97 2/76 16269 /proc/meminfo: memFree=1132784/2055924 swapFree=4181416/4192956 [pid=16257] ppid=16255 vsize=1713680 CPUtime=52.41 /proc/16257/stat : 16257 (java) R 16255 16257 16211 0 -1 0 64540 0 1 0 5206 35 0 0 25 0 13 0 199168414 1754808320 48834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071492550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16257/statm: 428420 48834 1910 14 0 415167 0 [pid=16257/tid=16258] ppid=16255 vsize=1713680 CPUtime=0.96 /proc/16257/task/16258/stat : 16258 (java) S 16255 16257 16211 0 -1 64 12591 0 0 0 87 9 0 0 16 0 13 0 199168417 1754808320 48834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16259] ppid=16255 vsize=1713680 CPUtime=1 /proc/16257/task/16259/stat : 16259 (java) S 16255 16257 16211 0 -1 64 12214 0 0 0 93 7 0 0 16 0 13 0 199168417 1754808320 48834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16260] ppid=16255 vsize=1713680 CPUtime=0.03 /proc/16257/task/16260/stat : 16260 (java) S 16255 16257 16211 0 -1 64 25 0 0 0 2 1 0 0 15 0 13 0 199168420 1754808320 48834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16261] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16261/stat : 16261 (java) S 16255 16257 16211 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 48834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16262] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16262/stat : 16262 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 48834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16263] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16263/stat : 16263 (java) S 16255 16257 16211 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199168424 1754808320 48834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16264] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16264/stat : 16264 (java) S 16255 16257 16211 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 199168424 1754808320 48834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16265] ppid=16255 vsize=1713680 CPUtime=1.05 /proc/16257/task/16265/stat : 16265 (java) S 16255 16257 16211 0 -1 64 2055 0 0 0 105 0 0 0 16 0 13 0 199168424 1754808320 48834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16266] ppid=16255 vsize=1713680 CPUtime=0.99 /proc/16257/task/16266/stat : 16266 (java) S 16255 16257 16211 0 -1 64 1033 0 0 0 99 0 0 0 15 0 13 0 199168424 1754808320 48834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16267] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16267/stat : 16267 (java) S 16255 16257 16211 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199168424 1754808320 48834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16268] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16268/stat : 16268 (java) S 16255 16257 16211 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199168424 1754808320 48834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16269] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16269/stat : 16269 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168847 1754808320 48834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.41 Current children cumulated vsize (Kb) 1713680 [startup+60.0407 s] /proc/loadavg: 0.97 0.98 0.97 2/76 16269 /proc/meminfo: memFree=1133872/2055924 swapFree=4181416/4192956 [pid=16257] ppid=16255 vsize=1713680 CPUtime=62.47 /proc/16257/stat : 16257 (java) R 16255 16257 16211 0 -1 0 64812 0 1 0 6210 37 0 0 25 0 13 0 199168414 1754808320 48557 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071492594 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16257/statm: 428420 48557 1910 14 0 415167 0 [pid=16257/tid=16258] ppid=16255 vsize=1713680 CPUtime=1.02 /proc/16257/task/16258/stat : 16258 (java) S 16255 16257 16211 0 -1 64 12805 0 0 0 92 10 0 0 16 0 13 0 199168417 1754808320 48557 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16259] ppid=16255 vsize=1713680 CPUtime=1.05 /proc/16257/task/16259/stat : 16259 (java) S 16255 16257 16211 0 -1 64 12252 0 0 0 98 7 0 0 16 0 13 0 199168417 1754808320 48557 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16260] ppid=16255 vsize=1713680 CPUtime=0.03 /proc/16257/task/16260/stat : 16260 (java) S 16255 16257 16211 0 -1 64 25 0 0 0 2 1 0 0 16 0 13 0 199168420 1754808320 48557 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16261] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16261/stat : 16261 (java) S 16255 16257 16211 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 48557 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16262] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16262/stat : 16262 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 48557 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16263] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16263/stat : 16263 (java) S 16255 16257 16211 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199168424 1754808320 48557 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=16257/tid=16261] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16261/stat : 16261 (java) S 16255 16257 16211 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 92339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16262] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16262/stat : 16262 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 92339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16263] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16263/stat : 16263 (java) S 16255 16257 16211 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199168424 1754808320 92339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16264] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16264/stat : 16264 (java) S 16255 16257 16211 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 199168424 1754808320 92339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16265] ppid=16255 vsize=1713680 CPUtime=1.12 /proc/16257/task/16265/stat : 16265 (java) S 16255 16257 16211 0 -1 64 2059 0 0 0 112 0 0 0 17 0 13 0 199168424 1754808320 92339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16266] ppid=16255 vsize=1713680 CPUtime=1.07 /proc/16257/task/16266/stat : 16266 (java) S 16255 16257 16211 0 -1 64 1119 0 0 0 107 0 0 0 16 0 13 0 199168424 1754808320 92339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16267] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16267/stat : 16267 (java) S 16255 16257 16211 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199168424 1754808320 92339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16268] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16268/stat : 16268 (java) S 16255 16257 16211 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199168424 1754808320 92339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16269] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16269/stat : 16269 (java) S 16255 16257 16211 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 199168847 1754808320 92339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (Kb) 1713680 [startup+1780.37 s] /proc/loadavg: 1.01 1.01 0.99 2/76 16464 /proc/meminfo: memFree=957688/2055924 swapFree=4181416/4192956 [pid=16257] ppid=16255 vsize=1713680 CPUtime=1797.41 /proc/16257/stat : 16257 (java) R 16255 16257 16211 0 -1 0 148355 0 1 0 179394 347 0 0 25 0 13 0 199168414 1754808320 92366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071492886 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16257/statm: 428420 92366 1910 14 0 415167 0 [pid=16257/tid=16258] ppid=16255 vsize=1713680 CPUtime=16.39 /proc/16257/task/16258/stat : 16258 (java) S 16255 16257 16211 0 -1 64 30843 0 0 0 1520 119 0 0 16 0 13 0 199168417 1754808320 92366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16259] ppid=16255 vsize=1713680 CPUtime=16.54 /proc/16257/task/16259/stat : 16259 (java) S 16255 16257 16211 0 -1 64 31082 0 0 0 1518 136 0 0 16 0 13 0 199168417 1754808320 92366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16260] ppid=16255 vsize=1713680 CPUtime=0.84 /proc/16257/task/16260/stat : 16260 (java) S 16255 16257 16211 0 -1 64 138 0 0 0 52 32 0 0 15 0 13 0 199168420 1754808320 92366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16261] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16261/stat : 16261 (java) S 16255 16257 16211 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 92366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16262] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16262/stat : 16262 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 92366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16263] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16263/stat : 16263 (java) S 16255 16257 16211 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199168424 1754808320 92366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16264] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16264/stat : 16264 (java) S 16255 16257 16211 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 199168424 1754808320 92366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16265] ppid=16255 vsize=1713680 CPUtime=1.12 /proc/16257/task/16265/stat : 16265 (java) S 16255 16257 16211 0 -1 64 2059 0 0 0 112 0 0 0 17 0 13 0 199168424 1754808320 92366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16266] ppid=16255 vsize=1713680 CPUtime=1.07 /proc/16257/task/16266/stat : 16266 (java) S 16255 16257 16211 0 -1 64 1119 0 0 0 107 0 0 0 16 0 13 0 199168424 1754808320 92366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16267] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16267/stat : 16267 (java) S 16255 16257 16211 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199168424 1754808320 92366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16268] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16268/stat : 16268 (java) S 16255 16257 16211 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199168424 1754808320 92366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16269] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16269/stat : 16269 (java) S 16255 16257 16211 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 199168847 1754808320 92366 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (Kb) 1713680 [startup+1781.38 s] /proc/loadavg: 1.01 1.01 0.99 2/76 16464 /proc/meminfo: memFree=957432/2055924 swapFree=4181416/4192956 [pid=16257] ppid=16255 vsize=1713680 CPUtime=1798.42 /proc/16257/stat : 16257 (java) R 16255 16257 16211 0 -1 0 148421 0 1 0 179495 347 0 0 20 0 13 0 199168414 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071791738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16257/statm: 428420 92431 1910 14 0 415167 0 [pid=16257/tid=16258] ppid=16255 vsize=1713680 CPUtime=16.4 /proc/16257/task/16258/stat : 16258 (java) S 16255 16257 16211 0 -1 64 30906 0 0 0 1521 119 0 0 15 0 13 0 199168417 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16259] ppid=16255 vsize=1713680 CPUtime=16.55 /proc/16257/task/16259/stat : 16259 (java) S 16255 16257 16211 0 -1 64 31084 0 0 0 1519 136 0 0 16 0 13 0 199168417 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16260] ppid=16255 vsize=1713680 CPUtime=0.84 /proc/16257/task/16260/stat : 16260 (java) R 16255 16257 16211 0 -1 64 138 0 0 0 52 32 0 0 15 0 13 0 199168420 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154995658 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16261] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16261/stat : 16261 (java) S 16255 16257 16211 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16262] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16262/stat : 16262 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16263] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16263/stat : 16263 (java) S 16255 16257 16211 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16264] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16264/stat : 16264 (java) S 16255 16257 16211 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16265] ppid=16255 vsize=1713680 CPUtime=1.12 /proc/16257/task/16265/stat : 16265 (java) S 16255 16257 16211 0 -1 64 2059 0 0 0 112 0 0 0 17 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16266] ppid=16255 vsize=1713680 CPUtime=1.07 /proc/16257/task/16266/stat : 16266 (java) S 16255 16257 16211 0 -1 64 1119 0 0 0 107 0 0 0 16 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16267] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16267/stat : 16267 (java) S 16255 16257 16211 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16268] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16268/stat : 16268 (java) S 16255 16257 16211 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16269] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16269/stat : 16269 (java) S 16255 16257 16211 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 199168847 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.42 Current children cumulated vsize (Kb) 1713680 [startup+1782.38 s] /proc/loadavg: 1.01 1.01 0.99 2/76 16464 /proc/meminfo: memFree=957432/2055924 swapFree=4181416/4192956 [pid=16257] ppid=16255 vsize=1713680 CPUtime=1799.44 /proc/16257/stat : 16257 (java) R 16255 16257 16211 0 -1 0 148423 0 1 0 179597 347 0 0 20 0 13 0 199168414 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071791148 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16257/statm: 428420 92431 1910 14 0 415167 0 [pid=16257/tid=16258] ppid=16255 vsize=1713680 CPUtime=16.41 /proc/16257/task/16258/stat : 16258 (java) S 16255 16257 16211 0 -1 64 30906 0 0 0 1522 119 0 0 16 0 13 0 199168417 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16259] ppid=16255 vsize=1713680 CPUtime=16.56 /proc/16257/task/16259/stat : 16259 (java) S 16255 16257 16211 0 -1 64 31084 0 0 0 1520 136 0 0 16 0 13 0 199168417 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16260] ppid=16255 vsize=1713680 CPUtime=0.85 /proc/16257/task/16260/stat : 16260 (java) S 16255 16257 16211 0 -1 64 138 0 0 0 52 33 0 0 16 0 13 0 199168420 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16261] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16261/stat : 16261 (java) S 16255 16257 16211 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16262] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16262/stat : 16262 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16263] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16263/stat : 16263 (java) S 16255 16257 16211 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16264] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16264/stat : 16264 (java) S 16255 16257 16211 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16265] ppid=16255 vsize=1713680 CPUtime=1.12 /proc/16257/task/16265/stat : 16265 (java) S 16255 16257 16211 0 -1 64 2059 0 0 0 112 0 0 0 17 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16266] ppid=16255 vsize=1713680 CPUtime=1.07 /proc/16257/task/16266/stat : 16266 (java) S 16255 16257 16211 0 -1 64 1119 0 0 0 107 0 0 0 16 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16267] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16267/stat : 16267 (java) S 16255 16257 16211 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16268] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16268/stat : 16268 (java) S 16255 16257 16211 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16269] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16269/stat : 16269 (java) S 16255 16257 16211 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 199168847 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (Kb) 1713680 [startup+1783.39 s] /proc/loadavg: 1.01 1.01 0.99 2/76 16464 /proc/meminfo: memFree=957432/2055924 swapFree=4181416/4192956 [pid=16257] ppid=16255 vsize=1713680 CPUtime=1800.45 /proc/16257/stat : 16257 (java) R 16255 16257 16211 0 -1 0 148425 0 1 0 179698 347 0 0 25 0 13 0 199168414 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071492239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16257/statm: 428420 92431 1910 14 0 415167 0 [pid=16257/tid=16258] ppid=16255 vsize=1713680 CPUtime=16.42 /proc/16257/task/16258/stat : 16258 (java) S 16255 16257 16211 0 -1 64 30906 0 0 0 1523 119 0 0 16 0 13 0 199168417 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16259] ppid=16255 vsize=1713680 CPUtime=16.58 /proc/16257/task/16259/stat : 16259 (java) S 16255 16257 16211 0 -1 64 31084 0 0 0 1522 136 0 0 16 0 13 0 199168417 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16260] ppid=16255 vsize=1713680 CPUtime=0.85 /proc/16257/task/16260/stat : 16260 (java) S 16255 16257 16211 0 -1 64 138 0 0 0 52 33 0 0 16 0 13 0 199168420 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16261] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16261/stat : 16261 (java) S 16255 16257 16211 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16262] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16262/stat : 16262 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16263] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16263/stat : 16263 (java) S 16255 16257 16211 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16264] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16264/stat : 16264 (java) S 16255 16257 16211 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16265] ppid=16255 vsize=1713680 CPUtime=1.12 /proc/16257/task/16265/stat : 16265 (java) S 16255 16257 16211 0 -1 64 2059 0 0 0 112 0 0 0 17 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16266] ppid=16255 vsize=1713680 CPUtime=1.07 /proc/16257/task/16266/stat : 16266 (java) S 16255 16257 16211 0 -1 64 1119 0 0 0 107 0 0 0 16 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16267] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16267/stat : 16267 (java) S 16255 16257 16211 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16268] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16268/stat : 16268 (java) S 16255 16257 16211 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16269] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16269/stat : 16269 (java) S 16255 16257 16211 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 199168847 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (Kb) 1713680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.39 s] /proc/loadavg: 1.01 1.01 0.99 2/76 16464 /proc/meminfo: memFree=957432/2055924 swapFree=4181416/4192956 [pid=16257] ppid=16255 vsize=1713680 CPUtime=1800.46 /proc/16257/stat : 16257 (java) R 16255 16257 16211 0 -1 0 148425 0 1 0 179699 347 0 0 25 0 13 0 199168414 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071762587 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16257/statm: 428420 92431 1910 14 0 415167 0 [pid=16257/tid=16258] ppid=16255 vsize=1713680 CPUtime=16.42 /proc/16257/task/16258/stat : 16258 (java) S 16255 16257 16211 0 -1 64 30906 0 0 0 1523 119 0 0 16 0 13 0 199168417 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16259] ppid=16255 vsize=1713680 CPUtime=16.58 /proc/16257/task/16259/stat : 16259 (java) S 16255 16257 16211 0 -1 64 31084 0 0 0 1522 136 0 0 16 0 13 0 199168417 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16260] ppid=16255 vsize=1713680 CPUtime=0.85 /proc/16257/task/16260/stat : 16260 (java) S 16255 16257 16211 0 -1 64 138 0 0 0 52 33 0 0 16 0 13 0 199168420 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16261] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16261/stat : 16261 (java) S 16255 16257 16211 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16262] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16262/stat : 16262 (java) S 16255 16257 16211 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199168420 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16263] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16263/stat : 16263 (java) S 16255 16257 16211 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16264] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16264/stat : 16264 (java) S 16255 16257 16211 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16265] ppid=16255 vsize=1713680 CPUtime=1.12 /proc/16257/task/16265/stat : 16265 (java) S 16255 16257 16211 0 -1 64 2059 0 0 0 112 0 0 0 17 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16266] ppid=16255 vsize=1713680 CPUtime=1.07 /proc/16257/task/16266/stat : 16266 (java) S 16255 16257 16211 0 -1 64 1119 0 0 0 107 0 0 0 16 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16267] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16267/stat : 16267 (java) S 16255 16257 16211 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16257/tid=16268] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16268/stat : 16268 (java) S 16255 16257 16211 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199168424 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16257/tid=16269] ppid=16255 vsize=1713680 CPUtime=0 /proc/16257/task/16269/stat : 16269 (java) S 16255 16257 16211 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 199168847 1754808320 92431 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (Kb) 1713680 Sending SIGTERM to -16257 Sleeping 2 seconds Child status: 143 Real time (s): 1783.49 CPU time (s): 1800.56 CPU user time (s): 1797.03 CPU system time (s): 3.53246 CPU usage (%): 100.957 Max. virtual memory (cumulated for all children) (Kb): 1713680
Begin job on node6 on Sat Jun 3 11:44:23 UTC 2006 FILE ID= 42516-1149335063 PBS_JOBID= 310113 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship04l.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node6/42516-1149335063/instance-42516-1149335063.opb 944645641 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-42516-1149335063 -o ROOT/results/node6/solver-42516-1149335063 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node6/42516-1149335063/instance-42516-1149335063.opb 944645641 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 8c2ebef1f909dd9b378c2f7f10ba6b39 RANDOM SEED= 944645641 /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.268 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.268 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: 2055924 kB MemFree: 1321120 kB Buffers: 28092 kB Cached: 635368 kB SwapCached: 3348 kB Active: 78016 kB Inactive: 594272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1321120 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14924 kB Slab: 48512 kB Committed_AS: 314224 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node6 on Sat Jun 3 12:14:06 UTC 2006