Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? | 363.936 | 332.674 |
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.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/node17/42332-1149322175/instance-42332-1149322175.opb 0.22 c reading problem ... 332.41 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 332.41 c starts : 0 332.41 c conflicts : 0 332.41 c decisions : 0 332.41 c propagations : 0 332.41 c inspects : 0 332.41 c learnt literals : 0 332.41 c learnt binary clauses : 0 332.41 c learnt ternary clauses : 0 332.41 c learnt clauses : 0 332.41 c root simplifications : 0 332.41 c removed literals (reason simplification) : 0 332.41 c reason swapping (by a shorter reason) : 0 332.41 c Calls to reduceDB : 0 332.41 c speed (decisions/second) : 0.0 332.41 c non guided choices 0 332.41 s UNKNOWN 332.41 c Total wall clock time (ms): 332.192
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/node17/watcher-42332-1149322175 -o ROOT/results/node17/solver-42332-1149322175 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node17/42332-1149322175/instance-42332-1149322175.opb 504131333 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.28 0.64 0.85 2/64 1469 /proc/meminfo: memFree=1257472/2055920 swapFree=4180996/4192956 [pid=1469] ppid=1467 vsize=1592 CPUtime=0 /proc/1469/stat : 1469 (java) D 1467 1469 1423 0 -1 0 131 0 0 0 0 0 0 0 19 0 1 0 197892676 1630208 103 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/1469/statm: 398 103 82 14 0 43 0 [startup+10.0024 s] /proc/loadavg: 0.54 0.68 0.86 3/75 1480 /proc/meminfo: memFree=887528/2055920 swapFree=4180996/4192956 [pid=1469] ppid=1467 vsize=1731540 CPUtime=14.71 /proc/1469/stat : 1469 (java) R 1467 1469 1423 0 -1 0 105671 0 1 0 1417 54 0 0 25 0 12 0 197892676 1773096960 94144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071333887 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/1469/statm: 432885 94144 1886 14 0 419632 0 [pid=1469/tid=1470] ppid=1467 vsize=1731540 CPUtime=1.91 /proc/1469/task/1470/stat : 1470 (java) S 1467 1469 1423 0 -1 64 16533 0 0 0 179 12 0 0 17 0 12 0 197892680 1773096960 94144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1471] ppid=1467 vsize=1731540 CPUtime=1.8 /proc/1469/task/1471/stat : 1471 (java) S 1467 1469 1423 0 -1 64 37757 0 0 0 163 17 0 0 17 0 12 0 197892680 1773096960 94144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1472] ppid=1467 vsize=1731540 CPUtime=0 /proc/1469/task/1472/stat : 1472 (java) S 1467 1469 1423 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 197892682 1773096960 94144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1473] ppid=1467 vsize=1731540 CPUtime=0 /proc/1469/task/1473/stat : 1473 (java) S 1467 1469 1423 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892683 1773096960 94144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1474] ppid=1467 vsize=1731540 CPUtime=0 /proc/1469/task/1474/stat : 1474 (java) S 1467 1469 1423 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892683 1773096960 94144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1475] ppid=1467 vsize=1731540 CPUtime=0 /proc/1469/task/1475/stat : 1475 (java) S 1467 1469 1423 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197892686 1773096960 94144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1476] ppid=1467 vsize=1731540 CPUtime=0 /proc/1469/task/1476/stat : 1476 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197892686 1773096960 94144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1477] ppid=1467 vsize=1731540 CPUtime=2.32 /proc/1469/task/1477/stat : 1477 (java) R 1467 1469 1423 0 -1 64 9341 0 0 0 228 4 0 0 25 0 12 0 197892686 1773096960 94144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152677115 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1478] ppid=1467 vsize=1731540 CPUtime=1 /proc/1469/task/1478/stat : 1478 (java) S 1467 1469 1423 0 -1 64 5526 0 0 0 98 2 0 0 16 0 12 0 197892686 1773096960 94144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1479] ppid=1467 vsize=1731540 CPUtime=0 /proc/1469/task/1479/stat : 1479 (java) S 1467 1469 1423 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197892686 1773096960 94144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1480] ppid=1467 vsize=1731540 CPUtime=0 /proc/1469/task/1480/stat : 1480 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892686 1773096960 94144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.71 Current children cumulated vsize (Kb) 1731540 [startup+20.0093 s] /proc/loadavg: 0.68 0.71 0.87 2/75 1480 /proc/meminfo: memFree=780584/2055920 swapFree=4180996/4192956 [pid=1469] ppid=1467 vsize=1723000 CPUtime=27.39 /proc/1469/stat : 1469 (java) R 1467 1469 1423 0 -1 0 139011 0 1 0 2664 75 0 0 18 0 12 0 197892676 1764352000 120788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071327137 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1469/statm: 430750 120788 1886 14 0 417497 0 [pid=1469/tid=1470] ppid=1467 vsize=1723000 CPUtime=4.3 /proc/1469/task/1470/stat : 1470 (java) S 1467 1469 1423 0 -1 64 29894 0 0 0 410 20 0 0 17 0 12 0 197892680 1764352000 120788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1471] ppid=1467 vsize=1723000 CPUtime=4.2 /proc/1469/task/1471/stat : 1471 (java) S 1467 1469 1423 0 -1 64 56130 0 0 0 391 29 0 0 16 0 12 0 197892680 1764352000 120788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1472] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1472/stat : 1472 (java) S 1467 1469 1423 0 -1 64 11 0 0 0 0 0 0 0 15 0 12 0 197892682 1764352000 120788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1473] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1473/stat : 1473 (java) S 1467 1469 1423 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892683 1764352000 120788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1474] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1474/stat : 1474 (java) S 1467 1469 1423 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892683 1764352000 120788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1475] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1475/stat : 1475 (java) S 1467 1469 1423 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197892686 1764352000 120788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1476] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1476/stat : 1476 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197892686 1764352000 120788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1477] ppid=1467 vsize=1723000 CPUtime=2.67 /proc/1469/task/1477/stat : 1477 (java) S 1467 1469 1423 0 -1 64 10918 0 0 0 263 4 0 0 25 0 12 0 197892686 1764352000 120788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1478] ppid=1467 vsize=1723000 CPUtime=1.01 /proc/1469/task/1478/stat : 1478 (java) S 1467 1469 1423 0 -1 64 5526 0 0 0 99 2 0 0 16 0 12 0 197892686 1764352000 120788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1479] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1479/stat : 1479 (java) S 1467 1469 1423 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197892686 1764352000 120788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1480] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1480/stat : 1480 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892686 1764352000 120788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 27.39 Current children cumulated vsize (Kb) 1723000 [startup+30.0161 s] /proc/loadavg: 0.73 0.72 0.87 2/75 1480 /proc/meminfo: memFree=698984/2055920 swapFree=4180996/4192956 [pid=1469] ppid=1467 vsize=1723000 CPUtime=39.15 /proc/1469/stat : 1469 (java) R 1467 1469 1423 0 -1 0 160177 0 1 0 3825 90 0 0 19 0 12 0 197892676 1764352000 141188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071333935 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1469/statm: 430750 141188 1886 14 0 417497 0 [pid=1469/tid=1470] ppid=1467 vsize=1723000 CPUtime=6.01 /proc/1469/task/1470/stat : 1470 (java) S 1467 1469 1423 0 -1 64 43088 0 0 0 572 29 0 0 16 0 12 0 197892680 1764352000 141188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1471] ppid=1467 vsize=1723000 CPUtime=5.89 /proc/1469/task/1471/stat : 1471 (java) S 1467 1469 1423 0 -1 64 64080 0 0 0 557 32 0 0 16 0 12 0 197892680 1764352000 141188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1472] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1472/stat : 1472 (java) S 1467 1469 1423 0 -1 64 18 0 0 0 0 0 0 0 16 0 12 0 197892682 1764352000 141188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1473] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1473/stat : 1473 (java) S 1467 1469 1423 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892683 1764352000 141188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1474] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1474/stat : 1474 (java) S 1467 1469 1423 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892683 1764352000 141188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1475] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1475/stat : 1475 (java) S 1467 1469 1423 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197892686 1764352000 141188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1476] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1476/stat : 1476 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197892686 1764352000 141188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1477] ppid=1467 vsize=1723000 CPUtime=2.72 /proc/1469/task/1477/stat : 1477 (java) S 1467 1469 1423 0 -1 64 10918 0 0 0 268 4 0 0 17 0 12 0 197892686 1764352000 141188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1478] ppid=1467 vsize=1723000 CPUtime=1.01 /proc/1469/task/1478/stat : 1478 (java) S 1467 1469 1423 0 -1 64 5526 0 0 0 99 2 0 0 17 0 12 0 197892686 1764352000 141188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1479] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1479/stat : 1479 (java) S 1467 1469 1423 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197892686 1764352000 141188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1480] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1480/stat : 1480 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892686 1764352000 141188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 39.15 Current children cumulated vsize (Kb) 1723000 [startup+40.0299 s] /proc/loadavg: 0.85 0.75 0.88 3/75 1480 /proc/meminfo: memFree=595304/2055920 swapFree=4180996/4192956 [pid=1469] ppid=1467 vsize=1723000 CPUtime=51 /proc/1469/stat : 1469 (java) S 1467 1469 1423 0 -1 0 188509 0 1 0 4995 105 0 0 20 0 12 0 197892676 1764352000 167051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1469/statm: 430750 167051 1886 14 0 417497 0 [pid=1469/tid=1470] ppid=1467 vsize=1723000 CPUtime=7.86 /proc/1469/task/1470/stat : 1470 (java) R 1467 1469 1423 0 -1 64 57138 0 0 0 751 35 0 0 16 0 12 0 197892680 1764352000 167051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154975198 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1471] ppid=1467 vsize=1723000 CPUtime=7.73 /proc/1469/task/1471/stat : 1471 (java) R 1467 1469 1423 0 -1 64 78347 0 0 0 733 40 0 0 17 0 12 0 197892680 1764352000 167051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1472] ppid=1467 vsize=1723000 CPUtime=0.01 /proc/1469/task/1472/stat : 1472 (java) S 1467 1469 1423 0 -1 64 20 0 0 0 1 0 0 0 15 0 12 0 197892682 1764352000 167051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1473] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1473/stat : 1473 (java) S 1467 1469 1423 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892683 1764352000 167051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1474] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1474/stat : 1474 (java) S 1467 1469 1423 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892683 1764352000 167051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1475] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1475/stat : 1475 (java) S 1467 1469 1423 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197892686 1764352000 167051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1476] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1476/stat : 1476 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197892686 1764352000 167051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1477] ppid=1467 vsize=1723000 CPUtime=2.72 /proc/1469/task/1477/stat : 1477 (java) S 1467 1469 1423 0 -1 64 10918 0 0 0 268 4 0 0 17 0 12 0 197892686 1764352000 167051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1478] ppid=1467 vsize=1723000 CPUtime=1.01 /proc/1469/task/1478/stat : 1478 (java) S 1467 1469 1423 0 -1 64 5526 0 0 0 99 2 0 0 16 0 12 0 197892686 1764352000 167051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1479] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1479/stat : 1479 (java) S 1467 1469 1423 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197892686 1764352000 167051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1480] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1480/stat : 1480 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892686 1764352000 167051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (Kb) 1723000 [startup+50.0468 s] /proc/loadavg: 0.87 0.75 0.88 2/75 1480 /proc/meminfo: memFree=514280/2055920 swapFree=4180996/4192956 [pid=1469] ppid=1467 vsize=1723000 CPUtime=62.53 /proc/1469/stat : 1469 (java) R 1467 1469 1423 0 -1 0 210292 0 1 0 6136 117 0 0 18 0 12 0 197892676 1764352000 187269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1469/statm: 430750 187269 1886 14 0 417497 0 [pid=1469/tid=1470] ppid=1467 vsize=1723000 CPUtime=9.4 /proc/1469/task/1470/stat : 1470 (java) S 1467 1469 1423 0 -1 64 68291 0 0 0 899 41 0 0 16 0 12 0 197892680 1764352000 187269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1471] ppid=1467 vsize=1723000 CPUtime=9.26 /proc/1469/task/1471/stat : 1471 (java) S 1467 1469 1423 0 -1 64 88964 0 0 0 880 46 0 0 16 0 12 0 197892680 1764352000 187269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1472] ppid=1467 vsize=1723000 CPUtime=0.01 /proc/1469/task/1472/stat : 1472 (java) S 1467 1469 1423 0 -1 64 21 0 0 0 1 0 0 0 15 0 12 0 197892682 1764352000 187269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1473] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1473/stat : 1473 (java) S 1467 1469 1423 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892683 1764352000 187269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1474] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1474/stat : 1474 (java) S 1467 1469 1423 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892683 1764352000 187269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1475] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1475/stat : 1475 (java) S 1467 1469 1423 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197892686 1764352000 187269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1476] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1476/stat : 1476 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197892686 1764352000 187269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1477] ppid=1467 vsize=1723000 CPUtime=2.73 /proc/1469/task/1477/stat : 1477 (java) S 1467 1469 1423 0 -1 64 10918 0 0 0 269 4 0 0 16 0 12 0 197892686 1764352000 187269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1478] ppid=1467 vsize=1723000 CPUtime=1.01 /proc/1469/task/1478/stat : 1478 (java) S 1467 1469 1423 0 -1 64 5526 0 0 0 99 2 0 0 16 0 12 0 197892686 1764352000 187269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1479] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1479/stat : 1479 (java) S 1467 1469 1423 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197892686 1764352000 187269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1480] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1480/stat : 1480 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892686 1764352000 187269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 62.53 Current children cumulated vsize (Kb) 1723000 [startup+60.0536 s] /proc/loadavg: 0.89 0.76 0.88 2/75 1480 /proc/meminfo: memFree=413928/2055920 swapFree=4180996/4192956 [pid=1469] ppid=1467 vsize=1723000 CPUtime=74.01 /proc/1469/stat : 1469 (java) R 1467 1469 1423 0 -1 0 236836 0 1 0 7268 133 0 0 17 0 12 0 197892676 1764352000 212308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071513902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1469/statm: 430750 212308 1886 14 0 417497 0 [pid=1469/tid=1470] ppid=1467 vsize=1723000 CPUtime=10.86 /proc/1469/task/1470/stat : 1470 (java) S 1467 1469 1423 0 -1 64 81047 0 0 0 1038 48 0 0 17 0 12 0 197892680 1764352000 212308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1471] ppid=1467 vsize=1723000 CPUtime=10.72 /proc/1469/task/1471/stat : 1471 (java) S 1467 1469 1423 0 -1 64 102740 0 0 0 1019 53 0 0 16 0 12 0 197892680 1764352000 212308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1472] ppid=1467 vsize=1723000 CPUtime=0.01 /proc/1469/task/1472/stat : 1472 (java) S 1467 1469 1423 0 -1 64 22 0 0 0 1 0 0 0 15 0 12 0 197892682 1764352000 212308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1473] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1473/stat : 1473 (java) S 1467 1469 1423 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892683 1764352000 212308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1474] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1474/stat : 1474 (java) S 1467 1469 1423 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892683 1764352000 212308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1475] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1475/stat : 1475 (java) S 1467 1469 1423 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197892686 1764352000 212308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1476] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1476/stat : 1476 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197892686 1764352000 212308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1477] ppid=1467 vsize=1723000 CPUtime=2.73 /proc/1469/task/1477/stat : 1477 (java) S 1467 1469 1423 0 -1 64 10918 0 0 0 269 4 0 0 16 0 12 0 197892686 1764352000 212308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1478] ppid=1467 vsize=1723000 CPUtime=1.01 /proc/1469/task/1478/stat : 1478 (java) S 1467 1469 1423 0 -1 64 5526 0 0 0 99 2 0 0 16 0 12 0 197892686 1764352000 212308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1479] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1479/stat : 1479 (java) S 1467 1469 1423 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197892686 1764352000 212308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1480] ppid=1467 vsize=1723000 CPUtime=0 /proc/1469/task/1480/stat : 1480 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892686 1764352000 212308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=1469/tid=1479] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1479/stat : 1479 (java) S 1467 1469 1423 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197892686 1780740096 394584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1480] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1480/stat : 1480 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892686 1780740096 394584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 301.52 Current children cumulated vsize (Kb) 1739004 [startup+280.227 s] /proc/loadavg: 1.03 0.94 0.92 2/75 1480 /proc/meminfo: memFree=26536/2055920 swapFree=4180988/4192956 [pid=1469] ppid=1467 vsize=1731004 CPUtime=311.54 /proc/1469/stat : 1469 (java) S 1467 1469 1423 0 -1 0 580082 0 3 0 30835 319 0 0 17 0 12 0 197892676 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1469/statm: 432751 393372 1888 14 0 419498 0 [pid=1469/tid=1470] ppid=1467 vsize=1731004 CPUtime=28.5 /proc/1469/task/1470/stat : 1470 (java) S 1467 1469 1423 0 -1 64 179901 0 0 0 2746 104 0 0 16 0 12 0 197892680 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1471] ppid=1467 vsize=1731004 CPUtime=28.34 /proc/1469/task/1471/stat : 1471 (java) S 1467 1469 1423 0 -1 64 195791 0 0 0 2731 103 0 0 16 0 12 0 197892680 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1472] ppid=1467 vsize=1731004 CPUtime=117.72 /proc/1469/task/1472/stat : 1472 (java) R 1467 1469 1423 0 -1 64 151231 0 2 0 11706 66 0 0 17 0 12 0 197892682 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154472802 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1473] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1473/stat : 1473 (java) S 1467 1469 1423 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892683 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1474] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1474/stat : 1474 (java) S 1467 1469 1423 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892683 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1475] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1475/stat : 1475 (java) S 1467 1469 1423 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1476] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1476/stat : 1476 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1477] ppid=1467 vsize=1731004 CPUtime=2.73 /proc/1469/task/1477/stat : 1477 (java) S 1467 1469 1423 0 -1 64 10918 0 0 0 269 4 0 0 16 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1478] ppid=1467 vsize=1731004 CPUtime=1.02 /proc/1469/task/1478/stat : 1478 (java) S 1467 1469 1423 0 -1 64 5526 0 0 0 100 2 0 0 16 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1479] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1479/stat : 1479 (java) S 1467 1469 1423 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1480] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1480/stat : 1480 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 311.54 Current children cumulated vsize (Kb) 1731004 [startup+290.235 s] /proc/loadavg: 1.02 0.94 0.92 2/75 1480 /proc/meminfo: memFree=26472/2055920 swapFree=4180988/4192956 [pid=1469] ppid=1467 vsize=1731004 CPUtime=321.54 /proc/1469/stat : 1469 (java) S 1467 1469 1423 0 -1 0 591169 0 3 0 31831 323 0 0 17 0 12 0 197892676 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1469/statm: 432751 393372 1888 14 0 419498 0 [pid=1469/tid=1470] ppid=1467 vsize=1731004 CPUtime=28.5 /proc/1469/task/1470/stat : 1470 (java) S 1467 1469 1423 0 -1 64 179901 0 0 0 2746 104 0 0 16 0 12 0 197892680 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1471] ppid=1467 vsize=1731004 CPUtime=28.34 /proc/1469/task/1471/stat : 1471 (java) S 1467 1469 1423 0 -1 64 195791 0 0 0 2731 103 0 0 16 0 12 0 197892680 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1472] ppid=1467 vsize=1731004 CPUtime=127.34 /proc/1469/task/1472/stat : 1472 (java) R 1467 1469 1423 0 -1 64 162316 0 2 0 12663 71 0 0 17 0 12 0 197892682 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152716296 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1473] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1473/stat : 1473 (java) S 1467 1469 1423 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892683 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1474] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1474/stat : 1474 (java) S 1467 1469 1423 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892683 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1475] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1475/stat : 1475 (java) S 1467 1469 1423 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1476] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1476/stat : 1476 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1477] ppid=1467 vsize=1731004 CPUtime=2.73 /proc/1469/task/1477/stat : 1477 (java) S 1467 1469 1423 0 -1 64 10918 0 0 0 269 4 0 0 16 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1478] ppid=1467 vsize=1731004 CPUtime=1.02 /proc/1469/task/1478/stat : 1478 (java) S 1467 1469 1423 0 -1 64 5526 0 0 0 100 2 0 0 16 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1479] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1479/stat : 1479 (java) S 1467 1469 1423 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1480] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1480/stat : 1480 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 321.54 Current children cumulated vsize (Kb) 1731004 [startup+300.243 s] /proc/loadavg: 1.02 0.94 0.92 2/75 1480 /proc/meminfo: memFree=21608/2055920 swapFree=4180988/4192956 [pid=1469] ppid=1467 vsize=1739004 CPUtime=331.54 /proc/1469/stat : 1469 (java) S 1467 1469 1423 0 -1 0 605483 0 3 0 32825 329 0 0 17 0 12 0 197892676 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1469/statm: 434751 394595 1888 14 0 421498 0 [pid=1469/tid=1470] ppid=1467 vsize=1739004 CPUtime=28.5 /proc/1469/task/1470/stat : 1470 (java) S 1467 1469 1423 0 -1 64 179901 0 0 0 2746 104 0 0 16 0 12 0 197892680 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1471] ppid=1467 vsize=1739004 CPUtime=28.34 /proc/1469/task/1471/stat : 1471 (java) S 1467 1469 1423 0 -1 64 195791 0 0 0 2731 103 0 0 16 0 12 0 197892680 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1472] ppid=1467 vsize=1739004 CPUtime=137.05 /proc/1469/task/1472/stat : 1472 (java) R 1467 1469 1423 0 -1 64 176628 0 2 0 13628 77 0 0 25 0 12 0 197892682 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152729301 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1473] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1473/stat : 1473 (java) S 1467 1469 1423 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892683 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1474] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1474/stat : 1474 (java) S 1467 1469 1423 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892683 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1475] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1475/stat : 1475 (java) S 1467 1469 1423 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197892686 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1476] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1476/stat : 1476 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197892686 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1477] ppid=1467 vsize=1739004 CPUtime=2.73 /proc/1469/task/1477/stat : 1477 (java) S 1467 1469 1423 0 -1 64 10918 0 0 0 269 4 0 0 16 0 12 0 197892686 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1478] ppid=1467 vsize=1739004 CPUtime=1.02 /proc/1469/task/1478/stat : 1478 (java) S 1467 1469 1423 0 -1 64 5526 0 0 0 100 2 0 0 16 0 12 0 197892686 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1479] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1479/stat : 1479 (java) S 1467 1469 1423 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197892686 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1480] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1480/stat : 1480 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892686 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 331.54 Current children cumulated vsize (Kb) 1739004 [startup+310.251 s] /proc/loadavg: 1.01 0.95 0.92 2/75 1480 /proc/meminfo: memFree=21480/2055920 swapFree=4180988/4192956 [pid=1469] ppid=1467 vsize=1739004 CPUtime=341.55 /proc/1469/stat : 1469 (java) S 1467 1469 1423 0 -1 0 616584 0 3 0 33820 335 0 0 16 0 12 0 197892676 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1469/statm: 434751 394595 1888 14 0 421498 0 [pid=1469/tid=1470] ppid=1467 vsize=1739004 CPUtime=28.5 /proc/1469/task/1470/stat : 1470 (java) S 1467 1469 1423 0 -1 64 179901 0 0 0 2746 104 0 0 16 0 12 0 197892680 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1471] ppid=1467 vsize=1739004 CPUtime=28.34 /proc/1469/task/1471/stat : 1471 (java) S 1467 1469 1423 0 -1 64 195791 0 0 0 2731 103 0 0 16 0 12 0 197892680 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1472] ppid=1467 vsize=1739004 CPUtime=146.8 /proc/1469/task/1472/stat : 1472 (java) R 1467 1469 1423 0 -1 64 187726 0 2 0 14598 82 0 0 21 0 12 0 197892682 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152729152 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1473] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1473/stat : 1473 (java) S 1467 1469 1423 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892683 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1474] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1474/stat : 1474 (java) S 1467 1469 1423 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892683 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1475] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1475/stat : 1475 (java) S 1467 1469 1423 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197892686 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1476] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1476/stat : 1476 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197892686 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1477] ppid=1467 vsize=1739004 CPUtime=2.73 /proc/1469/task/1477/stat : 1477 (java) S 1467 1469 1423 0 -1 64 10918 0 0 0 269 4 0 0 16 0 12 0 197892686 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1478] ppid=1467 vsize=1739004 CPUtime=1.02 /proc/1469/task/1478/stat : 1478 (java) S 1467 1469 1423 0 -1 64 5526 0 0 0 100 2 0 0 16 0 12 0 197892686 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1479] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1479/stat : 1479 (java) S 1467 1469 1423 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197892686 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1480] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1480/stat : 1480 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892686 1780740096 394595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 341.55 Current children cumulated vsize (Kb) 1739004 [startup+320.259 s] /proc/loadavg: 1.01 0.95 0.92 2/75 1480 /proc/meminfo: memFree=26408/2055920 swapFree=4180988/4192956 [pid=1469] ppid=1467 vsize=1731004 CPUtime=351.55 /proc/1469/stat : 1469 (java) S 1467 1469 1423 0 -1 0 630015 0 3 0 34814 341 0 0 17 0 12 0 197892676 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1469/statm: 432751 393372 1888 14 0 419498 0 [pid=1469/tid=1470] ppid=1467 vsize=1731004 CPUtime=28.5 /proc/1469/task/1470/stat : 1470 (java) S 1467 1469 1423 0 -1 64 179901 0 0 0 2746 104 0 0 16 0 12 0 197892680 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1471] ppid=1467 vsize=1731004 CPUtime=28.34 /proc/1469/task/1471/stat : 1471 (java) S 1467 1469 1423 0 -1 64 195791 0 0 0 2731 103 0 0 16 0 12 0 197892680 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1472] ppid=1467 vsize=1731004 CPUtime=156.44 /proc/1469/task/1472/stat : 1472 (java) R 1467 1469 1423 0 -1 64 201155 0 2 0 15556 88 0 0 16 0 12 0 197892682 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154472604 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1473] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1473/stat : 1473 (java) S 1467 1469 1423 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892683 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1474] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1474/stat : 1474 (java) S 1467 1469 1423 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892683 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1475] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1475/stat : 1475 (java) S 1467 1469 1423 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1476] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1476/stat : 1476 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1477] ppid=1467 vsize=1731004 CPUtime=2.73 /proc/1469/task/1477/stat : 1477 (java) S 1467 1469 1423 0 -1 64 10918 0 0 0 269 4 0 0 16 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1478] ppid=1467 vsize=1731004 CPUtime=1.02 /proc/1469/task/1478/stat : 1478 (java) S 1467 1469 1423 0 -1 64 5526 0 0 0 100 2 0 0 16 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1479] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1479/stat : 1479 (java) S 1467 1469 1423 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1480] ppid=1467 vsize=1731004 CPUtime=0 /proc/1469/task/1480/stat : 1480 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892686 1772548096 393372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 351.55 Current children cumulated vsize (Kb) 1731004 [startup+330.267 s] /proc/loadavg: 1.01 0.95 0.92 2/75 1480 /proc/meminfo: memFree=21480/2055920 swapFree=4180988/4192956 [pid=1469] ppid=1467 vsize=1739004 CPUtime=361.55 /proc/1469/stat : 1469 (java) S 1467 1469 1423 0 -1 0 644350 0 3 0 35808 347 0 0 16 0 12 0 197892676 1780740096 394599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1469/statm: 434751 394599 1888 14 0 421498 0 [pid=1469/tid=1470] ppid=1467 vsize=1739004 CPUtime=28.5 /proc/1469/task/1470/stat : 1470 (java) S 1467 1469 1423 0 -1 64 179901 0 0 0 2746 104 0 0 16 0 12 0 197892680 1780740096 394599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1471] ppid=1467 vsize=1739004 CPUtime=28.34 /proc/1469/task/1471/stat : 1471 (java) S 1467 1469 1423 0 -1 64 195791 0 0 0 2731 103 0 0 16 0 12 0 197892680 1780740096 394599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1472] ppid=1467 vsize=1739004 CPUtime=166.42 /proc/1469/task/1472/stat : 1472 (java) R 1467 1469 1423 0 -1 64 215487 0 2 0 16548 94 0 0 19 0 12 0 197892682 1780740096 394599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154938526 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1473] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1473/stat : 1473 (java) S 1467 1469 1423 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197892683 1780740096 394599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1474] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1474/stat : 1474 (java) S 1467 1469 1423 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197892683 1780740096 394599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1475] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1475/stat : 1475 (java) S 1467 1469 1423 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 197892686 1780740096 394599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1476] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1476/stat : 1476 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197892686 1780740096 394599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1477] ppid=1467 vsize=1739004 CPUtime=2.73 /proc/1469/task/1477/stat : 1477 (java) S 1467 1469 1423 0 -1 64 10918 0 0 0 269 4 0 0 16 0 12 0 197892686 1780740096 394599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1478] ppid=1467 vsize=1739004 CPUtime=1.02 /proc/1469/task/1478/stat : 1478 (java) S 1467 1469 1423 0 -1 64 5526 0 0 0 100 2 0 0 16 0 12 0 197892686 1780740096 394599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1469/tid=1479] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1479/stat : 1479 (java) S 1467 1469 1423 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197892686 1780740096 394599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1469/tid=1480] ppid=1467 vsize=1739004 CPUtime=0 /proc/1469/task/1480/stat : 1480 (java) S 1467 1469 1423 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197892686 1780740096 394599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 361.55 Current children cumulated vsize (Kb) 1739004 Child status: 1 Real time (s): 332.674 CPU time (s): 363.936 CPU user time (s): 360.229 CPU system time (s): 3.70644 CPU usage (%): 109.397 Max. virtual memory (cumulated for all children) (Kb): 1739004
Begin job on node17 on Sat Jun 3 08:10:36 UTC 2006 FILE ID= 42332-1149322175 PBS_JOBID= 309382 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/sat4jPseudoHeuristics.jar ROOT/tmp/node17/42332-1149322175/instance-42332-1149322175.opb 504131333 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-42332-1149322175 -o ROOT/results/node17/solver-42332-1149322175 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node17/42332-1149322175/instance-42332-1149322175.opb 504131333 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= cc75ee6fc059a591840488be914609eb RANDOM SEED= 504131333 /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.278 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.278 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: 1257232 kB Buffers: 19508 kB Cached: 706240 kB SwapCached: 3620 kB Active: 288528 kB Inactive: 445928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1257232 kB SwapTotal: 4192956 kB SwapFree: 4180996 kB Dirty: 16 kB Writeback: 0 kB Mapped: 14720 kB Slab: 50284 kB Committed_AS: 314944 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node17 on Sat Jun 3 08:17:06 UTC 2006