Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.7 | 1781.48 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb |
MD5SUM | 40d0bcc4171e4a5907ae30e54ba56b80 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 242.265 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
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 | 701 |
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.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/node80/42142-1149218667/instance-42142-1149218667.opb 0.22 c reading problem ... 0.65 c ... done. Time 0.433 ms. 0.65 c #vars 231 0.65 c #constraints 2707 1781.39 c starts : 14 1781.39 c conflicts : 40936 1781.39 c decisions : 174838 1781.39 c propagations : 1169405 1781.39 c inspects : 570260230 1781.39 c learnt literals : 0 1781.39 c learnt binary clauses : 0 1781.39 c learnt ternary clauses : 29 1781.39 c learnt clauses : 40936 1781.39 c root simplifications : 0 1781.39 c removed literals (reason simplification) : 0 1781.39 c reason swapping (by a shorter reason) : 0 1781.39 c Calls to reduceDB : 0 1781.39 c speed (decisions/second) : 98.18294335435272 1781.39 c non guided choices 188 1781.39 s UNKNOWN 1781.39 c Total wall clock time (ms): 1781.173
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/node80/watcher-42142-1149218667 -o ROOT/results/node80/solver-42142-1149218667 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node80/42142-1149218667/instance-42142-1149218667.opb 60564510 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.93 2/67 26582 /proc/meminfo: memFree=1726856/2055888 swapFree=4085432/4096564 [pid=26582] ppid=26580 vsize=1788 CPUtime=0 /proc/26582/stat : 26582 (java) D 26580 26582 26537 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 187505266 1830912 144 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0 /proc/26582/statm: 447 144 109 14 0 91 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.98 0.93 2/79 26594 /proc/meminfo: memFree=1537192/2055888 swapFree=4085432/4096564 [pid=26582] ppid=26580 vsize=1710884 CPUtime=11.16 /proc/26582/stat : 26582 (java) R 26580 26582 26537 0 -1 0 52111 0 1 0 1094 22 0 0 18 0 13 0 187505266 1751945216 49216 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071492867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26582/statm: 427721 49216 1910 14 0 414467 0 [pid=26582/tid=26583] ppid=26580 vsize=1710884 CPUtime=0.19 /proc/26582/task/26583/stat : 26583 (java) S 26580 26582 26537 0 -1 64 6057 0 0 0 17 2 0 0 16 0 13 0 187505269 1751945216 49216 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26584] ppid=26580 vsize=1710884 CPUtime=0.19 /proc/26582/task/26584/stat : 26584 (java) S 26580 26582 26537 0 -1 64 5517 0 0 0 17 2 0 0 16 0 13 0 187505269 1751945216 49216 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26585] ppid=26580 vsize=1710884 CPUtime=0 /proc/26582/task/26585/stat : 26585 (java) S 26580 26582 26537 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187505271 1751945216 49216 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26586] ppid=26580 vsize=1710884 CPUtime=0 /proc/26582/task/26586/stat : 26586 (java) S 26580 26582 26537 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187505272 1751945216 49216 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26587] ppid=26580 vsize=1710884 CPUtime=0 /proc/26582/task/26587/stat : 26587 (java) S 26580 26582 26537 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187505272 1751945216 49216 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26588] ppid=26580 vsize=1710884 CPUtime=0 /proc/26582/task/26588/stat : 26588 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187505275 1751945216 49216 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26589] ppid=26580 vsize=1710884 CPUtime=0 /proc/26582/task/26589/stat : 26589 (java) S 26580 26582 26537 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187505275 1751945216 49216 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26590] ppid=26580 vsize=1710884 CPUtime=0.66 /proc/26582/task/26590/stat : 26590 (java) S 26580 26582 26537 0 -1 64 1025 0 0 0 66 0 0 0 17 0 13 0 187505275 1751945216 49216 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26591] ppid=26580 vsize=1710884 CPUtime=0.78 /proc/26582/task/26591/stat : 26591 (java) S 26580 26582 26537 0 -1 64 1149 0 0 0 78 0 0 0 16 0 13 0 187505275 1751945216 49216 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26592] ppid=26580 vsize=1710884 CPUtime=0 /proc/26582/task/26592/stat : 26592 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187505275 1751945216 49216 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26593] ppid=26580 vsize=1710884 CPUtime=0 /proc/26582/task/26593/stat : 26593 (java) S 26580 26582 26537 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187505275 1751945216 49216 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26594] ppid=26580 vsize=1710884 CPUtime=0 /proc/26582/task/26594/stat : 26594 (java) S 26580 26582 26537 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 187505331 1751945216 49216 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) 1710884 [startup+20.0095 s] /proc/loadavg: 0.94 0.98 0.93 2/79 26594 /proc/meminfo: memFree=1530600/2055888 swapFree=4085432/4096564 [pid=26582] ppid=26580 vsize=1709900 CPUtime=21.24 /proc/26582/stat : 26582 (java) R 26580 26582 26537 0 -1 0 54382 0 1 0 2100 24 0 0 25 0 13 0 187505266 1750937600 50823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071483276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26582/statm: 427475 50823 1910 14 0 414221 0 [pid=26582/tid=26583] ppid=26580 vsize=1709900 CPUtime=0.26 /proc/26582/task/26583/stat : 26583 (java) S 26580 26582 26537 0 -1 64 7148 0 0 0 23 3 0 0 16 0 13 0 187505269 1750937600 50823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26584] ppid=26580 vsize=1709900 CPUtime=0.26 /proc/26582/task/26584/stat : 26584 (java) S 26580 26582 26537 0 -1 64 6688 0 0 0 23 3 0 0 16 0 13 0 187505269 1750937600 50823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26585] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26585/stat : 26585 (java) S 26580 26582 26537 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187505271 1750937600 50823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26586] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26586/stat : 26586 (java) S 26580 26582 26537 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 50823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26587] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26587/stat : 26587 (java) S 26580 26582 26537 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 50823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26588] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26588/stat : 26588 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187505275 1750937600 50823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26589] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26589/stat : 26589 (java) S 26580 26582 26537 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187505275 1750937600 50823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26590] ppid=26580 vsize=1709900 CPUtime=0.66 /proc/26582/task/26590/stat : 26590 (java) S 26580 26582 26537 0 -1 64 1025 0 0 0 66 0 0 0 17 0 13 0 187505275 1750937600 50823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26591] ppid=26580 vsize=1709900 CPUtime=0.78 /proc/26582/task/26591/stat : 26591 (java) S 26580 26582 26537 0 -1 64 1149 0 0 0 78 0 0 0 16 0 13 0 187505275 1750937600 50823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26592] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26592/stat : 26592 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187505275 1750937600 50823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26593] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26593/stat : 26593 (java) S 26580 26582 26537 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187505275 1750937600 50823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26594] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26594/stat : 26594 (java) S 26580 26582 26537 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 187505331 1750937600 50823 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) 1709900 [startup+30.0166 s] /proc/loadavg: 0.95 0.98 0.93 2/79 26594 /proc/meminfo: memFree=1527720/2055888 swapFree=4085432/4096564 [pid=26582] ppid=26580 vsize=1709900 CPUtime=31.3 /proc/26582/stat : 26582 (java) R 26580 26582 26537 0 -1 0 56963 0 1 0 3106 24 0 0 25 0 13 0 187505266 1750937600 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071442990 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26582/statm: 427475 51554 1911 14 0 414221 0 [pid=26582/tid=26583] ppid=26580 vsize=1709900 CPUtime=0.32 /proc/26582/task/26583/stat : 26583 (java) S 26580 26582 26537 0 -1 64 8539 0 0 0 29 3 0 0 16 0 13 0 187505269 1750937600 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26584] ppid=26580 vsize=1709900 CPUtime=0.32 /proc/26582/task/26584/stat : 26584 (java) S 26580 26582 26537 0 -1 64 7869 0 0 0 29 3 0 0 17 0 13 0 187505269 1750937600 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26585] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26585/stat : 26585 (java) S 26580 26582 26537 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 187505271 1750937600 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26586] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26586/stat : 26586 (java) S 26580 26582 26537 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26587] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26587/stat : 26587 (java) S 26580 26582 26537 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26588] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26588/stat : 26588 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187505275 1750937600 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26589] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26589/stat : 26589 (java) S 26580 26582 26537 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187505275 1750937600 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26590] ppid=26580 vsize=1709900 CPUtime=0.66 /proc/26582/task/26590/stat : 26590 (java) S 26580 26582 26537 0 -1 64 1025 0 0 0 66 0 0 0 16 0 13 0 187505275 1750937600 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26591] ppid=26580 vsize=1709900 CPUtime=0.78 /proc/26582/task/26591/stat : 26591 (java) S 26580 26582 26537 0 -1 64 1149 0 0 0 78 0 0 0 16 0 13 0 187505275 1750937600 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26592] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26592/stat : 26592 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187505275 1750937600 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26593] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26593/stat : 26593 (java) S 26580 26582 26537 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187505275 1750937600 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26594] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26594/stat : 26594 (java) S 26580 26582 26537 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 187505331 1750937600 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.3 Current children cumulated vsize (Kb) 1709900 [startup+40.0237 s] /proc/loadavg: 0.96 0.98 0.93 2/79 26594 /proc/meminfo: memFree=1529448/2055888 swapFree=4085432/4096564 [pid=26582] ppid=26580 vsize=1709900 CPUtime=41.41 /proc/26582/stat : 26582 (java) R 26580 26582 26537 0 -1 0 58893 0 1 0 4115 26 0 0 18 0 13 0 187505266 1750937600 51107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071390122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26582/statm: 427475 51107 1911 14 0 414221 0 [pid=26582/tid=26583] ppid=26580 vsize=1709900 CPUtime=0.39 /proc/26582/task/26583/stat : 26583 (java) S 26580 26582 26537 0 -1 64 9445 0 0 0 36 3 0 0 17 0 13 0 187505269 1750937600 51107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26584] ppid=26580 vsize=1709900 CPUtime=0.39 /proc/26582/task/26584/stat : 26584 (java) S 26580 26582 26537 0 -1 64 8881 0 0 0 36 3 0 0 16 0 13 0 187505269 1750937600 51107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26585] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26585/stat : 26585 (java) S 26580 26582 26537 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 187505271 1750937600 51107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26586] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26586/stat : 26586 (java) S 26580 26582 26537 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 51107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26587] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26587/stat : 26587 (java) S 26580 26582 26537 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 51107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26588] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26588/stat : 26588 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187505275 1750937600 51107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26589] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26589/stat : 26589 (java) S 26580 26582 26537 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187505275 1750937600 51107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26590] ppid=26580 vsize=1709900 CPUtime=0.67 /proc/26582/task/26590/stat : 26590 (java) S 26580 26582 26537 0 -1 64 1026 0 0 0 67 0 0 0 16 0 13 0 187505275 1750937600 51107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26591] ppid=26580 vsize=1709900 CPUtime=0.79 /proc/26582/task/26591/stat : 26591 (java) S 26580 26582 26537 0 -1 64 1150 0 0 0 79 0 0 0 16 0 13 0 187505275 1750937600 51107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26592] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26592/stat : 26592 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187505275 1750937600 51107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26593] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26593/stat : 26593 (java) S 26580 26582 26537 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187505275 1750937600 51107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26594] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26594/stat : 26594 (java) S 26580 26582 26537 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187505331 1750937600 51107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.41 Current children cumulated vsize (Kb) 1709900 [startup+50.0308 s] /proc/loadavg: 1.04 1.00 0.93 2/79 26594 /proc/meminfo: memFree=1532200/2055888 swapFree=4085432/4096564 [pid=26582] ppid=26580 vsize=1709900 CPUtime=51.52 /proc/26582/stat : 26582 (java) R 26580 26582 26537 0 -1 0 60429 0 1 0 5125 27 0 0 25 0 13 0 187505266 1750937600 50435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071651298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26582/statm: 427475 50435 1911 14 0 414221 0 [pid=26582/tid=26583] ppid=26580 vsize=1709900 CPUtime=0.47 /proc/26582/task/26583/stat : 26583 (java) S 26580 26582 26537 0 -1 64 10265 0 0 0 43 4 0 0 16 0 13 0 187505269 1750937600 50435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26584] ppid=26580 vsize=1709900 CPUtime=0.47 /proc/26582/task/26584/stat : 26584 (java) S 26580 26582 26537 0 -1 64 9585 0 0 0 43 4 0 0 16 0 13 0 187505269 1750937600 50435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26585] ppid=26580 vsize=1709900 CPUtime=0.01 /proc/26582/task/26585/stat : 26585 (java) S 26580 26582 26537 0 -1 64 30 0 0 0 0 1 0 0 15 0 13 0 187505271 1750937600 50435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26586] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26586/stat : 26586 (java) S 26580 26582 26537 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 50435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26587] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26587/stat : 26587 (java) S 26580 26582 26537 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 50435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26588] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26588/stat : 26588 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187505275 1750937600 50435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26589] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26589/stat : 26589 (java) S 26580 26582 26537 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187505275 1750937600 50435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26590] ppid=26580 vsize=1709900 CPUtime=0.67 /proc/26582/task/26590/stat : 26590 (java) S 26580 26582 26537 0 -1 64 1026 0 0 0 67 0 0 0 16 0 13 0 187505275 1750937600 50435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26591] ppid=26580 vsize=1709900 CPUtime=0.83 /proc/26582/task/26591/stat : 26591 (java) S 26580 26582 26537 0 -1 64 1152 0 0 0 83 0 0 0 17 0 13 0 187505275 1750937600 50435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26592] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26592/stat : 26592 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187505275 1750937600 50435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26593] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26593/stat : 26593 (java) S 26580 26582 26537 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187505275 1750937600 50435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26594] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26594/stat : 26594 (java) S 26580 26582 26537 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187505331 1750937600 50435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.52 Current children cumulated vsize (Kb) 1709900 [startup+60.0378 s] /proc/loadavg: 1.04 1.00 0.93 2/79 26594 /proc/meminfo: memFree=1531560/2055888 swapFree=4085432/4096564 [pid=26582] ppid=26580 vsize=1709900 CPUtime=61.6 /proc/26582/stat : 26582 (java) R 26580 26582 26537 0 -1 0 61966 0 1 0 6132 28 0 0 22 0 13 0 187505266 1750937600 50585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071434700 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26582/statm: 427475 50585 1911 14 0 414221 0 [pid=26582/tid=26583] ppid=26580 vsize=1709900 CPUtime=0.53 /proc/26582/task/26583/stat : 26583 (java) S 26580 26582 26537 0 -1 64 11016 0 0 0 49 4 0 0 16 0 13 0 187505269 1750937600 50585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26584] ppid=26580 vsize=1709900 CPUtime=0.54 /proc/26582/task/26584/stat : 26584 (java) S 26580 26582 26537 0 -1 64 10363 0 0 0 50 4 0 0 16 0 13 0 187505269 1750937600 50585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26585] ppid=26580 vsize=1709900 CPUtime=0.01 /proc/26582/task/26585/stat : 26585 (java) S 26580 26582 26537 0 -1 64 30 0 0 0 0 1 0 0 15 0 13 0 187505271 1750937600 50585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26586] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26586/stat : 26586 (java) S 26580 26582 26537 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 50585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26587] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26587/stat : 26587 (java) S 26580 26582 26537 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 50585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26588] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26588/stat : 26588 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187505275 1750937600 50585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=26582/tid=26586] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26586/stat : 26586 (java) S 26580 26582 26537 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26587] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26587/stat : 26587 (java) S 26580 26582 26537 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26588] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26588/stat : 26588 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26589] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26589/stat : 26589 (java) S 26580 26582 26537 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26590] ppid=26580 vsize=1709900 CPUtime=0.77 /proc/26582/task/26590/stat : 26590 (java) S 26580 26582 26537 0 -1 64 1032 0 0 0 77 0 0 0 17 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26591] ppid=26580 vsize=1709900 CPUtime=0.93 /proc/26582/task/26591/stat : 26591 (java) S 26580 26582 26537 0 -1 64 1185 0 0 0 93 0 0 0 17 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26592] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26592/stat : 26592 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26593] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26593/stat : 26593 (java) S 26580 26582 26537 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26594] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26594/stat : 26594 (java) S 26580 26582 26537 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187505331 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 1709900 [startup+1778.36 s] /proc/loadavg: 1.00 1.00 0.96 2/79 26596 /proc/meminfo: memFree=1219688/2055888 swapFree=4085432/4096564 [pid=26582] ppid=26580 vsize=1709900 CPUtime=1797.55 /proc/26582/stat : 26582 (java) R 26580 26582 26537 0 -1 0 181883 0 1 0 179661 94 0 0 25 0 13 0 187505266 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071434504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26582/statm: 427475 128229 1911 14 0 414221 0 [pid=26582/tid=26583] ppid=26580 vsize=1709900 CPUtime=18.88 /proc/26582/task/26583/stat : 26583 (java) S 26580 26582 26537 0 -1 64 50817 0 0 0 1864 24 0 0 16 0 13 0 187505269 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26584] ppid=26580 vsize=1709900 CPUtime=18.9 /proc/26582/task/26584/stat : 26584 (java) S 26580 26582 26537 0 -1 64 51673 0 0 0 1866 24 0 0 16 0 13 0 187505269 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26585] ppid=26580 vsize=1709900 CPUtime=0.22 /proc/26582/task/26585/stat : 26585 (java) S 26580 26582 26537 0 -1 64 131 0 0 0 10 12 0 0 16 0 13 0 187505271 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26586] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26586/stat : 26586 (java) S 26580 26582 26537 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26587] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26587/stat : 26587 (java) S 26580 26582 26537 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26588] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26588/stat : 26588 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26589] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26589/stat : 26589 (java) S 26580 26582 26537 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26590] ppid=26580 vsize=1709900 CPUtime=0.77 /proc/26582/task/26590/stat : 26590 (java) S 26580 26582 26537 0 -1 64 1032 0 0 0 77 0 0 0 17 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26591] ppid=26580 vsize=1709900 CPUtime=0.93 /proc/26582/task/26591/stat : 26591 (java) S 26580 26582 26537 0 -1 64 1185 0 0 0 93 0 0 0 17 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26592] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26592/stat : 26592 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26593] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26593/stat : 26593 (java) S 26580 26582 26537 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26594] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26594/stat : 26594 (java) S 26580 26582 26537 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187505331 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 1709900 [startup+1779.37 s] /proc/loadavg: 1.00 1.00 0.96 2/79 26596 /proc/meminfo: memFree=1219688/2055888 swapFree=4085432/4096564 [pid=26582] ppid=26580 vsize=1709900 CPUtime=1798.56 /proc/26582/stat : 26582 (java) R 26580 26582 26537 0 -1 0 181883 0 1 0 179762 94 0 0 25 0 13 0 187505266 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071483276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26582/statm: 427475 128229 1911 14 0 414221 0 [pid=26582/tid=26583] ppid=26580 vsize=1709900 CPUtime=18.88 /proc/26582/task/26583/stat : 26583 (java) S 26580 26582 26537 0 -1 64 50817 0 0 0 1864 24 0 0 16 0 13 0 187505269 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26584] ppid=26580 vsize=1709900 CPUtime=18.9 /proc/26582/task/26584/stat : 26584 (java) S 26580 26582 26537 0 -1 64 51673 0 0 0 1866 24 0 0 16 0 13 0 187505269 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26585] ppid=26580 vsize=1709900 CPUtime=0.22 /proc/26582/task/26585/stat : 26585 (java) S 26580 26582 26537 0 -1 64 131 0 0 0 10 12 0 0 16 0 13 0 187505271 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26586] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26586/stat : 26586 (java) S 26580 26582 26537 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26587] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26587/stat : 26587 (java) S 26580 26582 26537 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26588] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26588/stat : 26588 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26589] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26589/stat : 26589 (java) S 26580 26582 26537 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26590] ppid=26580 vsize=1709900 CPUtime=0.77 /proc/26582/task/26590/stat : 26590 (java) S 26580 26582 26537 0 -1 64 1032 0 0 0 77 0 0 0 17 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26591] ppid=26580 vsize=1709900 CPUtime=0.93 /proc/26582/task/26591/stat : 26591 (java) S 26580 26582 26537 0 -1 64 1185 0 0 0 93 0 0 0 17 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26592] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26592/stat : 26592 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26593] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26593/stat : 26593 (java) S 26580 26582 26537 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187505275 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26594] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26594/stat : 26594 (java) S 26580 26582 26537 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187505331 1750937600 128229 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 1709900 [startup+1780.38 s] /proc/loadavg: 1.00 1.00 0.96 2/79 26596 /proc/meminfo: memFree=1219496/2055888 swapFree=4085432/4096564 [pid=26582] ppid=26580 vsize=1709900 CPUtime=1799.6 /proc/26582/stat : 26582 (java) R 26580 26582 26537 0 -1 0 181934 0 1 0 179866 94 0 0 25 0 13 0 187505266 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071434676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26582/statm: 427475 128279 1911 14 0 414221 0 [pid=26582/tid=26583] ppid=26580 vsize=1709900 CPUtime=18.92 /proc/26582/task/26583/stat : 26583 (java) S 26580 26582 26537 0 -1 64 50830 0 0 0 1868 24 0 0 16 0 13 0 187505269 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26584] ppid=26580 vsize=1709900 CPUtime=18.93 /proc/26582/task/26584/stat : 26584 (java) S 26580 26582 26537 0 -1 64 51710 0 0 0 1869 24 0 0 16 0 13 0 187505269 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26585] ppid=26580 vsize=1709900 CPUtime=0.22 /proc/26582/task/26585/stat : 26585 (java) S 26580 26582 26537 0 -1 64 131 0 0 0 10 12 0 0 15 0 13 0 187505271 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26586] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26586/stat : 26586 (java) S 26580 26582 26537 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26587] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26587/stat : 26587 (java) S 26580 26582 26537 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26588] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26588/stat : 26588 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26589] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26589/stat : 26589 (java) S 26580 26582 26537 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26590] ppid=26580 vsize=1709900 CPUtime=0.77 /proc/26582/task/26590/stat : 26590 (java) S 26580 26582 26537 0 -1 64 1032 0 0 0 77 0 0 0 17 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26591] ppid=26580 vsize=1709900 CPUtime=0.93 /proc/26582/task/26591/stat : 26591 (java) S 26580 26582 26537 0 -1 64 1185 0 0 0 93 0 0 0 17 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26592] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26592/stat : 26592 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26593] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26593/stat : 26593 (java) S 26580 26582 26537 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26594] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26594/stat : 26594 (java) S 26580 26582 26537 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187505331 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 1709900 [startup+1781.38 s] /proc/loadavg: 1.00 1.00 0.96 2/79 26596 /proc/meminfo: memFree=1219496/2055888 swapFree=4085432/4096564 [pid=26582] ppid=26580 vsize=1709900 CPUtime=1800.6 /proc/26582/stat : 26582 (java) R 26580 26582 26537 0 -1 0 181934 0 1 0 179966 94 0 0 25 0 13 0 187505266 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071470839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26582/statm: 427475 128279 1911 14 0 414221 0 [pid=26582/tid=26583] ppid=26580 vsize=1709900 CPUtime=18.92 /proc/26582/task/26583/stat : 26583 (java) S 26580 26582 26537 0 -1 64 50830 0 0 0 1868 24 0 0 16 0 13 0 187505269 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26584] ppid=26580 vsize=1709900 CPUtime=18.93 /proc/26582/task/26584/stat : 26584 (java) S 26580 26582 26537 0 -1 64 51710 0 0 0 1869 24 0 0 16 0 13 0 187505269 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26585] ppid=26580 vsize=1709900 CPUtime=0.22 /proc/26582/task/26585/stat : 26585 (java) S 26580 26582 26537 0 -1 64 131 0 0 0 10 12 0 0 16 0 13 0 187505271 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26586] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26586/stat : 26586 (java) S 26580 26582 26537 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26587] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26587/stat : 26587 (java) S 26580 26582 26537 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26588] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26588/stat : 26588 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26589] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26589/stat : 26589 (java) S 26580 26582 26537 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26590] ppid=26580 vsize=1709900 CPUtime=0.77 /proc/26582/task/26590/stat : 26590 (java) S 26580 26582 26537 0 -1 64 1032 0 0 0 77 0 0 0 17 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26591] ppid=26580 vsize=1709900 CPUtime=0.93 /proc/26582/task/26591/stat : 26591 (java) S 26580 26582 26537 0 -1 64 1185 0 0 0 93 0 0 0 17 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26592] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26592/stat : 26592 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26593] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26593/stat : 26593 (java) S 26580 26582 26537 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26594] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26594/stat : 26594 (java) S 26580 26582 26537 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187505331 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 1709900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1781.39 s] /proc/loadavg: 1.00 1.00 0.96 2/79 26596 /proc/meminfo: memFree=1219496/2055888 swapFree=4085432/4096564 [pid=26582] ppid=26580 vsize=1709900 CPUtime=1800.61 /proc/26582/stat : 26582 (java) R 26580 26582 26537 0 -1 0 181934 0 1 0 179967 94 0 0 25 0 13 0 187505266 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071483311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26582/statm: 427475 128279 1911 14 0 414221 0 [pid=26582/tid=26583] ppid=26580 vsize=1709900 CPUtime=18.92 /proc/26582/task/26583/stat : 26583 (java) S 26580 26582 26537 0 -1 64 50830 0 0 0 1868 24 0 0 16 0 13 0 187505269 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26584] ppid=26580 vsize=1709900 CPUtime=18.93 /proc/26582/task/26584/stat : 26584 (java) S 26580 26582 26537 0 -1 64 51710 0 0 0 1869 24 0 0 16 0 13 0 187505269 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26585] ppid=26580 vsize=1709900 CPUtime=0.22 /proc/26582/task/26585/stat : 26585 (java) S 26580 26582 26537 0 -1 64 131 0 0 0 10 12 0 0 16 0 13 0 187505271 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26586] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26586/stat : 26586 (java) S 26580 26582 26537 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26587] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26587/stat : 26587 (java) S 26580 26582 26537 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187505272 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26588] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26588/stat : 26588 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26589] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26589/stat : 26589 (java) S 26580 26582 26537 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26590] ppid=26580 vsize=1709900 CPUtime=0.77 /proc/26582/task/26590/stat : 26590 (java) S 26580 26582 26537 0 -1 64 1032 0 0 0 77 0 0 0 17 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26582/tid=26591] ppid=26580 vsize=1709900 CPUtime=0.93 /proc/26582/task/26591/stat : 26591 (java) S 26580 26582 26537 0 -1 64 1185 0 0 0 93 0 0 0 17 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26592] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26592/stat : 26592 (java) S 26580 26582 26537 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26593] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26593/stat : 26593 (java) S 26580 26582 26537 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187505275 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26582/tid=26594] ppid=26580 vsize=1709900 CPUtime=0 /proc/26582/task/26594/stat : 26594 (java) S 26580 26582 26537 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187505331 1750937600 128279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 1709900 Sending SIGTERM to -26582 Sleeping 2 seconds Child status: 143 Real time (s): 1781.48 CPU time (s): 1800.7 CPU user time (s): 1799.68 CPU system time (s): 1.02284 CPU usage (%): 101.079 Max. virtual memory (cumulated for all children) (Kb): 1710884
Begin job on node80 on Fri Jun 2 03:24:27 UTC 2006 FILE ID= 42142-1149218667 PBS_JOBID= 295056 BENCH NAME= ROOT/tmp/node80/42142-1149218667/instance-42142-1149218667.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node80/42142-1149218667/instance-42142-1149218667.opb 60564510 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node80/watcher-42142-1149218667 -o ROOT/results/node80/solver-42142-1149218667 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node80/42142-1149218667/instance-42142-1149218667.opb 60564510 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 40d0bcc4171e4a5907ae30e54ba56b80 RANDOM SEED= 60564510 /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.264 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.16 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.264 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.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1727064 kB Buffers: 27268 kB Cached: 228276 kB SwapCached: 2516 kB Active: 93644 kB Inactive: 170744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1727064 kB SwapTotal: 4096564 kB SwapFree: 4085432 kB Dirty: 176 kB Writeback: 0 kB Mapped: 16576 kB Slab: 51136 kB Committed_AS: 248684 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node80 on Fri Jun 2 03:54:09 UTC 2006