Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.39 | 1783.49 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-enigma.opb |
MD5SUM | 41834777456d00b1f1bcfadb1f825a87 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.159975 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 21 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 90 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 9 |
Number of bits for the biggest coefficient in the objective function | 4 |
Sum of the numbers in the objective function | 45 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 49638 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 524340 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.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.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.21 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node62/42562-1149346485/instance-42562-1149346485.opb 0.21 c reading problem ... 0.26 c ... done. Time 0.044 ms. 0.26 c #vars 100 0.26 c #constraints 42 1783.39 c starts : 13 1783.39 c conflicts : 32164 1783.39 c decisions : 45058 1783.39 c propagations : 369727 1783.39 c inspects : 568318475 1783.39 c learnt literals : 1 1783.39 c learnt binary clauses : 0 1783.39 c learnt ternary clauses : 0 1783.39 c learnt clauses : 32163 1783.39 c root simplifications : 0 1783.39 c removed literals (reason simplification) : 0 1783.39 c reason swapping (by a shorter reason) : 0 1783.39 c Calls to reduceDB : 0 1783.39 c speed (decisions/second) : 25.269134395588864 1783.39 c non guided choices 34 1783.39 s UNKNOWN 1783.39 c Total wall clock time (ms): 1783.173
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-42562-1149346485 -o ROOT/results/node62/solver-42562-1149346485 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node62/42562-1149346485/instance-42562-1149346485.opb 887121819 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.79 0.92 0.94 3/64 14256 /proc/meminfo: memFree=1216600/2055920 swapFree=4191908/4192956 [pid=14256] ppid=14254 vsize=1816 CPUtime=0 /proc/14256/stat : 14256 (java) R 14254 14256 14210 0 -1 0 176 0 0 0 0 0 0 0 19 0 1 0 43852070 1859584 147 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14256/statm: 446 147 112 14 0 91 0 [startup+10.0027 s] /proc/loadavg: 0.82 0.93 0.94 2/76 14269 /proc/meminfo: memFree=1030408/2055920 swapFree=4191908/4192956 [pid=14256] ppid=14254 vsize=1715068 CPUtime=11.67 /proc/14256/stat : 14256 (java) R 14254 14256 14210 0 -1 0 55500 0 1 0 1141 26 0 0 25 0 13 0 43852070 1756229632 48317 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071351986 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14256/statm: 428767 48317 1909 14 0 415514 0 [pid=14256/tid=14258] ppid=14254 vsize=1715068 CPUtime=0.21 /proc/14256/task/14258/stat : 14258 (java) S 14254 14256 14210 0 -1 64 6265 0 0 0 19 2 0 0 16 0 13 0 43852074 1756229632 48317 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14259] ppid=14254 vsize=1715068 CPUtime=0.2 /proc/14256/task/14259/stat : 14259 (java) S 14254 14256 14210 0 -1 64 4970 0 0 0 18 2 0 0 16 0 13 0 43852074 1756229632 48317 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14260] ppid=14254 vsize=1715068 CPUtime=0 /proc/14256/task/14260/stat : 14260 (java) S 14254 14256 14210 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 43852076 1756229632 48317 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14261] ppid=14254 vsize=1715068 CPUtime=0 /proc/14256/task/14261/stat : 14261 (java) S 14254 14256 14210 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43852077 1756229632 48317 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14262] ppid=14254 vsize=1715068 CPUtime=0 /proc/14256/task/14262/stat : 14262 (java) S 14254 14256 14210 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43852077 1756229632 48317 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14263] ppid=14254 vsize=1715068 CPUtime=0 /proc/14256/task/14263/stat : 14263 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 43852080 1756229632 48317 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14264] ppid=14254 vsize=1715068 CPUtime=0 /proc/14256/task/14264/stat : 14264 (java) S 14254 14256 14210 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43852080 1756229632 48317 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14265] ppid=14254 vsize=1715068 CPUtime=1.05 /proc/14256/task/14265/stat : 14265 (java) S 14254 14256 14210 0 -1 64 4586 0 0 0 103 2 0 0 15 0 13 0 43852080 1756229632 48317 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14266] ppid=14254 vsize=1715068 CPUtime=1.05 /proc/14256/task/14266/stat : 14266 (java) S 14254 14256 14210 0 -1 64 2280 0 0 0 105 0 0 0 16 0 13 0 43852080 1756229632 48317 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14267] ppid=14254 vsize=1715068 CPUtime=0 /proc/14256/task/14267/stat : 14267 (java) S 14254 14256 14210 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 43852080 1756229632 48317 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14268] ppid=14254 vsize=1715068 CPUtime=0 /proc/14256/task/14268/stat : 14268 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43852080 1756229632 48317 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14269] ppid=14254 vsize=1715068 CPUtime=0 /proc/14256/task/14269/stat : 14269 (java) S 14254 14256 14210 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 43852097 1756229632 48317 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.67 Current children cumulated vsize (Kb) 1715068 [startup+20.0109 s] /proc/loadavg: 0.85 0.93 0.94 2/76 14269 /proc/meminfo: memFree=1020424/2055920 swapFree=4191908/4192956 [pid=14256] ppid=14254 vsize=1714812 CPUtime=21.75 /proc/14256/stat : 14256 (java) R 14254 14256 14210 0 -1 0 58449 0 1 0 2148 27 0 0 23 0 13 0 43852070 1755967488 50846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071405555 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14256/statm: 428703 50846 1910 14 0 415450 0 [pid=14256/tid=14258] ppid=14254 vsize=1714812 CPUtime=0.28 /proc/14256/task/14258/stat : 14258 (java) S 14254 14256 14210 0 -1 64 7749 0 0 0 26 2 0 0 16 0 13 0 43852074 1755967488 50846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14259] ppid=14254 vsize=1714812 CPUtime=0.27 /proc/14256/task/14259/stat : 14259 (java) S 14254 14256 14210 0 -1 64 6422 0 0 0 24 3 0 0 16 0 13 0 43852074 1755967488 50846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14260] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14260/stat : 14260 (java) S 14254 14256 14210 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 43852076 1755967488 50846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14261] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14261/stat : 14261 (java) S 14254 14256 14210 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 50846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14262] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14262/stat : 14262 (java) S 14254 14256 14210 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 50846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14263] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14263/stat : 14263 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 43852080 1755967488 50846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14264] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14264/stat : 14264 (java) S 14254 14256 14210 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43852080 1755967488 50846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14265] ppid=14254 vsize=1714812 CPUtime=1.06 /proc/14256/task/14265/stat : 14265 (java) S 14254 14256 14210 0 -1 64 4586 0 0 0 104 2 0 0 16 0 13 0 43852080 1755967488 50846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14266] ppid=14254 vsize=1714812 CPUtime=1.05 /proc/14256/task/14266/stat : 14266 (java) S 14254 14256 14210 0 -1 64 2281 0 0 0 105 0 0 0 16 0 13 0 43852080 1755967488 50846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14267] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14267/stat : 14267 (java) S 14254 14256 14210 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 43852080 1755967488 50846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14268] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14268/stat : 14268 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43852080 1755967488 50846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14269] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14269/stat : 14269 (java) S 14254 14256 14210 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 43852097 1755967488 50846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.75 Current children cumulated vsize (Kb) 1714812 [startup+30.0181 s] /proc/loadavg: 0.87 0.93 0.94 2/76 14269 /proc/meminfo: memFree=1017672/2055920 swapFree=4191908/4192956 [pid=14256] ppid=14254 vsize=1714812 CPUtime=31.83 /proc/14256/stat : 14256 (java) R 14254 14256 14210 0 -1 0 60982 0 1 0 3155 28 0 0 25 0 13 0 43852070 1755967488 51506 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071389161 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14256/statm: 428703 51506 1910 14 0 415450 0 [pid=14256/tid=14258] ppid=14254 vsize=1714812 CPUtime=0.34 /proc/14256/task/14258/stat : 14258 (java) S 14254 14256 14210 0 -1 64 9036 0 0 0 31 3 0 0 16 0 13 0 43852074 1755967488 51506 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14259] ppid=14254 vsize=1714812 CPUtime=0.33 /proc/14256/task/14259/stat : 14259 (java) S 14254 14256 14210 0 -1 64 7652 0 0 0 30 3 0 0 17 0 13 0 43852074 1755967488 51506 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14260] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14260/stat : 14260 (java) S 14254 14256 14210 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 43852076 1755967488 51506 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14261] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14261/stat : 14261 (java) S 14254 14256 14210 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 51506 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14262] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14262/stat : 14262 (java) S 14254 14256 14210 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 51506 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14263] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14263/stat : 14263 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 43852080 1755967488 51506 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14264] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14264/stat : 14264 (java) S 14254 14256 14210 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43852080 1755967488 51506 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14265] ppid=14254 vsize=1714812 CPUtime=1.07 /proc/14256/task/14265/stat : 14265 (java) S 14254 14256 14210 0 -1 64 4588 0 0 0 105 2 0 0 16 0 13 0 43852080 1755967488 51506 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14266] ppid=14254 vsize=1714812 CPUtime=1.08 /proc/14256/task/14266/stat : 14266 (java) S 14254 14256 14210 0 -1 64 2283 0 0 0 108 0 0 0 16 0 13 0 43852080 1755967488 51506 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14267] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14267/stat : 14267 (java) S 14254 14256 14210 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 43852080 1755967488 51506 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14268] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14268/stat : 14268 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43852080 1755967488 51506 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14269] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14269/stat : 14269 (java) S 14254 14256 14210 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 43852097 1755967488 51506 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.83 Current children cumulated vsize (Kb) 1714812 [startup+40.0252 s] /proc/loadavg: 0.89 0.93 0.94 2/76 14269 /proc/meminfo: memFree=1019080/2055920 swapFree=4191908/4192956 [pid=14256] ppid=14254 vsize=1714812 CPUtime=41.89 /proc/14256/stat : 14256 (java) R 14254 14256 14210 0 -1 0 62223 0 1 0 4160 29 0 0 24 0 13 0 43852070 1755967488 51147 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071405352 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14256/statm: 428703 51147 1910 14 0 415450 0 [pid=14256/tid=14258] ppid=14254 vsize=1714812 CPUtime=0.38 /proc/14256/task/14258/stat : 14258 (java) S 14254 14256 14210 0 -1 64 9797 0 0 0 35 3 0 0 16 0 13 0 43852074 1755967488 51147 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14259] ppid=14254 vsize=1714812 CPUtime=0.37 /proc/14256/task/14259/stat : 14259 (java) S 14254 14256 14210 0 -1 64 8124 0 0 0 34 3 0 0 17 0 13 0 43852074 1755967488 51147 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14260] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14260/stat : 14260 (java) S 14254 14256 14210 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 43852076 1755967488 51147 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14261] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14261/stat : 14261 (java) S 14254 14256 14210 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 51147 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14262] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14262/stat : 14262 (java) S 14254 14256 14210 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 51147 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14263] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14263/stat : 14263 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 43852080 1755967488 51147 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14264] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14264/stat : 14264 (java) S 14254 14256 14210 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43852080 1755967488 51147 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14265] ppid=14254 vsize=1714812 CPUtime=1.07 /proc/14256/task/14265/stat : 14265 (java) S 14254 14256 14210 0 -1 64 4588 0 0 0 105 2 0 0 16 0 13 0 43852080 1755967488 51147 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14266] ppid=14254 vsize=1714812 CPUtime=1.08 /proc/14256/task/14266/stat : 14266 (java) S 14254 14256 14210 0 -1 64 2283 0 0 0 108 0 0 0 16 0 13 0 43852080 1755967488 51147 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14267] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14267/stat : 14267 (java) S 14254 14256 14210 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 43852080 1755967488 51147 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14268] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14268/stat : 14268 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43852080 1755967488 51147 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14269] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14269/stat : 14269 (java) S 14254 14256 14210 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 43852097 1755967488 51147 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.89 Current children cumulated vsize (Kb) 1714812 [startup+50.0324 s] /proc/loadavg: 0.90 0.93 0.94 2/76 14269 /proc/meminfo: memFree=1021832/2055920 swapFree=4191908/4192956 [pid=14256] ppid=14254 vsize=1714812 CPUtime=51.94 /proc/14256/stat : 14256 (java) R 14254 14256 14210 0 -1 0 63437 0 1 0 5164 30 0 0 25 0 13 0 43852070 1755967488 50484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071548629 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14256/statm: 428703 50484 1910 14 0 415450 0 [pid=14256/tid=14258] ppid=14254 vsize=1714812 CPUtime=0.43 /proc/14256/task/14258/stat : 14258 (java) S 14254 14256 14210 0 -1 64 10473 0 0 0 40 3 0 0 16 0 13 0 43852074 1755967488 50484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14259] ppid=14254 vsize=1714812 CPUtime=0.42 /proc/14256/task/14259/stat : 14259 (java) S 14254 14256 14210 0 -1 64 8655 0 0 0 38 4 0 0 17 0 13 0 43852074 1755967488 50484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14260] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14260/stat : 14260 (java) S 14254 14256 14210 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 43852076 1755967488 50484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14261] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14261/stat : 14261 (java) S 14254 14256 14210 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 50484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14262] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14262/stat : 14262 (java) S 14254 14256 14210 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 50484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14263] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14263/stat : 14263 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 43852080 1755967488 50484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14264] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14264/stat : 14264 (java) S 14254 14256 14210 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43852080 1755967488 50484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14265] ppid=14254 vsize=1714812 CPUtime=1.07 /proc/14256/task/14265/stat : 14265 (java) S 14254 14256 14210 0 -1 64 4588 0 0 0 105 2 0 0 16 0 13 0 43852080 1755967488 50484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14266] ppid=14254 vsize=1714812 CPUtime=1.08 /proc/14256/task/14266/stat : 14266 (java) S 14254 14256 14210 0 -1 64 2283 0 0 0 108 0 0 0 16 0 13 0 43852080 1755967488 50484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14267] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14267/stat : 14267 (java) S 14254 14256 14210 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 43852080 1755967488 50484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14268] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14268/stat : 14268 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43852080 1755967488 50484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14269] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14269/stat : 14269 (java) S 14254 14256 14210 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 43852097 1755967488 50484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.94 Current children cumulated vsize (Kb) 1714812 [startup+60.0396 s] /proc/loadavg: 0.92 0.93 0.94 2/76 14269 /proc/meminfo: memFree=1023496/2055920 swapFree=4191908/4192956 [pid=14256] ppid=14254 vsize=1714812 CPUtime=62 /proc/14256/stat : 14256 (java) R 14254 14256 14210 0 -1 0 64700 0 1 0 6169 31 0 0 25 0 13 0 43852070 1755967488 50067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071419168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14256/statm: 428703 50067 1910 14 0 415450 0 [pid=14256/tid=14258] ppid=14254 vsize=1714812 CPUtime=0.49 /proc/14256/task/14258/stat : 14258 (java) S 14254 14256 14210 0 -1 64 11214 0 0 0 45 4 0 0 16 0 13 0 43852074 1755967488 50067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14259] ppid=14254 vsize=1714812 CPUtime=0.47 /proc/14256/task/14259/stat : 14259 (java) S 14254 14256 14210 0 -1 64 9169 0 0 0 43 4 0 0 16 0 13 0 43852074 1755967488 50067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14260] ppid=14254 vsize=1714812 CPUtime=0.01 /proc/14256/task/14260/stat : 14260 (java) S 14254 14256 14210 0 -1 64 30 0 0 0 0 1 0 0 16 0 13 0 43852076 1755967488 50067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14261] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14261/stat : 14261 (java) S 14254 14256 14210 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 50067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14262] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14262/stat : 14262 (java) S 14254 14256 14210 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 50067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14263] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14263/stat : 14263 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 43852080 1755967488 50067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=14256/tid=14261] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14261/stat : 14261 (java) S 14254 14256 14210 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14262] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14262/stat : 14262 (java) S 14254 14256 14210 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14263] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14263/stat : 14263 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 43852080 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14264] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14264/stat : 14264 (java) S 14254 14256 14210 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43852080 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14265] ppid=14254 vsize=1714812 CPUtime=1.09 /proc/14256/task/14265/stat : 14265 (java) S 14254 14256 14210 0 -1 64 4589 0 0 0 107 2 0 0 16 0 13 0 43852080 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14266] ppid=14254 vsize=1714812 CPUtime=1.08 /proc/14256/task/14266/stat : 14266 (java) S 14254 14256 14210 0 -1 64 2283 0 0 0 108 0 0 0 16 0 13 0 43852080 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14267] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14267/stat : 14267 (java) S 14254 14256 14210 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 43852080 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14268] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14268/stat : 14268 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43852080 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14269] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14269/stat : 14269 (java) S 14254 14256 14210 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 43852097 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (Kb) 1714812 [startup+1780.36 s] /proc/loadavg: 1.00 1.01 0.96 2/76 14466 /proc/meminfo: memFree=697608/2055920 swapFree=4191908/4192956 [pid=14256] ppid=14254 vsize=1714812 CPUtime=1797.22 /proc/14256/stat : 14256 (java) R 14254 14256 14210 0 -1 0 234189 0 1 0 179598 124 0 0 25 0 13 0 43852070 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071403699 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14256/statm: 428703 131220 1910 14 0 415450 0 [pid=14256/tid=14258] ppid=14254 vsize=1714812 CPUtime=16.34 /proc/14256/task/14258/stat : 14258 (java) S 14254 14256 14210 0 -1 64 61642 0 0 0 1608 26 0 0 17 0 13 0 43852074 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14259] ppid=14254 vsize=1714812 CPUtime=16.37 /proc/14256/task/14259/stat : 14259 (java) S 14254 14256 14210 0 -1 64 64901 0 0 0 1607 30 0 0 16 0 13 0 43852074 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14260] ppid=14254 vsize=1714812 CPUtime=0.32 /proc/14256/task/14260/stat : 14260 (java) S 14254 14256 14210 0 -1 64 255 0 0 0 16 16 0 0 16 0 13 0 43852076 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14261] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14261/stat : 14261 (java) S 14254 14256 14210 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14262] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14262/stat : 14262 (java) S 14254 14256 14210 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14263] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14263/stat : 14263 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 43852080 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14264] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14264/stat : 14264 (java) S 14254 14256 14210 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43852080 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14265] ppid=14254 vsize=1714812 CPUtime=1.09 /proc/14256/task/14265/stat : 14265 (java) S 14254 14256 14210 0 -1 64 4589 0 0 0 107 2 0 0 16 0 13 0 43852080 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14266] ppid=14254 vsize=1714812 CPUtime=1.08 /proc/14256/task/14266/stat : 14266 (java) S 14254 14256 14210 0 -1 64 2283 0 0 0 108 0 0 0 16 0 13 0 43852080 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14267] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14267/stat : 14267 (java) S 14254 14256 14210 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 43852080 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14268] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14268/stat : 14268 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43852080 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14269] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14269/stat : 14269 (java) S 14254 14256 14210 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 43852097 1755967488 131220 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.22 Current children cumulated vsize (Kb) 1714812 [startup+1781.37 s] /proc/loadavg: 1.00 1.01 0.96 2/76 14466 /proc/meminfo: memFree=697480/2055920 swapFree=4191908/4192956 [pid=14256] ppid=14254 vsize=1714812 CPUtime=1798.25 /proc/14256/stat : 14256 (java) R 14254 14256 14210 0 -1 0 234228 0 1 0 179701 124 0 0 25 0 13 0 43852070 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071563035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14256/statm: 428703 131258 1910 14 0 415450 0 [pid=14256/tid=14258] ppid=14254 vsize=1714812 CPUtime=16.37 /proc/14256/task/14258/stat : 14258 (java) S 14254 14256 14210 0 -1 64 61642 0 0 0 1611 26 0 0 16 0 13 0 43852074 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14259] ppid=14254 vsize=1714812 CPUtime=16.39 /proc/14256/task/14259/stat : 14259 (java) S 14254 14256 14210 0 -1 64 64939 0 0 0 1609 30 0 0 17 0 13 0 43852074 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14260] ppid=14254 vsize=1714812 CPUtime=0.32 /proc/14256/task/14260/stat : 14260 (java) S 14254 14256 14210 0 -1 64 255 0 0 0 16 16 0 0 16 0 13 0 43852076 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14261] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14261/stat : 14261 (java) S 14254 14256 14210 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14262] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14262/stat : 14262 (java) S 14254 14256 14210 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14263] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14263/stat : 14263 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 43852080 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14264] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14264/stat : 14264 (java) S 14254 14256 14210 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43852080 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14265] ppid=14254 vsize=1714812 CPUtime=1.09 /proc/14256/task/14265/stat : 14265 (java) S 14254 14256 14210 0 -1 64 4589 0 0 0 107 2 0 0 16 0 13 0 43852080 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14266] ppid=14254 vsize=1714812 CPUtime=1.08 /proc/14256/task/14266/stat : 14266 (java) S 14254 14256 14210 0 -1 64 2283 0 0 0 108 0 0 0 16 0 13 0 43852080 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14267] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14267/stat : 14267 (java) S 14254 14256 14210 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 43852080 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14268] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14268/stat : 14268 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43852080 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14269] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14269/stat : 14269 (java) S 14254 14256 14210 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 43852097 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.25 Current children cumulated vsize (Kb) 1714812 [startup+1782.38 s] /proc/loadavg: 1.00 1.01 0.96 2/76 14466 /proc/meminfo: memFree=697480/2055920 swapFree=4191908/4192956 [pid=14256] ppid=14254 vsize=1714812 CPUtime=1799.25 /proc/14256/stat : 14256 (java) R 14254 14256 14210 0 -1 0 234228 0 1 0 179801 124 0 0 25 0 13 0 43852070 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071419168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14256/statm: 428703 131258 1910 14 0 415450 0 [pid=14256/tid=14258] ppid=14254 vsize=1714812 CPUtime=16.37 /proc/14256/task/14258/stat : 14258 (java) S 14254 14256 14210 0 -1 64 61642 0 0 0 1611 26 0 0 16 0 13 0 43852074 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14259] ppid=14254 vsize=1714812 CPUtime=16.39 /proc/14256/task/14259/stat : 14259 (java) S 14254 14256 14210 0 -1 64 64939 0 0 0 1609 30 0 0 17 0 13 0 43852074 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14260] ppid=14254 vsize=1714812 CPUtime=0.32 /proc/14256/task/14260/stat : 14260 (java) S 14254 14256 14210 0 -1 64 255 0 0 0 16 16 0 0 16 0 13 0 43852076 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14261] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14261/stat : 14261 (java) S 14254 14256 14210 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14262] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14262/stat : 14262 (java) S 14254 14256 14210 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14263] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14263/stat : 14263 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 43852080 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14264] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14264/stat : 14264 (java) S 14254 14256 14210 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43852080 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14265] ppid=14254 vsize=1714812 CPUtime=1.09 /proc/14256/task/14265/stat : 14265 (java) S 14254 14256 14210 0 -1 64 4589 0 0 0 107 2 0 0 16 0 13 0 43852080 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14266] ppid=14254 vsize=1714812 CPUtime=1.08 /proc/14256/task/14266/stat : 14266 (java) S 14254 14256 14210 0 -1 64 2283 0 0 0 108 0 0 0 16 0 13 0 43852080 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14267] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14267/stat : 14267 (java) S 14254 14256 14210 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 43852080 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14268] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14268/stat : 14268 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43852080 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14269] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14269/stat : 14269 (java) S 14254 14256 14210 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 43852097 1755967488 131258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.25 Current children cumulated vsize (Kb) 1714812 [startup+1783.38 s] /proc/loadavg: 1.00 1.01 0.96 2/76 14466 /proc/meminfo: memFree=697288/2055920 swapFree=4191908/4192956 [pid=14256] ppid=14254 vsize=1714812 CPUtime=1800.29 /proc/14256/stat : 14256 (java) R 14254 14256 14210 0 -1 0 234267 0 1 0 179905 124 0 0 21 0 13 0 43852070 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071418424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14256/statm: 428703 131295 1910 14 0 415450 0 [pid=14256/tid=14258] ppid=14254 vsize=1714812 CPUtime=16.39 /proc/14256/task/14258/stat : 14258 (java) S 14254 14256 14210 0 -1 64 61649 0 0 0 1613 26 0 0 17 0 13 0 43852074 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14259] ppid=14254 vsize=1714812 CPUtime=16.42 /proc/14256/task/14259/stat : 14259 (java) S 14254 14256 14210 0 -1 64 64970 0 0 0 1612 30 0 0 16 0 13 0 43852074 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14260] ppid=14254 vsize=1714812 CPUtime=0.32 /proc/14256/task/14260/stat : 14260 (java) S 14254 14256 14210 0 -1 64 255 0 0 0 16 16 0 0 16 0 13 0 43852076 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14261] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14261/stat : 14261 (java) S 14254 14256 14210 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14262] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14262/stat : 14262 (java) S 14254 14256 14210 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14263] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14263/stat : 14263 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 43852080 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14264] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14264/stat : 14264 (java) S 14254 14256 14210 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43852080 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14265] ppid=14254 vsize=1714812 CPUtime=1.09 /proc/14256/task/14265/stat : 14265 (java) S 14254 14256 14210 0 -1 64 4589 0 0 0 107 2 0 0 16 0 13 0 43852080 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14266] ppid=14254 vsize=1714812 CPUtime=1.08 /proc/14256/task/14266/stat : 14266 (java) S 14254 14256 14210 0 -1 64 2283 0 0 0 108 0 0 0 16 0 13 0 43852080 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14267] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14267/stat : 14267 (java) S 14254 14256 14210 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 43852080 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14268] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14268/stat : 14268 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43852080 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14269] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14269/stat : 14269 (java) S 14254 14256 14210 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 43852097 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (Kb) 1714812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.39 s] /proc/loadavg: 1.00 1.01 0.96 2/76 14466 /proc/meminfo: memFree=697288/2055920 swapFree=4191908/4192956 [pid=14256] ppid=14254 vsize=1714812 CPUtime=1800.29 /proc/14256/stat : 14256 (java) R 14254 14256 14210 0 -1 0 234267 0 1 0 179905 124 0 0 21 0 13 0 43852070 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071419168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14256/statm: 428703 131295 1910 14 0 415450 0 [pid=14256/tid=14258] ppid=14254 vsize=1714812 CPUtime=16.39 /proc/14256/task/14258/stat : 14258 (java) S 14254 14256 14210 0 -1 64 61649 0 0 0 1613 26 0 0 17 0 13 0 43852074 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14259] ppid=14254 vsize=1714812 CPUtime=16.42 /proc/14256/task/14259/stat : 14259 (java) S 14254 14256 14210 0 -1 64 64970 0 0 0 1612 30 0 0 16 0 13 0 43852074 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14260] ppid=14254 vsize=1714812 CPUtime=0.32 /proc/14256/task/14260/stat : 14260 (java) S 14254 14256 14210 0 -1 64 255 0 0 0 16 16 0 0 16 0 13 0 43852076 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14261] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14261/stat : 14261 (java) S 14254 14256 14210 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14262] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14262/stat : 14262 (java) S 14254 14256 14210 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43852077 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14263] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14263/stat : 14263 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 43852080 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14264] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14264/stat : 14264 (java) S 14254 14256 14210 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43852080 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14265] ppid=14254 vsize=1714812 CPUtime=1.09 /proc/14256/task/14265/stat : 14265 (java) S 14254 14256 14210 0 -1 64 4589 0 0 0 107 2 0 0 16 0 13 0 43852080 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14266] ppid=14254 vsize=1714812 CPUtime=1.08 /proc/14256/task/14266/stat : 14266 (java) S 14254 14256 14210 0 -1 64 2283 0 0 0 108 0 0 0 16 0 13 0 43852080 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14267] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14267/stat : 14267 (java) S 14254 14256 14210 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 43852080 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14256/tid=14268] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14268/stat : 14268 (java) S 14254 14256 14210 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43852080 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14256/tid=14269] ppid=14254 vsize=1714812 CPUtime=0 /proc/14256/task/14269/stat : 14269 (java) S 14254 14256 14210 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 43852097 1755967488 131295 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (Kb) 1714812 Sending SIGTERM to -14256 Sleeping 2 seconds Child status: 143 Real time (s): 1783.49 CPU time (s): 1800.39 CPU user time (s): 1799.07 CPU system time (s): 1.3248 CPU usage (%): 100.948 Max. virtual memory (cumulated for all children) (Kb): 1715068
Begin job on node62 on Sat Jun 3 14:54:45 UTC 2006 FILE ID= 42562-1149346485 PBS_JOBID= 310716 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-enigma.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node62/42562-1149346485/instance-42562-1149346485.opb 887121819 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-42562-1149346485 -o ROOT/results/node62/solver-42562-1149346485 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node62/42562-1149346485/instance-42562-1149346485.opb 887121819 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 41834777456d00b1f1bcfadb1f825a87 RANDOM SEED= 887121819 /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.225 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.225 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: 1216808 kB Buffers: 35220 kB Cached: 724652 kB SwapCached: 572 kB Active: 76148 kB Inactive: 697896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1216808 kB SwapTotal: 4192956 kB SwapFree: 4191908 kB Dirty: 340 kB Writeback: 0 kB Mapped: 23728 kB Slab: 51064 kB Committed_AS: 283968 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node62 on Sat Jun 3 15:24:29 UTC 2006