Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.83 | 1783.52 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb |
MD5SUM | fd717ffc3177aa889b23f16defdc157a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3248 |
Best CPU time to get the best result obtained on this benchmark | 1782.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3248 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 29 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 555 |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 524691 |
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.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.16 c no version file found!!! 0.16 c sun.arch.data.model 32 0.16 c java.version 1.5.0_06 0.16 c os.name Linux 0.16 c os.version 2.6.9-34.ELsmp 0.16 c os.arch i386 0.16 c Free memory 1548419056 0.16 c Max memory 1551040512 0.16 c Total memory 1551040512 0.16 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@1037c71 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.21 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 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/node86/44029-1149355033/instance-44029-1149355033.opb 0.21 c reading problem ... 1.15 c ... done. Time 0.945 ms. 1.15 c #vars 7195 1.15 c #constraints 958 1783.35 c starts : 11 1783.35 c conflicts : 15613 1783.35 c decisions : 86412 1783.35 c propagations : 899114 1783.35 c inspects : 15467111 1783.35 c learnt literals : 0 1783.35 c learnt binary clauses : 0 1783.35 c learnt ternary clauses : 0 1783.35 c learnt clauses : 15612 1783.35 c root simplifications : 0 1783.35 c removed literals (reason simplification) : 0 1783.35 c reason swapping (by a shorter reason) : 0 1783.35 c Calls to reduceDB : 0 1783.35 c speed (decisions/second) : 48.48679367245435 1783.35 c non guided choices 7475 1783.35 s UNKNOWN 1783.35 c Total wall clock time (ms): 1783.139
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/node86/watcher-44029-1149355033 -o ROOT/results/node86/solver-44029-1149355033 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node86/44029-1149355033/instance-44029-1149355033.opb 163856277 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.98 0.98 2/68 16891 /proc/meminfo: memFree=1400096/2055892 swapFree=4084792/4096564 [pid=16891] ppid=16889 vsize=220 CPUtime=0 /proc/16891/stat : 16891 (java) R 16889 16891 16845 0 -1 0 47 0 0 0 0 0 0 0 19 0 1 0 201142528 225280 30 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 5665716 0 0 4096 0 0 0 0 17 1 0 0 /proc/16891/statm: 74 31 25 14 0 3 0 [startup+10.0028 s] /proc/loadavg: 0.99 0.98 0.98 2/80 16903 /proc/meminfo: memFree=1231560/2055892 swapFree=4084792/4096564 [pid=16891] ppid=16889 vsize=1714188 CPUtime=11.56 /proc/16891/stat : 16891 (java) R 16889 16891 16845 0 -1 0 49042 0 1 0 1136 20 0 0 22 0 13 0 201142528 1755328512 43933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071554347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16891/statm: 428547 43933 1910 14 0 415293 0 [pid=16891/tid=16892] ppid=16889 vsize=1714188 CPUtime=0.17 /proc/16891/task/16892/stat : 16892 (java) S 16889 16891 16845 0 -1 64 3593 0 0 0 15 2 0 0 16 0 13 0 201142532 1755328512 43933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16893] ppid=16889 vsize=1714188 CPUtime=0.17 /proc/16891/task/16893/stat : 16893 (java) S 16889 16891 16845 0 -1 64 3993 0 0 0 16 1 0 0 16 0 13 0 201142532 1755328512 43933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16894] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16894/stat : 16894 (java) S 16889 16891 16845 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 43933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16895] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16895/stat : 16895 (java) S 16889 16891 16845 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 43933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16896] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16896/stat : 16896 (java) S 16889 16891 16845 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 43933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16897] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16897/stat : 16897 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201142539 1755328512 43933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16898] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16898/stat : 16898 (java) S 16889 16891 16845 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 201142539 1755328512 43933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16899] ppid=16889 vsize=1714188 CPUtime=0.95 /proc/16891/task/16899/stat : 16899 (java) S 16889 16891 16845 0 -1 64 2250 0 0 0 94 1 0 0 16 0 13 0 201142539 1755328512 43933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16900] ppid=16889 vsize=1714188 CPUtime=0.84 /proc/16891/task/16900/stat : 16900 (java) S 16889 16891 16845 0 -1 64 2519 0 0 0 84 0 0 0 16 0 13 0 201142539 1755328512 43933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16901] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16901/stat : 16901 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201142539 1755328512 43933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16902] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16902/stat : 16902 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201142539 1755328512 43933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16903] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16903/stat : 16903 (java) S 16889 16891 16845 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 201142646 1755328512 43933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.56 Current children cumulated vsize (Kb) 1714188 [startup+20.0089 s] /proc/loadavg: 0.99 0.98 0.98 2/80 16903 /proc/meminfo: memFree=1213128/2055892 swapFree=4084792/4096564 [pid=16891] ppid=16889 vsize=1714188 CPUtime=21.63 /proc/16891/stat : 16891 (java) R 16889 16891 16845 0 -1 0 53863 0 1 0 2140 23 0 0 25 0 13 0 201142528 1755328512 48483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071554341 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16891/statm: 428547 48483 1912 14 0 415293 0 [pid=16891/tid=16892] ppid=16889 vsize=1714188 CPUtime=0.21 /proc/16891/task/16892/stat : 16892 (java) S 16889 16891 16845 0 -1 64 4793 0 0 0 19 2 0 0 16 0 13 0 201142532 1755328512 48483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16893] ppid=16889 vsize=1714188 CPUtime=0.22 /proc/16891/task/16893/stat : 16893 (java) S 16889 16891 16845 0 -1 64 5164 0 0 0 20 2 0 0 17 0 13 0 201142532 1755328512 48483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16894] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16894/stat : 16894 (java) S 16889 16891 16845 0 -1 64 29 0 0 0 0 0 0 0 17 0 13 0 201142535 1755328512 48483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16895] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16895/stat : 16895 (java) S 16889 16891 16845 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 48483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16896] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16896/stat : 16896 (java) S 16889 16891 16845 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 48483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16897] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16897/stat : 16897 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201142539 1755328512 48483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16898] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16898/stat : 16898 (java) S 16889 16891 16845 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 201142539 1755328512 48483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16899] ppid=16889 vsize=1714188 CPUtime=0.96 /proc/16891/task/16899/stat : 16899 (java) S 16889 16891 16845 0 -1 64 2251 0 0 0 95 1 0 0 16 0 13 0 201142539 1755328512 48483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16900] ppid=16889 vsize=1714188 CPUtime=0.86 /proc/16891/task/16900/stat : 16900 (java) S 16889 16891 16845 0 -1 64 2523 0 0 0 86 0 0 0 16 0 13 0 201142539 1755328512 48483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16901] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16901/stat : 16901 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201142539 1755328512 48483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16902] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16902/stat : 16902 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201142539 1755328512 48483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16903] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16903/stat : 16903 (java) S 16889 16891 16845 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 201142646 1755328512 48483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.63 Current children cumulated vsize (Kb) 1714188 [startup+30.0151 s] /proc/loadavg: 0.99 0.98 0.98 2/80 16903 /proc/meminfo: memFree=1218376/2055892 swapFree=4084792/4096564 [pid=16891] ppid=16889 vsize=1714188 CPUtime=31.68 /proc/16891/stat : 16891 (java) R 16889 16891 16845 0 -1 0 55046 0 1 0 3144 24 0 0 25 0 13 0 201142528 1755328512 47180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071583351 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16891/statm: 428547 47180 1912 14 0 415293 0 [pid=16891/tid=16892] ppid=16889 vsize=1714188 CPUtime=0.24 /proc/16891/task/16892/stat : 16892 (java) S 16889 16891 16845 0 -1 64 5379 0 0 0 22 2 0 0 16 0 13 0 201142532 1755328512 47180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16893] ppid=16889 vsize=1714188 CPUtime=0.26 /proc/16891/task/16893/stat : 16893 (java) S 16889 16891 16845 0 -1 64 5750 0 0 0 23 3 0 0 16 0 13 0 201142532 1755328512 47180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16894] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16894/stat : 16894 (java) S 16889 16891 16845 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 47180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16895] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16895/stat : 16895 (java) S 16889 16891 16845 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 47180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16896] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16896/stat : 16896 (java) S 16889 16891 16845 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 47180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16897] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16897/stat : 16897 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201142539 1755328512 47180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16898] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16898/stat : 16898 (java) S 16889 16891 16845 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 201142539 1755328512 47180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16899] ppid=16889 vsize=1714188 CPUtime=0.97 /proc/16891/task/16899/stat : 16899 (java) S 16889 16891 16845 0 -1 64 2251 0 0 0 96 1 0 0 16 0 13 0 201142539 1755328512 47180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16900] ppid=16889 vsize=1714188 CPUtime=0.86 /proc/16891/task/16900/stat : 16900 (java) S 16889 16891 16845 0 -1 64 2523 0 0 0 86 0 0 0 15 0 13 0 201142539 1755328512 47180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16901] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16901/stat : 16901 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201142539 1755328512 47180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16902] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16902/stat : 16902 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201142539 1755328512 47180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16903] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16903/stat : 16903 (java) S 16889 16891 16845 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 201142646 1755328512 47180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.68 Current children cumulated vsize (Kb) 1714188 [startup+40.0265 s] /proc/loadavg: 0.99 0.98 0.98 2/80 16903 /proc/meminfo: memFree=1226120/2055892 swapFree=4084792/4096564 [pid=16891] ppid=16889 vsize=1714188 CPUtime=41.78 /proc/16891/stat : 16891 (java) R 16889 16891 16845 0 -1 0 56605 0 1 0 4153 25 0 0 16 0 13 0 201142528 1755328512 45243 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071594087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16891/statm: 428547 45243 1912 14 0 415293 0 [pid=16891/tid=16892] ppid=16889 vsize=1714188 CPUtime=0.3 /proc/16891/task/16892/stat : 16892 (java) S 16889 16891 16845 0 -1 64 6117 0 0 0 27 3 0 0 16 0 13 0 201142532 1755328512 45243 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16893] ppid=16889 vsize=1714188 CPUtime=0.31 /proc/16891/task/16893/stat : 16893 (java) S 16889 16891 16845 0 -1 64 6554 0 0 0 28 3 0 0 16 0 13 0 201142532 1755328512 45243 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16894] ppid=16889 vsize=1714188 CPUtime=0.01 /proc/16891/task/16894/stat : 16894 (java) S 16889 16891 16845 0 -1 64 29 0 0 0 1 0 0 0 16 0 13 0 201142535 1755328512 45243 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16895] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16895/stat : 16895 (java) S 16889 16891 16845 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 45243 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16896] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16896/stat : 16896 (java) S 16889 16891 16845 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 45243 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16897] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16897/stat : 16897 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201142539 1755328512 45243 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16898] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16898/stat : 16898 (java) S 16889 16891 16845 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 201142539 1755328512 45243 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16899] ppid=16889 vsize=1714188 CPUtime=0.98 /proc/16891/task/16899/stat : 16899 (java) S 16889 16891 16845 0 -1 64 2251 0 0 0 97 1 0 0 16 0 13 0 201142539 1755328512 45243 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16900] ppid=16889 vsize=1714188 CPUtime=0.9 /proc/16891/task/16900/stat : 16900 (java) S 16889 16891 16845 0 -1 64 2526 0 0 0 90 0 0 0 17 0 13 0 201142539 1755328512 45243 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16901] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16901/stat : 16901 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201142539 1755328512 45243 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16902] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16902/stat : 16902 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201142539 1755328512 45243 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16903] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16903/stat : 16903 (java) S 16889 16891 16845 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 201142646 1755328512 45243 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.78 Current children cumulated vsize (Kb) 1714188 [startup+50.0344 s] /proc/loadavg: 0.99 0.98 0.98 2/80 16903 /proc/meminfo: memFree=1227272/2055892 swapFree=4084792/4096564 [pid=16891] ppid=16889 vsize=1714188 CPUtime=51.85 /proc/16891/stat : 16891 (java) R 16889 16891 16845 0 -1 0 58485 0 1 0 5159 26 0 0 18 0 13 0 201142528 1755328512 44951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071583372 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16891/statm: 428547 44951 1912 14 0 415293 0 [pid=16891/tid=16892] ppid=16889 vsize=1714188 CPUtime=0.38 /proc/16891/task/16892/stat : 16892 (java) S 16889 16891 16845 0 -1 64 6980 0 0 0 35 3 0 0 16 0 13 0 201142532 1755328512 44951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16893] ppid=16889 vsize=1714188 CPUtime=0.39 /proc/16891/task/16893/stat : 16893 (java) S 16889 16891 16845 0 -1 64 7558 0 0 0 35 4 0 0 16 0 13 0 201142532 1755328512 44951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16894] ppid=16889 vsize=1714188 CPUtime=0.01 /proc/16891/task/16894/stat : 16894 (java) S 16889 16891 16845 0 -1 64 29 0 0 0 1 0 0 0 15 0 13 0 201142535 1755328512 44951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16895] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16895/stat : 16895 (java) S 16889 16891 16845 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 44951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16896] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16896/stat : 16896 (java) S 16889 16891 16845 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 44951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16897] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16897/stat : 16897 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201142539 1755328512 44951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16898] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16898/stat : 16898 (java) S 16889 16891 16845 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 201142539 1755328512 44951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16899] ppid=16889 vsize=1714188 CPUtime=0.98 /proc/16891/task/16899/stat : 16899 (java) S 16889 16891 16845 0 -1 64 2251 0 0 0 97 1 0 0 16 0 13 0 201142539 1755328512 44951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16900] ppid=16889 vsize=1714188 CPUtime=0.9 /proc/16891/task/16900/stat : 16900 (java) S 16889 16891 16845 0 -1 64 2526 0 0 0 90 0 0 0 16 0 13 0 201142539 1755328512 44951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16901] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16901/stat : 16901 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201142539 1755328512 44951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16902] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16902/stat : 16902 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201142539 1755328512 44951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16903] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16903/stat : 16903 (java) S 16889 16891 16845 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 201142646 1755328512 44951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.85 Current children cumulated vsize (Kb) 1714188 [startup+60.0415 s] /proc/loadavg: 0.99 0.98 0.98 2/80 16903 /proc/meminfo: memFree=1229384/2055892 swapFree=4084792/4096564 [pid=16891] ppid=16889 vsize=1714188 CPUtime=61.92 /proc/16891/stat : 16891 (java) R 16889 16891 16845 0 -1 0 59705 0 1 0 6165 27 0 0 25 0 13 0 201142528 1755328512 44423 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071592507 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16891/statm: 428547 44423 1912 14 0 415293 0 [pid=16891/tid=16892] ppid=16889 vsize=1714188 CPUtime=0.43 /proc/16891/task/16892/stat : 16892 (java) S 16889 16891 16845 0 -1 64 7635 0 0 0 40 3 0 0 16 0 13 0 201142532 1755328512 44423 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16893] ppid=16889 vsize=1714188 CPUtime=0.44 /proc/16891/task/16893/stat : 16893 (java) S 16889 16891 16845 0 -1 64 8110 0 0 0 40 4 0 0 16 0 13 0 201142532 1755328512 44423 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16894] ppid=16889 vsize=1714188 CPUtime=0.02 /proc/16891/task/16894/stat : 16894 (java) S 16889 16891 16845 0 -1 64 29 0 0 0 1 1 0 0 16 0 13 0 201142535 1755328512 44423 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16895] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16895/stat : 16895 (java) S 16889 16891 16845 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 44423 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16896] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16896/stat : 16896 (java) S 16889 16891 16845 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 44423 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16897] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16897/stat : 16897 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201142539 1755328512 44423 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=16891/tid=16895] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16895/stat : 16895 (java) S 16889 16891 16845 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 218950 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16896] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16896/stat : 16896 (java) S 16889 16891 16845 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 218950 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16897] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16897/stat : 16897 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201142539 1755328512 218950 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16898] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16898/stat : 16898 (java) S 16889 16891 16845 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 201142539 1755328512 218950 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16899] ppid=16889 vsize=1714188 CPUtime=1 /proc/16891/task/16899/stat : 16899 (java) S 16889 16891 16845 0 -1 64 2252 0 0 0 99 1 0 0 16 0 13 0 201142539 1755328512 218950 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16900] ppid=16889 vsize=1714188 CPUtime=0.98 /proc/16891/task/16900/stat : 16900 (java) S 16889 16891 16845 0 -1 64 2530 0 0 0 98 0 0 0 16 0 13 0 201142539 1755328512 218950 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16901] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16901/stat : 16901 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201142539 1755328512 218950 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16902] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16902/stat : 16902 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201142539 1755328512 218950 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16903] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16903/stat : 16903 (java) S 16889 16891 16845 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 201142646 1755328512 218950 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 1714188 [startup+1780.32 s] /proc/loadavg: 1.00 1.01 1.00 2/80 16905 /proc/meminfo: memFree=529224/2055892 swapFree=4084792/4096564 [pid=16891] ppid=16889 vsize=1714188 CPUtime=1797.58 /proc/16891/stat : 16891 (java) R 16889 16891 16845 0 -1 0 336295 0 1 0 179592 166 0 0 22 0 13 0 201142528 1755328512 218991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071592628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16891/statm: 428547 218991 1912 14 0 415293 0 [pid=16891/tid=16892] ppid=16889 vsize=1714188 CPUtime=16.57 /proc/16891/task/16892/stat : 16892 (java) S 16889 16891 16845 0 -1 64 108019 0 0 0 1611 46 0 0 16 0 13 0 201142532 1755328512 218991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16893] ppid=16889 vsize=1714188 CPUtime=16.6 /proc/16891/task/16893/stat : 16893 (java) S 16889 16891 16845 0 -1 64 104707 0 0 0 1617 43 0 0 16 0 13 0 201142532 1755328512 218991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16894] ppid=16889 vsize=1714188 CPUtime=0.43 /proc/16891/task/16894/stat : 16894 (java) S 16889 16891 16845 0 -1 64 264 0 0 0 25 18 0 0 16 0 13 0 201142535 1755328512 218991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16895] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16895/stat : 16895 (java) S 16889 16891 16845 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 218991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16896] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16896/stat : 16896 (java) S 16889 16891 16845 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 218991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16897] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16897/stat : 16897 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201142539 1755328512 218991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16898] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16898/stat : 16898 (java) S 16889 16891 16845 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 201142539 1755328512 218991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16899] ppid=16889 vsize=1714188 CPUtime=1 /proc/16891/task/16899/stat : 16899 (java) S 16889 16891 16845 0 -1 64 2252 0 0 0 99 1 0 0 16 0 13 0 201142539 1755328512 218991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16900] ppid=16889 vsize=1714188 CPUtime=0.98 /proc/16891/task/16900/stat : 16900 (java) S 16889 16891 16845 0 -1 64 2530 0 0 0 98 0 0 0 16 0 13 0 201142539 1755328512 218991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16901] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16901/stat : 16901 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201142539 1755328512 218991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16902] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16902/stat : 16902 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201142539 1755328512 218991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16903] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16903/stat : 16903 (java) S 16889 16891 16845 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 201142646 1755328512 218991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 1714188 [startup+1781.33 s] /proc/loadavg: 1.00 1.01 1.00 2/80 16905 /proc/meminfo: memFree=528840/2055892 swapFree=4084792/4096564 [pid=16891] ppid=16889 vsize=1714188 CPUtime=1798.6 /proc/16891/stat : 16891 (java) R 16889 16891 16845 0 -1 0 336394 0 1 0 179694 166 0 0 25 0 13 0 201142528 1755328512 219089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071554323 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16891/statm: 428547 219089 1912 14 0 415293 0 [pid=16891/tid=16892] ppid=16889 vsize=1714188 CPUtime=16.59 /proc/16891/task/16892/stat : 16892 (java) S 16889 16891 16845 0 -1 64 108054 0 0 0 1613 46 0 0 16 0 13 0 201142532 1755328512 219089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16893] ppid=16889 vsize=1714188 CPUtime=16.62 /proc/16891/task/16893/stat : 16893 (java) S 16889 16891 16845 0 -1 64 104770 0 0 0 1619 43 0 0 16 0 13 0 201142532 1755328512 219089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16894] ppid=16889 vsize=1714188 CPUtime=0.43 /proc/16891/task/16894/stat : 16894 (java) S 16889 16891 16845 0 -1 64 264 0 0 0 25 18 0 0 15 0 13 0 201142535 1755328512 219089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16895] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16895/stat : 16895 (java) S 16889 16891 16845 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 219089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16896] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16896/stat : 16896 (java) S 16889 16891 16845 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 219089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16897] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16897/stat : 16897 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201142539 1755328512 219089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16898] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16898/stat : 16898 (java) S 16889 16891 16845 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 201142539 1755328512 219089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16899] ppid=16889 vsize=1714188 CPUtime=1 /proc/16891/task/16899/stat : 16899 (java) S 16889 16891 16845 0 -1 64 2252 0 0 0 99 1 0 0 16 0 13 0 201142539 1755328512 219089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16900] ppid=16889 vsize=1714188 CPUtime=0.98 /proc/16891/task/16900/stat : 16900 (java) S 16889 16891 16845 0 -1 64 2530 0 0 0 98 0 0 0 16 0 13 0 201142539 1755328512 219089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16901] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16901/stat : 16901 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201142539 1755328512 219089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16902] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16902/stat : 16902 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201142539 1755328512 219089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16903] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16903/stat : 16903 (java) S 16889 16891 16845 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 201142646 1755328512 219089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 1714188 [startup+1782.34 s] /proc/loadavg: 1.00 1.01 1.00 2/80 16905 /proc/meminfo: memFree=528520/2055892 swapFree=4084792/4096564 [pid=16891] ppid=16889 vsize=1714188 CPUtime=1799.62 /proc/16891/stat : 16891 (java) R 16889 16891 16845 0 -1 0 336481 0 1 0 179796 166 0 0 25 0 13 0 201142528 1755328512 219172 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071554912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16891/statm: 428547 219172 1912 14 0 415293 0 [pid=16891/tid=16892] ppid=16889 vsize=1714188 CPUtime=16.6 /proc/16891/task/16892/stat : 16892 (java) S 16889 16891 16845 0 -1 64 108071 0 0 0 1614 46 0 0 16 0 13 0 201142532 1755328512 219172 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16893] ppid=16889 vsize=1714188 CPUtime=16.63 /proc/16891/task/16893/stat : 16893 (java) S 16889 16891 16845 0 -1 64 104839 0 0 0 1620 43 0 0 17 0 13 0 201142532 1755328512 219172 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16894] ppid=16889 vsize=1714188 CPUtime=0.43 /proc/16891/task/16894/stat : 16894 (java) S 16889 16891 16845 0 -1 64 264 0 0 0 25 18 0 0 16 0 13 0 201142535 1755328512 219172 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16895] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16895/stat : 16895 (java) S 16889 16891 16845 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 219172 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16896] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16896/stat : 16896 (java) S 16889 16891 16845 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 219172 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16897] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16897/stat : 16897 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201142539 1755328512 219172 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16898] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16898/stat : 16898 (java) S 16889 16891 16845 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 201142539 1755328512 219172 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16899] ppid=16889 vsize=1714188 CPUtime=1 /proc/16891/task/16899/stat : 16899 (java) S 16889 16891 16845 0 -1 64 2252 0 0 0 99 1 0 0 16 0 13 0 201142539 1755328512 219172 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16900] ppid=16889 vsize=1714188 CPUtime=0.98 /proc/16891/task/16900/stat : 16900 (java) S 16889 16891 16845 0 -1 64 2530 0 0 0 98 0 0 0 16 0 13 0 201142539 1755328512 219172 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16901] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16901/stat : 16901 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201142539 1755328512 219172 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16902] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16902/stat : 16902 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201142539 1755328512 219172 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16903] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16903/stat : 16903 (java) S 16889 16891 16845 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 201142646 1755328512 219172 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 1714188 [startup+1783.34 s] /proc/loadavg: 1.00 1.01 1.00 2/80 16905 /proc/meminfo: memFree=528328/2055892 swapFree=4084792/4096564 [pid=16891] ppid=16889 vsize=1714188 CPUtime=1800.65 /proc/16891/stat : 16891 (java) R 16889 16891 16845 0 -1 0 336528 0 1 0 179899 166 0 0 25 0 13 0 201142528 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071519903 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16891/statm: 428547 219218 1912 14 0 415293 0 [pid=16891/tid=16892] ppid=16889 vsize=1714188 CPUtime=16.62 /proc/16891/task/16892/stat : 16892 (java) S 16889 16891 16845 0 -1 64 108073 0 0 0 1616 46 0 0 17 0 13 0 201142532 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16893] ppid=16889 vsize=1714188 CPUtime=16.65 /proc/16891/task/16893/stat : 16893 (java) S 16889 16891 16845 0 -1 64 104883 0 0 0 1622 43 0 0 16 0 13 0 201142532 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16894] ppid=16889 vsize=1714188 CPUtime=0.43 /proc/16891/task/16894/stat : 16894 (java) S 16889 16891 16845 0 -1 64 264 0 0 0 25 18 0 0 16 0 13 0 201142535 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16895] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16895/stat : 16895 (java) S 16889 16891 16845 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16896] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16896/stat : 16896 (java) S 16889 16891 16845 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16897] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16897/stat : 16897 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201142539 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16898] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16898/stat : 16898 (java) S 16889 16891 16845 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 201142539 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16899] ppid=16889 vsize=1714188 CPUtime=1 /proc/16891/task/16899/stat : 16899 (java) S 16889 16891 16845 0 -1 64 2252 0 0 0 99 1 0 0 16 0 13 0 201142539 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16900] ppid=16889 vsize=1714188 CPUtime=0.98 /proc/16891/task/16900/stat : 16900 (java) S 16889 16891 16845 0 -1 64 2530 0 0 0 98 0 0 0 16 0 13 0 201142539 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16901] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16901/stat : 16901 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201142539 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16902] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16902/stat : 16902 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201142539 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16903] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16903/stat : 16903 (java) S 16889 16891 16845 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 201142646 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 1714188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.35 s] /proc/loadavg: 1.00 1.01 1.00 2/80 16905 /proc/meminfo: memFree=528328/2055892 swapFree=4084792/4096564 [pid=16891] ppid=16889 vsize=1714188 CPUtime=1800.65 /proc/16891/stat : 16891 (java) R 16889 16891 16845 0 -1 0 336528 0 1 0 179899 166 0 0 25 0 13 0 201142528 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071554341 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16891/statm: 428547 219218 1912 14 0 415293 0 [pid=16891/tid=16892] ppid=16889 vsize=1714188 CPUtime=16.62 /proc/16891/task/16892/stat : 16892 (java) S 16889 16891 16845 0 -1 64 108073 0 0 0 1616 46 0 0 17 0 13 0 201142532 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16893] ppid=16889 vsize=1714188 CPUtime=16.65 /proc/16891/task/16893/stat : 16893 (java) S 16889 16891 16845 0 -1 64 104883 0 0 0 1622 43 0 0 16 0 13 0 201142532 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16894] ppid=16889 vsize=1714188 CPUtime=0.43 /proc/16891/task/16894/stat : 16894 (java) S 16889 16891 16845 0 -1 64 264 0 0 0 25 18 0 0 16 0 13 0 201142535 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16895] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16895/stat : 16895 (java) S 16889 16891 16845 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16896] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16896/stat : 16896 (java) S 16889 16891 16845 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201142535 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16897] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16897/stat : 16897 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201142539 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16898] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16898/stat : 16898 (java) S 16889 16891 16845 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 201142539 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16899] ppid=16889 vsize=1714188 CPUtime=1 /proc/16891/task/16899/stat : 16899 (java) S 16889 16891 16845 0 -1 64 2252 0 0 0 99 1 0 0 16 0 13 0 201142539 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16900] ppid=16889 vsize=1714188 CPUtime=0.98 /proc/16891/task/16900/stat : 16900 (java) S 16889 16891 16845 0 -1 64 2530 0 0 0 98 0 0 0 16 0 13 0 201142539 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16901] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16901/stat : 16901 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201142539 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16891/tid=16902] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16902/stat : 16902 (java) S 16889 16891 16845 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201142539 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16891/tid=16903] ppid=16889 vsize=1714188 CPUtime=0 /proc/16891/task/16903/stat : 16903 (java) S 16889 16891 16845 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 201142646 1755328512 219218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 1714188 Sending SIGTERM to -16891 Sleeping 2 seconds Child status: 143 Real time (s): 1783.52 CPU time (s): 1800.83 CPU user time (s): 1799.04 CPU system time (s): 1.79673 CPU usage (%): 100.971 Max. virtual memory (cumulated for all children) (Kb): 1714188
Begin job on node86 on Sat Jun 3 17:17:13 UTC 2006 FILE ID= 44029-1149355033 PBS_JOBID= 311201 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node86/44029-1149355033/instance-44029-1149355033.opb 163856277 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node86/watcher-44029-1149355033 -o ROOT/results/node86/solver-44029-1149355033 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node86/44029-1149355033/instance-44029-1149355033.opb 163856277 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= fd717ffc3177aa889b23f16defdc157a RANDOM SEED= 163856277 /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.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.19 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.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1400304 kB Buffers: 39568 kB Cached: 545192 kB SwapCached: 3032 kB Active: 79772 kB Inactive: 513756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1400304 kB SwapTotal: 4096564 kB SwapFree: 4084792 kB Dirty: 164 kB Writeback: 0 kB Mapped: 15148 kB Slab: 48692 kB Committed_AS: 364492 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node86 on Sat Jun 3 17:46:57 UTC 2006