Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? | 376.33 | 347.62 |
Name | normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-ds.opb |
MD5SUM | cc75ee6fc059a591840488be914609eb |
Bench Category | OPT-MEDINT (optimisation, medium 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 | 1354640 |
Total number of constraints | 656 |
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 | 656 |
Minimum length of a constraint | 640 |
Maximum length of a constraint | 129180 |
Number of terms in the objective function | 1354640 |
Biggest coefficient in the objective function | 19 |
Number of bits for the biggest coefficient in the objective function | 5 |
Sum of the numbers in the objective function | 1645248 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 8193 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 1645248 |
Number of bits of the biggest sum of numbers | 21 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node25/43762-1149322174/instance-43762-1149322174.opb 0.20 c reading problem ... 347.36 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 347.36 c starts : 0 347.36 c conflicts : 0 347.36 c decisions : 0 347.36 c propagations : 0 347.36 c inspects : 0 347.36 c learnt literals : 0 347.36 c learnt binary clauses : 0 347.36 c learnt ternary clauses : 0 347.36 c learnt clauses : 0 347.36 c root simplifications : 0 347.36 c removed literals (reason simplification) : 0 347.36 c reason swapping (by a shorter reason) : 0 347.36 c Calls to reduceDB : 0 347.36 c speed (decisions/second) : 0.0 347.36 c non guided choices 0 347.36 s UNKNOWN 347.36 c Total wall clock time (ms): 347.155
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/node25/watcher-43762-1149322174 -o ROOT/results/node25/solver-43762-1149322174 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node25/43762-1149322174/instance-43762-1149322174.opb 163496182 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.31 0.65 0.85 2/64 19150 /proc/meminfo: memFree=1020128/2055920 swapFree=4181460/4192956 [pid=19150] ppid=19148 vsize=1784 CPUtime=0 /proc/19150/stat : 19150 (java) D 19148 19150 19104 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 197892740 1826816 146 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/19150/statm: 446 146 111 14 0 91 0 [startup+10.0021 s] /proc/loadavg: 0.49 0.68 0.85 3/75 19161 /proc/meminfo: memFree=645384/2055920 swapFree=4181460/4192956 [pid=19150] ppid=19148 vsize=1726500 CPUtime=13.34 /proc/19150/stat : 19150 (java) S 19148 19150 19104 0 -1 0 101535 0 1 0 1283 51 0 0 25 0 12 0 197892740 1767936000 95463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19150/statm: 431625 95464 1886 14 0 418372 0 [pid=19150/tid=19151] ppid=19148 vsize=1726500 CPUtime=2.12 /proc/19150/task/19151/stat : 19151 (java) R 19148 19150 19104 0 -1 64 27816 0 0 0 197 15 0 0 18 0 12 0 197892743 1767936000 95468 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154975950 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19152] ppid=19148 vsize=1726500 CPUtime=2.11 /proc/19150/task/19152/stat : 19152 (java) R 19148 19150 19104 0 -1 64 29717 0 0 0 197 14 0 0 18 0 12 0 197892743 1767936000 95470 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154975510 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19153] ppid=19148 vsize=1726500 CPUtime=0 /proc/19150/task/19153/stat : 19153 (java) S 19148 19150 19104 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892746 1767936000 95472 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19154] ppid=19148 vsize=1726500 CPUtime=0 /proc/19150/task/19154/stat : 19154 (java) S 19148 19150 19104 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892747 1767936000 95474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19155] ppid=19148 vsize=1726500 CPUtime=0 /proc/19150/task/19155/stat : 19155 (java) S 19148 19150 19104 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892747 1767936000 95475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19156] ppid=19148 vsize=1726500 CPUtime=0 /proc/19150/task/19156/stat : 19156 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 197892750 1767936000 95477 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19157] ppid=19148 vsize=1726500 CPUtime=0 /proc/19150/task/19157/stat : 19157 (java) S 19148 19150 19104 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 197892750 1767936000 95479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19158] ppid=19148 vsize=1726500 CPUtime=1.11 /proc/19150/task/19158/stat : 19158 (java) S 19148 19150 19104 0 -1 64 6101 0 0 0 108 3 0 0 16 0 12 0 197892750 1767936000 95480 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19159] ppid=19148 vsize=1726500 CPUtime=0.53 /proc/19150/task/19159/stat : 19159 (java) S 19148 19150 19104 0 -1 64 1392 0 0 0 53 0 0 0 17 0 12 0 197892750 1767936000 95482 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19160] ppid=19148 vsize=1726500 CPUtime=0 /proc/19150/task/19160/stat : 19160 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197892750 1767936000 95484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19161] ppid=19148 vsize=1726500 CPUtime=0 /proc/19150/task/19161/stat : 19161 (java) S 19148 19150 19104 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892750 1767936000 95486 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 13.34 Current children cumulated vsize (Kb) 1726500 [startup+20.009 s] /proc/loadavg: 0.64 0.70 0.86 2/75 19161 /proc/meminfo: memFree=542280/2055920 swapFree=4181460/4192956 [pid=19150] ppid=19148 vsize=1723080 CPUtime=25.44 /proc/19150/stat : 19150 (java) R 19148 19150 19104 0 -1 0 130892 0 1 0 2473 71 0 0 18 0 12 0 197892740 1764433920 121030 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071332911 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19150/statm: 430770 121030 1886 14 0 417517 0 [pid=19150/tid=19151] ppid=19148 vsize=1723080 CPUtime=4.19 /proc/19150/task/19151/stat : 19151 (java) S 19148 19150 19104 0 -1 64 46171 0 0 0 393 26 0 0 16 0 12 0 197892743 1764433920 121030 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19152] ppid=19148 vsize=1723080 CPUtime=4.2 /proc/19150/task/19152/stat : 19152 (java) S 19148 19150 19104 0 -1 64 40689 0 0 0 399 21 0 0 16 0 12 0 197892743 1764433920 121030 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19153] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19153/stat : 19153 (java) S 19148 19150 19104 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 197892746 1764433920 121030 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19154] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19154/stat : 19154 (java) S 19148 19150 19104 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892747 1764433920 121030 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19155] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19155/stat : 19155 (java) S 19148 19150 19104 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892747 1764433920 121030 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19156] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19156/stat : 19156 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 197892750 1764433920 121030 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19157] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19157/stat : 19157 (java) S 19148 19150 19104 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 197892750 1764433920 121030 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19158] ppid=19148 vsize=1723080 CPUtime=1.12 /proc/19150/task/19158/stat : 19158 (java) S 19148 19150 19104 0 -1 64 6101 0 0 0 109 3 0 0 16 0 12 0 197892750 1764433920 121030 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19159] ppid=19148 vsize=1723080 CPUtime=0.53 /proc/19150/task/19159/stat : 19159 (java) S 19148 19150 19104 0 -1 64 1392 0 0 0 53 0 0 0 17 0 12 0 197892750 1764433920 121030 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19160] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19160/stat : 19160 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197892750 1764433920 121030 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19161] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19161/stat : 19161 (java) S 19148 19150 19104 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892750 1764433920 121030 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (Kb) 1723080 [startup+30.016 s] /proc/loadavg: 0.77 0.73 0.87 3/75 19161 /proc/meminfo: memFree=464968/2055920 swapFree=4181460/4192956 [pid=19150] ppid=19148 vsize=1723080 CPUtime=36.95 /proc/19150/stat : 19150 (java) S 19148 19150 19104 0 -1 0 151361 0 1 0 3610 85 0 0 22 0 12 0 197892740 1764433920 140338 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19150/statm: 430770 140338 1886 14 0 417517 0 [pid=19150/tid=19151] ppid=19148 vsize=1723080 CPUtime=5.7 /proc/19150/task/19151/stat : 19151 (java) R 19148 19150 19104 0 -1 64 55984 0 0 0 537 33 0 0 16 0 12 0 197892743 1764433920 140338 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154649077 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19152] ppid=19148 vsize=1723080 CPUtime=5.72 /proc/19150/task/19152/stat : 19152 (java) R 19148 19150 19104 0 -1 64 51321 0 0 0 545 27 0 0 17 0 12 0 197892743 1764433920 140338 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4151731068 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19153] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19153/stat : 19153 (java) S 19148 19150 19104 0 -1 64 19 0 0 0 0 0 0 0 15 0 12 0 197892746 1764433920 140338 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19154] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19154/stat : 19154 (java) S 19148 19150 19104 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892747 1764433920 140338 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19155] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19155/stat : 19155 (java) S 19148 19150 19104 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892747 1764433920 140338 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19156] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19156/stat : 19156 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 197892750 1764433920 140338 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19157] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19157/stat : 19157 (java) S 19148 19150 19104 0 -1 64 4 0 0 0 0 0 0 0 17 0 12 0 197892750 1764433920 140343 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19158] ppid=19148 vsize=1723080 CPUtime=1.14 /proc/19150/task/19158/stat : 19158 (java) S 19148 19150 19104 0 -1 64 6101 0 0 0 111 3 0 0 16 0 12 0 197892750 1764433920 140349 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19159] ppid=19148 vsize=1723080 CPUtime=0.53 /proc/19150/task/19159/stat : 19159 (java) S 19148 19150 19104 0 -1 64 1392 0 0 0 53 0 0 0 17 0 12 0 197892750 1764433920 140356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19160] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19160/stat : 19160 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197892750 1764433920 140363 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19161] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19161/stat : 19161 (java) S 19148 19150 19104 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892750 1764433920 140369 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 36.95 Current children cumulated vsize (Kb) 1723080 [startup+40.0229 s] /proc/loadavg: 0.81 0.74 0.87 2/75 19161 /proc/meminfo: memFree=369032/2055920 swapFree=4181460/4192956 [pid=19150] ppid=19148 vsize=1723080 CPUtime=48.55 /proc/19150/stat : 19150 (java) R 19148 19150 19104 0 -1 0 176586 0 1 0 4755 100 0 0 17 0 12 0 197892740 1764433920 164269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071446361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19150/statm: 430770 164269 1886 14 0 417517 0 [pid=19150/tid=19151] ppid=19148 vsize=1723080 CPUtime=7.29 /proc/19150/task/19151/stat : 19151 (java) S 19148 19150 19104 0 -1 64 69856 0 0 0 687 42 0 0 16 0 12 0 197892743 1764433920 164269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19152] ppid=19148 vsize=1723080 CPUtime=7.31 /proc/19150/task/19152/stat : 19152 (java) S 19148 19150 19104 0 -1 64 62659 0 0 0 699 32 0 0 16 0 12 0 197892743 1764433920 164269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19153] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19153/stat : 19153 (java) S 19148 19150 19104 0 -1 64 22 0 0 0 0 0 0 0 16 0 12 0 197892746 1764433920 164269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19154] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19154/stat : 19154 (java) S 19148 19150 19104 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892747 1764433920 164269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19155] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19155/stat : 19155 (java) S 19148 19150 19104 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892747 1764433920 164269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19156] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19156/stat : 19156 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 197892750 1764433920 164269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19157] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19157/stat : 19157 (java) S 19148 19150 19104 0 -1 64 4 0 0 0 0 0 0 0 17 0 12 0 197892750 1764433920 164269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19158] ppid=19148 vsize=1723080 CPUtime=1.14 /proc/19150/task/19158/stat : 19158 (java) S 19148 19150 19104 0 -1 64 6101 0 0 0 111 3 0 0 16 0 12 0 197892750 1764433920 164269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19159] ppid=19148 vsize=1723080 CPUtime=0.54 /proc/19150/task/19159/stat : 19159 (java) S 19148 19150 19104 0 -1 64 1392 0 0 0 54 0 0 0 17 0 12 0 197892750 1764433920 164269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19160] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19160/stat : 19160 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197892750 1764433920 164269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19161] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19161/stat : 19161 (java) S 19148 19150 19104 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892750 1764433920 164269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 48.55 Current children cumulated vsize (Kb) 1723080 [startup+50.043 s] /proc/loadavg: 0.83 0.74 0.87 3/75 19161 /proc/meminfo: memFree=281352/2055920 swapFree=4181460/4192956 [pid=19150] ppid=19148 vsize=1723080 CPUtime=60.04 /proc/19150/stat : 19150 (java) S 19148 19150 19104 0 -1 0 199459 0 1 0 5889 115 0 0 22 0 12 0 197892740 1764433920 186198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19150/statm: 430770 186198 1886 14 0 417517 0 [pid=19150/tid=19151] ppid=19148 vsize=1723080 CPUtime=8.77 /proc/19150/task/19151/stat : 19151 (java) R 19148 19150 19104 0 -1 64 81046 0 0 0 828 49 0 0 17 0 12 0 197892743 1764433920 186198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154649207 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19152] ppid=19148 vsize=1723080 CPUtime=8.8 /proc/19150/task/19152/stat : 19152 (java) R 19148 19150 19104 0 -1 64 74328 0 0 0 841 39 0 0 16 0 12 0 197892743 1764433920 186198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154976005 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19153] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19153/stat : 19153 (java) S 19148 19150 19104 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 197892746 1764433920 186198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19154] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19154/stat : 19154 (java) S 19148 19150 19104 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892747 1764433920 186198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19155] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19155/stat : 19155 (java) S 19148 19150 19104 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892747 1764433920 186198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19156] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19156/stat : 19156 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 197892750 1764433920 186198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19157] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19157/stat : 19157 (java) S 19148 19150 19104 0 -1 64 4 0 0 0 0 0 0 0 17 0 12 0 197892750 1764433920 186198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19158] ppid=19148 vsize=1723080 CPUtime=1.14 /proc/19150/task/19158/stat : 19158 (java) S 19148 19150 19104 0 -1 64 6101 0 0 0 111 3 0 0 17 0 12 0 197892750 1764433920 186198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19159] ppid=19148 vsize=1723080 CPUtime=0.55 /proc/19150/task/19159/stat : 19159 (java) S 19148 19150 19104 0 -1 64 1392 0 0 0 55 0 0 0 16 0 12 0 197892750 1764433920 186198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19160] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19160/stat : 19160 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197892750 1764433920 186198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19161] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19161/stat : 19161 (java) S 19148 19150 19104 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892750 1764433920 186198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 60.04 Current children cumulated vsize (Kb) 1723080 [startup+60.0499 s] /proc/loadavg: 0.86 0.75 0.87 2/75 19161 /proc/meminfo: memFree=191944/2055920 swapFree=4181460/4192956 [pid=19150] ppid=19148 vsize=1723080 CPUtime=71.64 /proc/19150/stat : 19150 (java) R 19148 19150 19104 0 -1 0 224253 0 1 0 7034 130 0 0 19 0 12 0 197892740 1764433920 208450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071429791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19150/statm: 430770 208450 1886 14 0 417517 0 [pid=19150/tid=19151] ppid=19148 vsize=1723080 CPUtime=10.37 /proc/19150/task/19151/stat : 19151 (java) S 19148 19150 19104 0 -1 64 95201 0 0 0 980 57 0 0 16 0 12 0 197892743 1764433920 208450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19152] ppid=19148 vsize=1723080 CPUtime=10.4 /proc/19150/task/19152/stat : 19152 (java) S 19148 19150 19104 0 -1 64 84953 0 0 0 996 44 0 0 16 0 12 0 197892743 1764433920 208450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19153] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19153/stat : 19153 (java) S 19148 19150 19104 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 197892746 1764433920 208450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19154] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19154/stat : 19154 (java) S 19148 19150 19104 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892747 1764433920 208450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19155] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19155/stat : 19155 (java) S 19148 19150 19104 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892747 1764433920 208450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19156] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19156/stat : 19156 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 197892750 1764433920 208450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19157] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19157/stat : 19157 (java) S 19148 19150 19104 0 -1 64 4 0 0 0 0 0 0 0 17 0 12 0 197892750 1764433920 208450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19158] ppid=19148 vsize=1723080 CPUtime=1.14 /proc/19150/task/19158/stat : 19158 (java) S 19148 19150 19104 0 -1 64 6101 0 0 0 111 3 0 0 17 0 12 0 197892750 1764433920 208450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19159] ppid=19148 vsize=1723080 CPUtime=0.55 /proc/19150/task/19159/stat : 19159 (java) S 19148 19150 19104 0 -1 64 1392 0 0 0 55 0 0 0 16 0 12 0 197892750 1764433920 208450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19160] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19160/stat : 19160 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197892750 1764433920 208450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19161] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19161/stat : 19161 (java) S 19148 19150 19104 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892750 1764433920 208450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=19150/tid=19160] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19160/stat : 19160 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197892750 1780822016 394639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19161] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19161/stat : 19161 (java) S 19148 19150 19104 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892750 1780822016 394639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 308.96 Current children cumulated vsize (Kb) 1739084 [startup+290.22 s] /proc/loadavg: 1.01 0.93 0.91 2/75 19161 /proc/meminfo: memFree=20880/2055920 swapFree=4181452/4192956 [pid=19150] ppid=19148 vsize=1739084 CPUtime=318.97 /proc/19150/stat : 19150 (java) S 19148 19150 19104 0 -1 0 570034 0 1 0 31571 326 0 0 17 0 12 0 197892740 1780822016 394641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19150/statm: 434771 394641 1888 14 0 421518 0 [pid=19150/tid=19151] ppid=19148 vsize=1739084 CPUtime=27.81 /proc/19150/task/19151/stat : 19151 (java) S 19148 19150 19104 0 -1 64 184737 0 0 0 2669 112 0 0 16 0 12 0 197892743 1780822016 394641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19152] ppid=19148 vsize=1739084 CPUtime=27.84 /proc/19150/task/19152/stat : 19152 (java) S 19148 19150 19104 0 -1 64 184853 0 0 0 2680 104 0 0 17 0 12 0 197892743 1780822016 394641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19153] ppid=19148 vsize=1739084 CPUtime=125.42 /proc/19150/task/19153/stat : 19153 (java) R 19148 19150 19104 0 -1 64 156242 0 0 0 12471 71 0 0 25 0 12 0 197892746 1780822016 394641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154939714 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19154] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19154/stat : 19154 (java) S 19148 19150 19104 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892747 1780822016 394641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19155] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19155/stat : 19155 (java) S 19148 19150 19104 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892747 1780822016 394641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19156] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19156/stat : 19156 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 197892750 1780822016 394641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19157] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19157/stat : 19157 (java) S 19148 19150 19104 0 -1 64 4 0 0 0 0 0 0 0 17 0 12 0 197892750 1780822016 394641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19158] ppid=19148 vsize=1739084 CPUtime=1.17 /proc/19150/task/19158/stat : 19158 (java) S 19148 19150 19104 0 -1 64 6104 0 0 0 114 3 0 0 17 0 12 0 197892750 1780822016 394641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19159] ppid=19148 vsize=1739084 CPUtime=0.55 /proc/19150/task/19159/stat : 19159 (java) S 19148 19150 19104 0 -1 64 1392 0 0 0 55 0 0 0 16 0 12 0 197892750 1780822016 394641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19160] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19160/stat : 19160 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197892750 1780822016 394641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19161] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19161/stat : 19161 (java) S 19148 19150 19104 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892750 1780822016 394641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 318.97 Current children cumulated vsize (Kb) 1739084 [startup+300.227 s] /proc/loadavg: 1.01 0.93 0.91 2/75 19161 /proc/meminfo: memFree=20816/2055920 swapFree=4181452/4192956 [pid=19150] ppid=19148 vsize=1739084 CPUtime=328.97 /proc/19150/stat : 19150 (java) S 19148 19150 19104 0 -1 0 581121 0 1 0 32566 331 0 0 17 0 12 0 197892740 1780822016 394645 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19150/statm: 434771 394645 1888 14 0 421518 0 [pid=19150/tid=19151] ppid=19148 vsize=1739084 CPUtime=27.81 /proc/19150/task/19151/stat : 19151 (java) S 19148 19150 19104 0 -1 64 184737 0 0 0 2669 112 0 0 16 0 12 0 197892743 1780822016 394645 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19152] ppid=19148 vsize=1739084 CPUtime=27.84 /proc/19150/task/19152/stat : 19152 (java) S 19148 19150 19104 0 -1 64 184853 0 0 0 2680 104 0 0 17 0 12 0 197892743 1780822016 394645 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19153] ppid=19148 vsize=1739084 CPUtime=135.06 /proc/19150/task/19153/stat : 19153 (java) R 19148 19150 19104 0 -1 64 167327 0 0 0 13430 76 0 0 24 0 12 0 197892746 1780822016 394645 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154649010 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19154] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19154/stat : 19154 (java) S 19148 19150 19104 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892747 1780822016 394645 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19155] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19155/stat : 19155 (java) S 19148 19150 19104 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892747 1780822016 394645 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19156] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19156/stat : 19156 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 197892750 1780822016 394645 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19157] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19157/stat : 19157 (java) S 19148 19150 19104 0 -1 64 4 0 0 0 0 0 0 0 17 0 12 0 197892750 1780822016 394645 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19158] ppid=19148 vsize=1739084 CPUtime=1.17 /proc/19150/task/19158/stat : 19158 (java) S 19148 19150 19104 0 -1 64 6104 0 0 0 114 3 0 0 17 0 12 0 197892750 1780822016 394645 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19159] ppid=19148 vsize=1739084 CPUtime=0.55 /proc/19150/task/19159/stat : 19159 (java) S 19148 19150 19104 0 -1 64 1392 0 0 0 55 0 0 0 16 0 12 0 197892750 1780822016 394645 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19160] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19160/stat : 19160 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197892750 1780822016 394645 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19161] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19161/stat : 19161 (java) S 19148 19150 19104 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892750 1780822016 394645 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 328.97 Current children cumulated vsize (Kb) 1739084 [startup+310.234 s] /proc/loadavg: 1.01 0.93 0.91 2/75 19161 /proc/meminfo: memFree=30800/2055920 swapFree=4181452/4192956 [pid=19150] ppid=19148 vsize=1723080 CPUtime=338.97 /proc/19150/stat : 19150 (java) R 19148 19150 19104 0 -1 0 592212 0 1 0 33561 336 0 0 16 0 12 0 197892740 1764433920 392103 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19150/statm: 430770 392103 1888 14 0 417517 0 [pid=19150/tid=19151] ppid=19148 vsize=1723080 CPUtime=27.81 /proc/19150/task/19151/stat : 19151 (java) S 19148 19150 19104 0 -1 64 184737 0 0 0 2669 112 0 0 16 0 12 0 197892743 1764433920 392103 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19152] ppid=19148 vsize=1723080 CPUtime=27.84 /proc/19150/task/19152/stat : 19152 (java) S 19148 19150 19104 0 -1 64 184853 0 0 0 2680 104 0 0 17 0 12 0 197892743 1764433920 392103 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19153] ppid=19148 vsize=1723080 CPUtime=144.75 /proc/19150/task/19153/stat : 19153 (java) S 19148 19150 19104 0 -1 64 178415 0 0 0 14394 81 0 0 25 0 12 0 197892746 1764433920 392103 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19154] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19154/stat : 19154 (java) S 19148 19150 19104 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892747 1764433920 392103 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19155] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19155/stat : 19155 (java) S 19148 19150 19104 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892747 1764433920 392103 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19156] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19156/stat : 19156 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 197892750 1764433920 392103 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19157] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19157/stat : 19157 (java) S 19148 19150 19104 0 -1 64 4 0 0 0 0 0 0 0 17 0 12 0 197892750 1764433920 392103 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19158] ppid=19148 vsize=1723080 CPUtime=1.17 /proc/19150/task/19158/stat : 19158 (java) S 19148 19150 19104 0 -1 64 6104 0 0 0 114 3 0 0 17 0 12 0 197892750 1764433920 392103 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19159] ppid=19148 vsize=1723080 CPUtime=0.55 /proc/19150/task/19159/stat : 19159 (java) S 19148 19150 19104 0 -1 64 1392 0 0 0 55 0 0 0 16 0 12 0 197892750 1764433920 392103 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19160] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19160/stat : 19160 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197892750 1764433920 392103 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19161] ppid=19148 vsize=1723080 CPUtime=0 /proc/19150/task/19161/stat : 19161 (java) S 19148 19150 19104 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892750 1764433920 392103 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 338.97 Current children cumulated vsize (Kb) 1723080 [startup+320.24 s] /proc/loadavg: 1.01 0.93 0.91 2/75 19161 /proc/meminfo: memFree=25872/2055920 swapFree=4181452/4192956 [pid=19150] ppid=19148 vsize=1731084 CPUtime=348.98 /proc/19150/stat : 19150 (java) S 19148 19150 19104 0 -1 0 605587 0 1 0 34556 342 0 0 17 0 12 0 197892740 1772630016 393377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19150/statm: 432771 393377 1888 14 0 419518 0 [pid=19150/tid=19151] ppid=19148 vsize=1731084 CPUtime=27.81 /proc/19150/task/19151/stat : 19151 (java) S 19148 19150 19104 0 -1 64 184737 0 0 0 2669 112 0 0 16 0 12 0 197892743 1772630016 393377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19152] ppid=19148 vsize=1731084 CPUtime=27.84 /proc/19150/task/19152/stat : 19152 (java) S 19148 19150 19104 0 -1 64 184853 0 0 0 2680 104 0 0 17 0 12 0 197892743 1772630016 393377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19153] ppid=19148 vsize=1731084 CPUtime=154.43 /proc/19150/task/19153/stat : 19153 (java) R 19148 19150 19104 0 -1 64 191788 0 0 0 15356 87 0 0 18 0 12 0 197892746 1772630016 393377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154473067 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19154] ppid=19148 vsize=1731084 CPUtime=0 /proc/19150/task/19154/stat : 19154 (java) S 19148 19150 19104 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892747 1772630016 393377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19155] ppid=19148 vsize=1731084 CPUtime=0 /proc/19150/task/19155/stat : 19155 (java) S 19148 19150 19104 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892747 1772630016 393377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19156] ppid=19148 vsize=1731084 CPUtime=0 /proc/19150/task/19156/stat : 19156 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 197892750 1772630016 393377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19157] ppid=19148 vsize=1731084 CPUtime=0 /proc/19150/task/19157/stat : 19157 (java) S 19148 19150 19104 0 -1 64 4 0 0 0 0 0 0 0 17 0 12 0 197892750 1772630016 393377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19158] ppid=19148 vsize=1731084 CPUtime=1.17 /proc/19150/task/19158/stat : 19158 (java) S 19148 19150 19104 0 -1 64 6104 0 0 0 114 3 0 0 17 0 12 0 197892750 1772630016 393377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19159] ppid=19148 vsize=1731084 CPUtime=0.55 /proc/19150/task/19159/stat : 19159 (java) S 19148 19150 19104 0 -1 64 1392 0 0 0 55 0 0 0 16 0 12 0 197892750 1772630016 393377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19160] ppid=19148 vsize=1731084 CPUtime=0 /proc/19150/task/19160/stat : 19160 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197892750 1772630016 393377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19161] ppid=19148 vsize=1731084 CPUtime=0 /proc/19150/task/19161/stat : 19161 (java) S 19148 19150 19104 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892750 1772630016 393377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 348.98 Current children cumulated vsize (Kb) 1731084 [startup+330.247 s] /proc/loadavg: 1.01 0.94 0.91 2/75 19161 /proc/meminfo: memFree=25680/2055920 swapFree=4181452/4192956 [pid=19150] ppid=19148 vsize=1731084 CPUtime=358.99 /proc/19150/stat : 19150 (java) S 19148 19150 19104 0 -1 0 616740 0 1 0 35551 348 0 0 17 0 12 0 197892740 1772630016 393427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19150/statm: 432771 393427 1888 14 0 419518 0 [pid=19150/tid=19151] ppid=19148 vsize=1731084 CPUtime=27.81 /proc/19150/task/19151/stat : 19151 (java) S 19148 19150 19104 0 -1 64 184737 0 0 0 2669 112 0 0 16 0 12 0 197892743 1772630016 393427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19152] ppid=19148 vsize=1731084 CPUtime=27.84 /proc/19150/task/19152/stat : 19152 (java) S 19148 19150 19104 0 -1 64 184853 0 0 0 2680 104 0 0 17 0 12 0 197892743 1772630016 393427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19153] ppid=19148 vsize=1731084 CPUtime=164.14 /proc/19150/task/19153/stat : 19153 (java) R 19148 19150 19104 0 -1 64 202939 0 0 0 16322 92 0 0 18 0 12 0 197892746 1772630016 393427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154472576 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19154] ppid=19148 vsize=1731084 CPUtime=0 /proc/19150/task/19154/stat : 19154 (java) S 19148 19150 19104 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892747 1772630016 393427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19155] ppid=19148 vsize=1731084 CPUtime=0 /proc/19150/task/19155/stat : 19155 (java) S 19148 19150 19104 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892747 1772630016 393427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19156] ppid=19148 vsize=1731084 CPUtime=0 /proc/19150/task/19156/stat : 19156 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 197892750 1772630016 393427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19157] ppid=19148 vsize=1731084 CPUtime=0 /proc/19150/task/19157/stat : 19157 (java) S 19148 19150 19104 0 -1 64 4 0 0 0 0 0 0 0 17 0 12 0 197892750 1772630016 393427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19158] ppid=19148 vsize=1731084 CPUtime=1.17 /proc/19150/task/19158/stat : 19158 (java) S 19148 19150 19104 0 -1 64 6104 0 0 0 114 3 0 0 17 0 12 0 197892750 1772630016 393427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19159] ppid=19148 vsize=1731084 CPUtime=0.55 /proc/19150/task/19159/stat : 19159 (java) S 19148 19150 19104 0 -1 64 1392 0 0 0 55 0 0 0 16 0 12 0 197892750 1772630016 393427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19160] ppid=19148 vsize=1731084 CPUtime=0 /proc/19150/task/19160/stat : 19160 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197892750 1772630016 393427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19161] ppid=19148 vsize=1731084 CPUtime=0 /proc/19150/task/19161/stat : 19161 (java) S 19148 19150 19104 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892750 1772630016 393427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 358.99 Current children cumulated vsize (Kb) 1731084 [startup+340.254 s] /proc/loadavg: 1.00 0.94 0.91 2/75 19161 /proc/meminfo: memFree=20688/2055920 swapFree=4181452/4192956 [pid=19150] ppid=19148 vsize=1739084 CPUtime=368.99 /proc/19150/stat : 19150 (java) S 19148 19150 19104 0 -1 0 631073 0 1 0 36545 354 0 0 16 0 12 0 197892740 1780822016 394653 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19150/statm: 434771 394653 1888 14 0 421518 0 [pid=19150/tid=19151] ppid=19148 vsize=1739084 CPUtime=27.81 /proc/19150/task/19151/stat : 19151 (java) S 19148 19150 19104 0 -1 64 184737 0 0 0 2669 112 0 0 16 0 12 0 197892743 1780822016 394653 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19152] ppid=19148 vsize=1739084 CPUtime=27.84 /proc/19150/task/19152/stat : 19152 (java) S 19148 19150 19104 0 -1 64 184853 0 0 0 2680 104 0 0 17 0 12 0 197892743 1780822016 394653 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19153] ppid=19148 vsize=1739084 CPUtime=174.07 /proc/19150/task/19153/stat : 19153 (java) R 19148 19150 19104 0 -1 64 217270 0 0 0 17308 99 0 0 20 0 12 0 197892746 1780822016 394653 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154938528 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19154] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19154/stat : 19154 (java) S 19148 19150 19104 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892747 1780822016 394653 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19155] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19155/stat : 19155 (java) S 19148 19150 19104 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892747 1780822016 394653 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19156] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19156/stat : 19156 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 197892750 1780822016 394653 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19157] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19157/stat : 19157 (java) S 19148 19150 19104 0 -1 64 4 0 0 0 0 0 0 0 17 0 12 0 197892750 1780822016 394653 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19150/tid=19158] ppid=19148 vsize=1739084 CPUtime=1.17 /proc/19150/task/19158/stat : 19158 (java) S 19148 19150 19104 0 -1 64 6104 0 0 0 114 3 0 0 17 0 12 0 197892750 1780822016 394653 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19159] ppid=19148 vsize=1739084 CPUtime=0.55 /proc/19150/task/19159/stat : 19159 (java) S 19148 19150 19104 0 -1 64 1392 0 0 0 55 0 0 0 16 0 12 0 197892750 1780822016 394653 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19160] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19160/stat : 19160 (java) S 19148 19150 19104 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197892750 1780822016 394653 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19150/tid=19161] ppid=19148 vsize=1739084 CPUtime=0 /proc/19150/task/19161/stat : 19161 (java) S 19148 19150 19104 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892750 1780822016 394653 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 368.99 Current children cumulated vsize (Kb) 1739084 Child status: 1 Real time (s): 347.62 CPU time (s): 376.33 CPU user time (s): 372.524 CPU system time (s): 3.80542 CPU usage (%): 108.259 Max. virtual memory (cumulated for all children) (Kb): 1739084
Begin job on node25 on Sat Jun 3 08:10:36 UTC 2006 FILE ID= 43762-1149322174 PBS_JOBID= 309376 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-ds.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node25/43762-1149322174/instance-43762-1149322174.opb 163496182 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-43762-1149322174 -o ROOT/results/node25/solver-43762-1149322174 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node25/43762-1149322174/instance-43762-1149322174.opb 163496182 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= cc75ee6fc059a591840488be914609eb RANDOM SEED= 163496182 /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.236 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.236 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: 1019752 kB Buffers: 25612 kB Cached: 942400 kB SwapCached: 3164 kB Active: 313676 kB Inactive: 663028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1019752 kB SwapTotal: 4192956 kB SwapFree: 4181460 kB Dirty: 20 kB Writeback: 0 kB Mapped: 14728 kB Slab: 45400 kB Committed_AS: 307548 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node25 on Sat Jun 3 08:17:21 UTC 2006