Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.57 | 1788.42 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb |
MD5SUM | 8e9a545df4abbe3f7a2b003048b42200 |
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 | 103872 |
Total number of constraints | 3312 |
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 | 3312 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 725 |
Number of terms in the objective function | 37632 |
Biggest coefficient in the objective function | 1116 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 555552 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 555552 |
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.16 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.16 c no version file found!!! 0.16 c sun.arch.data.model 32 0.16 c java.version 1.5.0_06 0.16 c os.name Linux 0.16 c os.version 2.6.9-22.EL.rootsmp 0.16 c os.arch i386 0.16 c Free memory 1548419056 0.16 c Max memory 1551040512 0.16 c Total memory 1551040512 0.16 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/node48/42448-1149266603/instance-42448-1149266603.opb 0.22 c reading problem ... 15.58 c ... done. Time 15.354 ms. 15.58 c #vars 103872 15.58 c #constraints 4560 1788.32 c starts : 5 1788.32 c conflicts : 1026 1788.32 c decisions : 121068 1788.32 c propagations : 588154 1788.32 c inspects : 1596759 1788.32 c learnt literals : 0 1788.32 c learnt binary clauses : 0 1788.32 c learnt ternary clauses : 0 1788.32 c learnt clauses : 1025 1788.32 c root simplifications : 0 1788.32 c removed literals (reason simplification) : 0 1788.32 c reason swapping (by a shorter reason) : 0 1788.32 c Calls to reduceDB : 0 1788.32 c speed (decisions/second) : 68.30911414473962 1788.32 c non guided choices 0 1788.32 s UNKNOWN 1788.32 c Total wall clock time (ms): 1788.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/node48/watcher-42448-1149266603 -o ROOT/results/node48/solver-42448-1149266603 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node48/42448-1149266603/instance-42448-1149266603.opb 844358918 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.99 0.97 3/64 15690 /proc/meminfo: memFree=1245208/2055920 swapFree=4181440/4192956 [pid=15690] ppid=15688 vsize=1452 CPUtime=0 /proc/15690/stat : 15690 (java) R 15688 15690 15644 0 -1 0 94 0 0 0 0 0 0 0 18 0 1 0 192327405 1486848 66 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15690/statm: 363 77 59 14 0 8 0 [startup+10.0027 s] /proc/loadavg: 1.01 1.00 0.97 2/75 15701 /proc/meminfo: memFree=1023816/2055920 swapFree=4181440/4192956 [pid=15690] ppid=15688 vsize=1713124 CPUtime=11.31 /proc/15690/stat : 15690 (java) R 15688 15690 15644 0 -1 0 60415 0 1 0 1104 27 0 0 22 0 12 0 192327405 1754238976 57136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071422690 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15690/statm: 428281 57136 1885 14 0 415028 0 [pid=15690/tid=15691] ppid=15688 vsize=1713124 CPUtime=0.72 /proc/15690/task/15691/stat : 15691 (java) S 15688 15690 15644 0 -1 64 10951 0 0 0 67 5 0 0 16 0 12 0 192327410 1754238976 57136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15692] ppid=15688 vsize=1713124 CPUtime=0.72 /proc/15690/task/15692/stat : 15692 (java) S 15688 15690 15644 0 -1 64 10728 0 0 0 67 5 0 0 16 0 12 0 192327410 1754238976 57136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15693] ppid=15688 vsize=1713124 CPUtime=0 /proc/15690/task/15693/stat : 15693 (java) S 15688 15690 15644 0 -1 64 19 0 0 0 0 0 0 0 17 0 12 0 192327412 1754238976 57136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15694] ppid=15688 vsize=1713124 CPUtime=0 /proc/15690/task/15694/stat : 15694 (java) S 15688 15690 15644 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 192327413 1754238976 57136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15695] ppid=15688 vsize=1713124 CPUtime=0 /proc/15690/task/15695/stat : 15695 (java) S 15688 15690 15644 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 192327413 1754238976 57136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15696] ppid=15688 vsize=1713124 CPUtime=0 /proc/15690/task/15696/stat : 15696 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 192327416 1754238976 57136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15697] ppid=15688 vsize=1713124 CPUtime=0 /proc/15690/task/15697/stat : 15697 (java) S 15688 15690 15644 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 192327416 1754238976 57136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15698] ppid=15688 vsize=1713124 CPUtime=0.5 /proc/15690/task/15698/stat : 15698 (java) S 15688 15690 15644 0 -1 64 1706 0 0 0 50 0 0 0 17 0 12 0 192327416 1754238976 57136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15699] ppid=15688 vsize=1713124 CPUtime=0.38 /proc/15690/task/15699/stat : 15699 (java) S 15688 15690 15644 0 -1 64 579 0 0 0 38 0 0 0 17 0 12 0 192327416 1754238976 57136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15700] ppid=15688 vsize=1713124 CPUtime=0 /proc/15690/task/15700/stat : 15700 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 192327416 1754238976 57136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15701] ppid=15688 vsize=1713124 CPUtime=0 /proc/15690/task/15701/stat : 15701 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 192327416 1754238976 57136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.31 Current children cumulated vsize (Kb) 1713124 [startup+20.0104 s] /proc/loadavg: 1.08 1.02 0.98 2/76 15702 /proc/meminfo: memFree=1012352/2055920 swapFree=4181440/4192956 [pid=15690] ppid=15688 vsize=1715100 CPUtime=22.03 /proc/15690/stat : 15690 (java) R 15688 15690 15644 0 -1 0 64363 0 1 0 2173 30 0 0 23 0 13 0 192327405 1756262400 60026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071677255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15690/statm: 428775 60026 1908 14 0 415522 0 [pid=15690/tid=15691] ppid=15688 vsize=1715100 CPUtime=0.86 /proc/15690/task/15691/stat : 15691 (java) S 15688 15690 15644 0 -1 64 12542 0 0 0 81 5 0 0 16 0 13 0 192327410 1756262400 60026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15692] ppid=15688 vsize=1715100 CPUtime=0.87 /proc/15690/task/15692/stat : 15692 (java) S 15688 15690 15644 0 -1 64 11887 0 0 0 81 6 0 0 16 0 13 0 192327410 1756262400 60026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15693] ppid=15688 vsize=1715100 CPUtime=0 /proc/15690/task/15693/stat : 15693 (java) S 15688 15690 15644 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 192327412 1756262400 60026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15694] ppid=15688 vsize=1715100 CPUtime=0 /proc/15690/task/15694/stat : 15694 (java) S 15688 15690 15644 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192327413 1756262400 60026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15695] ppid=15688 vsize=1715100 CPUtime=0 /proc/15690/task/15695/stat : 15695 (java) S 15688 15690 15644 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192327413 1756262400 60026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15696] ppid=15688 vsize=1715100 CPUtime=0 /proc/15690/task/15696/stat : 15696 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192327416 1756262400 60026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15697] ppid=15688 vsize=1715100 CPUtime=0 /proc/15690/task/15697/stat : 15697 (java) S 15688 15690 15644 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 192327416 1756262400 60026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15698] ppid=15688 vsize=1715100 CPUtime=0.9 /proc/15690/task/15698/stat : 15698 (java) S 15688 15690 15644 0 -1 64 1757 0 0 0 90 0 0 0 16 0 13 0 192327416 1756262400 60026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15699] ppid=15688 vsize=1715100 CPUtime=0.75 /proc/15690/task/15699/stat : 15699 (java) S 15688 15690 15644 0 -1 64 1661 0 0 0 74 1 0 0 16 0 13 0 192327416 1756262400 60026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15700] ppid=15688 vsize=1715100 CPUtime=0 /proc/15690/task/15700/stat : 15700 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192327416 1756262400 60026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15701] ppid=15688 vsize=1715100 CPUtime=0 /proc/15690/task/15701/stat : 15701 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192327416 1756262400 60026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15702] ppid=15688 vsize=1715100 CPUtime=0 /proc/15690/task/15702/stat : 15702 (java) S 15688 15690 15644 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 192329009 1756262400 60026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 22.03 Current children cumulated vsize (Kb) 1715100 [startup+30.0172 s] /proc/loadavg: 1.07 1.02 0.98 2/76 15702 /proc/meminfo: memFree=1008896/2055920 swapFree=4181440/4192956 [pid=15690] ppid=15688 vsize=1714972 CPUtime=32.17 /proc/15690/stat : 15690 (java) R 15688 15690 15644 0 -1 0 65328 0 1 0 3186 31 0 0 25 0 13 0 192327405 1756131328 60932 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071676999 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15690/statm: 428743 60932 1908 14 0 415490 0 [pid=15690/tid=15691] ppid=15688 vsize=1714972 CPUtime=0.9 /proc/15690/task/15691/stat : 15691 (java) S 15688 15690 15644 0 -1 64 13272 0 0 0 84 6 0 0 16 0 13 0 192327410 1756131328 60932 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15692] ppid=15688 vsize=1714972 CPUtime=0.89 /proc/15690/task/15692/stat : 15692 (java) S 15688 15690 15644 0 -1 64 12104 0 0 0 83 6 0 0 16 0 13 0 192327410 1756131328 60932 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15693] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15693/stat : 15693 (java) S 15688 15690 15644 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 192327412 1756131328 60932 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15694] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15694/stat : 15694 (java) S 15688 15690 15644 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192327413 1756131328 60932 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15695] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15695/stat : 15695 (java) S 15688 15690 15644 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192327413 1756131328 60932 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15696] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15696/stat : 15696 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192327416 1756131328 60932 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15697] ppid=15688 vsize=1714972 CPUtime=0.01 /proc/15690/task/15697/stat : 15697 (java) S 15688 15690 15644 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 192327416 1756131328 60932 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15698] ppid=15688 vsize=1714972 CPUtime=0.93 /proc/15690/task/15698/stat : 15698 (java) S 15688 15690 15644 0 -1 64 1759 0 0 0 93 0 0 0 16 0 13 0 192327416 1756131328 60932 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15699] ppid=15688 vsize=1714972 CPUtime=0.86 /proc/15690/task/15699/stat : 15699 (java) S 15688 15690 15644 0 -1 64 1667 0 0 0 85 1 0 0 17 0 13 0 192327416 1756131328 60932 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15700] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15700/stat : 15700 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192327416 1756131328 60932 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15701] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15701/stat : 15701 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192327416 1756131328 60932 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15702] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15702/stat : 15702 (java) S 15688 15690 15644 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 192329009 1756131328 60932 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.17 Current children cumulated vsize (Kb) 1714972 [startup+40.0239 s] /proc/loadavg: 1.06 1.02 0.98 2/76 15702 /proc/meminfo: memFree=1011904/2055920 swapFree=4181440/4192956 [pid=15690] ppid=15688 vsize=1714972 CPUtime=42.24 /proc/15690/stat : 15690 (java) R 15688 15690 15644 0 -1 0 65461 0 1 0 4193 31 0 0 25 0 13 0 192327405 1756131328 60152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071677246 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15690/statm: 428743 60152 1908 14 0 415490 0 [pid=15690/tid=15691] ppid=15688 vsize=1714972 CPUtime=0.91 /proc/15690/task/15691/stat : 15691 (java) S 15688 15690 15644 0 -1 64 13311 0 0 0 85 6 0 0 16 0 13 0 192327410 1756131328 60152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15692] ppid=15688 vsize=1714972 CPUtime=0.9 /proc/15690/task/15692/stat : 15692 (java) S 15688 15690 15644 0 -1 64 12186 0 0 0 84 6 0 0 16 0 13 0 192327410 1756131328 60152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15693] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15693/stat : 15693 (java) S 15688 15690 15644 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 192327412 1756131328 60152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15694] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15694/stat : 15694 (java) S 15688 15690 15644 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192327413 1756131328 60152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15695] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15695/stat : 15695 (java) S 15688 15690 15644 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192327413 1756131328 60152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15696] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15696/stat : 15696 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192327416 1756131328 60152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15697] ppid=15688 vsize=1714972 CPUtime=0.01 /proc/15690/task/15697/stat : 15697 (java) S 15688 15690 15644 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 192327416 1756131328 60152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15698] ppid=15688 vsize=1714972 CPUtime=0.98 /proc/15690/task/15698/stat : 15698 (java) S 15688 15690 15644 0 -1 64 1763 0 0 0 98 0 0 0 16 0 13 0 192327416 1756131328 60152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15699] ppid=15688 vsize=1714972 CPUtime=0.9 /proc/15690/task/15699/stat : 15699 (java) S 15688 15690 15644 0 -1 64 1669 0 0 0 89 1 0 0 16 0 13 0 192327416 1756131328 60152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15700] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15700/stat : 15700 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192327416 1756131328 60152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15701] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15701/stat : 15701 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192327416 1756131328 60152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15702] ppid=15688 vsize=1714972 CPUtime=0 /proc/15690/task/15702/stat : 15702 (java) S 15688 15690 15644 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 192329009 1756131328 60152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.24 Current children cumulated vsize (Kb) 1714972 [startup+50.0306 s] /proc/loadavg: 1.05 1.02 0.98 2/76 15702 /proc/meminfo: memFree=1016768/2055920 swapFree=4181440/4192956 [pid=15690] ppid=15688 vsize=1715996 CPUtime=52.35 /proc/15690/stat : 15690 (java) R 15688 15690 15644 0 -1 0 66632 0 1 0 5203 32 0 0 25 0 13 0 192327405 1757179904 58934 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071677103 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15690/statm: 428999 58934 1908 14 0 415746 0 [pid=15690/tid=15691] ppid=15688 vsize=1715996 CPUtime=0.92 /proc/15690/task/15691/stat : 15691 (java) S 15688 15690 15644 0 -1 64 13686 0 0 0 86 6 0 0 16 0 13 0 192327410 1757179904 58934 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15692] ppid=15688 vsize=1715996 CPUtime=0.93 /proc/15690/task/15692/stat : 15692 (java) S 15688 15690 15644 0 -1 64 12460 0 0 0 86 7 0 0 16 0 13 0 192327410 1757179904 58934 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15693] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15693/stat : 15693 (java) S 15688 15690 15644 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 192327412 1757179904 58934 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15694] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15694/stat : 15694 (java) S 15688 15690 15644 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 58934 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15695] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15695/stat : 15695 (java) S 15688 15690 15644 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 58934 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15696] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15696/stat : 15696 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192327416 1757179904 58934 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15697] ppid=15688 vsize=1715996 CPUtime=0.01 /proc/15690/task/15697/stat : 15697 (java) S 15688 15690 15644 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 192327416 1757179904 58934 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15698] ppid=15688 vsize=1715996 CPUtime=1 /proc/15690/task/15698/stat : 15698 (java) S 15688 15690 15644 0 -1 64 1763 0 0 0 100 0 0 0 17 0 13 0 192327416 1757179904 58934 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15699] ppid=15688 vsize=1715996 CPUtime=0.99 /proc/15690/task/15699/stat : 15699 (java) S 15688 15690 15644 0 -1 64 2184 0 0 0 98 1 0 0 17 0 13 0 192327416 1757179904 58934 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15700] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15700/stat : 15700 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192327416 1757179904 58934 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15701] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15701/stat : 15701 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192327416 1757179904 58934 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15702] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15702/stat : 15702 (java) S 15688 15690 15644 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 192329009 1757179904 58934 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.35 Current children cumulated vsize (Kb) 1715996 [startup+60.0373 s] /proc/loadavg: 1.04 1.01 0.98 2/76 15702 /proc/meminfo: memFree=1021568/2055920 swapFree=4181440/4192956 [pid=15690] ppid=15688 vsize=1715996 CPUtime=62.39 /proc/15690/stat : 15690 (java) R 15688 15690 15644 0 -1 0 66930 0 1 0 6206 33 0 0 25 0 13 0 192327405 1757179904 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071677246 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15690/statm: 428999 57733 1908 14 0 415746 0 [pid=15690/tid=15691] ppid=15688 vsize=1715996 CPUtime=0.94 /proc/15690/task/15691/stat : 15691 (java) S 15688 15690 15644 0 -1 64 13938 0 0 0 88 6 0 0 16 0 13 0 192327410 1757179904 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15692] ppid=15688 vsize=1715996 CPUtime=0.95 /proc/15690/task/15692/stat : 15692 (java) S 15688 15690 15644 0 -1 64 12501 0 0 0 88 7 0 0 16 0 13 0 192327410 1757179904 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15693] ppid=15688 vsize=1715996 CPUtime=0.01 /proc/15690/task/15693/stat : 15693 (java) S 15688 15690 15644 0 -1 64 21 0 0 0 1 0 0 0 16 0 13 0 192327412 1757179904 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15694] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15694/stat : 15694 (java) S 15688 15690 15644 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15695] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15695/stat : 15695 (java) S 15688 15690 15644 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15696] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15696/stat : 15696 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192327416 1757179904 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15697] ppid=15688 vsize=1715996 CPUtime=0.01 /proc/15690/task/15697/stat : 15697 (java) S 15688 15690 15644 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 192327416 1757179904 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=15690/tid=15694] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15694/stat : 15694 (java) S 15688 15690 15644 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 111134 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15695] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15695/stat : 15695 (java) S 15688 15690 15644 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 111134 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15696] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15696/stat : 15696 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192327416 1757179904 111134 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15697] ppid=15688 vsize=1715996 CPUtime=0.01 /proc/15690/task/15697/stat : 15697 (java) S 15688 15690 15644 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 192327416 1757179904 111134 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15698] ppid=15688 vsize=1715996 CPUtime=1.07 /proc/15690/task/15698/stat : 15698 (java) S 15688 15690 15644 0 -1 64 1768 0 0 0 107 0 0 0 16 0 13 0 192327416 1757179904 111134 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15699] ppid=15688 vsize=1715996 CPUtime=1.02 /proc/15690/task/15699/stat : 15699 (java) S 15688 15690 15644 0 -1 64 2185 0 0 0 101 1 0 0 17 0 13 0 192327416 1757179904 111134 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15700] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15700/stat : 15700 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192327416 1757179904 111134 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15701] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15701/stat : 15701 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192327416 1757179904 111134 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15702] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15702/stat : 15702 (java) S 15688 15690 15644 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 192329009 1757179904 111134 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (Kb) 1715996 [startup+1785.29 s] /proc/loadavg: 1.00 1.00 0.99 2/76 15897 /proc/meminfo: memFree=806784/2055920 swapFree=4181440/4192956 [pid=15690] ppid=15688 vsize=1715996 CPUtime=1797.4 /proc/15690/stat : 15690 (java) R 15688 15690 15644 0 -1 0 184407 0 1 0 179605 135 0 0 25 0 13 0 192327405 1757179904 111138 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071723316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15690/statm: 428999 111138 1908 14 0 415746 0 [pid=15690/tid=15691] ppid=15688 vsize=1715996 CPUtime=11.46 /proc/15690/task/15691/stat : 15691 (java) S 15688 15690 15644 0 -1 64 39515 0 0 0 1113 33 0 0 17 0 13 0 192327410 1757179904 111138 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15692] ppid=15688 vsize=1715996 CPUtime=11.48 /proc/15690/task/15692/stat : 15692 (java) S 15688 15690 15644 0 -1 64 42513 0 0 0 1105 43 0 0 16 0 13 0 192327410 1757179904 111138 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15693] ppid=15688 vsize=1715996 CPUtime=0.24 /proc/15690/task/15693/stat : 15693 (java) S 15688 15690 15644 0 -1 64 174 0 0 0 13 11 0 0 15 0 13 0 192327412 1757179904 111138 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15694] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15694/stat : 15694 (java) S 15688 15690 15644 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 111138 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15695] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15695/stat : 15695 (java) S 15688 15690 15644 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 111138 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15696] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15696/stat : 15696 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192327416 1757179904 111138 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15697] ppid=15688 vsize=1715996 CPUtime=0.01 /proc/15690/task/15697/stat : 15697 (java) S 15688 15690 15644 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 192327416 1757179904 111138 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15698] ppid=15688 vsize=1715996 CPUtime=1.07 /proc/15690/task/15698/stat : 15698 (java) S 15688 15690 15644 0 -1 64 1768 0 0 0 107 0 0 0 16 0 13 0 192327416 1757179904 111138 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15699] ppid=15688 vsize=1715996 CPUtime=1.02 /proc/15690/task/15699/stat : 15699 (java) S 15688 15690 15644 0 -1 64 2185 0 0 0 101 1 0 0 17 0 13 0 192327416 1757179904 111138 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15700] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15700/stat : 15700 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192327416 1757179904 111138 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15701] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15701/stat : 15701 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192327416 1757179904 111138 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15702] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15702/stat : 15702 (java) S 15688 15690 15644 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 192329009 1757179904 111138 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (Kb) 1715996 [startup+1786.3 s] /proc/loadavg: 1.00 1.00 0.99 3/76 15897 /proc/meminfo: memFree=806528/2055920 swapFree=4181440/4192956 [pid=15690] ppid=15688 vsize=1715996 CPUtime=1798.42 /proc/15690/stat : 15690 (java) S 15688 15690 15644 0 -1 0 184471 0 1 0 179707 135 0 0 25 0 13 0 192327405 1757179904 111201 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15690/statm: 428999 111201 1908 14 0 415746 0 [pid=15690/tid=15691] ppid=15688 vsize=1715996 CPUtime=11.46 /proc/15690/task/15691/stat : 15691 (java) R 15688 15690 15644 0 -1 64 39515 0 0 0 1113 33 0 0 16 0 13 0 192327410 1757179904 111201 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154649075 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15692] ppid=15688 vsize=1715996 CPUtime=11.5 /proc/15690/task/15692/stat : 15692 (java) R 15688 15690 15644 0 -1 64 42513 0 0 0 1107 43 0 0 16 0 13 0 192327410 1757179904 111201 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154649205 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15693] ppid=15688 vsize=1715996 CPUtime=0.24 /proc/15690/task/15693/stat : 15693 (java) S 15688 15690 15644 0 -1 64 174 0 0 0 13 11 0 0 15 0 13 0 192327412 1757179904 111201 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15694] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15694/stat : 15694 (java) S 15688 15690 15644 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 111201 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15695] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15695/stat : 15695 (java) S 15688 15690 15644 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 111201 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15696] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15696/stat : 15696 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192327416 1757179904 111201 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15697] ppid=15688 vsize=1715996 CPUtime=0.01 /proc/15690/task/15697/stat : 15697 (java) S 15688 15690 15644 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 192327416 1757179904 111201 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15698] ppid=15688 vsize=1715996 CPUtime=1.07 /proc/15690/task/15698/stat : 15698 (java) S 15688 15690 15644 0 -1 64 1768 0 0 0 107 0 0 0 16 0 13 0 192327416 1757179904 111201 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15699] ppid=15688 vsize=1715996 CPUtime=1.02 /proc/15690/task/15699/stat : 15699 (java) S 15688 15690 15644 0 -1 64 2185 0 0 0 101 1 0 0 17 0 13 0 192327416 1757179904 111201 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15700] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15700/stat : 15700 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192327416 1757179904 111201 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15701] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15701/stat : 15701 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192327416 1757179904 111201 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15702] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15702/stat : 15702 (java) S 15688 15690 15644 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 192329009 1757179904 111201 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.42 Current children cumulated vsize (Kb) 1715996 [startup+1787.31 s] /proc/loadavg: 1.00 1.00 0.99 2/76 15897 /proc/meminfo: memFree=806464/2055920 swapFree=4181440/4192956 [pid=15690] ppid=15688 vsize=1715996 CPUtime=1799.43 /proc/15690/stat : 15690 (java) R 15688 15690 15644 0 -1 0 184477 0 1 0 179808 135 0 0 25 0 13 0 192327405 1757179904 111207 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071723313 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15690/statm: 428999 111207 1908 14 0 415746 0 [pid=15690/tid=15691] ppid=15688 vsize=1715996 CPUtime=11.47 /proc/15690/task/15691/stat : 15691 (java) S 15688 15690 15644 0 -1 64 39517 0 0 0 1114 33 0 0 16 0 13 0 192327410 1757179904 111207 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15692] ppid=15688 vsize=1715996 CPUtime=11.5 /proc/15690/task/15692/stat : 15692 (java) S 15688 15690 15644 0 -1 64 42517 0 0 0 1107 43 0 0 16 0 13 0 192327410 1757179904 111207 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15693] ppid=15688 vsize=1715996 CPUtime=0.24 /proc/15690/task/15693/stat : 15693 (java) S 15688 15690 15644 0 -1 64 174 0 0 0 13 11 0 0 16 0 13 0 192327412 1757179904 111207 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15694] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15694/stat : 15694 (java) S 15688 15690 15644 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 111207 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15695] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15695/stat : 15695 (java) S 15688 15690 15644 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 111207 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15696] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15696/stat : 15696 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192327416 1757179904 111207 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15697] ppid=15688 vsize=1715996 CPUtime=0.01 /proc/15690/task/15697/stat : 15697 (java) S 15688 15690 15644 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 192327416 1757179904 111207 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15698] ppid=15688 vsize=1715996 CPUtime=1.07 /proc/15690/task/15698/stat : 15698 (java) S 15688 15690 15644 0 -1 64 1768 0 0 0 107 0 0 0 16 0 13 0 192327416 1757179904 111207 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15699] ppid=15688 vsize=1715996 CPUtime=1.02 /proc/15690/task/15699/stat : 15699 (java) S 15688 15690 15644 0 -1 64 2185 0 0 0 101 1 0 0 17 0 13 0 192327416 1757179904 111207 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15700] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15700/stat : 15700 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192327416 1757179904 111207 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15701] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15701/stat : 15701 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192327416 1757179904 111207 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15702] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15702/stat : 15702 (java) S 15688 15690 15644 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 192329009 1757179904 111207 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 1715996 [startup+1788.31 s] /proc/loadavg: 1.00 1.00 0.99 2/76 15897 /proc/meminfo: memFree=806400/2055920 swapFree=4181440/4192956 [pid=15690] ppid=15688 vsize=1715996 CPUtime=1800.46 /proc/15690/stat : 15690 (java) R 15688 15690 15644 0 -1 0 184485 0 1 0 179911 135 0 0 25 0 13 0 192327405 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071723316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15690/statm: 428999 111214 1908 14 0 415746 0 [pid=15690/tid=15691] ppid=15688 vsize=1715996 CPUtime=11.49 /proc/15690/task/15691/stat : 15691 (java) S 15688 15690 15644 0 -1 64 39522 0 0 0 1116 33 0 0 16 0 13 0 192327410 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15692] ppid=15688 vsize=1715996 CPUtime=11.52 /proc/15690/task/15692/stat : 15692 (java) S 15688 15690 15644 0 -1 64 42519 0 0 0 1109 43 0 0 16 0 13 0 192327410 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15693] ppid=15688 vsize=1715996 CPUtime=0.24 /proc/15690/task/15693/stat : 15693 (java) S 15688 15690 15644 0 -1 64 174 0 0 0 13 11 0 0 16 0 13 0 192327412 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15694] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15694/stat : 15694 (java) S 15688 15690 15644 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15695] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15695/stat : 15695 (java) S 15688 15690 15644 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15696] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15696/stat : 15696 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192327416 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15697] ppid=15688 vsize=1715996 CPUtime=0.01 /proc/15690/task/15697/stat : 15697 (java) S 15688 15690 15644 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 192327416 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15698] ppid=15688 vsize=1715996 CPUtime=1.08 /proc/15690/task/15698/stat : 15698 (java) S 15688 15690 15644 0 -1 64 1768 0 0 0 108 0 0 0 16 0 13 0 192327416 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15699] ppid=15688 vsize=1715996 CPUtime=1.02 /proc/15690/task/15699/stat : 15699 (java) S 15688 15690 15644 0 -1 64 2185 0 0 0 101 1 0 0 17 0 13 0 192327416 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15700] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15700/stat : 15700 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192327416 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15701] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15701/stat : 15701 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192327416 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15702] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15702/stat : 15702 (java) S 15688 15690 15644 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 192329009 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (Kb) 1715996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.32 s] /proc/loadavg: 1.00 1.00 0.99 2/76 15897 /proc/meminfo: memFree=806400/2055920 swapFree=4181440/4192956 [pid=15690] ppid=15688 vsize=1715996 CPUtime=1800.46 /proc/15690/stat : 15690 (java) R 15688 15690 15644 0 -1 0 184485 0 1 0 179911 135 0 0 25 0 13 0 192327405 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071722774 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15690/statm: 428999 111214 1908 14 0 415746 0 [pid=15690/tid=15691] ppid=15688 vsize=1715996 CPUtime=11.49 /proc/15690/task/15691/stat : 15691 (java) S 15688 15690 15644 0 -1 64 39522 0 0 0 1116 33 0 0 16 0 13 0 192327410 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15692] ppid=15688 vsize=1715996 CPUtime=11.52 /proc/15690/task/15692/stat : 15692 (java) S 15688 15690 15644 0 -1 64 42519 0 0 0 1109 43 0 0 16 0 13 0 192327410 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15693] ppid=15688 vsize=1715996 CPUtime=0.24 /proc/15690/task/15693/stat : 15693 (java) S 15688 15690 15644 0 -1 64 174 0 0 0 13 11 0 0 16 0 13 0 192327412 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15694] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15694/stat : 15694 (java) S 15688 15690 15644 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15695] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15695/stat : 15695 (java) S 15688 15690 15644 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192327413 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15696] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15696/stat : 15696 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192327416 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15697] ppid=15688 vsize=1715996 CPUtime=0.01 /proc/15690/task/15697/stat : 15697 (java) S 15688 15690 15644 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 192327416 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15698] ppid=15688 vsize=1715996 CPUtime=1.08 /proc/15690/task/15698/stat : 15698 (java) S 15688 15690 15644 0 -1 64 1768 0 0 0 108 0 0 0 16 0 13 0 192327416 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15699] ppid=15688 vsize=1715996 CPUtime=1.02 /proc/15690/task/15699/stat : 15699 (java) S 15688 15690 15644 0 -1 64 2185 0 0 0 101 1 0 0 17 0 13 0 192327416 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15700] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15700/stat : 15700 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192327416 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15690/tid=15701] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15701/stat : 15701 (java) S 15688 15690 15644 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192327416 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15690/tid=15702] ppid=15688 vsize=1715996 CPUtime=0 /proc/15690/task/15702/stat : 15702 (java) S 15688 15690 15644 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 192329009 1757179904 111214 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (Kb) 1715996 Sending SIGTERM to -15690 Sleeping 2 seconds Child status: 143 Real time (s): 1788.42 CPU time (s): 1800.57 CPU user time (s): 1799.14 CPU system time (s): 1.42978 CPU usage (%): 100.679 Max. virtual memory (cumulated for all children) (Kb): 1715996
Begin job on node48 on Fri Jun 2 16:43:24 UTC 2006 FILE ID= 42448-1149266603 PBS_JOBID= 298891 BENCH NAME= ROOT/tmp/node48/42448-1149266603/instance-42448-1149266603.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node48/42448-1149266603/instance-42448-1149266603.opb 844358918 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-42448-1149266603 -o ROOT/results/node48/solver-42448-1149266603 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node48/42448-1149266603/instance-42448-1149266603.opb 844358918 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 8e9a545df4abbe3f7a2b003048b42200 RANDOM SEED= 844358918 /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.259 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.259 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: 1245416 kB Buffers: 28160 kB Cached: 709244 kB SwapCached: 3388 kB Active: 232120 kB Inactive: 514148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1245416 kB SwapTotal: 4192956 kB SwapFree: 4181440 kB Dirty: 216 kB Writeback: 0 kB Mapped: 14868 kB Slab: 50196 kB Committed_AS: 239356 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node48 on Fri Jun 2 17:13:12 UTC 2006