Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.73 | 1785.48 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbea.opb |
MD5SUM | fed9726f7ff3b53e29a48b8849ad3d9b |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155427 |
Total number of constraints | 2674 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2674 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 7267 |
Number of terms in the objective function | 15205 |
Biggest coefficient in the objective function | 536870912000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 11303756896327816 |
Number of bits of the sum of numbers in the objective function | 54 |
Biggest number in a constraint | 536870912000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 24454743822989865 |
Number of bits of the biggest sum of numbers | 55 |
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/node25/43266-1149312170/instance-43266-1149312170.opb 0.22 c reading problem ... 34.31 c ... done. Time 34.092 ms. 34.31 c #vars 155427 34.31 c #constraints 4611 1785.37 c starts : 1 1785.37 c conflicts : 53 1785.37 c decisions : 4434 1785.37 c propagations : 118431 1785.37 c inspects : 357117 1785.37 c learnt literals : 0 1785.37 c learnt binary clauses : 0 1785.37 c learnt ternary clauses : 0 1785.37 c learnt clauses : 52 1785.37 c root simplifications : 0 1785.37 c removed literals (reason simplification) : 0 1785.37 c reason swapping (by a shorter reason) : 0 1785.37 c Calls to reduceDB : 0 1785.37 c speed (decisions/second) : 2.532702651912179 1785.37 c non guided choices 0 1785.37 s UNKNOWN 1785.37 c Total wall clock time (ms): 1785.159
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/node25/watcher-43266-1149312170 -o ROOT/results/node25/solver-43266-1149312170 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node25/43266-1149312170/instance-43266-1149312170.opb 470263676 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.07 1.02 0.95 3/64 16794 /proc/meminfo: memFree=1522128/2055920 swapFree=4181460/4192956 [pid=16794] ppid=16792 vsize=172 CPUtime=0 /proc/16794/stat : 16794 (java) R 16792 16794 16748 0 -1 0 201 0 0 0 0 0 0 0 18 0 1 0 196880396 176128 24 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 3764523 0 0 4096 0 0 0 0 17 1 0 0 /proc/16794/statm: 43 24 18 14 0 3 0 [startup+10.0017 s] /proc/loadavg: 1.06 1.01 0.95 2/75 16805 /proc/meminfo: memFree=1327360/2055920 swapFree=4181460/4192956 [pid=16794] ppid=16792 vsize=1712172 CPUtime=11.08 /proc/16794/stat : 16794 (java) R 16792 16794 16748 0 -1 0 53790 0 1 0 1085 23 0 0 22 0 12 0 196880396 1753264128 50519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071430637 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16794/statm: 428043 50519 1885 14 0 414790 0 [pid=16794/tid=16795] ppid=16792 vsize=1712172 CPUtime=0.42 /proc/16794/task/16795/stat : 16795 (java) S 16792 16794 16748 0 -1 64 6947 0 0 0 39 3 0 0 15 0 12 0 196880399 1753264128 50519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16796] ppid=16792 vsize=1712172 CPUtime=0.42 /proc/16794/task/16796/stat : 16796 (java) S 16792 16794 16748 0 -1 64 7986 0 0 0 39 3 0 0 16 0 12 0 196880399 1753264128 50519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16797] ppid=16792 vsize=1712172 CPUtime=0 /proc/16794/task/16797/stat : 16797 (java) S 16792 16794 16748 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 196880401 1753264128 50519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16798] ppid=16792 vsize=1712172 CPUtime=0 /proc/16794/task/16798/stat : 16798 (java) S 16792 16794 16748 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196880402 1753264128 50519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16799] ppid=16792 vsize=1712172 CPUtime=0 /proc/16794/task/16799/stat : 16799 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 196880402 1753264128 50519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16800] ppid=16792 vsize=1712172 CPUtime=0 /proc/16794/task/16800/stat : 16800 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 196880405 1753264128 50519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16801] ppid=16792 vsize=1712172 CPUtime=0 /proc/16794/task/16801/stat : 16801 (java) S 16792 16794 16748 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 196880405 1753264128 50519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16802] ppid=16792 vsize=1712172 CPUtime=0.42 /proc/16794/task/16802/stat : 16802 (java) S 16792 16794 16748 0 -1 64 831 0 0 0 42 0 0 0 16 0 12 0 196880405 1753264128 50519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16803] ppid=16792 vsize=1712172 CPUtime=0.47 /proc/16794/task/16803/stat : 16803 (java) S 16792 16794 16748 0 -1 64 1314 0 0 0 47 0 0 0 16 0 12 0 196880405 1753264128 50519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16804] ppid=16792 vsize=1712172 CPUtime=0 /proc/16794/task/16804/stat : 16804 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196880405 1753264128 50519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16805] ppid=16792 vsize=1712172 CPUtime=0 /proc/16794/task/16805/stat : 16805 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196880405 1753264128 50519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.08 Current children cumulated vsize (Kb) 1712172 [startup+20.0086 s] /proc/loadavg: 1.05 1.01 0.95 2/75 16805 /proc/meminfo: memFree=1275072/2055920 swapFree=4181460/4192956 [pid=16794] ppid=16792 vsize=1711056 CPUtime=21.61 /proc/16794/stat : 16794 (java) R 16792 16794 16748 0 -1 0 68525 0 1 0 2128 33 0 0 25 0 12 0 196880396 1752121344 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071422595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16794/statm: 427764 63602 1885 14 0 414511 0 [pid=16794/tid=16795] ppid=16792 vsize=1711056 CPUtime=0.93 /proc/16794/task/16795/stat : 16795 (java) S 16792 16794 16748 0 -1 64 13817 0 0 0 87 6 0 0 16 0 12 0 196880399 1752121344 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16796] ppid=16792 vsize=1711056 CPUtime=0.92 /proc/16794/task/16796/stat : 16796 (java) S 16792 16794 16748 0 -1 64 15835 0 0 0 85 7 0 0 16 0 12 0 196880399 1752121344 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16797] ppid=16792 vsize=1711056 CPUtime=0 /proc/16794/task/16797/stat : 16797 (java) S 16792 16794 16748 0 -1 64 29 0 0 0 0 0 0 0 16 0 12 0 196880401 1752121344 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16798] ppid=16792 vsize=1711056 CPUtime=0 /proc/16794/task/16798/stat : 16798 (java) S 16792 16794 16748 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196880402 1752121344 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16799] ppid=16792 vsize=1711056 CPUtime=0 /proc/16794/task/16799/stat : 16799 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 196880402 1752121344 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16800] ppid=16792 vsize=1711056 CPUtime=0 /proc/16794/task/16800/stat : 16800 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 196880405 1752121344 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16801] ppid=16792 vsize=1711056 CPUtime=0 /proc/16794/task/16801/stat : 16801 (java) S 16792 16794 16748 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 196880405 1752121344 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16802] ppid=16792 vsize=1711056 CPUtime=0.43 /proc/16794/task/16802/stat : 16802 (java) S 16792 16794 16748 0 -1 64 831 0 0 0 43 0 0 0 16 0 12 0 196880405 1752121344 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16803] ppid=16792 vsize=1711056 CPUtime=0.48 /proc/16794/task/16803/stat : 16803 (java) S 16792 16794 16748 0 -1 64 1315 0 0 0 48 0 0 0 17 0 12 0 196880405 1752121344 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16804] ppid=16792 vsize=1711056 CPUtime=0 /proc/16794/task/16804/stat : 16804 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196880405 1752121344 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16805] ppid=16792 vsize=1711056 CPUtime=0 /proc/16794/task/16805/stat : 16805 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196880405 1752121344 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.61 Current children cumulated vsize (Kb) 1711056 [startup+30.0155 s] /proc/loadavg: 1.04 1.01 0.95 2/75 16805 /proc/meminfo: memFree=1245184/2055920 swapFree=4181460/4192956 [pid=16794] ppid=16792 vsize=1711056 CPUtime=31.89 /proc/16794/stat : 16794 (java) R 16792 16794 16748 0 -1 0 77061 0 1 0 3153 36 0 0 19 0 12 0 196880396 1752121344 71083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16794/statm: 427764 71083 1885 14 0 414511 0 [pid=16794/tid=16795] ppid=16792 vsize=1711056 CPUtime=1.22 /proc/16794/task/16795/stat : 16795 (java) S 16792 16794 16748 0 -1 64 18040 0 0 0 114 8 0 0 16 0 12 0 196880399 1752121344 71083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16796] ppid=16792 vsize=1711056 CPUtime=1.21 /proc/16794/task/16796/stat : 16796 (java) S 16792 16794 16748 0 -1 64 20134 0 0 0 112 9 0 0 16 0 12 0 196880399 1752121344 71083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16797] ppid=16792 vsize=1711056 CPUtime=0.01 /proc/16794/task/16797/stat : 16797 (java) S 16792 16794 16748 0 -1 64 29 0 0 0 1 0 0 0 15 0 12 0 196880401 1752121344 71083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16798] ppid=16792 vsize=1711056 CPUtime=0 /proc/16794/task/16798/stat : 16798 (java) S 16792 16794 16748 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196880402 1752121344 71083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16799] ppid=16792 vsize=1711056 CPUtime=0 /proc/16794/task/16799/stat : 16799 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 196880402 1752121344 71083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16800] ppid=16792 vsize=1711056 CPUtime=0 /proc/16794/task/16800/stat : 16800 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 196880405 1752121344 71083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16801] ppid=16792 vsize=1711056 CPUtime=0 /proc/16794/task/16801/stat : 16801 (java) S 16792 16794 16748 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 196880405 1752121344 71083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16802] ppid=16792 vsize=1711056 CPUtime=0.44 /proc/16794/task/16802/stat : 16802 (java) S 16792 16794 16748 0 -1 64 831 0 0 0 44 0 0 0 17 0 12 0 196880405 1752121344 71083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16803] ppid=16792 vsize=1711056 CPUtime=0.48 /proc/16794/task/16803/stat : 16803 (java) S 16792 16794 16748 0 -1 64 1315 0 0 0 48 0 0 0 17 0 12 0 196880405 1752121344 71083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16804] ppid=16792 vsize=1711056 CPUtime=0 /proc/16794/task/16804/stat : 16804 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196880405 1752121344 71083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16805] ppid=16792 vsize=1711056 CPUtime=0 /proc/16794/task/16805/stat : 16805 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196880405 1752121344 71083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (Kb) 1711056 [startup+40.0224 s] /proc/loadavg: 1.11 1.03 0.95 2/76 16806 /proc/meminfo: memFree=1204280/2055920 swapFree=4181460/4192956 [pid=16794] ppid=16792 vsize=1711572 CPUtime=42.69 /proc/16794/stat : 16794 (java) R 16792 16794 16748 0 -1 0 89086 0 1 0 4226 43 0 0 25 0 13 0 196880396 1752649728 81312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071676323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16794/statm: 427893 81312 1907 14 0 414640 0 [pid=16794/tid=16795] ppid=16792 vsize=1711572 CPUtime=1.55 /proc/16794/task/16795/stat : 16795 (java) S 16792 16794 16748 0 -1 64 23931 0 0 0 145 10 0 0 16 0 13 0 196880399 1752649728 81312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16796] ppid=16792 vsize=1711572 CPUtime=1.54 /proc/16794/task/16796/stat : 16796 (java) S 16792 16794 16748 0 -1 64 25309 0 0 0 142 12 0 0 17 0 13 0 196880399 1752649728 81312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16797] ppid=16792 vsize=1711572 CPUtime=0.01 /proc/16794/task/16797/stat : 16797 (java) S 16792 16794 16748 0 -1 64 29 0 0 0 1 0 0 0 16 0 13 0 196880401 1752649728 81312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16798] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16798/stat : 16798 (java) S 16792 16794 16748 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 81312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16799] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16799/stat : 16799 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 81312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16800] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16800/stat : 16800 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196880405 1752649728 81312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16801] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16801/stat : 16801 (java) S 16792 16794 16748 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196880405 1752649728 81312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16802] ppid=16792 vsize=1711572 CPUtime=0.76 /proc/16794/task/16802/stat : 16802 (java) S 16792 16794 16748 0 -1 64 1467 0 0 0 76 0 0 0 16 0 13 0 196880405 1752649728 81312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16803] ppid=16792 vsize=1711572 CPUtime=0.79 /proc/16794/task/16803/stat : 16803 (java) S 16792 16794 16748 0 -1 64 1583 0 0 0 79 0 0 0 16 0 13 0 196880405 1752649728 81312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16804] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16804/stat : 16804 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196880405 1752649728 81312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16805] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16805/stat : 16805 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196880405 1752649728 81312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16806] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16806/stat : 16806 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 196883926 1752649728 81312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.69 Current children cumulated vsize (Kb) 1711572 [startup+50.0294 s] /proc/loadavg: 1.09 1.03 0.95 2/76 16806 /proc/meminfo: memFree=1209144/2055920 swapFree=4181460/4192956 [pid=16794] ppid=16792 vsize=1711572 CPUtime=52.98 /proc/16794/stat : 16794 (java) R 16792 16794 16748 0 -1 0 89922 0 1 0 5254 44 0 0 17 0 13 0 196880396 1752649728 80066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071692914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16794/statm: 427893 80066 1907 14 0 414640 0 [pid=16794/tid=16795] ppid=16792 vsize=1711572 CPUtime=1.59 /proc/16794/task/16795/stat : 16795 (java) S 16792 16794 16748 0 -1 64 24601 0 0 0 148 11 0 0 16 0 13 0 196880399 1752649728 80066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16796] ppid=16792 vsize=1711572 CPUtime=1.59 /proc/16794/task/16796/stat : 16796 (java) S 16792 16794 16748 0 -1 64 25448 0 0 0 147 12 0 0 16 0 13 0 196880399 1752649728 80066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16797] ppid=16792 vsize=1711572 CPUtime=0.01 /proc/16794/task/16797/stat : 16797 (java) S 16792 16794 16748 0 -1 64 29 0 0 0 1 0 0 0 16 0 13 0 196880401 1752649728 80066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16798] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16798/stat : 16798 (java) S 16792 16794 16748 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 80066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16799] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16799/stat : 16799 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 80066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16800] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16800/stat : 16800 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196880405 1752649728 80066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16801] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16801/stat : 16801 (java) S 16792 16794 16748 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196880405 1752649728 80066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16802] ppid=16792 vsize=1711572 CPUtime=0.86 /proc/16794/task/16802/stat : 16802 (java) S 16792 16794 16748 0 -1 64 1471 0 0 0 86 0 0 0 16 0 13 0 196880405 1752649728 80066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16803] ppid=16792 vsize=1711572 CPUtime=0.98 /proc/16794/task/16803/stat : 16803 (java) S 16792 16794 16748 0 -1 64 1592 0 0 0 98 0 0 0 16 0 13 0 196880405 1752649728 80066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16804] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16804/stat : 16804 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196880405 1752649728 80066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16805] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16805/stat : 16805 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196880405 1752649728 80066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16806] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16806/stat : 16806 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 196883926 1752649728 80066 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.98 Current children cumulated vsize (Kb) 1711572 [startup+60.0353 s] /proc/loadavg: 1.08 1.03 0.95 2/76 16806 /proc/meminfo: memFree=1221688/2055920 swapFree=4181460/4192956 [pid=16794] ppid=16792 vsize=1711572 CPUtime=63.11 /proc/16794/stat : 16794 (java) R 16792 16794 16748 0 -1 0 90456 0 1 0 6266 45 0 0 25 0 13 0 196880396 1752649728 76924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071692921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16794/statm: 427893 76924 1907 14 0 414640 0 [pid=16794/tid=16795] ppid=16792 vsize=1711572 CPUtime=1.64 /proc/16794/task/16795/stat : 16795 (java) S 16792 16794 16748 0 -1 64 24979 0 0 0 153 11 0 0 16 0 13 0 196880399 1752649728 76924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16796] ppid=16792 vsize=1711572 CPUtime=1.63 /proc/16794/task/16796/stat : 16796 (java) S 16792 16794 16748 0 -1 64 25592 0 0 0 151 12 0 0 16 0 13 0 196880399 1752649728 76924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16797] ppid=16792 vsize=1711572 CPUtime=0.02 /proc/16794/task/16797/stat : 16797 (java) S 16792 16794 16748 0 -1 64 29 0 0 0 2 0 0 0 16 0 13 0 196880401 1752649728 76924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16798] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16798/stat : 16798 (java) S 16792 16794 16748 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 76924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16799] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16799/stat : 16799 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 76924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16800] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16800/stat : 16800 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196880405 1752649728 76924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16801] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16801/stat : 16801 (java) S 16792 16794 16748 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196880405 1752649728 76924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16802] ppid=16792 vsize=1711572 CPUtime=0.89 /proc/16794/task/16802/stat : 16802 (java) S 16792 16794 16748 0 -1 64 1472 0 0 0 89 0 0 0 16 0 13 0 196880405 1752649728 76924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16803] ppid=16792 vsize=1711572 CPUtime=0.98 /proc/16794/task/16803/stat : 16803 (java) S 16792 16794 16748 0 -1 64 1592 0 0 0 98 0 0 0 17 0 13 0 196880405 1752649728 76924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=16794/tid=16798] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16798/stat : 16798 (java) S 16792 16794 16748 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16799] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16799/stat : 16799 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16800] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16800/stat : 16800 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196880405 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16801] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16801/stat : 16801 (java) S 16792 16794 16748 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196880405 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16802] ppid=16792 vsize=1711572 CPUtime=0.98 /proc/16794/task/16802/stat : 16802 (java) S 16792 16794 16748 0 -1 64 1477 0 0 0 98 0 0 0 17 0 13 0 196880405 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16803] ppid=16792 vsize=1711572 CPUtime=1.02 /proc/16794/task/16803/stat : 16803 (java) S 16792 16794 16748 0 -1 64 1593 0 0 0 102 0 0 0 17 0 13 0 196880405 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16804] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16804/stat : 16804 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196880405 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16805] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16805/stat : 16805 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196880405 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16806] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16806/stat : 16806 (java) S 16792 16794 16748 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 196883926 1752649728 100937 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) 1711572 [startup+1782.35 s] /proc/loadavg: 1.00 1.00 0.97 2/76 16808 /proc/meminfo: memFree=1124736/2055920 swapFree=4181460/4192956 [pid=16794] ppid=16792 vsize=1711572 CPUtime=1797.56 /proc/16794/stat : 16794 (java) R 16792 16794 16748 0 -1 0 151848 0 1 0 179487 269 0 0 25 0 13 0 196880396 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071692914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16794/statm: 427893 100937 1907 14 0 414640 0 [pid=16794/tid=16795] ppid=16792 vsize=1711572 CPUtime=14.45 /proc/16794/task/16795/stat : 16795 (java) S 16792 16794 16748 0 -1 64 36269 0 0 0 1353 92 0 0 16 0 13 0 196880399 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16796] ppid=16792 vsize=1711572 CPUtime=14.53 /proc/16794/task/16796/stat : 16796 (java) S 16792 16794 16748 0 -1 64 38483 0 0 0 1348 105 0 0 16 0 13 0 196880399 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16797] ppid=16792 vsize=1711572 CPUtime=0.69 /proc/16794/task/16797/stat : 16797 (java) S 16792 16794 16748 0 -1 64 166 0 0 0 41 28 0 0 15 0 13 0 196880401 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16798] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16798/stat : 16798 (java) S 16792 16794 16748 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16799] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16799/stat : 16799 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16800] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16800/stat : 16800 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196880405 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16801] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16801/stat : 16801 (java) S 16792 16794 16748 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196880405 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16802] ppid=16792 vsize=1711572 CPUtime=0.98 /proc/16794/task/16802/stat : 16802 (java) S 16792 16794 16748 0 -1 64 1477 0 0 0 98 0 0 0 17 0 13 0 196880405 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16803] ppid=16792 vsize=1711572 CPUtime=1.02 /proc/16794/task/16803/stat : 16803 (java) S 16792 16794 16748 0 -1 64 1593 0 0 0 102 0 0 0 17 0 13 0 196880405 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16804] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16804/stat : 16804 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196880405 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16805] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16805/stat : 16805 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196880405 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16806] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16806/stat : 16806 (java) S 16792 16794 16748 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 196883926 1752649728 100937 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 1711572 [startup+1783.35 s] /proc/loadavg: 1.00 1.00 0.97 3/76 16808 /proc/meminfo: memFree=1124736/2055920 swapFree=4181460/4192956 [pid=16794] ppid=16792 vsize=1711572 CPUtime=1798.57 /proc/16794/stat : 16794 (java) R 16792 16794 16748 0 -1 0 151876 0 1 0 179588 269 0 0 16 0 13 0 196880396 1752649728 100947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071692967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16794/statm: 427893 100947 1907 14 0 414640 0 [pid=16794/tid=16795] ppid=16792 vsize=1711572 CPUtime=14.46 /proc/16794/task/16795/stat : 16795 (java) S 16792 16794 16748 0 -1 64 36270 0 0 0 1354 92 0 0 16 0 13 0 196880399 1752649728 100947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16796] ppid=16792 vsize=1711572 CPUtime=14.54 /proc/16794/task/16796/stat : 16796 (java) R 16792 16794 16748 0 -1 64 38508 0 0 0 1349 105 0 0 17 0 13 0 196880399 1752649728 100947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16797] ppid=16792 vsize=1711572 CPUtime=0.69 /proc/16794/task/16797/stat : 16797 (java) S 16792 16794 16748 0 -1 64 166 0 0 0 41 28 0 0 15 0 13 0 196880401 1752649728 100947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16798] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16798/stat : 16798 (java) S 16792 16794 16748 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 100947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16799] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16799/stat : 16799 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 100947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16800] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16800/stat : 16800 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196880405 1752649728 100947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16801] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16801/stat : 16801 (java) S 16792 16794 16748 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196880405 1752649728 100947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16802] ppid=16792 vsize=1711572 CPUtime=0.98 /proc/16794/task/16802/stat : 16802 (java) S 16792 16794 16748 0 -1 64 1477 0 0 0 98 0 0 0 17 0 13 0 196880405 1752649728 100947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16803] ppid=16792 vsize=1711572 CPUtime=1.02 /proc/16794/task/16803/stat : 16803 (java) S 16792 16794 16748 0 -1 64 1593 0 0 0 102 0 0 0 17 0 13 0 196880405 1752649728 100947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16804] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16804/stat : 16804 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196880405 1752649728 100947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16805] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16805/stat : 16805 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196880405 1752649728 100947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16806] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16806/stat : 16806 (java) S 16792 16794 16748 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 196883926 1752649728 100947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 1711572 [startup+1784.36 s] /proc/loadavg: 1.00 1.00 0.97 2/76 16808 /proc/meminfo: memFree=1124736/2055920 swapFree=4181460/4192956 [pid=16794] ppid=16792 vsize=1711572 CPUtime=1799.58 /proc/16794/stat : 16794 (java) R 16792 16794 16748 0 -1 0 151877 0 1 0 179689 269 0 0 25 0 13 0 196880396 1752649728 100931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071450384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16794/statm: 427893 100931 1907 14 0 414640 0 [pid=16794/tid=16795] ppid=16792 vsize=1711572 CPUtime=14.47 /proc/16794/task/16795/stat : 16795 (java) S 16792 16794 16748 0 -1 64 36270 0 0 0 1355 92 0 0 16 0 13 0 196880399 1752649728 100931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16796] ppid=16792 vsize=1711572 CPUtime=14.55 /proc/16794/task/16796/stat : 16796 (java) S 16792 16794 16748 0 -1 64 38508 0 0 0 1350 105 0 0 16 0 13 0 196880399 1752649728 100931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16797] ppid=16792 vsize=1711572 CPUtime=0.69 /proc/16794/task/16797/stat : 16797 (java) S 16792 16794 16748 0 -1 64 166 0 0 0 41 28 0 0 16 0 13 0 196880401 1752649728 100931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16798] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16798/stat : 16798 (java) S 16792 16794 16748 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 100931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16799] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16799/stat : 16799 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 100931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16800] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16800/stat : 16800 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196880405 1752649728 100931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16801] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16801/stat : 16801 (java) S 16792 16794 16748 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196880405 1752649728 100931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16802] ppid=16792 vsize=1711572 CPUtime=0.98 /proc/16794/task/16802/stat : 16802 (java) S 16792 16794 16748 0 -1 64 1477 0 0 0 98 0 0 0 17 0 13 0 196880405 1752649728 100931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16803] ppid=16792 vsize=1711572 CPUtime=1.02 /proc/16794/task/16803/stat : 16803 (java) S 16792 16794 16748 0 -1 64 1593 0 0 0 102 0 0 0 17 0 13 0 196880405 1752649728 100931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16804] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16804/stat : 16804 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196880405 1752649728 100931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16805] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16805/stat : 16805 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196880405 1752649728 100931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16806] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16806/stat : 16806 (java) S 16792 16794 16748 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 196883926 1752649728 100931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 1711572 [startup+1785.36 s] /proc/loadavg: 1.00 1.00 0.97 2/76 16808 /proc/meminfo: memFree=1124736/2055920 swapFree=4181460/4192956 [pid=16794] ppid=16792 vsize=1711572 CPUtime=1800.6 /proc/16794/stat : 16794 (java) R 16792 16794 16748 0 -1 0 151879 0 1 0 179791 269 0 0 17 0 13 0 196880396 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071692921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16794/statm: 427893 100915 1907 14 0 414640 0 [pid=16794/tid=16795] ppid=16792 vsize=1711572 CPUtime=14.48 /proc/16794/task/16795/stat : 16795 (java) S 16792 16794 16748 0 -1 64 36270 0 0 0 1356 92 0 0 16 0 13 0 196880399 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16796] ppid=16792 vsize=1711572 CPUtime=14.57 /proc/16794/task/16796/stat : 16796 (java) S 16792 16794 16748 0 -1 64 38508 0 0 0 1351 106 0 0 16 0 13 0 196880399 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16797] ppid=16792 vsize=1711572 CPUtime=0.69 /proc/16794/task/16797/stat : 16797 (java) S 16792 16794 16748 0 -1 64 166 0 0 0 41 28 0 0 15 0 13 0 196880401 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16798] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16798/stat : 16798 (java) S 16792 16794 16748 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16799] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16799/stat : 16799 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16800] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16800/stat : 16800 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196880405 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16801] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16801/stat : 16801 (java) S 16792 16794 16748 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196880405 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16802] ppid=16792 vsize=1711572 CPUtime=0.98 /proc/16794/task/16802/stat : 16802 (java) S 16792 16794 16748 0 -1 64 1477 0 0 0 98 0 0 0 17 0 13 0 196880405 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16803] ppid=16792 vsize=1711572 CPUtime=1.02 /proc/16794/task/16803/stat : 16803 (java) S 16792 16794 16748 0 -1 64 1593 0 0 0 102 0 0 0 17 0 13 0 196880405 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16804] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16804/stat : 16804 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196880405 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16805] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16805/stat : 16805 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196880405 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16806] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16806/stat : 16806 (java) S 16792 16794 16748 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 196883926 1752649728 100915 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) 1711572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.37 s] /proc/loadavg: 1.00 1.00 0.97 2/76 16808 /proc/meminfo: memFree=1124736/2055920 swapFree=4181460/4192956 [pid=16794] ppid=16792 vsize=1711572 CPUtime=1800.61 /proc/16794/stat : 16794 (java) R 16792 16794 16748 0 -1 0 151879 0 1 0 179792 269 0 0 17 0 13 0 196880396 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071692921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16794/statm: 427893 100915 1907 14 0 414640 0 [pid=16794/tid=16795] ppid=16792 vsize=1711572 CPUtime=14.48 /proc/16794/task/16795/stat : 16795 (java) S 16792 16794 16748 0 -1 64 36270 0 0 0 1356 92 0 0 16 0 13 0 196880399 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16796] ppid=16792 vsize=1711572 CPUtime=14.57 /proc/16794/task/16796/stat : 16796 (java) S 16792 16794 16748 0 -1 64 38508 0 0 0 1351 106 0 0 16 0 13 0 196880399 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16797] ppid=16792 vsize=1711572 CPUtime=0.69 /proc/16794/task/16797/stat : 16797 (java) S 16792 16794 16748 0 -1 64 166 0 0 0 41 28 0 0 15 0 13 0 196880401 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16798] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16798/stat : 16798 (java) S 16792 16794 16748 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16799] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16799/stat : 16799 (java) S 16792 16794 16748 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196880402 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16800] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16800/stat : 16800 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196880405 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16801] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16801/stat : 16801 (java) S 16792 16794 16748 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196880405 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16802] ppid=16792 vsize=1711572 CPUtime=0.98 /proc/16794/task/16802/stat : 16802 (java) S 16792 16794 16748 0 -1 64 1477 0 0 0 98 0 0 0 17 0 13 0 196880405 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16803] ppid=16792 vsize=1711572 CPUtime=1.02 /proc/16794/task/16803/stat : 16803 (java) S 16792 16794 16748 0 -1 64 1593 0 0 0 102 0 0 0 17 0 13 0 196880405 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16804] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16804/stat : 16804 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196880405 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16794/tid=16805] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16805/stat : 16805 (java) S 16792 16794 16748 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196880405 1752649728 100915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16794/tid=16806] ppid=16792 vsize=1711572 CPUtime=0 /proc/16794/task/16806/stat : 16806 (java) S 16792 16794 16748 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 196883926 1752649728 100915 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) 1711572 Sending SIGTERM to -16794 Sleeping 2 seconds Child status: 143 Real time (s): 1785.48 CPU time (s): 1800.73 CPU user time (s): 1797.97 CPU system time (s): 2.75758 CPU usage (%): 100.854 Max. virtual memory (cumulated for all children) (Kb): 1712172
Begin job on node25 on Sat Jun 3 05:22:50 UTC 2006 FILE ID= 43266-1149312170 PBS_JOBID= 308059 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbea.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node25/43266-1149312170/instance-43266-1149312170.opb 470263676 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-43266-1149312170 -o ROOT/results/node25/solver-43266-1149312170 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node25/43266-1149312170/instance-43266-1149312170.opb 470263676 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= fed9726f7ff3b53e29a48b8849ad3d9b RANDOM SEED= 470263676 /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.236 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.236 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: 1522336 kB Buffers: 23948 kB Cached: 444264 kB SwapCached: 3164 kB Active: 69620 kB Inactive: 407228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1522336 kB SwapTotal: 4192956 kB SwapFree: 4181460 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14728 kB Slab: 42788 kB Committed_AS: 295696 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node25 on Sat Jun 3 05:52:36 UTC 2006