Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.29 | 1775.43 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3707.opb |
MD5SUM | d04a5226e9b4ce46849c897b37a2f22b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 656007 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 656007 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.17 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.17 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.17 c no version file found!!! 0.17 c sun.arch.data.model 32 0.17 c java.version 1.5.0_06 0.17 c os.name Linux 0.17 c os.version 2.6.9-34.ELsmp 0.17 c os.arch i386 0.17 c Free memory 1548419056 0.17 c Max memory 1551040512 0.17 c Total memory 1551040512 0.17 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@1037c71 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.22 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 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/node82/43810-1149249645/instance-43810-1149249645.opb 0.22 c reading problem ... 34.67 c ... done. Time 34.45 ms. 34.67 c #vars 155000 34.67 c #constraints 5300 1775.32 c starts : 2 1775.32 c conflicts : 141 1775.32 c decisions : 174015 1775.32 c propagations : 515174 1775.32 c inspects : 803713 1775.32 c learnt literals : 0 1775.32 c learnt binary clauses : 0 1775.32 c learnt ternary clauses : 0 1775.32 c learnt clauses : 140 1775.32 c root simplifications : 0 1775.32 c removed literals (reason simplification) : 0 1775.32 c reason swapping (by a shorter reason) : 0 1775.32 c Calls to reduceDB : 0 1775.32 c speed (decisions/second) : 99.9752955911248 1775.32 c non guided choices 121805 1775.32 s UNKNOWN 1775.32 c Total wall clock time (ms): 1775.098
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/node82/watcher-43810-1149249645 -o ROOT/results/node82/solver-43810-1149249645 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node82/43810-1149249645/instance-43810-1149249645.opb 665720178 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.91 2/68 14894 /proc/meminfo: memFree=1072952/2055892 swapFree=4087504/4096564 [pid=14894] ppid=14892 vsize=1596 CPUtime=0 /proc/14894/stat : 14894 (java) D 14892 14894 14848 0 -1 0 131 0 0 0 0 0 0 0 19 0 1 0 182153804 1634304 101 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0 /proc/14894/statm: 399 101 80 14 0 43 0 [startup+10.0024 s] /proc/loadavg: 1.00 0.99 0.91 2/79 14905 /proc/meminfo: memFree=819616/2055892 swapFree=4087504/4096564 [pid=14894] ppid=14892 vsize=1715980 CPUtime=11.55 /proc/14894/stat : 14894 (java) R 14892 14894 14848 0 -1 0 70378 0 1 0 1118 37 0 0 25 0 12 0 182153804 1757163520 65040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071434529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14894/statm: 428995 65040 1887 14 0 415741 0 [pid=14894/tid=14895] ppid=14892 vsize=1715980 CPUtime=1.01 /proc/14894/task/14895/stat : 14895 (java) S 14892 14894 14848 0 -1 64 15287 0 0 0 92 9 0 0 15 0 12 0 182153810 1757163520 65040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14896] ppid=14892 vsize=1715980 CPUtime=1 /proc/14894/task/14896/stat : 14896 (java) S 14892 14894 14848 0 -1 64 17365 0 0 0 89 11 0 0 16 0 12 0 182153810 1757163520 65040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14897] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14897/stat : 14897 (java) S 14892 14894 14848 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 182153812 1757163520 65040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14898] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14898/stat : 14898 (java) S 14892 14894 14848 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 182153813 1757163520 65040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14899] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14899/stat : 14899 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 182153813 1757163520 65040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14900] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14900/stat : 14900 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 182153816 1757163520 65040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14901] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14901/stat : 14901 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 182153816 1757163520 65040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14902] ppid=14892 vsize=1715980 CPUtime=0.3 /proc/14894/task/14902/stat : 14902 (java) S 14892 14894 14848 0 -1 64 515 0 0 0 30 0 0 0 16 0 12 0 182153816 1757163520 65040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14903] ppid=14892 vsize=1715980 CPUtime=0.46 /proc/14894/task/14903/stat : 14903 (java) S 14892 14894 14848 0 -1 64 688 0 0 0 46 0 0 0 16 0 12 0 182153816 1757163520 65040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14904] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14904/stat : 14904 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 182153816 1757163520 65040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14905] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14905/stat : 14905 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 182153816 1757163520 65040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.55 Current children cumulated vsize (Kb) 1715980 [startup+20.0093 s] /proc/loadavg: 1.00 0.99 0.91 2/85 14968 /proc/meminfo: memFree=841328/2055892 swapFree=4087504/4096564 [pid=14894] ppid=14892 vsize=1715980 CPUtime=21.62 /proc/14894/stat : 14894 (java) R 14892 14894 14848 0 -1 0 71479 0 1 0 2124 38 0 0 17 0 12 0 182153804 1757163520 59331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071452602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14894/statm: 428995 59331 1887 14 0 415741 0 [pid=14894/tid=14895] ppid=14892 vsize=1715980 CPUtime=1.1 /proc/14894/task/14895/stat : 14895 (java) S 14892 14894 14848 0 -1 64 15848 0 0 0 101 9 0 0 16 0 12 0 182153810 1757163520 59331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14896] ppid=14892 vsize=1715980 CPUtime=1.09 /proc/14894/task/14896/stat : 14896 (java) S 14892 14894 14848 0 -1 64 17883 0 0 0 97 12 0 0 16 0 12 0 182153810 1757163520 59331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14897] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14897/stat : 14897 (java) S 14892 14894 14848 0 -1 64 10 0 0 0 0 0 0 0 15 0 12 0 182153812 1757163520 59331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14898] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14898/stat : 14898 (java) S 14892 14894 14848 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 182153813 1757163520 59331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14899] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14899/stat : 14899 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 182153813 1757163520 59331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14900] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14900/stat : 14900 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 182153816 1757163520 59331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14901] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14901/stat : 14901 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 182153816 1757163520 59331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14902] ppid=14892 vsize=1715980 CPUtime=0.3 /proc/14894/task/14902/stat : 14902 (java) S 14892 14894 14848 0 -1 64 515 0 0 0 30 0 0 0 16 0 12 0 182153816 1757163520 59331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14903] ppid=14892 vsize=1715980 CPUtime=0.46 /proc/14894/task/14903/stat : 14903 (java) S 14892 14894 14848 0 -1 64 688 0 0 0 46 0 0 0 16 0 12 0 182153816 1757163520 59331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14904] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14904/stat : 14904 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 182153816 1757163520 59331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14905] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14905/stat : 14905 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 182153816 1757163520 59331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.62 Current children cumulated vsize (Kb) 1715980 [startup+30.0172 s] /proc/loadavg: 1.00 0.99 0.91 2/79 15100 /proc/meminfo: memFree=864416/2055892 swapFree=4087504/4096564 [pid=14894] ppid=14892 vsize=1715980 CPUtime=31.67 /proc/14894/stat : 14894 (java) R 14892 14894 14848 0 -1 0 72584 0 1 0 3128 39 0 0 25 0 12 0 182153804 1757163520 53810 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071434331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14894/statm: 428995 53810 1887 14 0 415741 0 [pid=14894/tid=14895] ppid=14892 vsize=1715980 CPUtime=1.2 /proc/14894/task/14895/stat : 14895 (java) S 14892 14894 14848 0 -1 64 16436 0 0 0 110 10 0 0 16 0 12 0 182153810 1757163520 53810 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14896] ppid=14892 vsize=1715980 CPUtime=1.18 /proc/14894/task/14896/stat : 14896 (java) S 14892 14894 14848 0 -1 64 18380 0 0 0 106 12 0 0 16 0 12 0 182153810 1757163520 53810 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14897] ppid=14892 vsize=1715980 CPUtime=0.01 /proc/14894/task/14897/stat : 14897 (java) S 14892 14894 14848 0 -1 64 10 0 0 0 0 1 0 0 16 0 12 0 182153812 1757163520 53810 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14898] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14898/stat : 14898 (java) S 14892 14894 14848 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 182153813 1757163520 53810 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14899] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14899/stat : 14899 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 182153813 1757163520 53810 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14900] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14900/stat : 14900 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 182153816 1757163520 53810 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14901] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14901/stat : 14901 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 182153816 1757163520 53810 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14902] ppid=14892 vsize=1715980 CPUtime=0.3 /proc/14894/task/14902/stat : 14902 (java) S 14892 14894 14848 0 -1 64 515 0 0 0 30 0 0 0 16 0 12 0 182153816 1757163520 53810 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14903] ppid=14892 vsize=1715980 CPUtime=0.46 /proc/14894/task/14903/stat : 14903 (java) S 14892 14894 14848 0 -1 64 688 0 0 0 46 0 0 0 16 0 12 0 182153816 1757163520 53810 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14904] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14904/stat : 14904 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 182153816 1757163520 53810 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14905] ppid=14892 vsize=1715980 CPUtime=0 /proc/14894/task/14905/stat : 14905 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 182153816 1757163520 53810 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.67 Current children cumulated vsize (Kb) 1715980 [startup+40.0241 s] /proc/loadavg: 1.00 0.99 0.91 2/80 15101 /proc/meminfo: memFree=862232/2055892 swapFree=4087504/4096564 [pid=14894] ppid=14892 vsize=1716496 CPUtime=41.94 /proc/14894/stat : 14894 (java) R 14892 14894 14848 0 -1 0 74734 0 1 0 4153 41 0 0 25 0 13 0 182153804 1757691904 54445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071553552 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14894/statm: 429124 54445 1905 14 0 415870 0 [pid=14894/tid=14895] ppid=14892 vsize=1716496 CPUtime=1.26 /proc/14894/task/14895/stat : 14895 (java) S 14892 14894 14848 0 -1 64 17040 0 0 0 116 10 0 0 16 0 13 0 182153810 1757691904 54445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14896] ppid=14892 vsize=1716496 CPUtime=1.24 /proc/14894/task/14896/stat : 14896 (java) S 14892 14894 14848 0 -1 64 19843 0 0 0 112 12 0 0 16 0 13 0 182153810 1757691904 54445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14897] ppid=14892 vsize=1716496 CPUtime=0.02 /proc/14894/task/14897/stat : 14897 (java) S 14892 14894 14848 0 -1 64 12 0 0 0 1 1 0 0 16 0 13 0 182153812 1757691904 54445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14898] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14898/stat : 14898 (java) S 14892 14894 14848 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 182153813 1757691904 54445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14899] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14899/stat : 14899 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182153813 1757691904 54445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14900] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14900/stat : 14900 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 182153816 1757691904 54445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14901] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14901/stat : 14901 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 182153816 1757691904 54445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14902] ppid=14892 vsize=1716496 CPUtime=0.41 /proc/14894/task/14902/stat : 14902 (java) S 14892 14894 14848 0 -1 64 522 0 0 0 41 0 0 0 16 0 13 0 182153816 1757691904 54445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14903] ppid=14892 vsize=1716496 CPUtime=0.62 /proc/14894/task/14903/stat : 14903 (java) S 14892 14894 14848 0 -1 64 708 0 0 0 62 0 0 0 17 0 13 0 182153816 1757691904 54445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14904] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14904/stat : 14904 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 182153816 1757691904 54445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14905] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14905/stat : 14905 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 182153816 1757691904 54445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=15101] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/15101/stat : 15101 (java) S 14892 14894 14848 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 182157289 1757691904 54445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.94 Current children cumulated vsize (Kb) 1716496 [startup+50.031 s] /proc/loadavg: 1.00 0.99 0.91 2/80 15101 /proc/meminfo: memFree=859224/2055892 swapFree=4087504/4096564 [pid=14894] ppid=14892 vsize=1716496 CPUtime=52.06 /proc/14894/stat : 14894 (java) R 14892 14894 14848 0 -1 0 75510 0 1 0 5164 42 0 0 25 0 13 0 182153804 1757691904 55208 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071553792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14894/statm: 429124 55208 1906 14 0 415870 0 [pid=14894/tid=14895] ppid=14892 vsize=1716496 CPUtime=1.3 /proc/14894/task/14895/stat : 14895 (java) S 14892 14894 14848 0 -1 64 17707 0 0 0 119 11 0 0 16 0 13 0 182153810 1757691904 55208 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14896] ppid=14892 vsize=1716496 CPUtime=1.28 /proc/14894/task/14896/stat : 14896 (java) S 14892 14894 14848 0 -1 64 19937 0 0 0 116 12 0 0 16 0 13 0 182153810 1757691904 55208 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14897] ppid=14892 vsize=1716496 CPUtime=0.02 /proc/14894/task/14897/stat : 14897 (java) S 14892 14894 14848 0 -1 64 12 0 0 0 1 1 0 0 16 0 13 0 182153812 1757691904 55208 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14898] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14898/stat : 14898 (java) S 14892 14894 14848 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 182153813 1757691904 55208 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14899] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14899/stat : 14899 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182153813 1757691904 55208 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14900] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14900/stat : 14900 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 182153816 1757691904 55208 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14901] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14901/stat : 14901 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 182153816 1757691904 55208 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14902] ppid=14892 vsize=1716496 CPUtime=0.47 /proc/14894/task/14902/stat : 14902 (java) S 14892 14894 14848 0 -1 64 529 0 0 0 47 0 0 0 17 0 13 0 182153816 1757691904 55208 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14903] ppid=14892 vsize=1716496 CPUtime=0.65 /proc/14894/task/14903/stat : 14903 (java) S 14892 14894 14848 0 -1 64 710 0 0 0 65 0 0 0 17 0 13 0 182153816 1757691904 55208 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14904] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14904/stat : 14904 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 182153816 1757691904 55208 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14905] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14905/stat : 14905 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 182153816 1757691904 55208 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=15101] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/15101/stat : 15101 (java) S 14892 14894 14848 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 182157289 1757691904 55208 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.06 Current children cumulated vsize (Kb) 1716496 [startup+60.0379 s] /proc/loadavg: 1.00 0.99 0.91 2/80 15101 /proc/meminfo: memFree=857496/2055892 swapFree=4087504/4096564 [pid=14894] ppid=14892 vsize=1716496 CPUtime=62.13 /proc/14894/stat : 14894 (java) R 14892 14894 14848 0 -1 0 76852 0 1 0 6170 43 0 0 25 0 13 0 182153804 1757691904 55596 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071356765 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14894/statm: 429124 55596 1906 14 0 415870 0 [pid=14894/tid=14895] ppid=14892 vsize=1716496 CPUtime=1.35 /proc/14894/task/14895/stat : 14895 (java) S 14892 14894 14848 0 -1 64 18451 0 0 0 124 11 0 0 17 0 13 0 182153810 1757691904 55596 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14896] ppid=14892 vsize=1716496 CPUtime=1.34 /proc/14894/task/14896/stat : 14896 (java) S 14892 14894 14848 0 -1 64 20524 0 0 0 121 13 0 0 16 0 13 0 182153810 1757691904 55596 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14897] ppid=14892 vsize=1716496 CPUtime=0.03 /proc/14894/task/14897/stat : 14897 (java) S 14892 14894 14848 0 -1 64 12 0 0 0 2 1 0 0 16 0 13 0 182153812 1757691904 55596 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14898] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14898/stat : 14898 (java) S 14892 14894 14848 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 182153813 1757691904 55596 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14899] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14899/stat : 14899 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182153813 1757691904 55596 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14900] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14900/stat : 14900 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 182153816 1757691904 55596 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14901] ppid=14892 vsize=1716496 CPUtime=0 /proc/14894/task/14901/stat : 14901 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 182153816 1757691904 55596 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14902] ppid=14892 vsize=1716496 CPUtime=0.47 /proc/14894/task/14902/stat : 14902 (java) S 14892 14894 14848 0 -1 64 529 0 0 0 47 0 0 0 17 0 13 0 182153816 1757691904 55596 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14903] ppid=14892 vsize=1716496 CPUtime=0.67 /proc/14894/task/14903/stat : 14903 (java) S 14892 14894 14848 0 -1 64 712 0 0 0 67 0 0 0 16 0 13 0 182153816 1757691904 55596 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=14894/tid=14898] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14898/stat : 14898 (java) S 14892 14894 14848 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 182153813 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14899] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14899/stat : 14899 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182153813 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14900] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14900/stat : 14900 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14901] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14901/stat : 14901 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14902] ppid=14892 vsize=1717084 CPUtime=0.77 /proc/14894/task/14902/stat : 14902 (java) S 14892 14894 14848 0 -1 64 1698 0 0 0 77 0 0 0 16 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14903] ppid=14892 vsize=1717084 CPUtime=0.92 /proc/14894/task/14903/stat : 14903 (java) S 14892 14894 14848 0 -1 64 731 0 0 0 92 0 0 0 17 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14904] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14904/stat : 14904 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14905] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14905/stat : 14905 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=15101] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/15101/stat : 15101 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182157289 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.06 Current children cumulated vsize (Kb) 1717084 [startup+1772.29 s] /proc/loadavg: 1.04 1.01 0.93 2/80 15103 /proc/meminfo: memFree=587864/2055892 swapFree=4087504/4096564 [pid=14894] ppid=14892 vsize=1717084 CPUtime=1797.08 /proc/14894/stat : 14894 (java) R 14892 14894 14848 0 -1 0 173930 0 1 0 179150 558 0 0 25 0 13 0 182153804 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071659161 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14894/statm: 429271 122804 1911 14 0 416017 0 [pid=14894/tid=14895] ppid=14892 vsize=1717084 CPUtime=24.49 /proc/14894/task/14895/stat : 14895 (java) S 14892 14894 14848 0 -1 64 46802 0 0 0 2209 240 0 0 16 0 13 0 182153810 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14896] ppid=14892 vsize=1717084 CPUtime=24.45 /proc/14894/task/14896/stat : 14896 (java) S 14892 14894 14848 0 -1 64 50250 0 0 0 2191 254 0 0 16 0 13 0 182153810 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14897] ppid=14892 vsize=1717084 CPUtime=0.62 /proc/14894/task/14897/stat : 14897 (java) S 14892 14894 14848 0 -1 64 109 0 0 0 37 25 0 0 15 0 13 0 182153812 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14898] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14898/stat : 14898 (java) S 14892 14894 14848 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 182153813 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14899] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14899/stat : 14899 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182153813 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14900] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14900/stat : 14900 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14901] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14901/stat : 14901 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14902] ppid=14892 vsize=1717084 CPUtime=0.77 /proc/14894/task/14902/stat : 14902 (java) S 14892 14894 14848 0 -1 64 1698 0 0 0 77 0 0 0 16 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14903] ppid=14892 vsize=1717084 CPUtime=0.92 /proc/14894/task/14903/stat : 14903 (java) S 14892 14894 14848 0 -1 64 731 0 0 0 92 0 0 0 17 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14904] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14904/stat : 14904 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14905] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14905/stat : 14905 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=15101] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/15101/stat : 15101 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182157289 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.08 Current children cumulated vsize (Kb) 1717084 [startup+1773.3 s] /proc/loadavg: 1.04 1.01 0.93 2/80 15103 /proc/meminfo: memFree=587864/2055892 swapFree=4087504/4096564 [pid=14894] ppid=14892 vsize=1717084 CPUtime=1798.12 /proc/14894/stat : 14894 (java) R 14892 14894 14848 0 -1 0 173932 0 1 0 179253 559 0 0 25 0 13 0 182153804 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071659082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14894/statm: 429271 122804 1911 14 0 416017 0 [pid=14894/tid=14895] ppid=14892 vsize=1717084 CPUtime=24.51 /proc/14894/task/14895/stat : 14895 (java) S 14892 14894 14848 0 -1 64 46802 0 0 0 2211 240 0 0 16 0 13 0 182153810 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14896] ppid=14892 vsize=1717084 CPUtime=24.47 /proc/14894/task/14896/stat : 14896 (java) S 14892 14894 14848 0 -1 64 50250 0 0 0 2193 254 0 0 16 0 13 0 182153810 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14897] ppid=14892 vsize=1717084 CPUtime=0.62 /proc/14894/task/14897/stat : 14897 (java) S 14892 14894 14848 0 -1 64 109 0 0 0 37 25 0 0 15 0 13 0 182153812 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14898] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14898/stat : 14898 (java) S 14892 14894 14848 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 182153813 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14899] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14899/stat : 14899 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182153813 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14900] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14900/stat : 14900 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14901] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14901/stat : 14901 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14902] ppid=14892 vsize=1717084 CPUtime=0.77 /proc/14894/task/14902/stat : 14902 (java) S 14892 14894 14848 0 -1 64 1698 0 0 0 77 0 0 0 16 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14903] ppid=14892 vsize=1717084 CPUtime=0.92 /proc/14894/task/14903/stat : 14903 (java) S 14892 14894 14848 0 -1 64 731 0 0 0 92 0 0 0 17 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14904] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14904/stat : 14904 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14905] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14905/stat : 14905 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=15101] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/15101/stat : 15101 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182157289 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.12 Current children cumulated vsize (Kb) 1717084 [startup+1774.31 s] /proc/loadavg: 1.04 1.01 0.93 2/80 15103 /proc/meminfo: memFree=587864/2055892 swapFree=4087504/4096564 [pid=14894] ppid=14892 vsize=1717084 CPUtime=1799.14 /proc/14894/stat : 14894 (java) R 14892 14894 14848 0 -1 0 173934 0 1 0 179355 559 0 0 18 0 13 0 182153804 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071660633 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14894/statm: 429271 122804 1911 14 0 416017 0 [pid=14894/tid=14895] ppid=14892 vsize=1717084 CPUtime=24.52 /proc/14894/task/14895/stat : 14895 (java) S 14892 14894 14848 0 -1 64 46802 0 0 0 2212 240 0 0 16 0 13 0 182153810 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14896] ppid=14892 vsize=1717084 CPUtime=24.49 /proc/14894/task/14896/stat : 14896 (java) S 14892 14894 14848 0 -1 64 50250 0 0 0 2195 254 0 0 15 0 13 0 182153810 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14897] ppid=14892 vsize=1717084 CPUtime=0.62 /proc/14894/task/14897/stat : 14897 (java) S 14892 14894 14848 0 -1 64 109 0 0 0 37 25 0 0 16 0 13 0 182153812 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14898] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14898/stat : 14898 (java) S 14892 14894 14848 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 182153813 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14899] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14899/stat : 14899 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182153813 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14900] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14900/stat : 14900 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14901] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14901/stat : 14901 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14902] ppid=14892 vsize=1717084 CPUtime=0.77 /proc/14894/task/14902/stat : 14902 (java) S 14892 14894 14848 0 -1 64 1698 0 0 0 77 0 0 0 16 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14903] ppid=14892 vsize=1717084 CPUtime=0.92 /proc/14894/task/14903/stat : 14903 (java) S 14892 14894 14848 0 -1 64 731 0 0 0 92 0 0 0 17 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14904] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14904/stat : 14904 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14905] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14905/stat : 14905 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=15101] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/15101/stat : 15101 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182157289 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.14 Current children cumulated vsize (Kb) 1717084 [startup+1775.31 s] /proc/loadavg: 1.04 1.01 0.93 2/80 15103 /proc/meminfo: memFree=587864/2055892 swapFree=4087504/4096564 [pid=14894] ppid=14892 vsize=1717084 CPUtime=1800.17 /proc/14894/stat : 14894 (java) R 14892 14894 14848 0 -1 0 173936 0 1 0 179457 560 0 0 25 0 13 0 182153804 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071464116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14894/statm: 429271 122804 1911 14 0 416017 0 [pid=14894/tid=14895] ppid=14892 vsize=1717084 CPUtime=24.55 /proc/14894/task/14895/stat : 14895 (java) S 14892 14894 14848 0 -1 64 46802 0 0 0 2214 241 0 0 16 0 13 0 182153810 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14896] ppid=14892 vsize=1717084 CPUtime=24.52 /proc/14894/task/14896/stat : 14896 (java) S 14892 14894 14848 0 -1 64 50250 0 0 0 2197 255 0 0 16 0 13 0 182153810 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14897] ppid=14892 vsize=1717084 CPUtime=0.62 /proc/14894/task/14897/stat : 14897 (java) S 14892 14894 14848 0 -1 64 109 0 0 0 37 25 0 0 15 0 13 0 182153812 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14898] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14898/stat : 14898 (java) S 14892 14894 14848 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 182153813 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14899] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14899/stat : 14899 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182153813 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14900] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14900/stat : 14900 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14901] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14901/stat : 14901 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14902] ppid=14892 vsize=1717084 CPUtime=0.77 /proc/14894/task/14902/stat : 14902 (java) S 14892 14894 14848 0 -1 64 1698 0 0 0 77 0 0 0 16 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14903] ppid=14892 vsize=1717084 CPUtime=0.92 /proc/14894/task/14903/stat : 14903 (java) S 14892 14894 14848 0 -1 64 731 0 0 0 92 0 0 0 17 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14904] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14904/stat : 14904 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14905] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14905/stat : 14905 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=15101] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/15101/stat : 15101 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182157289 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (Kb) 1717084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1775.32 s] /proc/loadavg: 1.04 1.01 0.93 2/80 15103 /proc/meminfo: memFree=587864/2055892 swapFree=4087504/4096564 [pid=14894] ppid=14892 vsize=1717084 CPUtime=1800.18 /proc/14894/stat : 14894 (java) R 14892 14894 14848 0 -1 0 173936 0 1 0 179458 560 0 0 25 0 13 0 182153804 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071595794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14894/statm: 429271 122804 1911 14 0 416017 0 [pid=14894/tid=14895] ppid=14892 vsize=1717084 CPUtime=24.55 /proc/14894/task/14895/stat : 14895 (java) S 14892 14894 14848 0 -1 64 46802 0 0 0 2214 241 0 0 16 0 13 0 182153810 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14896] ppid=14892 vsize=1717084 CPUtime=24.52 /proc/14894/task/14896/stat : 14896 (java) S 14892 14894 14848 0 -1 64 50250 0 0 0 2197 255 0 0 16 0 13 0 182153810 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14897] ppid=14892 vsize=1717084 CPUtime=0.62 /proc/14894/task/14897/stat : 14897 (java) S 14892 14894 14848 0 -1 64 109 0 0 0 37 25 0 0 15 0 13 0 182153812 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=14898] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14898/stat : 14898 (java) S 14892 14894 14848 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 182153813 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14899] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14899/stat : 14899 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182153813 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14900] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14900/stat : 14900 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14901] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14901/stat : 14901 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14902] ppid=14892 vsize=1717084 CPUtime=0.77 /proc/14894/task/14902/stat : 14902 (java) S 14892 14894 14848 0 -1 64 1698 0 0 0 77 0 0 0 16 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14903] ppid=14892 vsize=1717084 CPUtime=0.92 /proc/14894/task/14903/stat : 14903 (java) S 14892 14894 14848 0 -1 64 731 0 0 0 92 0 0 0 17 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14904] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14904/stat : 14904 (java) S 14892 14894 14848 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14894/tid=14905] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/14905/stat : 14905 (java) S 14892 14894 14848 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 182153816 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14894/tid=15101] ppid=14892 vsize=1717084 CPUtime=0 /proc/14894/task/15101/stat : 15101 (java) S 14892 14894 14848 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 182157289 1758294016 122804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (Kb) 1717084 Sending SIGTERM to -14894 Sleeping 2 seconds Child status: 143 Real time (s): 1775.43 CPU time (s): 1800.29 CPU user time (s): 1794.61 CPU system time (s): 5.67414 CPU usage (%): 101.4 Max. virtual memory (cumulated for all children) (Kb): 1718060
Begin job on node82 on Fri Jun 2 12:00:45 UTC 2006 FILE ID= 43810-1149249645 PBS_JOBID= 298007 BENCH NAME= ROOT/tmp/node82/43810-1149249645/instance-43810-1149249645.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node82/43810-1149249645/instance-43810-1149249645.opb 665720178 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-43810-1149249645 -o ROOT/results/node82/solver-43810-1149249645 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node82/43810-1149249645/instance-43810-1149249645.opb 665720178 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= d04a5226e9b4ce46849c897b37a2f22b RANDOM SEED= 665720178 /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.265 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 : 6006.17 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.265 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1073224 kB Buffers: 45308 kB Cached: 858828 kB SwapCached: 2848 kB Active: 136944 kB Inactive: 775992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1073224 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14560 kB Slab: 55992 kB Committed_AS: 245796 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Fri Jun 2 12:30:21 UTC 2006