Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1801.08 | 1787.48 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-seba.opb |
MD5SUM | 1b2371606d4072012aff3f48017bfad5 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 20409176029 |
Optimality of the best value was proved | NO |
Number of variables | 23376 |
Total number of constraints | 1029 |
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 | 1029 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 496 |
Number of terms in the objective function | 7565 |
Biggest coefficient in the objective function | 258342282854400 |
Number of bits for the biggest coefficient in the objective function | 48 |
Sum of the numbers in the objective function | 4664562894591719 |
Number of bits of the sum of numbers in the objective function | 53 |
Biggest number in a constraint | 258342282854400 |
Number of bits of the biggest number in a constraint | 48 |
Biggest sum of numbers in a constraint | 4664562894591719 |
Number of bits of the biggest sum of numbers | 53 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 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/node15/43260-1149311693/instance-43260-1149311693.opb 0.22 c reading problem ... 2.58 c ... done. Time 2.369 ms. 2.58 c #vars 23376 2.58 c #constraints 1484 1787.33 c starts : 10 1787.33 c conflicts : 9071 1787.33 c decisions : 39174 1787.33 c propagations : 681380 1787.33 c inspects : 17780409 1787.33 c learnt literals : 0 1787.33 c learnt binary clauses : 0 1787.33 c learnt ternary clauses : 0 1787.33 c learnt clauses : 9070 1787.33 c root simplifications : 0 1787.33 c removed literals (reason simplification) : 0 1787.33 c reason swapping (by a shorter reason) : 0 1787.33 c Calls to reduceDB : 0 1787.33 c speed (decisions/second) : 21.952650552514825 1787.33 c non guided choices 588 1787.34 s UNKNOWN 1787.34 c Total wall clock time (ms): 1787.119
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/node15/watcher-43260-1149311693 -o ROOT/results/node15/solver-43260-1149311693 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node15/43260-1149311693/instance-43260-1149311693.opb 652533513 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.98 3/64 5226 /proc/meminfo: memFree=1194592/2055920 swapFree=4181408/4192956 [pid=5226] ppid=5224 vsize=1784 CPUtime=0 /proc/5226/stat : 5226 (java) D 5224 5226 5180 0 -1 0 170 0 0 0 0 0 0 0 18 0 1 0 196832113 1826816 141 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/5226/statm: 446 141 106 14 0 91 0 [startup+10.0025 s] /proc/loadavg: 1.00 0.99 0.99 3/76 5238 /proc/meminfo: memFree=1006664/2055920 swapFree=4181408/4192956 [pid=5226] ppid=5224 vsize=1712472 CPUtime=11.64 /proc/5226/stat : 5226 (java) S 5224 5226 5180 0 -1 0 50835 0 1 0 1142 22 0 0 25 0 13 0 196832113 1753571328 48817 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5226/statm: 428118 48817 1907 14 0 414865 0 [pid=5226/tid=5227] ppid=5224 vsize=1712472 CPUtime=0.34 /proc/5226/task/5227/stat : 5227 (java) R 5224 5226 5180 0 -1 64 5734 0 0 0 33 1 0 0 17 0 13 0 196832116 1753571328 48817 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5228] ppid=5224 vsize=1712472 CPUtime=0.35 /proc/5226/task/5228/stat : 5228 (java) S 5224 5226 5180 0 -1 64 5606 0 0 0 33 2 0 0 17 0 13 0 196832116 1753571328 48817 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5229] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5229/stat : 5229 (java) S 5224 5226 5180 0 -1 64 14 0 0 0 0 0 0 0 15 0 13 0 196832119 1753571328 48817 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5230] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5230/stat : 5230 (java) S 5224 5226 5180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 48817 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5231] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5231/stat : 5231 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 48817 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5232] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5232/stat : 5232 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196832122 1753571328 48817 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5233] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5233/stat : 5233 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196832122 1753571328 48817 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5234] ppid=5224 vsize=1712472 CPUtime=0.95 /proc/5226/task/5234/stat : 5234 (java) S 5224 5226 5180 0 -1 64 1304 0 0 0 95 0 0 0 16 0 13 0 196832122 1753571328 48817 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5235] ppid=5224 vsize=1712472 CPUtime=0.89 /proc/5226/task/5235/stat : 5235 (java) S 5224 5226 5180 0 -1 64 1642 0 0 0 89 0 0 0 15 0 13 0 196832122 1753571328 48817 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5236] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5236/stat : 5236 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196832122 1753571328 48817 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5237] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5237/stat : 5237 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196832123 1753571328 48817 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5238] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5238/stat : 5238 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 196832408 1753571328 48817 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.64 Current children cumulated vsize (Kb) 1712472 [startup+20.0282 s] /proc/loadavg: 1.00 0.99 0.99 2/76 5238 /proc/meminfo: memFree=988680/2055920 swapFree=4181408/4192956 [pid=5226] ppid=5224 vsize=1712472 CPUtime=21.8 /proc/5226/stat : 5226 (java) R 5224 5226 5180 0 -1 0 57596 0 1 0 2155 25 0 0 18 0 13 0 196832113 1753571328 53218 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071652129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5226/statm: 428118 53218 1907 14 0 414865 0 [pid=5226/tid=5227] ppid=5224 vsize=1712472 CPUtime=0.47 /proc/5226/task/5227/stat : 5227 (java) S 5224 5226 5180 0 -1 64 9244 0 0 0 44 3 0 0 16 0 13 0 196832116 1753571328 53218 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5228] ppid=5224 vsize=1712472 CPUtime=0.47 /proc/5226/task/5228/stat : 5228 (java) S 5224 5226 5180 0 -1 64 8843 0 0 0 44 3 0 0 16 0 13 0 196832116 1753571328 53218 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5229] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5229/stat : 5229 (java) S 5224 5226 5180 0 -1 64 14 0 0 0 0 0 0 0 15 0 13 0 196832119 1753571328 53218 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5230] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5230/stat : 5230 (java) S 5224 5226 5180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 53218 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5231] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5231/stat : 5231 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 53218 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5232] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5232/stat : 5232 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196832122 1753571328 53218 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5233] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5233/stat : 5233 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196832122 1753571328 53218 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5234] ppid=5224 vsize=1712472 CPUtime=0.97 /proc/5226/task/5234/stat : 5234 (java) S 5224 5226 5180 0 -1 64 1305 0 0 0 97 0 0 0 17 0 13 0 196832122 1753571328 53218 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5235] ppid=5224 vsize=1712472 CPUtime=0.91 /proc/5226/task/5235/stat : 5235 (java) S 5224 5226 5180 0 -1 64 1645 0 0 0 91 0 0 0 17 0 13 0 196832122 1753571328 53218 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5236] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5236/stat : 5236 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196832122 1753571328 53218 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5237] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5237/stat : 5237 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196832123 1753571328 53218 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5238] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5238/stat : 5238 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 196832408 1753571328 53218 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.8 Current children cumulated vsize (Kb) 1712472 [startup+30.035 s] /proc/loadavg: 1.00 0.99 0.99 2/76 5238 /proc/meminfo: memFree=1009544/2055920 swapFree=4181408/4192956 [pid=5226] ppid=5224 vsize=1712472 CPUtime=31.82 /proc/5226/stat : 5226 (java) R 5224 5226 5180 0 -1 0 57892 0 1 0 3157 25 0 0 24 0 13 0 196832113 1753571328 48013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071652082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5226/statm: 428118 48013 1907 14 0 414865 0 [pid=5226/tid=5227] ppid=5224 vsize=1712472 CPUtime=0.49 /proc/5226/task/5227/stat : 5227 (java) S 5224 5226 5180 0 -1 64 9313 0 0 0 46 3 0 0 16 0 13 0 196832116 1753571328 48013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5228] ppid=5224 vsize=1712472 CPUtime=0.49 /proc/5226/task/5228/stat : 5228 (java) S 5224 5226 5180 0 -1 64 9061 0 0 0 46 3 0 0 16 0 13 0 196832116 1753571328 48013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5229] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5229/stat : 5229 (java) S 5224 5226 5180 0 -1 64 14 0 0 0 0 0 0 0 15 0 13 0 196832119 1753571328 48013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5230] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5230/stat : 5230 (java) S 5224 5226 5180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 48013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5231] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5231/stat : 5231 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 48013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5232] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5232/stat : 5232 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196832122 1753571328 48013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5233] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5233/stat : 5233 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 15 0 13 0 196832122 1753571328 48013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5234] ppid=5224 vsize=1712472 CPUtime=0.97 /proc/5226/task/5234/stat : 5234 (java) S 5224 5226 5180 0 -1 64 1305 0 0 0 97 0 0 0 17 0 13 0 196832122 1753571328 48013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5235] ppid=5224 vsize=1712472 CPUtime=0.92 /proc/5226/task/5235/stat : 5235 (java) S 5224 5226 5180 0 -1 64 1645 0 0 0 92 0 0 0 16 0 13 0 196832122 1753571328 48013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5236] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5236/stat : 5236 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196832122 1753571328 48013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5237] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5237/stat : 5237 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196832123 1753571328 48013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5238] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5238/stat : 5238 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 196832408 1753571328 48013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.82 Current children cumulated vsize (Kb) 1712472 [startup+40.0417 s] /proc/loadavg: 1.00 0.99 0.99 2/76 5238 /proc/meminfo: memFree=1025736/2055920 swapFree=4181408/4192956 [pid=5226] ppid=5224 vsize=1712472 CPUtime=41.85 /proc/5226/stat : 5226 (java) R 5224 5226 5180 0 -1 0 58291 0 1 0 4159 26 0 0 25 0 13 0 196832113 1753571328 43954 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071655010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5226/statm: 428118 43954 1907 14 0 414865 0 [pid=5226/tid=5227] ppid=5224 vsize=1712472 CPUtime=0.51 /proc/5226/task/5227/stat : 5227 (java) S 5224 5226 5180 0 -1 64 9472 0 0 0 48 3 0 0 16 0 13 0 196832116 1753571328 43954 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5228] ppid=5224 vsize=1712472 CPUtime=0.51 /proc/5226/task/5228/stat : 5228 (java) S 5224 5226 5180 0 -1 64 9293 0 0 0 48 3 0 0 17 0 13 0 196832116 1753571328 43954 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5229] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5229/stat : 5229 (java) S 5224 5226 5180 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 43954 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5230] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5230/stat : 5230 (java) S 5224 5226 5180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 43954 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5231] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5231/stat : 5231 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 43954 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5232] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5232/stat : 5232 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196832122 1753571328 43954 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5233] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5233/stat : 5233 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 15 0 13 0 196832122 1753571328 43954 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5234] ppid=5224 vsize=1712472 CPUtime=0.97 /proc/5226/task/5234/stat : 5234 (java) S 5224 5226 5180 0 -1 64 1305 0 0 0 97 0 0 0 17 0 13 0 196832122 1753571328 43954 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5235] ppid=5224 vsize=1712472 CPUtime=0.92 /proc/5226/task/5235/stat : 5235 (java) S 5224 5226 5180 0 -1 64 1645 0 0 0 92 0 0 0 16 0 13 0 196832122 1753571328 43954 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5236] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5236/stat : 5236 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196832122 1753571328 43954 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5237] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5237/stat : 5237 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196832123 1753571328 43954 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5238] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5238/stat : 5238 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196832408 1753571328 43954 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.85 Current children cumulated vsize (Kb) 1712472 [startup+50.0484 s] /proc/loadavg: 1.00 0.99 0.99 2/76 5238 /proc/meminfo: memFree=1038408/2055920 swapFree=4181408/4192956 [pid=5226] ppid=5224 vsize=1712472 CPUtime=51.86 /proc/5226/stat : 5226 (java) R 5224 5226 5180 0 -1 0 58767 0 1 0 5160 26 0 0 22 0 13 0 196832113 1753571328 40796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071652118 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5226/statm: 428118 40796 1907 14 0 414865 0 [pid=5226/tid=5227] ppid=5224 vsize=1712472 CPUtime=0.53 /proc/5226/task/5227/stat : 5227 (java) S 5224 5226 5180 0 -1 64 9645 0 0 0 50 3 0 0 16 0 13 0 196832116 1753571328 40796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5228] ppid=5224 vsize=1712472 CPUtime=0.53 /proc/5226/task/5228/stat : 5228 (java) S 5224 5226 5180 0 -1 64 9588 0 0 0 50 3 0 0 16 0 13 0 196832116 1753571328 40796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5229] ppid=5224 vsize=1712472 CPUtime=0.01 /proc/5226/task/5229/stat : 5229 (java) S 5224 5226 5180 0 -1 64 14 0 0 0 0 1 0 0 15 0 13 0 196832119 1753571328 40796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5230] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5230/stat : 5230 (java) S 5224 5226 5180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 40796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5231] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5231/stat : 5231 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 40796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5232] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5232/stat : 5232 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196832122 1753571328 40796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5233] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5233/stat : 5233 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 15 0 13 0 196832122 1753571328 40796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5234] ppid=5224 vsize=1712472 CPUtime=0.97 /proc/5226/task/5234/stat : 5234 (java) S 5224 5226 5180 0 -1 64 1305 0 0 0 97 0 0 0 17 0 13 0 196832122 1753571328 40796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5235] ppid=5224 vsize=1712472 CPUtime=0.92 /proc/5226/task/5235/stat : 5235 (java) S 5224 5226 5180 0 -1 64 1645 0 0 0 92 0 0 0 16 0 13 0 196832122 1753571328 40796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5236] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5236/stat : 5236 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196832122 1753571328 40796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5237] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5237/stat : 5237 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196832123 1753571328 40796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5238] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5238/stat : 5238 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196832408 1753571328 40796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.86 Current children cumulated vsize (Kb) 1712472 [startup+60.0551 s] /proc/loadavg: 1.00 0.99 0.99 2/76 5238 /proc/meminfo: memFree=1045576/2055920 swapFree=4181408/4192956 [pid=5226] ppid=5224 vsize=1712472 CPUtime=61.89 /proc/5226/stat : 5226 (java) R 5224 5226 5180 0 -1 0 59251 0 1 0 6162 27 0 0 19 0 13 0 196832113 1753571328 39010 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071652089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5226/statm: 428118 39010 1907 14 0 414865 0 [pid=5226/tid=5227] ppid=5224 vsize=1712472 CPUtime=0.55 /proc/5226/task/5227/stat : 5227 (java) S 5224 5226 5180 0 -1 64 9819 0 0 0 52 3 0 0 16 0 13 0 196832116 1753571328 39010 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5228] ppid=5224 vsize=1712472 CPUtime=0.55 /proc/5226/task/5228/stat : 5228 (java) S 5224 5226 5180 0 -1 64 9890 0 0 0 52 3 0 0 16 0 13 0 196832116 1753571328 39010 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5229] ppid=5224 vsize=1712472 CPUtime=0.01 /proc/5226/task/5229/stat : 5229 (java) S 5224 5226 5180 0 -1 64 14 0 0 0 0 1 0 0 16 0 13 0 196832119 1753571328 39010 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5230] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5230/stat : 5230 (java) S 5224 5226 5180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 39010 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5231] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5231/stat : 5231 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 39010 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5232] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5232/stat : 5232 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196832122 1753571328 39010 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=5226/tid=5230] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5230/stat : 5230 (java) S 5224 5226 5180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 124622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5231] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5231/stat : 5231 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 124622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5232] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5232/stat : 5232 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196832122 1753571328 124622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5233] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5233/stat : 5233 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196832122 1753571328 124622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5234] ppid=5224 vsize=1712472 CPUtime=0.99 /proc/5226/task/5234/stat : 5234 (java) S 5224 5226 5180 0 -1 64 1306 0 0 0 99 0 0 0 17 0 13 0 196832122 1753571328 124622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5235] ppid=5224 vsize=1712472 CPUtime=0.98 /proc/5226/task/5235/stat : 5235 (java) S 5224 5226 5180 0 -1 64 1695 0 0 0 98 0 0 0 16 0 13 0 196832122 1753571328 124622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5236] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5236/stat : 5236 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196832122 1753571328 124622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5237] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5237/stat : 5237 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196832123 1753571328 124622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5238] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5238/stat : 5238 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832408 1753571328 124622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.9 Current children cumulated vsize (Kb) 1712472 [startup+1784.31 s] /proc/loadavg: 1.02 1.02 1.00 2/76 5240 /proc/meminfo: memFree=701512/2055920 swapFree=4181408/4192956 [pid=5226] ppid=5224 vsize=1712472 CPUtime=1797.93 /proc/5226/stat : 5226 (java) R 5224 5226 5180 0 -1 0 230858 0 1 0 179661 132 0 0 25 0 13 0 196832113 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071610659 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5226/statm: 428118 124668 1909 14 0 414865 0 [pid=5226/tid=5227] ppid=5224 vsize=1712472 CPUtime=13.35 /proc/5226/task/5227/stat : 5227 (java) S 5224 5226 5180 0 -1 64 67589 0 0 0 1301 34 0 0 16 0 13 0 196832116 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5228] ppid=5224 vsize=1712472 CPUtime=13.26 /proc/5226/task/5228/stat : 5228 (java) S 5224 5226 5180 0 -1 64 63940 0 0 0 1298 28 0 0 16 0 13 0 196832116 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5229] ppid=5224 vsize=1712472 CPUtime=0.37 /proc/5226/task/5229/stat : 5229 (java) S 5224 5226 5180 0 -1 64 190 0 0 0 20 17 0 0 16 0 13 0 196832119 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5230] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5230/stat : 5230 (java) S 5224 5226 5180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5231] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5231/stat : 5231 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5232] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5232/stat : 5232 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196832122 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5233] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5233/stat : 5233 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196832122 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5234] ppid=5224 vsize=1712472 CPUtime=0.99 /proc/5226/task/5234/stat : 5234 (java) S 5224 5226 5180 0 -1 64 1306 0 0 0 99 0 0 0 17 0 13 0 196832122 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5235] ppid=5224 vsize=1712472 CPUtime=0.98 /proc/5226/task/5235/stat : 5235 (java) S 5224 5226 5180 0 -1 64 1695 0 0 0 98 0 0 0 16 0 13 0 196832122 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5236] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5236/stat : 5236 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196832122 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5237] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5237/stat : 5237 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196832123 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5238] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5238/stat : 5238 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832408 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (Kb) 1712472 [startup+1785.32 s] /proc/loadavg: 1.02 1.02 1.00 2/76 5240 /proc/meminfo: memFree=701512/2055920 swapFree=4181408/4192956 [pid=5226] ppid=5224 vsize=1712472 CPUtime=1798.93 /proc/5226/stat : 5226 (java) R 5224 5226 5180 0 -1 0 230858 0 1 0 179761 132 0 0 25 0 13 0 196832113 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071652129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5226/statm: 428118 124668 1909 14 0 414865 0 [pid=5226/tid=5227] ppid=5224 vsize=1712472 CPUtime=13.35 /proc/5226/task/5227/stat : 5227 (java) S 5224 5226 5180 0 -1 64 67589 0 0 0 1301 34 0 0 16 0 13 0 196832116 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5228] ppid=5224 vsize=1712472 CPUtime=13.26 /proc/5226/task/5228/stat : 5228 (java) S 5224 5226 5180 0 -1 64 63940 0 0 0 1298 28 0 0 16 0 13 0 196832116 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5229] ppid=5224 vsize=1712472 CPUtime=0.37 /proc/5226/task/5229/stat : 5229 (java) S 5224 5226 5180 0 -1 64 190 0 0 0 20 17 0 0 16 0 13 0 196832119 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5230] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5230/stat : 5230 (java) S 5224 5226 5180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5231] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5231/stat : 5231 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5232] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5232/stat : 5232 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196832122 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5233] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5233/stat : 5233 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196832122 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5234] ppid=5224 vsize=1712472 CPUtime=0.99 /proc/5226/task/5234/stat : 5234 (java) S 5224 5226 5180 0 -1 64 1306 0 0 0 99 0 0 0 17 0 13 0 196832122 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5235] ppid=5224 vsize=1712472 CPUtime=0.98 /proc/5226/task/5235/stat : 5235 (java) S 5224 5226 5180 0 -1 64 1695 0 0 0 98 0 0 0 16 0 13 0 196832122 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5236] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5236/stat : 5236 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196832122 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5237] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5237/stat : 5237 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196832123 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5238] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5238/stat : 5238 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832408 1753571328 124668 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.93 Current children cumulated vsize (Kb) 1712472 [startup+1786.32 s] /proc/loadavg: 1.02 1.02 1.00 2/76 5240 /proc/meminfo: memFree=701448/2055920 swapFree=4181408/4192956 [pid=5226] ppid=5224 vsize=1712472 CPUtime=1799.96 /proc/5226/stat : 5226 (java) R 5224 5226 5180 0 -1 0 230961 0 1 0 179864 132 0 0 18 0 13 0 196832113 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071652089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5226/statm: 428118 124684 1909 14 0 414865 0 [pid=5226/tid=5227] ppid=5224 vsize=1712472 CPUtime=13.37 /proc/5226/task/5227/stat : 5227 (java) S 5224 5226 5180 0 -1 64 67644 0 0 0 1303 34 0 0 17 0 13 0 196832116 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5228] ppid=5224 vsize=1712472 CPUtime=13.28 /proc/5226/task/5228/stat : 5228 (java) S 5224 5226 5180 0 -1 64 63987 0 0 0 1300 28 0 0 16 0 13 0 196832116 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5229] ppid=5224 vsize=1712472 CPUtime=0.37 /proc/5226/task/5229/stat : 5229 (java) S 5224 5226 5180 0 -1 64 190 0 0 0 20 17 0 0 16 0 13 0 196832119 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5230] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5230/stat : 5230 (java) S 5224 5226 5180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5231] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5231/stat : 5231 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5232] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5232/stat : 5232 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5233] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5233/stat : 5233 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5234] ppid=5224 vsize=1712472 CPUtime=0.99 /proc/5226/task/5234/stat : 5234 (java) S 5224 5226 5180 0 -1 64 1306 0 0 0 99 0 0 0 17 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5235] ppid=5224 vsize=1712472 CPUtime=0.98 /proc/5226/task/5235/stat : 5235 (java) S 5224 5226 5180 0 -1 64 1695 0 0 0 98 0 0 0 16 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5236] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5236/stat : 5236 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5237] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5237/stat : 5237 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196832123 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5238] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5238/stat : 5238 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832408 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.96 Current children cumulated vsize (Kb) 1712472 [startup+1787.33 s] /proc/loadavg: 1.02 1.02 1.00 2/76 5240 /proc/meminfo: memFree=701448/2055920 swapFree=4181408/4192956 [pid=5226] ppid=5224 vsize=1712472 CPUtime=1800.96 /proc/5226/stat : 5226 (java) R 5224 5226 5180 0 -1 0 230961 0 1 0 179964 132 0 0 25 0 13 0 196832113 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071652111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5226/statm: 428118 124684 1909 14 0 414865 0 [pid=5226/tid=5227] ppid=5224 vsize=1712472 CPUtime=13.37 /proc/5226/task/5227/stat : 5227 (java) S 5224 5226 5180 0 -1 64 67644 0 0 0 1303 34 0 0 17 0 13 0 196832116 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5228] ppid=5224 vsize=1712472 CPUtime=13.28 /proc/5226/task/5228/stat : 5228 (java) S 5224 5226 5180 0 -1 64 63987 0 0 0 1300 28 0 0 16 0 13 0 196832116 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5229] ppid=5224 vsize=1712472 CPUtime=0.37 /proc/5226/task/5229/stat : 5229 (java) S 5224 5226 5180 0 -1 64 190 0 0 0 20 17 0 0 16 0 13 0 196832119 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5230] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5230/stat : 5230 (java) S 5224 5226 5180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5231] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5231/stat : 5231 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5232] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5232/stat : 5232 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5233] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5233/stat : 5233 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5234] ppid=5224 vsize=1712472 CPUtime=0.99 /proc/5226/task/5234/stat : 5234 (java) S 5224 5226 5180 0 -1 64 1306 0 0 0 99 0 0 0 17 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5235] ppid=5224 vsize=1712472 CPUtime=0.98 /proc/5226/task/5235/stat : 5235 (java) S 5224 5226 5180 0 -1 64 1695 0 0 0 98 0 0 0 16 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5236] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5236/stat : 5236 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5237] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5237/stat : 5237 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196832123 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5238] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5238/stat : 5238 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832408 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.96 Current children cumulated vsize (Kb) 1712472 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.33 s] /proc/loadavg: 1.02 1.02 1.00 2/76 5240 /proc/meminfo: memFree=701448/2055920 swapFree=4181408/4192956 [pid=5226] ppid=5224 vsize=1712472 CPUtime=1800.97 /proc/5226/stat : 5226 (java) R 5224 5226 5180 0 -1 0 230961 0 1 0 179965 132 0 0 25 0 13 0 196832113 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071652140 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5226/statm: 428118 124684 1909 14 0 414865 0 [pid=5226/tid=5227] ppid=5224 vsize=1712472 CPUtime=13.37 /proc/5226/task/5227/stat : 5227 (java) S 5224 5226 5180 0 -1 64 67644 0 0 0 1303 34 0 0 17 0 13 0 196832116 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5228] ppid=5224 vsize=1712472 CPUtime=13.28 /proc/5226/task/5228/stat : 5228 (java) S 5224 5226 5180 0 -1 64 63987 0 0 0 1300 28 0 0 16 0 13 0 196832116 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5229] ppid=5224 vsize=1712472 CPUtime=0.37 /proc/5226/task/5229/stat : 5229 (java) S 5224 5226 5180 0 -1 64 190 0 0 0 20 17 0 0 16 0 13 0 196832119 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5230] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5230/stat : 5230 (java) S 5224 5226 5180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5231] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5231/stat : 5231 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832119 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5232] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5232/stat : 5232 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5233] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5233/stat : 5233 (java) S 5224 5226 5180 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5234] ppid=5224 vsize=1712472 CPUtime=0.99 /proc/5226/task/5234/stat : 5234 (java) S 5224 5226 5180 0 -1 64 1306 0 0 0 99 0 0 0 17 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5226/tid=5235] ppid=5224 vsize=1712472 CPUtime=0.98 /proc/5226/task/5235/stat : 5235 (java) S 5224 5226 5180 0 -1 64 1695 0 0 0 98 0 0 0 16 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5236] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5236/stat : 5236 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196832122 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5237] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5237/stat : 5237 (java) S 5224 5226 5180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196832123 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5226/tid=5238] ppid=5224 vsize=1712472 CPUtime=0 /proc/5226/task/5238/stat : 5238 (java) S 5224 5226 5180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196832408 1753571328 124684 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.97 Current children cumulated vsize (Kb) 1712472 Sending SIGTERM to -5226 Sleeping 2 seconds Child status: 143 Real time (s): 1787.48 CPU time (s): 1801.08 CPU user time (s): 1799.67 CPU system time (s): 1.40179 CPU usage (%): 100.761 Max. virtual memory (cumulated for all children) (Kb): 1712472
Begin job on node15 on Sat Jun 3 05:14:53 UTC 2006 FILE ID= 43260-1149311693 PBS_JOBID= 308034 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-seba.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node15/43260-1149311693/instance-43260-1149311693.opb 652533513 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-43260-1149311693 -o ROOT/results/node15/solver-43260-1149311693 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node15/43260-1149311693/instance-43260-1149311693.opb 652533513 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 1b2371606d4072012aff3f48017bfad5 RANDOM SEED= 652533513 /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.285 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.285 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: 1194800 kB Buffers: 40288 kB Cached: 746428 kB SwapCached: 3308 kB Active: 124152 kB Inactive: 671308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1194800 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14692 kB Slab: 51628 kB Committed_AS: 309076 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node15 on Sat Jun 3 05:44:41 UTC 2006