Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.84 | 1790.2 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-dano3_4.opb |
MD5SUM | 77442b3482c8e96813b174683c20fffc |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 404566 |
Total number of constraints | 3686 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 4 |
Number of constraints which are nor clauses,nor cardinality constraints | 3682 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 15900 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 134217728000 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 569083166190 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.18 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.18 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.18 c no version file found!!! 0.18 c sun.arch.data.model 32 0.18 c java.version 1.5.0_06 0.18 c os.name Linux 0.18 c os.version 2.6.9-22.EL.rootsmp 0.18 c os.arch i386 0.18 c Free memory 1548419056 0.18 c Max memory 1551040512 0.18 c Total memory 1551040512 0.19 c Number of processors 2 0.24 c Cutting planes based inference 0.24 c --- Begin Solver configuration --- 0.24 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.24 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.24 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.24 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.24 c VSIDS like heuristics from MiniSAT using a heap 0.24 c No reason simplification 0.24 c --- End Solver configuration --- 0.24 c solving ROOT/tmp/node16/44594-1149306436/instance-44594-1149306436.opb 0.24 c reading problem ... 69.67 c ... done. Time 69.436 ms. 69.67 c #vars 404566 69.67 c #constraints 4910 1790.05 c starts : 2 1790.05 c conflicts : 157 1790.05 c decisions : 15039 1790.05 c propagations : 403991 1790.05 c inspects : 1840894 1790.05 c learnt literals : 0 1790.05 c learnt binary clauses : 0 1790.05 c learnt ternary clauses : 0 1790.05 c learnt clauses : 156 1790.05 c root simplifications : 0 1790.05 c removed literals (reason simplification) : 0 1790.05 c reason swapping (by a shorter reason) : 0 1790.05 c Calls to reduceDB : 0 1790.05 c speed (decisions/second) : 8.74212560549349 1790.05 c non guided choices 4193 1790.05 s UNKNOWN 1790.05 c Total wall clock time (ms): 1789.819
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/node16/watcher-44594-1149306436 -o ROOT/results/node16/solver-44594-1149306436 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node16/44594-1149306436/instance-44594-1149306436.opb 31569156 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.01 0.99 0.93 2/64 23246 /proc/meminfo: memFree=1765936/2055920 swapFree=4181468/4192956 [pid=23246] ppid=23244 vsize=18540 CPUtime=0 /proc/23246/stat : 23246 (runsolver) D 23244 23246 23200 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 196306550 18984960 279 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 231962373415 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/23246/statm: 4635 279 243 16 0 2626 0 [startup+10.0016 s] /proc/loadavg: 1.00 0.99 0.93 2/75 23257 /proc/meminfo: memFree=1550112/2055920 swapFree=4181468/4192956 [pid=23246] ppid=23244 vsize=1713260 CPUtime=11.11 /proc/23246/stat : 23246 (java) R 23244 23246 23200 0 -1 0 59666 0 1 0 1082 29 0 0 19 0 12 0 196306550 1754378240 55714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071430800 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23246/statm: 428315 55714 1881 14 0 415062 0 [pid=23246/tid=23247] ppid=23244 vsize=1713260 CPUtime=0.54 /proc/23246/task/23247/stat : 23247 (java) S 23244 23246 23200 0 -1 64 7686 0 0 0 48 6 0 0 17 0 12 0 196306556 1754378240 55714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23248] ppid=23244 vsize=1713260 CPUtime=0.54 /proc/23246/task/23248/stat : 23248 (java) S 23244 23246 23200 0 -1 64 13198 0 0 0 48 6 0 0 16 0 12 0 196306556 1754378240 55714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23249] ppid=23244 vsize=1713260 CPUtime=0 /proc/23246/task/23249/stat : 23249 (java) S 23244 23246 23200 0 -1 64 24 0 0 0 0 0 0 0 15 0 12 0 196306559 1754378240 55714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23250] ppid=23244 vsize=1713260 CPUtime=0 /proc/23246/task/23250/stat : 23250 (java) S 23244 23246 23200 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196306559 1754378240 55714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23251] ppid=23244 vsize=1713260 CPUtime=0 /proc/23246/task/23251/stat : 23251 (java) S 23244 23246 23200 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 196306559 1754378240 55714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23252] ppid=23244 vsize=1713260 CPUtime=0 /proc/23246/task/23252/stat : 23252 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196306563 1754378240 55714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23253] ppid=23244 vsize=1713260 CPUtime=0 /proc/23246/task/23253/stat : 23253 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 196306563 1754378240 55714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23254] ppid=23244 vsize=1713260 CPUtime=0.53 /proc/23246/task/23254/stat : 23254 (java) S 23244 23246 23200 0 -1 64 1651 0 0 0 52 1 0 0 16 0 12 0 196306563 1754378240 55714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23255] ppid=23244 vsize=1713260 CPUtime=0.32 /proc/23246/task/23255/stat : 23255 (java) S 23244 23246 23200 0 -1 64 629 0 0 0 32 0 0 0 17 0 12 0 196306563 1754378240 55714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23256] ppid=23244 vsize=1713260 CPUtime=0 /proc/23246/task/23256/stat : 23256 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196306563 1754378240 55714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23257] ppid=23244 vsize=1713260 CPUtime=0 /proc/23246/task/23257/stat : 23257 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 196306563 1754378240 55714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.11 Current children cumulated vsize (Kb) 1713260 [startup+20.007 s] /proc/loadavg: 1.00 0.99 0.93 2/75 23257 /proc/meminfo: memFree=1463280/2055920 swapFree=4181468/4192956 [pid=23246] ppid=23244 vsize=1713032 CPUtime=22.1 /proc/23246/stat : 23246 (java) R 23244 23246 23200 0 -1 0 83172 0 1 0 2168 42 0 0 20 0 12 0 196306550 1754144768 77453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071485251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23246/statm: 428258 77453 1881 14 0 415005 0 [pid=23246/tid=23247] ppid=23244 vsize=1713032 CPUtime=1.53 /proc/23246/task/23247/stat : 23247 (java) S 23244 23246 23200 0 -1 64 19427 0 0 0 142 11 0 0 16 0 12 0 196306556 1754144768 77453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23248] ppid=23244 vsize=1713032 CPUtime=1.54 /proc/23246/task/23248/stat : 23248 (java) S 23244 23246 23200 0 -1 64 24946 0 0 0 142 12 0 0 16 0 12 0 196306556 1754144768 77453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23249] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23249/stat : 23249 (java) S 23244 23246 23200 0 -1 64 26 0 0 0 0 0 0 0 15 0 12 0 196306559 1754144768 77453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23250] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23250/stat : 23250 (java) S 23244 23246 23200 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196306559 1754144768 77453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23251] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23251/stat : 23251 (java) S 23244 23246 23200 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 196306559 1754144768 77453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23252] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23252/stat : 23252 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196306563 1754144768 77453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23253] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23253/stat : 23253 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 196306563 1754144768 77453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23254] ppid=23244 vsize=1713032 CPUtime=0.53 /proc/23246/task/23254/stat : 23254 (java) S 23244 23246 23200 0 -1 64 1651 0 0 0 52 1 0 0 16 0 12 0 196306563 1754144768 77453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23255] ppid=23244 vsize=1713032 CPUtime=0.32 /proc/23246/task/23255/stat : 23255 (java) S 23244 23246 23200 0 -1 64 629 0 0 0 32 0 0 0 17 0 12 0 196306563 1754144768 77453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23256] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23256/stat : 23256 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196306563 1754144768 77453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23257] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23257/stat : 23257 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 196306563 1754144768 77453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 22.1 Current children cumulated vsize (Kb) 1713032 [startup+30.0124 s] /proc/loadavg: 1.08 1.00 0.94 2/75 23257 /proc/meminfo: memFree=1415664/2055920 swapFree=4181468/4192956 [pid=23246] ppid=23244 vsize=1713032 CPUtime=32.73 /proc/23246/stat : 23246 (java) R 23244 23246 23200 0 -1 0 96201 0 1 0 3225 48 0 0 21 0 12 0 196306550 1754144768 89368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071343908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23246/statm: 428258 89368 1881 14 0 415005 0 [pid=23246/tid=23247] ppid=23244 vsize=1713032 CPUtime=2.14 /proc/23246/task/23247/stat : 23247 (java) S 23244 23246 23200 0 -1 64 26219 0 0 0 200 14 0 0 16 0 12 0 196306556 1754144768 89368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23248] ppid=23244 vsize=1713032 CPUtime=2.14 /proc/23246/task/23248/stat : 23248 (java) S 23244 23246 23200 0 -1 64 31163 0 0 0 199 15 0 0 16 0 12 0 196306556 1754144768 89368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23249] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23249/stat : 23249 (java) S 23244 23246 23200 0 -1 64 26 0 0 0 0 0 0 0 15 0 12 0 196306559 1754144768 89368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23250] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23250/stat : 23250 (java) S 23244 23246 23200 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196306559 1754144768 89368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23251] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23251/stat : 23251 (java) S 23244 23246 23200 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 196306559 1754144768 89368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23252] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23252/stat : 23252 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196306563 1754144768 89368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23253] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23253/stat : 23253 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 196306563 1754144768 89368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23254] ppid=23244 vsize=1713032 CPUtime=0.57 /proc/23246/task/23254/stat : 23254 (java) S 23244 23246 23200 0 -1 64 1653 0 0 0 56 1 0 0 17 0 12 0 196306563 1754144768 89368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23255] ppid=23244 vsize=1713032 CPUtime=0.32 /proc/23246/task/23255/stat : 23255 (java) S 23244 23246 23200 0 -1 64 629 0 0 0 32 0 0 0 16 0 12 0 196306563 1754144768 89368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23256] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23256/stat : 23256 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196306563 1754144768 89368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23257] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23257/stat : 23257 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 196306563 1754144768 89368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.73 Current children cumulated vsize (Kb) 1713032 [startup+40.0179 s] /proc/loadavg: 1.07 1.00 0.94 2/75 23257 /proc/meminfo: memFree=1399600/2055920 swapFree=4181468/4192956 [pid=23246] ppid=23244 vsize=1713032 CPUtime=43.02 /proc/23246/stat : 23246 (java) R 23244 23246 23200 0 -1 0 100562 0 1 0 4250 52 0 0 23 0 12 0 196306550 1754144768 93369 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071339143 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23246/statm: 428258 93369 1885 14 0 415005 0 [pid=23246/tid=23247] ppid=23244 vsize=1713032 CPUtime=2.36 /proc/23246/task/23247/stat : 23247 (java) S 23244 23246 23200 0 -1 64 28153 0 0 0 221 15 0 0 16 0 12 0 196306556 1754144768 93369 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23248] ppid=23244 vsize=1713032 CPUtime=2.36 /proc/23246/task/23248/stat : 23248 (java) S 23244 23246 23200 0 -1 64 33564 0 0 0 220 16 0 0 16 0 12 0 196306556 1754144768 93369 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23249] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23249/stat : 23249 (java) S 23244 23246 23200 0 -1 64 27 0 0 0 0 0 0 0 15 0 12 0 196306559 1754144768 93369 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23250] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23250/stat : 23250 (java) S 23244 23246 23200 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196306559 1754144768 93369 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23251] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23251/stat : 23251 (java) S 23244 23246 23200 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 196306559 1754144768 93369 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23252] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23252/stat : 23252 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196306563 1754144768 93369 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23253] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23253/stat : 23253 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 196306563 1754144768 93369 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23254] ppid=23244 vsize=1713032 CPUtime=0.63 /proc/23246/task/23254/stat : 23254 (java) S 23244 23246 23200 0 -1 64 1656 0 0 0 62 1 0 0 17 0 12 0 196306563 1754144768 93369 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23255] ppid=23244 vsize=1713032 CPUtime=0.34 /proc/23246/task/23255/stat : 23255 (java) S 23244 23246 23200 0 -1 64 629 0 0 0 34 0 0 0 15 0 12 0 196306563 1754144768 93369 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23256] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23256/stat : 23256 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196306563 1754144768 93369 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23257] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23257/stat : 23257 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 196306563 1754144768 93369 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 43.02 Current children cumulated vsize (Kb) 1713032 [startup+50.0233 s] /proc/loadavg: 1.06 1.00 0.94 2/75 23257 /proc/meminfo: memFree=1362416/2055920 swapFree=4181468/4192956 [pid=23246] ppid=23244 vsize=1713032 CPUtime=53.4 /proc/23246/stat : 23246 (java) R 23244 23246 23200 0 -1 0 110807 0 1 0 5281 59 0 0 25 0 12 0 196306550 1754144768 102670 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071368131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23246/statm: 428258 102670 1885 14 0 415005 0 [pid=23246/tid=23247] ppid=23244 vsize=1713032 CPUtime=2.75 /proc/23246/task/23247/stat : 23247 (java) S 23244 23246 23200 0 -1 64 33480 0 0 0 256 19 0 0 16 0 12 0 196306556 1754144768 102670 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23248] ppid=23244 vsize=1713032 CPUtime=2.75 /proc/23246/task/23248/stat : 23248 (java) S 23244 23246 23200 0 -1 64 38465 0 0 0 256 19 0 0 17 0 12 0 196306556 1754144768 102670 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23249] ppid=23244 vsize=1713032 CPUtime=0.01 /proc/23246/task/23249/stat : 23249 (java) S 23244 23246 23200 0 -1 64 27 0 0 0 1 0 0 0 16 0 12 0 196306559 1754144768 102670 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23250] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23250/stat : 23250 (java) S 23244 23246 23200 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196306559 1754144768 102670 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23251] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23251/stat : 23251 (java) S 23244 23246 23200 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 196306559 1754144768 102670 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23252] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23252/stat : 23252 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196306563 1754144768 102670 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23253] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23253/stat : 23253 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 196306563 1754144768 102670 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23254] ppid=23244 vsize=1713032 CPUtime=0.63 /proc/23246/task/23254/stat : 23254 (java) S 23244 23246 23200 0 -1 64 1656 0 0 0 62 1 0 0 17 0 12 0 196306563 1754144768 102670 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23255] ppid=23244 vsize=1713032 CPUtime=0.34 /proc/23246/task/23255/stat : 23255 (java) S 23244 23246 23200 0 -1 64 629 0 0 0 34 0 0 0 15 0 12 0 196306563 1754144768 102670 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23256] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23256/stat : 23256 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196306563 1754144768 102670 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23257] ppid=23244 vsize=1713032 CPUtime=0 /proc/23246/task/23257/stat : 23257 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 196306563 1754144768 102670 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 53.4 Current children cumulated vsize (Kb) 1713032 [startup+60.0288 s] /proc/loadavg: 1.05 1.00 0.94 2/75 23257 /proc/meminfo: memFree=1291248/2055920 swapFree=4181468/4192956 [pid=23246] ppid=23244 vsize=1712708 CPUtime=64.24 /proc/23246/stat : 23246 (java) R 23244 23246 23200 0 -1 0 131804 0 1 0 6355 69 0 0 23 0 12 0 196306550 1753812992 120424 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4152709502 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23246/statm: 428177 120424 1886 14 0 414924 0 [pid=23246/tid=23247] ppid=23244 vsize=1712708 CPUtime=3.6 /proc/23246/task/23247/stat : 23247 (java) S 23244 23246 23200 0 -1 64 45120 0 0 0 337 23 0 0 16 0 12 0 196306556 1753812992 120424 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23248] ppid=23244 vsize=1712708 CPUtime=3.61 /proc/23246/task/23248/stat : 23248 (java) S 23244 23246 23200 0 -1 64 47802 0 0 0 337 24 0 0 17 0 12 0 196306556 1753812992 120424 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23249] ppid=23244 vsize=1712708 CPUtime=0.01 /proc/23246/task/23249/stat : 23249 (java) S 23244 23246 23200 0 -1 64 29 0 0 0 1 0 0 0 15 0 12 0 196306559 1753812992 120424 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23250] ppid=23244 vsize=1712708 CPUtime=0 /proc/23246/task/23250/stat : 23250 (java) S 23244 23246 23200 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196306559 1753812992 120424 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23251] ppid=23244 vsize=1712708 CPUtime=0 /proc/23246/task/23251/stat : 23251 (java) S 23244 23246 23200 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 196306559 1753812992 120424 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23252] ppid=23244 vsize=1712708 CPUtime=0 /proc/23246/task/23252/stat : 23252 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196306563 1753812992 120424 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23253] ppid=23244 vsize=1712708 CPUtime=0 /proc/23246/task/23253/stat : 23253 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 196306563 1753812992 120424 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23254] ppid=23244 vsize=1712708 CPUtime=0.63 /proc/23246/task/23254/stat : 23254 (java) S 23244 23246 23200 0 -1 64 1656 0 0 0 62 1 0 0 17 0 12 0 196306563 1753812992 120424 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23255] ppid=23244 vsize=1712708 CPUtime=0.34 /proc/23246/task/23255/stat : 23255 (java) S 23244 23246 23200 0 -1 64 629 0 0 0 34 0 0 0 16 0 12 0 196306563 1753812992 120424 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23256] ppid=23244 vsize=1712708 CPUtime=0 /proc/23246/task/23256/stat : 23256 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196306563 1753812992 120424 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23257] ppid=23244 vsize=1712708 CPUtime=0 /proc/23246/task/23257/stat : 23257 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 196306563 1753812992 120424 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=23246/tid=23250] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23250/stat : 23250 (java) S 23244 23246 23200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196306559 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23251] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23251/stat : 23251 (java) S 23244 23246 23200 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196306559 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23252] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23252/stat : 23252 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23253] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23253/stat : 23253 (java) S 23244 23246 23200 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23254] ppid=23244 vsize=1713224 CPUtime=1.41 /proc/23246/task/23254/stat : 23254 (java) S 23244 23246 23200 0 -1 64 3601 0 0 0 140 1 0 0 17 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23255] ppid=23244 vsize=1713224 CPUtime=0.66 /proc/23246/task/23255/stat : 23255 (java) S 23244 23246 23200 0 -1 64 651 0 0 0 66 0 0 0 17 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23256] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23256/stat : 23256 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23257] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23257/stat : 23257 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23258] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23258/stat : 23258 (java) S 23244 23246 23200 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196313605 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 1713224 [startup+1787.03 s] /proc/loadavg: 1.00 1.00 0.95 2/76 23453 /proc/meminfo: memFree=1224552/2055920 swapFree=4181468/4192956 [pid=23246] ppid=23244 vsize=1713224 CPUtime=1797.67 /proc/23246/stat : 23246 (java) R 23244 23246 23200 0 -1 0 179216 0 1 0 179580 187 0 0 25 0 13 0 196306550 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071724402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23246/statm: 428306 136709 1909 14 0 415053 0 [pid=23246/tid=23247] ppid=23244 vsize=1713224 CPUtime=9.48 /proc/23246/task/23247/stat : 23247 (java) S 23244 23246 23200 0 -1 64 65082 0 0 0 874 74 0 0 17 0 13 0 196306556 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23248] ppid=23244 vsize=1713224 CPUtime=9.51 /proc/23246/task/23248/stat : 23248 (java) S 23244 23246 23200 0 -1 64 72839 0 0 0 871 80 0 0 16 0 13 0 196306556 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23249] ppid=23244 vsize=1713224 CPUtime=0.11 /proc/23246/task/23249/stat : 23249 (java) S 23244 23246 23200 0 -1 64 38 0 0 0 6 5 0 0 16 0 13 0 196306559 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23250] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23250/stat : 23250 (java) S 23244 23246 23200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196306559 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23251] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23251/stat : 23251 (java) S 23244 23246 23200 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196306559 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23252] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23252/stat : 23252 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23253] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23253/stat : 23253 (java) S 23244 23246 23200 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23254] ppid=23244 vsize=1713224 CPUtime=1.41 /proc/23246/task/23254/stat : 23254 (java) S 23244 23246 23200 0 -1 64 3601 0 0 0 140 1 0 0 17 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23255] ppid=23244 vsize=1713224 CPUtime=0.66 /proc/23246/task/23255/stat : 23255 (java) S 23244 23246 23200 0 -1 64 651 0 0 0 66 0 0 0 17 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23256] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23256/stat : 23256 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23257] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23257/stat : 23257 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23258] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23258/stat : 23258 (java) S 23244 23246 23200 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196313605 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 1713224 [startup+1788.04 s] /proc/loadavg: 1.00 1.00 0.95 2/76 23453 /proc/meminfo: memFree=1224552/2055920 swapFree=4181468/4192956 [pid=23246] ppid=23244 vsize=1713224 CPUtime=1798.67 /proc/23246/stat : 23246 (java) R 23244 23246 23200 0 -1 0 179216 0 1 0 179680 187 0 0 25 0 13 0 196306550 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071724323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23246/statm: 428306 136709 1909 14 0 415053 0 [pid=23246/tid=23247] ppid=23244 vsize=1713224 CPUtime=9.48 /proc/23246/task/23247/stat : 23247 (java) S 23244 23246 23200 0 -1 64 65082 0 0 0 874 74 0 0 17 0 13 0 196306556 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23248] ppid=23244 vsize=1713224 CPUtime=9.51 /proc/23246/task/23248/stat : 23248 (java) S 23244 23246 23200 0 -1 64 72839 0 0 0 871 80 0 0 16 0 13 0 196306556 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23249] ppid=23244 vsize=1713224 CPUtime=0.11 /proc/23246/task/23249/stat : 23249 (java) S 23244 23246 23200 0 -1 64 38 0 0 0 6 5 0 0 16 0 13 0 196306559 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23250] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23250/stat : 23250 (java) S 23244 23246 23200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196306559 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23251] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23251/stat : 23251 (java) S 23244 23246 23200 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196306559 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23252] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23252/stat : 23252 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23253] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23253/stat : 23253 (java) S 23244 23246 23200 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23254] ppid=23244 vsize=1713224 CPUtime=1.41 /proc/23246/task/23254/stat : 23254 (java) S 23244 23246 23200 0 -1 64 3601 0 0 0 140 1 0 0 17 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23255] ppid=23244 vsize=1713224 CPUtime=0.66 /proc/23246/task/23255/stat : 23255 (java) S 23244 23246 23200 0 -1 64 651 0 0 0 66 0 0 0 17 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23256] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23256/stat : 23256 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23257] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23257/stat : 23257 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196306563 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23258] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23258/stat : 23258 (java) S 23244 23246 23200 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196313605 1754341376 136709 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 1713224 [startup+1789.04 s] /proc/loadavg: 1.00 1.00 0.95 2/76 23453 /proc/meminfo: memFree=1224424/2055920 swapFree=4181468/4192956 [pid=23246] ppid=23244 vsize=1713224 CPUtime=1799.69 /proc/23246/stat : 23246 (java) R 23244 23246 23200 0 -1 0 179241 0 1 0 179782 187 0 0 25 0 13 0 196306550 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071724402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23246/statm: 428306 136732 1909 14 0 415053 0 [pid=23246/tid=23247] ppid=23244 vsize=1713224 CPUtime=9.5 /proc/23246/task/23247/stat : 23247 (java) S 23244 23246 23200 0 -1 64 65088 0 0 0 875 75 0 0 16 0 13 0 196306556 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23248] ppid=23244 vsize=1713224 CPUtime=9.53 /proc/23246/task/23248/stat : 23248 (java) S 23244 23246 23200 0 -1 64 72857 0 0 0 873 80 0 0 16 0 13 0 196306556 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23249] ppid=23244 vsize=1713224 CPUtime=0.11 /proc/23246/task/23249/stat : 23249 (java) S 23244 23246 23200 0 -1 64 38 0 0 0 6 5 0 0 15 0 13 0 196306559 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23250] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23250/stat : 23250 (java) S 23244 23246 23200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196306559 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23251] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23251/stat : 23251 (java) S 23244 23246 23200 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196306559 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23252] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23252/stat : 23252 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23253] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23253/stat : 23253 (java) S 23244 23246 23200 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23254] ppid=23244 vsize=1713224 CPUtime=1.41 /proc/23246/task/23254/stat : 23254 (java) S 23244 23246 23200 0 -1 64 3601 0 0 0 140 1 0 0 17 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23255] ppid=23244 vsize=1713224 CPUtime=0.66 /proc/23246/task/23255/stat : 23255 (java) S 23244 23246 23200 0 -1 64 651 0 0 0 66 0 0 0 17 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23256] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23256/stat : 23256 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23257] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23257/stat : 23257 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23258] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23258/stat : 23258 (java) S 23244 23246 23200 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196313605 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 1713224 [startup+1790.05 s] /proc/loadavg: 1.00 1.00 0.95 2/76 23453 /proc/meminfo: memFree=1224424/2055920 swapFree=4181468/4192956 [pid=23246] ppid=23244 vsize=1713224 CPUtime=1800.7 /proc/23246/stat : 23246 (java) R 23244 23246 23200 0 -1 0 179241 0 1 0 179883 187 0 0 25 0 13 0 196306550 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071724346 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23246/statm: 428306 136732 1909 14 0 415053 0 [pid=23246/tid=23247] ppid=23244 vsize=1713224 CPUtime=9.5 /proc/23246/task/23247/stat : 23247 (java) S 23244 23246 23200 0 -1 64 65088 0 0 0 875 75 0 0 16 0 13 0 196306556 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23248] ppid=23244 vsize=1713224 CPUtime=9.53 /proc/23246/task/23248/stat : 23248 (java) S 23244 23246 23200 0 -1 64 72857 0 0 0 873 80 0 0 16 0 13 0 196306556 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23249] ppid=23244 vsize=1713224 CPUtime=0.11 /proc/23246/task/23249/stat : 23249 (java) S 23244 23246 23200 0 -1 64 38 0 0 0 6 5 0 0 16 0 13 0 196306559 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23250] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23250/stat : 23250 (java) S 23244 23246 23200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196306559 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23251] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23251/stat : 23251 (java) S 23244 23246 23200 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196306559 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23252] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23252/stat : 23252 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23253] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23253/stat : 23253 (java) S 23244 23246 23200 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23254] ppid=23244 vsize=1713224 CPUtime=1.41 /proc/23246/task/23254/stat : 23254 (java) S 23244 23246 23200 0 -1 64 3601 0 0 0 140 1 0 0 17 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23255] ppid=23244 vsize=1713224 CPUtime=0.66 /proc/23246/task/23255/stat : 23255 (java) S 23244 23246 23200 0 -1 64 651 0 0 0 66 0 0 0 17 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23256] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23256/stat : 23256 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23257] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23257/stat : 23257 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23258] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23258/stat : 23258 (java) S 23244 23246 23200 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196313605 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 1713224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1790.05 s] /proc/loadavg: 1.00 1.00 0.95 2/76 23453 /proc/meminfo: memFree=1224424/2055920 swapFree=4181468/4192956 [pid=23246] ppid=23244 vsize=1713224 CPUtime=1800.7 /proc/23246/stat : 23246 (java) R 23244 23246 23200 0 -1 0 179241 0 1 0 179883 187 0 0 25 0 13 0 196306550 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071635850 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23246/statm: 428306 136732 1909 14 0 415053 0 [pid=23246/tid=23247] ppid=23244 vsize=1713224 CPUtime=9.5 /proc/23246/task/23247/stat : 23247 (java) S 23244 23246 23200 0 -1 64 65088 0 0 0 875 75 0 0 16 0 13 0 196306556 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23248] ppid=23244 vsize=1713224 CPUtime=9.53 /proc/23246/task/23248/stat : 23248 (java) S 23244 23246 23200 0 -1 64 72857 0 0 0 873 80 0 0 16 0 13 0 196306556 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23249] ppid=23244 vsize=1713224 CPUtime=0.11 /proc/23246/task/23249/stat : 23249 (java) S 23244 23246 23200 0 -1 64 38 0 0 0 6 5 0 0 16 0 13 0 196306559 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23250] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23250/stat : 23250 (java) S 23244 23246 23200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196306559 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23251] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23251/stat : 23251 (java) S 23244 23246 23200 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196306559 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23252] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23252/stat : 23252 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23253] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23253/stat : 23253 (java) S 23244 23246 23200 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23254] ppid=23244 vsize=1713224 CPUtime=1.41 /proc/23246/task/23254/stat : 23254 (java) S 23244 23246 23200 0 -1 64 3601 0 0 0 140 1 0 0 17 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23255] ppid=23244 vsize=1713224 CPUtime=0.66 /proc/23246/task/23255/stat : 23255 (java) S 23244 23246 23200 0 -1 64 651 0 0 0 66 0 0 0 17 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23246/tid=23256] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23256/stat : 23256 (java) S 23244 23246 23200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23257] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23257/stat : 23257 (java) S 23244 23246 23200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196306563 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23246/tid=23258] ppid=23244 vsize=1713224 CPUtime=0 /proc/23246/task/23258/stat : 23258 (java) S 23244 23246 23200 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196313605 1754341376 136732 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 1713224 Sending SIGTERM to -23246 Sleeping 2 seconds Child status: 143 Real time (s): 1790.2 CPU time (s): 1800.84 CPU user time (s): 1798.87 CPU system time (s): 1.9677 CPU usage (%): 100.595 Max. virtual memory (cumulated for all children) (Kb): 1716148
Begin job on node16 on Sat Jun 3 03:47:17 UTC 2006 FILE ID= 44594-1149306436 PBS_JOBID= 307650 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_4.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node16/44594-1149306436/instance-44594-1149306436.opb 31569156 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-44594-1149306436 -o ROOT/results/node16/solver-44594-1149306436 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node16/44594-1149306436/instance-44594-1149306436.opb 31569156 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 77442b3482c8e96813b174683c20fffc RANDOM SEED= 31569156 /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.231 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.231 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: 1766144 kB Buffers: 13176 kB Cached: 207180 kB SwapCached: 3160 kB Active: 55108 kB Inactive: 174004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1766144 kB SwapTotal: 4192956 kB SwapFree: 4181468 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14732 kB Slab: 46700 kB Committed_AS: 280104 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node16 on Sat Jun 3 04:17:07 UTC 2006