Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.37 | 1785.53 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mkc.opb |
MD5SUM | eae2e8a732d92a062f083ccb58900b63 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -144250 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -144250 |
Optimality of the best value was proved | NO |
Number of variables | 5383 |
Total number of constraints | 3279 |
Number of constraints which are clauses | 2977 |
Number of constraints which are cardinality constraints (but not clauses) | 276 |
Number of constraints which are nor clauses,nor cardinality constraints | 26 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2952 |
Number of terms in the objective function | 2946 |
Biggest coefficient in the objective function | 20000 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 31442101 |
Number of bits of the sum of numbers in the objective function | 25 |
Biggest number in a constraint | 67108864000 |
Number of bits of the biggest number in a constraint | 36 |
Biggest sum of numbers in a constraint | 138201238403 |
Number of bits of the biggest sum of numbers | 38 |
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-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.22 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node14/43347-1149316588/instance-43347-1149316588.opb 0.22 c reading problem ... 1.48 c ... done. Time 1.264 ms. 1.48 c #vars 5383 1.48 c #constraints 3225 1785.40 c starts : 8 1785.40 c conflicts : 4901 1785.40 c decisions : 14500 1785.40 c propagations : 173977 1785.40 c inspects : 7960230 1785.40 c learnt literals : 0 1785.40 c learnt binary clauses : 0 1785.40 c learnt ternary clauses : 0 1785.40 c learnt clauses : 4900 1785.40 c root simplifications : 0 1785.40 c removed literals (reason simplification) : 0 1785.40 c reason swapping (by a shorter reason) : 0 1785.40 c Calls to reduceDB : 0 1785.40 c speed (decisions/second) : 8.1288962640714 1785.40 c non guided choices 0 1785.40 s UNKNOWN 1785.40 c Total wall clock time (ms): 1785.178
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/node14/watcher-43347-1149316588 -o ROOT/results/node14/solver-43347-1149316588 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node14/43347-1149316588/instance-43347-1149316588.opb 130462956 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.01 1.00 2/64 32643 /proc/meminfo: memFree=1573280/2055920 swapFree=4181448/4192956 [pid=32643] ppid=32641 vsize=1784 CPUtime=0 /proc/32643/stat : 32643 (java) D 32641 32643 32597 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 197321504 1826816 146 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/32643/statm: 446 146 111 14 0 91 0 [startup+10.0025 s] /proc/loadavg: 1.00 1.01 1.00 2/76 32655 /proc/meminfo: memFree=1391576/2055920 swapFree=4181448/4192956 [pid=32643] ppid=32641 vsize=1712164 CPUtime=11.08 /proc/32643/stat : 32643 (java) R 32641 32643 32597 0 -1 0 49490 0 1 0 1084 24 0 0 25 0 13 0 197321504 1753255936 47203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071592252 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32643/statm: 428041 47203 1904 14 0 414788 0 [pid=32643/tid=32644] ppid=32641 vsize=1712164 CPUtime=0.06 /proc/32643/task/32644/stat : 32644 (java) S 32641 32643 32597 0 -1 64 1418 0 0 0 6 0 0 0 16 0 13 0 197321507 1753255936 47203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32645] ppid=32641 vsize=1712164 CPUtime=0.06 /proc/32643/task/32645/stat : 32645 (java) S 32641 32643 32597 0 -1 64 1376 0 0 0 5 1 0 0 16 0 13 0 197321507 1753255936 47203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32646] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32646/stat : 32646 (java) S 32641 32643 32597 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 47203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32647] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32641 32643 32597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 47203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32648] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32641 32643 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 47203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32649] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197321514 1753255936 47203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32650] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32650/stat : 32650 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197321514 1753255936 47203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32651] ppid=32641 vsize=1712164 CPUtime=0.69 /proc/32643/task/32651/stat : 32651 (java) S 32641 32643 32597 0 -1 64 1545 0 0 0 69 0 0 0 17 0 13 0 197321514 1753255936 47203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32652] ppid=32641 vsize=1712164 CPUtime=0.85 /proc/32643/task/32652/stat : 32652 (java) S 32641 32643 32597 0 -1 64 1140 0 0 0 85 0 0 0 17 0 13 0 197321514 1753255936 47203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32653] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321514 1753255936 47203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32654] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32654/stat : 32654 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197321514 1753255936 47203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32655] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32655/stat : 32655 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 197321669 1753255936 47203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.08 Current children cumulated vsize (Kb) 1712164 [startup+20.0105 s] /proc/loadavg: 1.00 1.01 1.00 2/76 32655 /proc/meminfo: memFree=1402656/2055920 swapFree=4181448/4192956 [pid=32643] ppid=32641 vsize=1712164 CPUtime=21.13 /proc/32643/stat : 32643 (java) R 32641 32643 32597 0 -1 0 49697 0 1 0 2088 25 0 0 25 0 13 0 197321504 1753255936 44442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071591680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32643/statm: 428041 44442 1904 14 0 414788 0 [pid=32643/tid=32644] ppid=32641 vsize=1712164 CPUtime=0.07 /proc/32643/task/32644/stat : 32644 (java) S 32641 32643 32597 0 -1 64 1538 0 0 0 7 0 0 0 16 0 13 0 197321507 1753255936 44442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32645] ppid=32641 vsize=1712164 CPUtime=0.07 /proc/32643/task/32645/stat : 32645 (java) S 32641 32643 32597 0 -1 64 1446 0 0 0 6 1 0 0 16 0 13 0 197321507 1753255936 44442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32646] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32646/stat : 32646 (java) S 32641 32643 32597 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 197321510 1753255936 44442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32647] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32641 32643 32597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 44442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32648] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32641 32643 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 44442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32649] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197321514 1753255936 44442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32650] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32650/stat : 32650 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 197321514 1753255936 44442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32651] ppid=32641 vsize=1712164 CPUtime=0.72 /proc/32643/task/32651/stat : 32651 (java) S 32641 32643 32597 0 -1 64 1546 0 0 0 72 0 0 0 16 0 13 0 197321514 1753255936 44442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32652] ppid=32641 vsize=1712164 CPUtime=0.85 /proc/32643/task/32652/stat : 32652 (java) S 32641 32643 32597 0 -1 64 1140 0 0 0 85 0 0 0 16 0 13 0 197321514 1753255936 44442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32653] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321514 1753255936 44442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32654] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32654/stat : 32654 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197321514 1753255936 44442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32655] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32655/stat : 32655 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 197321669 1753255936 44442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.13 Current children cumulated vsize (Kb) 1712164 [startup+30.0174 s] /proc/loadavg: 1.00 1.00 1.00 2/76 32655 /proc/meminfo: memFree=1412128/2055920 swapFree=4181448/4192956 [pid=32643] ppid=32641 vsize=1712164 CPUtime=31.22 /proc/32643/stat : 32643 (java) R 32641 32643 32597 0 -1 0 50044 0 1 0 3097 25 0 0 25 0 13 0 197321504 1753255936 42078 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071591680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32643/statm: 428041 42078 1906 14 0 414788 0 [pid=32643/tid=32644] ppid=32641 vsize=1712164 CPUtime=0.09 /proc/32643/task/32644/stat : 32644 (java) S 32641 32643 32597 0 -1 64 1671 0 0 0 9 0 0 0 16 0 13 0 197321507 1753255936 42078 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32645] ppid=32641 vsize=1712164 CPUtime=0.08 /proc/32643/task/32645/stat : 32645 (java) S 32641 32643 32597 0 -1 64 1638 0 0 0 7 1 0 0 15 0 13 0 197321507 1753255936 42078 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32646] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32646/stat : 32646 (java) S 32641 32643 32597 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 42078 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32647] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32641 32643 32597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 42078 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32648] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32641 32643 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 42078 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32649] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197321514 1753255936 42078 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32650] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32650/stat : 32650 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 197321514 1753255936 42078 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32651] ppid=32641 vsize=1712164 CPUtime=0.77 /proc/32643/task/32651/stat : 32651 (java) S 32641 32643 32597 0 -1 64 1548 0 0 0 77 0 0 0 16 0 13 0 197321514 1753255936 42078 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32652] ppid=32641 vsize=1712164 CPUtime=0.9 /proc/32643/task/32652/stat : 32652 (java) S 32641 32643 32597 0 -1 64 1142 0 0 0 90 0 0 0 16 0 13 0 197321514 1753255936 42078 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32653] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321514 1753255936 42078 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32654] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32654/stat : 32654 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197321514 1753255936 42078 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32655] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32655/stat : 32655 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 197321669 1753255936 42078 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.22 Current children cumulated vsize (Kb) 1712164 [startup+40.0244 s] /proc/loadavg: 1.00 1.00 1.00 2/76 32655 /proc/meminfo: memFree=1416352/2055920 swapFree=4181448/4192956 [pid=32643] ppid=32641 vsize=1712164 CPUtime=41.25 /proc/32643/stat : 32643 (java) R 32641 32643 32597 0 -1 0 50501 0 1 0 4100 25 0 0 25 0 13 0 197321504 1753255936 41032 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071381596 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32643/statm: 428041 41032 1906 14 0 414788 0 [pid=32643/tid=32644] ppid=32641 vsize=1712164 CPUtime=0.11 /proc/32643/task/32644/stat : 32644 (java) S 32641 32643 32597 0 -1 64 1780 0 0 0 11 0 0 0 16 0 13 0 197321507 1753255936 41032 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32645] ppid=32641 vsize=1712164 CPUtime=0.1 /proc/32643/task/32645/stat : 32645 (java) S 32641 32643 32597 0 -1 64 1968 0 0 0 9 1 0 0 17 0 13 0 197321507 1753255936 41032 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32646] ppid=32641 vsize=1712164 CPUtime=0.01 /proc/32643/task/32646/stat : 32646 (java) S 32641 32643 32597 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 197321510 1753255936 41032 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32647] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32641 32643 32597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 41032 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32648] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32641 32643 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 41032 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32649] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197321514 1753255936 41032 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32650] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32650/stat : 32650 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 197321514 1753255936 41032 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32651] ppid=32641 vsize=1712164 CPUtime=0.78 /proc/32643/task/32651/stat : 32651 (java) S 32641 32643 32597 0 -1 64 1548 0 0 0 78 0 0 0 16 0 13 0 197321514 1753255936 41032 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32652] ppid=32641 vsize=1712164 CPUtime=0.9 /proc/32643/task/32652/stat : 32652 (java) S 32641 32643 32597 0 -1 64 1142 0 0 0 90 0 0 0 16 0 13 0 197321514 1753255936 41032 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32653] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321514 1753255936 41032 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32654] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32654/stat : 32654 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197321514 1753255936 41032 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32655] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32655/stat : 32655 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197321669 1753255936 41032 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.25 Current children cumulated vsize (Kb) 1712164 [startup+50.0313 s] /proc/loadavg: 1.00 1.00 1.00 2/76 32655 /proc/meminfo: memFree=1418656/2055920 swapFree=4181448/4192956 [pid=32643] ppid=32641 vsize=1712164 CPUtime=51.26 /proc/32643/stat : 32643 (java) R 32641 32643 32597 0 -1 0 50735 0 1 0 5100 26 0 0 25 0 13 0 197321504 1753255936 40460 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071591725 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32643/statm: 428041 40460 1906 14 0 414788 0 [pid=32643/tid=32644] ppid=32641 vsize=1712164 CPUtime=0.11 /proc/32643/task/32644/stat : 32644 (java) S 32641 32643 32597 0 -1 64 1900 0 0 0 11 0 0 0 17 0 13 0 197321507 1753255936 40460 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32645] ppid=32641 vsize=1712164 CPUtime=0.12 /proc/32643/task/32645/stat : 32645 (java) S 32641 32643 32597 0 -1 64 2063 0 0 0 11 1 0 0 16 0 13 0 197321507 1753255936 40460 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32646] ppid=32641 vsize=1712164 CPUtime=0.01 /proc/32643/task/32646/stat : 32646 (java) S 32641 32643 32597 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 197321510 1753255936 40460 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32647] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32641 32643 32597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 40460 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32648] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32641 32643 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 40460 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32649] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197321514 1753255936 40460 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32650] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32650/stat : 32650 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 197321514 1753255936 40460 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32651] ppid=32641 vsize=1712164 CPUtime=0.78 /proc/32643/task/32651/stat : 32651 (java) S 32641 32643 32597 0 -1 64 1548 0 0 0 78 0 0 0 16 0 13 0 197321514 1753255936 40460 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32652] ppid=32641 vsize=1712164 CPUtime=0.9 /proc/32643/task/32652/stat : 32652 (java) S 32641 32643 32597 0 -1 64 1142 0 0 0 90 0 0 0 16 0 13 0 197321514 1753255936 40460 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32653] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321514 1753255936 40460 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32654] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32654/stat : 32654 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197321514 1753255936 40460 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32655] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32655/stat : 32655 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197321669 1753255936 40460 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.26 Current children cumulated vsize (Kb) 1712164 [startup+60.0383 s] /proc/loadavg: 1.00 1.00 1.00 2/76 32655 /proc/meminfo: memFree=1421216/2055920 swapFree=4181448/4192956 [pid=32643] ppid=32641 vsize=1712164 CPUtime=61.28 /proc/32643/stat : 32643 (java) R 32641 32643 32597 0 -1 0 51203 0 1 0 6102 26 0 0 19 0 13 0 197321504 1753255936 39823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071592263 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32643/statm: 428041 39823 1906 14 0 414788 0 [pid=32643/tid=32644] ppid=32641 vsize=1712164 CPUtime=0.13 /proc/32643/task/32644/stat : 32644 (java) S 32641 32643 32597 0 -1 64 2115 0 0 0 13 0 0 0 16 0 13 0 197321507 1753255936 39823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32645] ppid=32641 vsize=1712164 CPUtime=0.13 /proc/32643/task/32645/stat : 32645 (java) S 32641 32643 32597 0 -1 64 2296 0 0 0 12 1 0 0 15 0 13 0 197321507 1753255936 39823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32646] ppid=32641 vsize=1712164 CPUtime=0.01 /proc/32643/task/32646/stat : 32646 (java) S 32641 32643 32597 0 -1 64 30 0 0 0 1 0 0 0 15 0 13 0 197321510 1753255936 39823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32647] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32641 32643 32597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 39823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32648] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32641 32643 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321510 1753255936 39823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32649] ppid=32641 vsize=1712164 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197321514 1753255936 39823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=32643/tid=32647] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32641 32643 32597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197321510 1754304512 120100 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32648] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32641 32643 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321510 1754304512 120100 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32649] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197321514 1754304512 120100 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32650] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32650/stat : 32650 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197321514 1754304512 120100 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32651] ppid=32641 vsize=1713188 CPUtime=0.97 /proc/32643/task/32651/stat : 32651 (java) S 32641 32643 32597 0 -1 64 1567 0 0 0 97 0 0 0 16 0 13 0 197321514 1754304512 120100 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32652] ppid=32641 vsize=1713188 CPUtime=1.06 /proc/32643/task/32652/stat : 32652 (java) S 32641 32643 32597 0 -1 64 1152 0 0 0 106 0 0 0 17 0 13 0 197321514 1754304512 120100 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32653] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321514 1754304512 120100 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32654] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32654/stat : 32654 (java) S 32641 32643 32597 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321514 1754304512 120100 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32655] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32655/stat : 32655 (java) S 32641 32643 32597 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197321669 1754304512 120100 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.15 Current children cumulated vsize (Kb) 1713188 [startup+1782.37 s] /proc/loadavg: 1.00 1.00 1.00 2/76 382 /proc/meminfo: memFree=1098656/2055920 swapFree=4181448/4192956 [pid=32643] ppid=32641 vsize=1713188 CPUtime=1797.18 /proc/32643/stat : 32643 (java) R 32641 32643 32597 0 -1 0 190504 0 1 0 179533 185 0 0 17 0 13 0 197321504 1754304512 120101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071592263 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32643/statm: 428297 120101 1911 14 0 415044 0 [pid=32643/tid=32644] ppid=32641 vsize=1713188 CPUtime=14.71 /proc/32643/task/32644/stat : 32644 (java) S 32641 32643 32597 0 -1 64 47852 0 0 0 1426 45 0 0 15 0 13 0 197321507 1754304512 120101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32645] ppid=32641 vsize=1713188 CPUtime=14.54 /proc/32643/task/32645/stat : 32645 (java) S 32641 32643 32597 0 -1 64 45477 0 0 0 1412 42 0 0 16 0 13 0 197321507 1754304512 120101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32646] ppid=32641 vsize=1713188 CPUtime=0.81 /proc/32643/task/32646/stat : 32646 (java) S 32641 32643 32597 0 -1 64 151 0 0 0 47 34 0 0 15 0 13 0 197321510 1754304512 120101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32647] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32641 32643 32597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197321510 1754304512 120101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32648] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32641 32643 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321510 1754304512 120101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32649] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197321514 1754304512 120101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32650] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32650/stat : 32650 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197321514 1754304512 120101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32651] ppid=32641 vsize=1713188 CPUtime=0.97 /proc/32643/task/32651/stat : 32651 (java) S 32641 32643 32597 0 -1 64 1567 0 0 0 97 0 0 0 16 0 13 0 197321514 1754304512 120101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32652] ppid=32641 vsize=1713188 CPUtime=1.06 /proc/32643/task/32652/stat : 32652 (java) S 32641 32643 32597 0 -1 64 1152 0 0 0 106 0 0 0 17 0 13 0 197321514 1754304512 120101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32653] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321514 1754304512 120101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32654] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32654/stat : 32654 (java) S 32641 32643 32597 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321514 1754304512 120101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32655] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32655/stat : 32655 (java) S 32641 32643 32597 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197321669 1754304512 120101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.18 Current children cumulated vsize (Kb) 1713188 [startup+1783.38 s] /proc/loadavg: 1.00 1.00 1.00 2/76 382 /proc/meminfo: memFree=1098592/2055920 swapFree=4181448/4192956 [pid=32643] ppid=32641 vsize=1713188 CPUtime=1798.19 /proc/32643/stat : 32643 (java) R 32641 32643 32597 0 -1 0 190507 0 1 0 179634 185 0 0 19 0 13 0 197321504 1754304512 120103 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071469303 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32643/statm: 428297 120103 1911 14 0 415044 0 [pid=32643/tid=32644] ppid=32641 vsize=1713188 CPUtime=14.71 /proc/32643/task/32644/stat : 32644 (java) S 32641 32643 32597 0 -1 64 47853 0 0 0 1426 45 0 0 16 0 13 0 197321507 1754304512 120103 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32645] ppid=32641 vsize=1713188 CPUtime=14.55 /proc/32643/task/32645/stat : 32645 (java) S 32641 32643 32597 0 -1 64 45478 0 0 0 1413 42 0 0 16 0 13 0 197321507 1754304512 120103 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32646] ppid=32641 vsize=1713188 CPUtime=0.81 /proc/32643/task/32646/stat : 32646 (java) S 32641 32643 32597 0 -1 64 151 0 0 0 47 34 0 0 16 0 13 0 197321510 1754304512 120103 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32647] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32641 32643 32597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197321510 1754304512 120103 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32648] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32641 32643 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321510 1754304512 120103 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32649] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197321514 1754304512 120103 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32650] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32650/stat : 32650 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197321514 1754304512 120103 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32651] ppid=32641 vsize=1713188 CPUtime=0.97 /proc/32643/task/32651/stat : 32651 (java) S 32641 32643 32597 0 -1 64 1567 0 0 0 97 0 0 0 16 0 13 0 197321514 1754304512 120103 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32652] ppid=32641 vsize=1713188 CPUtime=1.06 /proc/32643/task/32652/stat : 32652 (java) S 32641 32643 32597 0 -1 64 1152 0 0 0 106 0 0 0 17 0 13 0 197321514 1754304512 120103 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32653] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321514 1754304512 120103 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32654] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32654/stat : 32654 (java) S 32641 32643 32597 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321514 1754304512 120103 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32655] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32655/stat : 32655 (java) S 32641 32643 32597 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197321669 1754304512 120103 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.19 Current children cumulated vsize (Kb) 1713188 [startup+1784.38 s] /proc/loadavg: 1.00 1.00 1.00 2/76 382 /proc/meminfo: memFree=1098592/2055920 swapFree=4181448/4192956 [pid=32643] ppid=32641 vsize=1713188 CPUtime=1799.2 /proc/32643/stat : 32643 (java) R 32641 32643 32597 0 -1 0 190512 0 1 0 179735 185 0 0 22 0 13 0 197321504 1754304512 120107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071482464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32643/statm: 428297 120107 1911 14 0 415044 0 [pid=32643/tid=32644] ppid=32641 vsize=1713188 CPUtime=14.72 /proc/32643/task/32644/stat : 32644 (java) S 32641 32643 32597 0 -1 64 47856 0 0 0 1427 45 0 0 16 0 13 0 197321507 1754304512 120107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32645] ppid=32641 vsize=1713188 CPUtime=14.56 /proc/32643/task/32645/stat : 32645 (java) S 32641 32643 32597 0 -1 64 45479 0 0 0 1414 42 0 0 16 0 13 0 197321507 1754304512 120107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32643/tid=32646] ppid=32641 vsize=1713188 CPUtime=0.81 /proc/32643/task/32646/stat : 32646 (java) S 32641 32643 32597 0 -1 64 151 0 0 0 47 34 0 0 15 0 13 0 197321510 1754304512 120107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32647] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32641 32643 32597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197321510 1754304512 120107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32648] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32641 32643 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321510 1754304512 120107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32649] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197321514 1754304512 120107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32650] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32650/stat : 32650 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197321514 1754304512 120107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32651] ppid=32641 vsize=1713188 CPUtime=0.97 /proc/32643/task/32651/stat : 32651 (java) S 32641 32643 32597 0 -1 64 1567 0 0 0 97 0 0 0 16 0 13 0 197321514 1754304512 120107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32652] ppid=32641 vsize=1713188 CPUtime=1.06 /proc/32643/task/32652/stat : 32652 (java) S 32641 32643 32597 0 -1 64 1152 0 0 0 106 0 0 0 17 0 13 0 197321514 1754304512 120107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32653] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321514 1754304512 120107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32654] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32654/stat : 32654 (java) S 32641 32643 32597 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321514 1754304512 120107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32655] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32655/stat : 32655 (java) S 32641 32643 32597 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197321669 1754304512 120107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.2 Current children cumulated vsize (Kb) 1713188 [startup+1785.39 s] /proc/loadavg: 1.08 1.02 1.01 2/76 382 /proc/meminfo: memFree=1098592/2055920 swapFree=4181448/4192956 [pid=32643] ppid=32641 vsize=1713188 CPUtime=1800.22 /proc/32643/stat : 32643 (java) R 32641 32643 32597 0 -1 0 190520 0 1 0 179837 185 0 0 18 0 13 0 197321504 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071469454 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32643/statm: 428297 120113 1911 14 0 415044 0 [pid=32643/tid=32644] ppid=32641 vsize=1713188 CPUtime=14.74 /proc/32643/task/32644/stat : 32644 (java) S 32641 32643 32597 0 -1 64 47861 0 0 0 1429 45 0 0 16 0 13 0 197321507 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32645] ppid=32641 vsize=1713188 CPUtime=14.58 /proc/32643/task/32645/stat : 32645 (java) S 32641 32643 32597 0 -1 64 45480 0 0 0 1416 42 0 0 16 0 13 0 197321507 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32646] ppid=32641 vsize=1713188 CPUtime=0.81 /proc/32643/task/32646/stat : 32646 (java) S 32641 32643 32597 0 -1 64 151 0 0 0 47 34 0 0 15 0 13 0 197321510 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32647] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32641 32643 32597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197321510 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32648] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32641 32643 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321510 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32649] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197321514 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32650] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32650/stat : 32650 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197321514 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32651] ppid=32641 vsize=1713188 CPUtime=0.97 /proc/32643/task/32651/stat : 32651 (java) S 32641 32643 32597 0 -1 64 1567 0 0 0 97 0 0 0 16 0 13 0 197321514 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32652] ppid=32641 vsize=1713188 CPUtime=1.06 /proc/32643/task/32652/stat : 32652 (java) S 32641 32643 32597 0 -1 64 1152 0 0 0 106 0 0 0 17 0 13 0 197321514 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32653] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321514 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32654] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32654/stat : 32654 (java) S 32641 32643 32597 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321514 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32655] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32655/stat : 32655 (java) S 32641 32643 32597 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197321669 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (Kb) 1713188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.39 s] /proc/loadavg: 1.08 1.02 1.01 2/76 382 /proc/meminfo: memFree=1098592/2055920 swapFree=4181448/4192956 [pid=32643] ppid=32641 vsize=1713188 CPUtime=1800.23 /proc/32643/stat : 32643 (java) R 32641 32643 32597 0 -1 0 190520 0 1 0 179838 185 0 0 18 0 13 0 197321504 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071591823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32643/statm: 428297 120113 1911 14 0 415044 0 [pid=32643/tid=32644] ppid=32641 vsize=1713188 CPUtime=14.74 /proc/32643/task/32644/stat : 32644 (java) S 32641 32643 32597 0 -1 64 47861 0 0 0 1429 45 0 0 16 0 13 0 197321507 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32645] ppid=32641 vsize=1713188 CPUtime=14.58 /proc/32643/task/32645/stat : 32645 (java) S 32641 32643 32597 0 -1 64 45480 0 0 0 1416 42 0 0 16 0 13 0 197321507 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32646] ppid=32641 vsize=1713188 CPUtime=0.81 /proc/32643/task/32646/stat : 32646 (java) S 32641 32643 32597 0 -1 64 151 0 0 0 47 34 0 0 15 0 13 0 197321510 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32647] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32641 32643 32597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197321510 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32648] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32641 32643 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321510 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32649] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197321514 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32650] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32650/stat : 32650 (java) S 32641 32643 32597 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197321514 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32651] ppid=32641 vsize=1713188 CPUtime=0.97 /proc/32643/task/32651/stat : 32651 (java) S 32641 32643 32597 0 -1 64 1567 0 0 0 97 0 0 0 16 0 13 0 197321514 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32652] ppid=32641 vsize=1713188 CPUtime=1.06 /proc/32643/task/32652/stat : 32652 (java) S 32641 32643 32597 0 -1 64 1152 0 0 0 106 0 0 0 17 0 13 0 197321514 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32653] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32641 32643 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321514 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32654] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32654/stat : 32654 (java) S 32641 32643 32597 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321514 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32643/tid=32655] ppid=32641 vsize=1713188 CPUtime=0 /proc/32643/task/32655/stat : 32655 (java) S 32641 32643 32597 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197321669 1754304512 120113 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (Kb) 1713188 Sending SIGTERM to -32643 Sleeping 2 seconds Child status: 143 Real time (s): 1785.53 CPU time (s): 1800.37 CPU user time (s): 1798.44 CPU system time (s): 1.93371 CPU usage (%): 100.831 Max. virtual memory (cumulated for all children) (Kb): 1713188
Begin job on node14 on Sat Jun 3 06:36:28 UTC 2006 FILE ID= 43347-1149316588 PBS_JOBID= 308382 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node14/43347-1149316588/instance-43347-1149316588.opb 130462956 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-43347-1149316588 -o ROOT/results/node14/solver-43347-1149316588 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node14/43347-1149316588/instance-43347-1149316588.opb 130462956 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= eae2e8a732d92a062f083ccb58900b63 RANDOM SEED= 130462956 /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.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1573488 kB Buffers: 31440 kB Cached: 381192 kB SwapCached: 3188 kB Active: 27036 kB Inactive: 394268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1573488 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14740 kB Slab: 47028 kB Committed_AS: 322324 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node14 on Sat Jun 3 07:06:13 UTC 2006