Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.98 | 1781.43 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb |
MD5SUM | b3be50396cebacd2fb0dd8b51b7d346c |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.197969 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 747 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-34.ELsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.21 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node84/42133-1149217514/instance-42133-1149217514.opb 0.21 c reading problem ... 0.65 c ... done. Time 0.438 ms. 0.65 c #vars 231 0.65 c #constraints 2707 1781.33 c starts : 14 1781.33 c conflicts : 40445 1781.33 c decisions : 136525 1781.33 c propagations : 1015558 1781.33 c inspects : 573096506 1781.33 c learnt literals : 0 1781.33 c learnt binary clauses : 0 1781.33 c learnt ternary clauses : 8 1781.33 c learnt clauses : 40445 1781.33 c root simplifications : 0 1781.33 c removed literals (reason simplification) : 0 1781.33 c reason swapping (by a shorter reason) : 0 1781.33 c Calls to reduceDB : 0 1781.33 c speed (decisions/second) : 76.6703637665492 1781.33 c non guided choices 194 1781.33 s UNKNOWN 1781.33 c Total wall clock time (ms): 1781.115
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/node84/watcher-42133-1149217514 -o ROOT/results/node84/solver-42133-1149217514 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node84/42133-1149217514/instance-42133-1149217514.opb 420164202 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.95 0.90 2/67 9676 /proc/meminfo: memFree=1733288/2055892 swapFree=4085292/4096564 [pid=9676] ppid=9674 vsize=1788 CPUtime=0 /proc/9676/stat : 9676 (java) D 9674 9676 9631 0 -1 0 179 0 0 0 0 0 0 0 18 0 1 0 187390662 1830912 147 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0 /proc/9676/statm: 447 147 112 14 0 91 0 [startup+10.0015 s] /proc/loadavg: 1.02 0.99 0.91 2/79 9688 /proc/meminfo: memFree=1542088/2055892 swapFree=4085292/4096564 [pid=9676] ppid=9674 vsize=1712192 CPUtime=11.16 /proc/9676/stat : 9676 (java) R 9674 9676 9631 0 -1 0 52137 0 1 0 1094 22 0 0 24 0 13 0 187390662 1753284608 49549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071369113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9676/statm: 428048 49549 1910 14 0 414794 0 [pid=9676/tid=9677] ppid=9674 vsize=1712192 CPUtime=0.17 /proc/9676/task/9677/stat : 9677 (java) S 9674 9676 9631 0 -1 64 5036 0 0 0 15 2 0 0 16 0 13 0 187390665 1753284608 49549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9678] ppid=9674 vsize=1712192 CPUtime=0.15 /proc/9676/task/9678/stat : 9678 (java) S 9674 9676 9631 0 -1 64 4821 0 0 0 13 2 0 0 16 0 13 0 187390665 1753284608 49549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9679] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9679/stat : 9679 (java) S 9674 9676 9631 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187390667 1753284608 49549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9680] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9680/stat : 9680 (java) S 9674 9676 9631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 49549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9681] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9681/stat : 9681 (java) S 9674 9676 9631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 49549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9682] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9682/stat : 9682 (java) S 9674 9676 9631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 187390671 1753284608 49549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9683] ppid=9674 vsize=1712192 CPUtime=0.01 /proc/9676/task/9683/stat : 9683 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 187390671 1753284608 49549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9684] ppid=9674 vsize=1712192 CPUtime=0.69 /proc/9676/task/9684/stat : 9684 (java) S 9674 9676 9631 0 -1 64 1224 0 0 0 69 0 0 0 17 0 13 0 187390671 1753284608 49549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9685] ppid=9674 vsize=1712192 CPUtime=0.82 /proc/9676/task/9685/stat : 9685 (java) S 9674 9676 9631 0 -1 64 937 0 0 0 82 0 0 0 17 0 13 0 187390671 1753284608 49549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9686] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9686/stat : 9686 (java) S 9674 9676 9631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187390671 1753284608 49549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9687] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9687/stat : 9687 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187390671 1753284608 49549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9688] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9688/stat : 9688 (java) S 9674 9676 9631 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 187390727 1753284608 49549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.16 Current children cumulated vsize (Kb) 1712192 [startup+20.0075 s] /proc/loadavg: 1.02 0.99 0.91 2/79 9688 /proc/meminfo: memFree=1534152/2055892 swapFree=4085292/4096564 [pid=9676] ppid=9674 vsize=1712192 CPUtime=21.24 /proc/9676/stat : 9676 (java) R 9674 9676 9631 0 -1 0 55162 0 1 0 2101 23 0 0 20 0 13 0 187390662 1753284608 51507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071613728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9676/statm: 428048 51507 1910 14 0 414794 0 [pid=9676/tid=9677] ppid=9674 vsize=1712192 CPUtime=0.25 /proc/9676/task/9677/stat : 9677 (java) S 9674 9676 9631 0 -1 64 6559 0 0 0 23 2 0 0 16 0 13 0 187390665 1753284608 51507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9678] ppid=9674 vsize=1712192 CPUtime=0.24 /proc/9676/task/9678/stat : 9678 (java) S 9674 9676 9631 0 -1 64 6312 0 0 0 21 3 0 0 16 0 13 0 187390665 1753284608 51507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9679] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9679/stat : 9679 (java) S 9674 9676 9631 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187390667 1753284608 51507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9680] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9680/stat : 9680 (java) S 9674 9676 9631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 51507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9681] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9681/stat : 9681 (java) S 9674 9676 9631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 51507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9682] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9682/stat : 9682 (java) S 9674 9676 9631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 187390671 1753284608 51507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9683] ppid=9674 vsize=1712192 CPUtime=0.01 /proc/9676/task/9683/stat : 9683 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 187390671 1753284608 51507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9684] ppid=9674 vsize=1712192 CPUtime=0.7 /proc/9676/task/9684/stat : 9684 (java) S 9674 9676 9631 0 -1 64 1224 0 0 0 70 0 0 0 16 0 13 0 187390671 1753284608 51507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9685] ppid=9674 vsize=1712192 CPUtime=0.83 /proc/9676/task/9685/stat : 9685 (java) S 9674 9676 9631 0 -1 64 937 0 0 0 83 0 0 0 17 0 13 0 187390671 1753284608 51507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9686] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9686/stat : 9686 (java) S 9674 9676 9631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187390671 1753284608 51507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9687] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9687/stat : 9687 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187390671 1753284608 51507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9688] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9688/stat : 9688 (java) S 9674 9676 9631 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 187390727 1753284608 51507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.24 Current children cumulated vsize (Kb) 1712192 [startup+30.0146 s] /proc/loadavg: 1.02 0.99 0.91 2/79 9688 /proc/meminfo: memFree=1535048/2055892 swapFree=4085292/4096564 [pid=9676] ppid=9674 vsize=1712192 CPUtime=31.34 /proc/9676/stat : 9676 (java) R 9674 9676 9631 0 -1 0 57046 0 1 0 3109 25 0 0 22 0 13 0 187390662 1753284608 51279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071442662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9676/statm: 428048 51279 1910 14 0 414794 0 [pid=9676/tid=9677] ppid=9674 vsize=1712192 CPUtime=0.32 /proc/9676/task/9677/stat : 9677 (java) S 9674 9676 9631 0 -1 64 7357 0 0 0 29 3 0 0 16 0 13 0 187390665 1753284608 51279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9678] ppid=9674 vsize=1712192 CPUtime=0.31 /proc/9676/task/9678/stat : 9678 (java) S 9674 9676 9631 0 -1 64 7387 0 0 0 27 4 0 0 16 0 13 0 187390665 1753284608 51279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9679] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9679/stat : 9679 (java) S 9674 9676 9631 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 187390667 1753284608 51279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9680] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9680/stat : 9680 (java) S 9674 9676 9631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 51279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9681] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9681/stat : 9681 (java) S 9674 9676 9631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 51279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9682] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9682/stat : 9682 (java) S 9674 9676 9631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 187390671 1753284608 51279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9683] ppid=9674 vsize=1712192 CPUtime=0.01 /proc/9676/task/9683/stat : 9683 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 187390671 1753284608 51279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9684] ppid=9674 vsize=1712192 CPUtime=0.72 /proc/9676/task/9684/stat : 9684 (java) S 9674 9676 9631 0 -1 64 1225 0 0 0 72 0 0 0 17 0 13 0 187390671 1753284608 51279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9685] ppid=9674 vsize=1712192 CPUtime=0.83 /proc/9676/task/9685/stat : 9685 (java) S 9674 9676 9631 0 -1 64 937 0 0 0 83 0 0 0 17 0 13 0 187390671 1753284608 51279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9686] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9686/stat : 9686 (java) S 9674 9676 9631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187390671 1753284608 51279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9687] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9687/stat : 9687 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187390671 1753284608 51279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9688] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9688/stat : 9688 (java) S 9674 9676 9631 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 187390727 1753284608 51279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.34 Current children cumulated vsize (Kb) 1712192 [startup+40.0217 s] /proc/loadavg: 1.01 0.99 0.91 2/79 9688 /proc/meminfo: memFree=1538312/2055892 swapFree=4085292/4096564 [pid=9676] ppid=9674 vsize=1712192 CPUtime=41.44 /proc/9676/stat : 9676 (java) R 9674 9676 9631 0 -1 0 58414 0 1 0 4118 26 0 0 25 0 13 0 187390662 1753284608 50451 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071613728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9676/statm: 428048 50451 1910 14 0 414794 0 [pid=9676/tid=9677] ppid=9674 vsize=1712192 CPUtime=0.38 /proc/9676/task/9677/stat : 9677 (java) S 9674 9676 9631 0 -1 64 8105 0 0 0 35 3 0 0 16 0 13 0 187390665 1753284608 50451 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9678] ppid=9674 vsize=1712192 CPUtime=0.37 /proc/9676/task/9678/stat : 9678 (java) S 9674 9676 9631 0 -1 64 7997 0 0 0 33 4 0 0 16 0 13 0 187390665 1753284608 50451 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9679] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9679/stat : 9679 (java) S 9674 9676 9631 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187390667 1753284608 50451 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9680] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9680/stat : 9680 (java) S 9674 9676 9631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 50451 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9681] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9681/stat : 9681 (java) S 9674 9676 9631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 50451 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9682] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9682/stat : 9682 (java) S 9674 9676 9631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 187390671 1753284608 50451 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9683] ppid=9674 vsize=1712192 CPUtime=0.01 /proc/9676/task/9683/stat : 9683 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 187390671 1753284608 50451 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9684] ppid=9674 vsize=1712192 CPUtime=0.73 /proc/9676/task/9684/stat : 9684 (java) S 9674 9676 9631 0 -1 64 1225 0 0 0 73 0 0 0 16 0 13 0 187390671 1753284608 50451 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9685] ppid=9674 vsize=1712192 CPUtime=0.87 /proc/9676/task/9685/stat : 9685 (java) S 9674 9676 9631 0 -1 64 938 0 0 0 87 0 0 0 17 0 13 0 187390671 1753284608 50451 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9686] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9686/stat : 9686 (java) S 9674 9676 9631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187390671 1753284608 50451 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9687] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9687/stat : 9687 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187390671 1753284608 50451 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9688] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9688/stat : 9688 (java) S 9674 9676 9631 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187390727 1753284608 50451 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.44 Current children cumulated vsize (Kb) 1712192 [startup+50.0288 s] /proc/loadavg: 1.01 0.99 0.91 2/79 9688 /proc/meminfo: memFree=1538696/2055892 swapFree=4085292/4096564 [pid=9676] ppid=9674 vsize=1712192 CPUtime=51.5 /proc/9676/stat : 9676 (java) R 9674 9676 9631 0 -1 0 59811 0 1 0 5124 26 0 0 25 0 13 0 187390662 1753284608 50358 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071462858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9676/statm: 428048 50358 1910 14 0 414794 0 [pid=9676/tid=9677] ppid=9674 vsize=1712192 CPUtime=0.43 /proc/9676/task/9677/stat : 9677 (java) S 9674 9676 9631 0 -1 64 8798 0 0 0 40 3 0 0 16 0 13 0 187390665 1753284608 50358 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9678] ppid=9674 vsize=1712192 CPUtime=0.42 /proc/9676/task/9678/stat : 9678 (java) S 9674 9676 9631 0 -1 64 8694 0 0 0 38 4 0 0 16 0 13 0 187390665 1753284608 50358 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9679] ppid=9674 vsize=1712192 CPUtime=0.01 /proc/9676/task/9679/stat : 9679 (java) S 9674 9676 9631 0 -1 64 30 0 0 0 0 1 0 0 16 0 13 0 187390667 1753284608 50358 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9680] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9680/stat : 9680 (java) S 9674 9676 9631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 50358 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9681] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9681/stat : 9681 (java) S 9674 9676 9631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 50358 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9682] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9682/stat : 9682 (java) S 9674 9676 9631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 187390671 1753284608 50358 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9683] ppid=9674 vsize=1712192 CPUtime=0.01 /proc/9676/task/9683/stat : 9683 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 187390671 1753284608 50358 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9684] ppid=9674 vsize=1712192 CPUtime=0.73 /proc/9676/task/9684/stat : 9684 (java) S 9674 9676 9631 0 -1 64 1225 0 0 0 73 0 0 0 16 0 13 0 187390671 1753284608 50358 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9685] ppid=9674 vsize=1712192 CPUtime=0.87 /proc/9676/task/9685/stat : 9685 (java) S 9674 9676 9631 0 -1 64 938 0 0 0 87 0 0 0 17 0 13 0 187390671 1753284608 50358 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9686] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9686/stat : 9686 (java) S 9674 9676 9631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187390671 1753284608 50358 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9687] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9687/stat : 9687 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187390671 1753284608 50358 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9688] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9688/stat : 9688 (java) S 9674 9676 9631 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187390727 1753284608 50358 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.5 Current children cumulated vsize (Kb) 1712192 [startup+60.0358 s] /proc/loadavg: 1.01 0.99 0.91 2/79 9688 /proc/meminfo: memFree=1537224/2055892 swapFree=4085292/4096564 [pid=9676] ppid=9674 vsize=1712192 CPUtime=61.56 /proc/9676/stat : 9676 (java) R 9674 9676 9631 0 -1 0 61294 0 1 0 6129 27 0 0 25 0 13 0 187390662 1753284608 50718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071613778 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9676/statm: 428048 50718 1910 14 0 414794 0 [pid=9676/tid=9677] ppid=9674 vsize=1712192 CPUtime=0.49 /proc/9676/task/9677/stat : 9677 (java) S 9674 9676 9631 0 -1 64 9534 0 0 0 46 3 0 0 17 0 13 0 187390665 1753284608 50718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9678] ppid=9674 vsize=1712192 CPUtime=0.49 /proc/9676/task/9678/stat : 9678 (java) S 9674 9676 9631 0 -1 64 9434 0 0 0 44 5 0 0 16 0 13 0 187390665 1753284608 50718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9679] ppid=9674 vsize=1712192 CPUtime=0.01 /proc/9676/task/9679/stat : 9679 (java) S 9674 9676 9631 0 -1 64 30 0 0 0 0 1 0 0 16 0 13 0 187390667 1753284608 50718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9680] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9680/stat : 9680 (java) S 9674 9676 9631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 50718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9681] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9681/stat : 9681 (java) S 9674 9676 9631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 50718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9682] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9682/stat : 9682 (java) S 9674 9676 9631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 187390671 1753284608 50718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=9676/tid=9680] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9680/stat : 9680 (java) S 9674 9676 9631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9681] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9681/stat : 9681 (java) S 9674 9676 9631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9682] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9682/stat : 9682 (java) S 9674 9676 9631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9683] ppid=9674 vsize=1712192 CPUtime=0.01 /proc/9676/task/9683/stat : 9683 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9684] ppid=9674 vsize=1712192 CPUtime=0.77 /proc/9676/task/9684/stat : 9684 (java) S 9674 9676 9631 0 -1 64 1226 0 0 0 77 0 0 0 16 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9685] ppid=9674 vsize=1712192 CPUtime=0.89 /proc/9676/task/9685/stat : 9685 (java) S 9674 9676 9631 0 -1 64 939 0 0 0 89 0 0 0 16 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9686] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9686/stat : 9686 (java) S 9674 9676 9631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9687] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9687/stat : 9687 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9688] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9688/stat : 9688 (java) S 9674 9676 9631 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 187390727 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.81 Current children cumulated vsize (Kb) 1712192 [startup+1778.3 s] /proc/loadavg: 1.01 1.00 0.93 2/79 9688 /proc/meminfo: memFree=1208072/2055892 swapFree=4085292/4096564 [pid=9676] ppid=9674 vsize=1712192 CPUtime=1797.81 /proc/9676/stat : 9676 (java) R 9674 9676 9631 0 -1 0 201056 0 1 0 179678 103 0 0 25 0 13 0 187390662 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071490242 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9676/statm: 428048 132710 1911 14 0 414794 0 [pid=9676/tid=9677] ppid=9674 vsize=1712192 CPUtime=19.18 /proc/9676/task/9677/stat : 9677 (java) S 9674 9676 9631 0 -1 64 55364 0 0 0 1890 28 0 0 16 0 13 0 187390665 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9678] ppid=9674 vsize=1712192 CPUtime=19.2 /proc/9676/task/9678/stat : 9678 (java) S 9674 9676 9631 0 -1 64 55777 0 0 0 1891 29 0 0 16 0 13 0 187390665 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9679] ppid=9674 vsize=1712192 CPUtime=0.24 /proc/9676/task/9679/stat : 9679 (java) S 9674 9676 9631 0 -1 64 172 0 0 0 14 10 0 0 16 0 13 0 187390667 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9680] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9680/stat : 9680 (java) S 9674 9676 9631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9681] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9681/stat : 9681 (java) S 9674 9676 9631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9682] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9682/stat : 9682 (java) S 9674 9676 9631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9683] ppid=9674 vsize=1712192 CPUtime=0.01 /proc/9676/task/9683/stat : 9683 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9684] ppid=9674 vsize=1712192 CPUtime=0.77 /proc/9676/task/9684/stat : 9684 (java) S 9674 9676 9631 0 -1 64 1226 0 0 0 77 0 0 0 16 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9685] ppid=9674 vsize=1712192 CPUtime=0.89 /proc/9676/task/9685/stat : 9685 (java) S 9674 9676 9631 0 -1 64 939 0 0 0 89 0 0 0 16 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9686] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9686/stat : 9686 (java) S 9674 9676 9631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9687] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9687/stat : 9687 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9688] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9688/stat : 9688 (java) S 9674 9676 9631 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 187390727 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (Kb) 1712192 [startup+1779.31 s] /proc/loadavg: 1.01 1.00 0.93 2/79 9688 /proc/meminfo: memFree=1208072/2055892 swapFree=4085292/4096564 [pid=9676] ppid=9674 vsize=1712192 CPUtime=1798.82 /proc/9676/stat : 9676 (java) R 9674 9676 9631 0 -1 0 201056 0 1 0 179779 103 0 0 25 0 13 0 187390662 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071490259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9676/statm: 428048 132710 1911 14 0 414794 0 [pid=9676/tid=9677] ppid=9674 vsize=1712192 CPUtime=19.18 /proc/9676/task/9677/stat : 9677 (java) S 9674 9676 9631 0 -1 64 55364 0 0 0 1890 28 0 0 16 0 13 0 187390665 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9678] ppid=9674 vsize=1712192 CPUtime=19.2 /proc/9676/task/9678/stat : 9678 (java) S 9674 9676 9631 0 -1 64 55777 0 0 0 1891 29 0 0 16 0 13 0 187390665 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9679] ppid=9674 vsize=1712192 CPUtime=0.24 /proc/9676/task/9679/stat : 9679 (java) S 9674 9676 9631 0 -1 64 172 0 0 0 14 10 0 0 16 0 13 0 187390667 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9680] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9680/stat : 9680 (java) S 9674 9676 9631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9681] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9681/stat : 9681 (java) S 9674 9676 9631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9682] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9682/stat : 9682 (java) S 9674 9676 9631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9683] ppid=9674 vsize=1712192 CPUtime=0.01 /proc/9676/task/9683/stat : 9683 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9684] ppid=9674 vsize=1712192 CPUtime=0.77 /proc/9676/task/9684/stat : 9684 (java) S 9674 9676 9631 0 -1 64 1226 0 0 0 77 0 0 0 16 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9685] ppid=9674 vsize=1712192 CPUtime=0.89 /proc/9676/task/9685/stat : 9685 (java) S 9674 9676 9631 0 -1 64 939 0 0 0 89 0 0 0 16 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9686] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9686/stat : 9686 (java) S 9674 9676 9631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9687] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9687/stat : 9687 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187390671 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9688] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9688/stat : 9688 (java) S 9674 9676 9631 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 187390727 1753284608 132710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.82 Current children cumulated vsize (Kb) 1712192 [startup+1780.32 s] /proc/loadavg: 1.01 1.00 0.93 2/79 9688 /proc/meminfo: memFree=1207816/2055892 swapFree=4085292/4096564 [pid=9676] ppid=9674 vsize=1712192 CPUtime=1799.87 /proc/9676/stat : 9676 (java) R 9674 9676 9631 0 -1 0 201108 0 1 0 179883 104 0 0 25 0 13 0 187390662 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071490259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9676/statm: 428048 132761 1911 14 0 414794 0 [pid=9676/tid=9677] ppid=9674 vsize=1712192 CPUtime=19.22 /proc/9676/task/9677/stat : 9677 (java) S 9674 9676 9631 0 -1 64 55382 0 0 0 1894 28 0 0 16 0 13 0 187390665 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9678] ppid=9674 vsize=1712192 CPUtime=19.23 /proc/9676/task/9678/stat : 9678 (java) S 9674 9676 9631 0 -1 64 55810 0 0 0 1894 29 0 0 17 0 13 0 187390665 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9679] ppid=9674 vsize=1712192 CPUtime=0.24 /proc/9676/task/9679/stat : 9679 (java) S 9674 9676 9631 0 -1 64 172 0 0 0 14 10 0 0 15 0 13 0 187390667 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9680] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9680/stat : 9680 (java) S 9674 9676 9631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9681] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9681/stat : 9681 (java) S 9674 9676 9631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9682] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9682/stat : 9682 (java) S 9674 9676 9631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9683] ppid=9674 vsize=1712192 CPUtime=0.01 /proc/9676/task/9683/stat : 9683 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9684] ppid=9674 vsize=1712192 CPUtime=0.77 /proc/9676/task/9684/stat : 9684 (java) S 9674 9676 9631 0 -1 64 1226 0 0 0 77 0 0 0 16 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9685] ppid=9674 vsize=1712192 CPUtime=0.89 /proc/9676/task/9685/stat : 9685 (java) S 9674 9676 9631 0 -1 64 939 0 0 0 89 0 0 0 16 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9686] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9686/stat : 9686 (java) S 9674 9676 9631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9687] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9687/stat : 9687 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9688] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9688/stat : 9688 (java) S 9674 9676 9631 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 187390727 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.87 Current children cumulated vsize (Kb) 1712192 [startup+1781.32 s] /proc/loadavg: 1.01 1.00 0.93 2/79 9688 /proc/meminfo: memFree=1207816/2055892 swapFree=4085292/4096564 [pid=9676] ppid=9674 vsize=1712192 CPUtime=1800.88 /proc/9676/stat : 9676 (java) R 9674 9676 9631 0 -1 0 201108 0 1 0 179984 104 0 0 25 0 13 0 187390662 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071442859 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9676/statm: 428048 132761 1911 14 0 414794 0 [pid=9676/tid=9677] ppid=9674 vsize=1712192 CPUtime=19.22 /proc/9676/task/9677/stat : 9677 (java) S 9674 9676 9631 0 -1 64 55382 0 0 0 1894 28 0 0 16 0 13 0 187390665 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9678] ppid=9674 vsize=1712192 CPUtime=19.23 /proc/9676/task/9678/stat : 9678 (java) S 9674 9676 9631 0 -1 64 55810 0 0 0 1894 29 0 0 17 0 13 0 187390665 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9679] ppid=9674 vsize=1712192 CPUtime=0.24 /proc/9676/task/9679/stat : 9679 (java) S 9674 9676 9631 0 -1 64 172 0 0 0 14 10 0 0 16 0 13 0 187390667 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9680] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9680/stat : 9680 (java) S 9674 9676 9631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9681] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9681/stat : 9681 (java) S 9674 9676 9631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9682] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9682/stat : 9682 (java) S 9674 9676 9631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9683] ppid=9674 vsize=1712192 CPUtime=0.01 /proc/9676/task/9683/stat : 9683 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9684] ppid=9674 vsize=1712192 CPUtime=0.77 /proc/9676/task/9684/stat : 9684 (java) S 9674 9676 9631 0 -1 64 1226 0 0 0 77 0 0 0 16 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9685] ppid=9674 vsize=1712192 CPUtime=0.89 /proc/9676/task/9685/stat : 9685 (java) S 9674 9676 9631 0 -1 64 939 0 0 0 89 0 0 0 16 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9686] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9686/stat : 9686 (java) S 9674 9676 9631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9687] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9687/stat : 9687 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9688] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9688/stat : 9688 (java) S 9674 9676 9631 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 187390727 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.88 Current children cumulated vsize (Kb) 1712192 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1781.33 s] /proc/loadavg: 1.01 1.00 0.93 2/79 9688 /proc/meminfo: memFree=1207816/2055892 swapFree=4085292/4096564 [pid=9676] ppid=9674 vsize=1712192 CPUtime=1800.88 /proc/9676/stat : 9676 (java) R 9674 9676 9631 0 -1 0 201108 0 1 0 179984 104 0 0 25 0 13 0 187390662 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071490287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9676/statm: 428048 132761 1911 14 0 414794 0 [pid=9676/tid=9677] ppid=9674 vsize=1712192 CPUtime=19.22 /proc/9676/task/9677/stat : 9677 (java) S 9674 9676 9631 0 -1 64 55382 0 0 0 1894 28 0 0 16 0 13 0 187390665 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9678] ppid=9674 vsize=1712192 CPUtime=19.23 /proc/9676/task/9678/stat : 9678 (java) S 9674 9676 9631 0 -1 64 55810 0 0 0 1894 29 0 0 17 0 13 0 187390665 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9679] ppid=9674 vsize=1712192 CPUtime=0.24 /proc/9676/task/9679/stat : 9679 (java) S 9674 9676 9631 0 -1 64 172 0 0 0 14 10 0 0 16 0 13 0 187390667 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9680] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9680/stat : 9680 (java) S 9674 9676 9631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9681] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9681/stat : 9681 (java) S 9674 9676 9631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187390668 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9682] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9682/stat : 9682 (java) S 9674 9676 9631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9683] ppid=9674 vsize=1712192 CPUtime=0.01 /proc/9676/task/9683/stat : 9683 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9684] ppid=9674 vsize=1712192 CPUtime=0.77 /proc/9676/task/9684/stat : 9684 (java) S 9674 9676 9631 0 -1 64 1226 0 0 0 77 0 0 0 16 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9685] ppid=9674 vsize=1712192 CPUtime=0.89 /proc/9676/task/9685/stat : 9685 (java) S 9674 9676 9631 0 -1 64 939 0 0 0 89 0 0 0 16 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9676/tid=9686] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9686/stat : 9686 (java) S 9674 9676 9631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9687] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9687/stat : 9687 (java) S 9674 9676 9631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187390671 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9676/tid=9688] ppid=9674 vsize=1712192 CPUtime=0 /proc/9676/task/9688/stat : 9688 (java) S 9674 9676 9631 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 187390727 1753284608 132761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.88 Current children cumulated vsize (Kb) 1712192 Sending SIGTERM to -9676 Sleeping 2 seconds Child status: 143 Real time (s): 1781.43 CPU time (s): 1800.98 CPU user time (s): 1799.86 CPU system time (s): 1.12283 CPU usage (%): 101.098 Max. virtual memory (cumulated for all children) (Kb): 1712192
Begin job on node84 on Fri Jun 2 03:05:14 UTC 2006 FILE ID= 42133-1149217514 PBS_JOBID= 294945 BENCH NAME= ROOT/tmp/node84/42133-1149217514/instance-42133-1149217514.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node84/42133-1149217514/instance-42133-1149217514.opb 420164202 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node84/watcher-42133-1149217514 -o ROOT/results/node84/solver-42133-1149217514 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node84/42133-1149217514/instance-42133-1149217514.opb 420164202 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= b3be50396cebacd2fb0dd8b51b7d346c RANDOM SEED= 420164202 /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.231 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.15 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.231 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: 1733496 kB Buffers: 22552 kB Cached: 229792 kB SwapCached: 2520 kB Active: 90896 kB Inactive: 170132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1733496 kB SwapTotal: 4096564 kB SwapFree: 4085292 kB Dirty: 148 kB Writeback: 0 kB Mapped: 16400 kB Slab: 48064 kB Committed_AS: 237732 kB PageTables: 1268 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node84 on Fri Jun 2 03:34:55 UTC 2006