Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.21 | 1780.45 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-degen3.opb |
MD5SUM | 869a8e6f75acef89713c9145ce005816 |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 54540 |
Total number of constraints | 1503 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1503 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 6090 |
Number of terms in the objective function | 47190 |
Biggest coefficient in the objective function | 1547 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 563727 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 131073 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 563727 |
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.19 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.19 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.20 c no version file found!!! 0.20 c sun.arch.data.model 32 0.20 c java.version 1.5.0_06 0.20 c os.name Linux 0.20 c os.version 2.6.9-34.ELsmp 0.20 c os.arch i386 0.20 c Free memory 1548419056 0.20 c Max memory 1551040512 0.20 c Total memory 1551040512 0.20 c Number of processors 2 0.26 c Cutting planes based inference 0.26 c --- Begin Solver configuration --- 0.26 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.26 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.26 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.26 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.26 c VSIDS like heuristics from MiniSAT using a heap 0.26 c No reason simplification 0.26 c --- End Solver configuration --- 0.26 c solving ROOT/tmp/node85/42473-1149324769/instance-42473-1149324769.opb 0.26 c reading problem ... 9.22 c ... done. Time 8.961 ms. 9.22 c #vars 54540 9.22 c #constraints 2220 1780.37 c starts : 2 1780.37 c conflicts : 156 1780.37 c decisions : 53875 1780.37 c propagations : 186927 1780.37 c inspects : 1401397 1780.37 c learnt literals : 0 1780.37 c learnt binary clauses : 0 1780.37 c learnt ternary clauses : 0 1780.37 c learnt clauses : 155 1780.37 c root simplifications : 0 1780.37 c removed literals (reason simplification) : 0 1780.37 c reason swapping (by a shorter reason) : 0 1780.37 c Calls to reduceDB : 0 1780.37 c speed (decisions/second) : 30.424909628841515 1780.37 c non guided choices 0 1780.37 s UNKNOWN 1780.37 c Total wall clock time (ms): 1780.118
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/node85/watcher-42473-1149324769 -o ROOT/results/node85/solver-42473-1149324769 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node85/42473-1149324769/instance-42473-1149324769.opb 589456132 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/68 20295 /proc/meminfo: memFree=1740144/2055892 swapFree=4085348/4096564 [pid=20295] ppid=20293 vsize=220 CPUtime=0 /proc/20295/stat : 20295 (java) D 20293 20295 20249 0 -1 0 47 0 0 0 0 0 0 0 18 0 1 0 198116209 225280 30 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 11735988 0 0 4096 0 18446744071563611212 0 0 17 1 0 0 /proc/20295/statm: 55 30 25 14 0 2 0 [startup+10.0029 s] /proc/loadavg: 1.00 0.98 0.99 2/79 20306 /proc/meminfo: memFree=1486456/2055892 swapFree=4085348/4096564 [pid=20295] ppid=20293 vsize=1713088 CPUtime=11.72 /proc/20295/stat : 20295 (java) R 20293 20295 20249 0 -1 0 69590 0 1 0 1139 33 0 0 21 0 12 0 198116209 1754202112 65141 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071423769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20295/statm: 428272 65141 1907 14 0 415018 0 [pid=20295/tid=20296] ppid=20293 vsize=1713088 CPUtime=0.85 /proc/20295/task/20296/stat : 20296 (java) S 20293 20295 20249 0 -1 64 16125 0 0 0 78 7 0 0 16 0 12 0 198116215 1754202112 65141 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20297] ppid=20293 vsize=1713088 CPUtime=0.85 /proc/20295/task/20297/stat : 20297 (java) S 20293 20295 20249 0 -1 64 14795 0 0 0 79 6 0 0 16 0 12 0 198116215 1754202112 65141 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20298] ppid=20293 vsize=1713088 CPUtime=0 /proc/20295/task/20298/stat : 20298 (java) S 20293 20295 20249 0 -1 64 12 0 0 0 0 0 0 0 15 0 12 0 198116217 1754202112 65141 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20299] ppid=20293 vsize=1713088 CPUtime=0 /proc/20295/task/20299/stat : 20299 (java) S 20293 20295 20249 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 198116218 1754202112 65141 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20300] ppid=20293 vsize=1713088 CPUtime=0 /proc/20295/task/20300/stat : 20300 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 198116218 1754202112 65141 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20301] ppid=20293 vsize=1713088 CPUtime=0 /proc/20295/task/20301/stat : 20301 (java) S 20293 20295 20249 0 -1 64 0 0 0 0 0 0 0 0 22 0 12 0 198116223 1754202112 65141 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20302] ppid=20293 vsize=1713088 CPUtime=0 /proc/20295/task/20302/stat : 20302 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 198116223 1754202112 65141 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20303] ppid=20293 vsize=1713088 CPUtime=0.71 /proc/20295/task/20303/stat : 20303 (java) S 20293 20295 20249 0 -1 64 1535 0 0 0 71 0 0 0 16 0 12 0 198116223 1754202112 65141 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20304] ppid=20293 vsize=1713088 CPUtime=0.61 /proc/20295/task/20304/stat : 20304 (java) S 20293 20295 20249 0 -1 64 590 0 0 0 61 0 0 0 16 0 12 0 198116223 1754202112 65141 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20305] ppid=20293 vsize=1713088 CPUtime=0 /proc/20295/task/20305/stat : 20305 (java) S 20293 20295 20249 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 198116223 1754202112 65141 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20306] ppid=20293 vsize=1713088 CPUtime=0 /proc/20295/task/20306/stat : 20306 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 198116223 1754202112 65141 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.72 Current children cumulated vsize (Kb) 1713088 [startup+20.0101 s] /proc/loadavg: 1.00 0.98 0.99 2/80 20307 /proc/meminfo: memFree=1495728/2055892 swapFree=4085348/4096564 [pid=20295] ppid=20293 vsize=1713604 CPUtime=22 /proc/20295/stat : 20295 (java) R 20293 20295 20249 0 -1 0 71421 0 1 0 2166 34 0 0 25 0 13 0 198116209 1754730496 62838 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071677210 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20295/statm: 428401 62838 1911 14 0 415147 0 [pid=20295/tid=20296] ppid=20293 vsize=1713604 CPUtime=0.92 /proc/20295/task/20296/stat : 20296 (java) S 20293 20295 20249 0 -1 64 16838 0 0 0 85 7 0 0 16 0 13 0 198116215 1754730496 62838 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20297] ppid=20293 vsize=1713604 CPUtime=0.93 /proc/20295/task/20297/stat : 20297 (java) S 20293 20295 20249 0 -1 64 15850 0 0 0 86 7 0 0 16 0 13 0 198116215 1754730496 62838 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20298] ppid=20293 vsize=1713604 CPUtime=0 /proc/20295/task/20298/stat : 20298 (java) S 20293 20295 20249 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 198116217 1754730496 62838 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20299] ppid=20293 vsize=1713604 CPUtime=0 /proc/20295/task/20299/stat : 20299 (java) S 20293 20295 20249 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198116218 1754730496 62838 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20300] ppid=20293 vsize=1713604 CPUtime=0 /proc/20295/task/20300/stat : 20300 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198116218 1754730496 62838 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20301] ppid=20293 vsize=1713604 CPUtime=0 /proc/20295/task/20301/stat : 20301 (java) S 20293 20295 20249 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 198116223 1754730496 62838 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20302] ppid=20293 vsize=1713604 CPUtime=0 /proc/20295/task/20302/stat : 20302 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198116223 1754730496 62838 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20303] ppid=20293 vsize=1713604 CPUtime=0.88 /proc/20295/task/20303/stat : 20303 (java) S 20293 20295 20249 0 -1 64 1547 0 0 0 88 0 0 0 16 0 13 0 198116223 1754730496 62838 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20304] ppid=20293 vsize=1713604 CPUtime=0.75 /proc/20295/task/20304/stat : 20304 (java) S 20293 20295 20249 0 -1 64 599 0 0 0 75 0 0 0 16 0 13 0 198116223 1754730496 62838 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20305] ppid=20293 vsize=1713604 CPUtime=0 /proc/20295/task/20305/stat : 20305 (java) S 20293 20295 20249 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198116223 1754730496 62838 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20306] ppid=20293 vsize=1713604 CPUtime=0 /proc/20295/task/20306/stat : 20306 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198116223 1754730496 62838 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20307] ppid=20293 vsize=1713604 CPUtime=0 /proc/20295/task/20307/stat : 20307 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 198117233 1754730496 62838 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 22 Current children cumulated vsize (Kb) 1713604 [startup+30.0173 s] /proc/loadavg: 1.08 1.00 1.00 2/80 20307 /proc/meminfo: memFree=1492848/2055892 swapFree=4085348/4096564 [pid=20295] ppid=20293 vsize=1714628 CPUtime=32.25 /proc/20295/stat : 20295 (java) R 20293 20295 20249 0 -1 0 74008 0 1 0 3188 37 0 0 25 0 13 0 198116209 1755779072 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071703039 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20295/statm: 428657 63602 1911 14 0 415403 0 [pid=20295/tid=20296] ppid=20293 vsize=1714628 CPUtime=1.02 /proc/20295/task/20296/stat : 20296 (java) S 20293 20295 20249 0 -1 64 17889 0 0 0 94 8 0 0 16 0 13 0 198116215 1755779072 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20297] ppid=20293 vsize=1714628 CPUtime=1.03 /proc/20295/task/20297/stat : 20297 (java) S 20293 20295 20249 0 -1 64 17015 0 0 0 95 8 0 0 16 0 13 0 198116215 1755779072 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20298] ppid=20293 vsize=1714628 CPUtime=0.01 /proc/20295/task/20298/stat : 20298 (java) S 20293 20295 20249 0 -1 64 34 0 0 0 1 0 0 0 16 0 13 0 198116217 1755779072 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20299] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20299/stat : 20299 (java) S 20293 20295 20249 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20300] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20300/stat : 20300 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20301] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20301/stat : 20301 (java) S 20293 20295 20249 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 198116223 1755779072 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20302] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20302/stat : 20302 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198116223 1755779072 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20303] ppid=20293 vsize=1714628 CPUtime=0.98 /proc/20295/task/20303/stat : 20303 (java) S 20293 20295 20249 0 -1 64 1867 0 0 0 98 0 0 0 17 0 13 0 198116223 1755779072 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20304] ppid=20293 vsize=1714628 CPUtime=0.81 /proc/20295/task/20304/stat : 20304 (java) S 20293 20295 20249 0 -1 64 607 0 0 0 81 0 0 0 17 0 13 0 198116223 1755779072 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20305] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20305/stat : 20305 (java) S 20293 20295 20249 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198116223 1755779072 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20306] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20306/stat : 20306 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198116223 1755779072 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20307] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20307/stat : 20307 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 198117233 1755779072 63602 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.25 Current children cumulated vsize (Kb) 1714628 [startup+40.0234 s] /proc/loadavg: 1.07 1.00 1.00 2/80 20307 /proc/meminfo: memFree=1516336/2055892 swapFree=4085348/4096564 [pid=20295] ppid=20293 vsize=1714628 CPUtime=42.34 /proc/20295/stat : 20295 (java) R 20293 20295 20249 0 -1 0 74140 0 1 0 4196 38 0 0 20 0 13 0 198116209 1755779072 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071470131 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20295/statm: 428657 57733 1911 14 0 415403 0 [pid=20295/tid=20296] ppid=20293 vsize=1714628 CPUtime=1.07 /proc/20295/task/20296/stat : 20296 (java) S 20293 20295 20249 0 -1 64 17970 0 0 0 99 8 0 0 16 0 13 0 198116215 1755779072 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20297] ppid=20293 vsize=1714628 CPUtime=1.07 /proc/20295/task/20297/stat : 20297 (java) S 20293 20295 20249 0 -1 64 17033 0 0 0 99 8 0 0 16 0 13 0 198116215 1755779072 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20298] ppid=20293 vsize=1714628 CPUtime=0.02 /proc/20295/task/20298/stat : 20298 (java) S 20293 20295 20249 0 -1 64 34 0 0 0 1 1 0 0 15 0 13 0 198116217 1755779072 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20299] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20299/stat : 20299 (java) S 20293 20295 20249 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20300] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20300/stat : 20300 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20301] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20301/stat : 20301 (java) S 20293 20295 20249 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 198116223 1755779072 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20302] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20302/stat : 20302 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198116223 1755779072 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20303] ppid=20293 vsize=1714628 CPUtime=1.03 /proc/20295/task/20303/stat : 20303 (java) S 20293 20295 20249 0 -1 64 1871 0 0 0 103 0 0 0 17 0 13 0 198116223 1755779072 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20304] ppid=20293 vsize=1714628 CPUtime=0.86 /proc/20295/task/20304/stat : 20304 (java) S 20293 20295 20249 0 -1 64 609 0 0 0 86 0 0 0 17 0 13 0 198116223 1755779072 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20305] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20305/stat : 20305 (java) S 20293 20295 20249 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198116223 1755779072 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20306] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20306/stat : 20306 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198116223 1755779072 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20307] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20307/stat : 20307 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 198117233 1755779072 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.34 Current children cumulated vsize (Kb) 1714628 [startup+50.0306 s] /proc/loadavg: 1.06 1.00 1.00 2/80 20307 /proc/meminfo: memFree=1521648/2055892 swapFree=4085348/4096564 [pid=20295] ppid=20293 vsize=1714628 CPUtime=52.45 /proc/20295/stat : 20295 (java) R 20293 20295 20249 0 -1 0 75062 0 1 0 5205 40 0 0 17 0 13 0 198116209 1755779072 56410 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071470127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20295/statm: 428657 56410 1911 14 0 415403 0 [pid=20295/tid=20296] ppid=20293 vsize=1714628 CPUtime=1.14 /proc/20295/task/20296/stat : 20296 (java) S 20293 20295 20249 0 -1 64 18300 0 0 0 105 9 0 0 16 0 13 0 198116215 1755779072 56410 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20297] ppid=20293 vsize=1714628 CPUtime=1.13 /proc/20295/task/20297/stat : 20297 (java) S 20293 20295 20249 0 -1 64 17557 0 0 0 105 8 0 0 16 0 13 0 198116215 1755779072 56410 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20298] ppid=20293 vsize=1714628 CPUtime=0.02 /proc/20295/task/20298/stat : 20298 (java) S 20293 20295 20249 0 -1 64 34 0 0 0 1 1 0 0 16 0 13 0 198116217 1755779072 56410 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20299] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20299/stat : 20299 (java) S 20293 20295 20249 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 56410 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20300] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20300/stat : 20300 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 56410 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20301] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20301/stat : 20301 (java) S 20293 20295 20249 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 198116223 1755779072 56410 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20302] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20302/stat : 20302 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198116223 1755779072 56410 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20303] ppid=20293 vsize=1714628 CPUtime=1.06 /proc/20295/task/20303/stat : 20303 (java) S 20293 20295 20249 0 -1 64 1913 0 0 0 106 0 0 0 17 0 13 0 198116223 1755779072 56410 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20304] ppid=20293 vsize=1714628 CPUtime=0.86 /proc/20295/task/20304/stat : 20304 (java) S 20293 20295 20249 0 -1 64 609 0 0 0 86 0 0 0 17 0 13 0 198116223 1755779072 56410 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20305] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20305/stat : 20305 (java) S 20293 20295 20249 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198116223 1755779072 56410 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20306] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20306/stat : 20306 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198116223 1755779072 56410 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20307] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20307/stat : 20307 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198117233 1755779072 56410 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.45 Current children cumulated vsize (Kb) 1714628 [startup+60.0378 s] /proc/loadavg: 1.05 1.00 1.00 2/80 20307 /proc/meminfo: memFree=1527984/2055892 swapFree=4085348/4096564 [pid=20295] ppid=20293 vsize=1714628 CPUtime=62.5 /proc/20295/stat : 20295 (java) R 20293 20295 20249 0 -1 0 75104 0 1 0 6209 41 0 0 18 0 13 0 198116209 1755779072 54832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071687923 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20295/statm: 428657 54832 1911 14 0 415403 0 [pid=20295/tid=20296] ppid=20293 vsize=1714628 CPUtime=1.2 /proc/20295/task/20296/stat : 20296 (java) S 20293 20295 20249 0 -1 64 18305 0 0 0 110 10 0 0 16 0 13 0 198116215 1755779072 54832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20297] ppid=20293 vsize=1714628 CPUtime=1.19 /proc/20295/task/20297/stat : 20297 (java) S 20293 20295 20249 0 -1 64 17561 0 0 0 111 8 0 0 16 0 13 0 198116215 1755779072 54832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20298] ppid=20293 vsize=1714628 CPUtime=0.03 /proc/20295/task/20298/stat : 20298 (java) S 20293 20295 20249 0 -1 64 34 0 0 0 1 2 0 0 16 0 13 0 198116217 1755779072 54832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20299] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20299/stat : 20299 (java) S 20293 20295 20249 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 54832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20300] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20300/stat : 20300 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 54832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20301] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20301/stat : 20301 (java) S 20293 20295 20249 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 198116223 1755779072 54832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20302] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20302/stat : 20302 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198116223 1755779072 54832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=20295/tid=20299] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20299/stat : 20299 (java) S 20293 20295 20249 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20300] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20300/stat : 20300 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20301] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20301/stat : 20301 (java) S 20293 20295 20249 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20302] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20302/stat : 20302 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20303] ppid=20293 vsize=1714628 CPUtime=1.1 /proc/20295/task/20303/stat : 20303 (java) S 20293 20295 20249 0 -1 64 1916 0 0 0 110 0 0 0 17 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20304] ppid=20293 vsize=1714628 CPUtime=0.92 /proc/20295/task/20304/stat : 20304 (java) S 20293 20295 20249 0 -1 64 611 0 0 0 92 0 0 0 17 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20305] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20305/stat : 20305 (java) S 20293 20295 20249 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20306] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20306/stat : 20306 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20307] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20307/stat : 20307 (java) S 20293 20295 20249 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 198117233 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.04 Current children cumulated vsize (Kb) 1714628 [startup+1777.35 s] /proc/loadavg: 1.00 1.00 1.00 2/80 20502 /proc/meminfo: memFree=1346608/2055892 swapFree=4085348/4096564 [pid=20295] ppid=20293 vsize=1714628 CPUtime=1797.06 /proc/20295/stat : 20295 (java) R 20293 20295 20249 0 -1 0 150031 0 1 0 179486 220 0 0 17 0 13 0 198116209 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071703232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20295/statm: 428657 99889 1911 14 0 415403 0 [pid=20295/tid=20296] ppid=20293 vsize=1714628 CPUtime=19.43 /proc/20295/task/20296/stat : 20296 (java) S 20293 20295 20249 0 -1 64 36150 0 0 0 1878 65 0 0 16 0 13 0 198116215 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20297] ppid=20293 vsize=1714628 CPUtime=19.39 /proc/20295/task/20297/stat : 20297 (java) S 20293 20295 20249 0 -1 64 34290 0 0 0 1871 68 0 0 16 0 13 0 198116215 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20298] ppid=20293 vsize=1714628 CPUtime=0.91 /proc/20295/task/20298/stat : 20298 (java) S 20293 20295 20249 0 -1 64 153 0 0 0 56 35 0 0 15 0 13 0 198116217 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20299] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20299/stat : 20299 (java) S 20293 20295 20249 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20300] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20300/stat : 20300 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20301] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20301/stat : 20301 (java) S 20293 20295 20249 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20302] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20302/stat : 20302 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20303] ppid=20293 vsize=1714628 CPUtime=1.1 /proc/20295/task/20303/stat : 20303 (java) S 20293 20295 20249 0 -1 64 1916 0 0 0 110 0 0 0 17 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20304] ppid=20293 vsize=1714628 CPUtime=0.92 /proc/20295/task/20304/stat : 20304 (java) S 20293 20295 20249 0 -1 64 611 0 0 0 92 0 0 0 17 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20305] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20305/stat : 20305 (java) S 20293 20295 20249 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20306] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20306/stat : 20306 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20307] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20307/stat : 20307 (java) S 20293 20295 20249 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 198117233 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (Kb) 1714628 [startup+1778.35 s] /proc/loadavg: 1.00 1.00 1.00 2/80 20502 /proc/meminfo: memFree=1346608/2055892 swapFree=4085348/4096564 [pid=20295] ppid=20293 vsize=1714628 CPUtime=1798.08 /proc/20295/stat : 20295 (java) R 20293 20295 20249 0 -1 0 150033 0 1 0 179587 221 0 0 17 0 13 0 198116209 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071703064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20295/statm: 428657 99889 1911 14 0 415403 0 [pid=20295/tid=20296] ppid=20293 vsize=1714628 CPUtime=19.45 /proc/20295/task/20296/stat : 20296 (java) S 20293 20295 20249 0 -1 64 36150 0 0 0 1880 65 0 0 16 0 13 0 198116215 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20297] ppid=20293 vsize=1714628 CPUtime=19.4 /proc/20295/task/20297/stat : 20297 (java) S 20293 20295 20249 0 -1 64 34290 0 0 0 1872 68 0 0 15 0 13 0 198116215 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20298] ppid=20293 vsize=1714628 CPUtime=0.91 /proc/20295/task/20298/stat : 20298 (java) S 20293 20295 20249 0 -1 64 153 0 0 0 56 35 0 0 15 0 13 0 198116217 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20299] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20299/stat : 20299 (java) S 20293 20295 20249 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20300] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20300/stat : 20300 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20301] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20301/stat : 20301 (java) S 20293 20295 20249 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20302] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20302/stat : 20302 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20303] ppid=20293 vsize=1714628 CPUtime=1.1 /proc/20295/task/20303/stat : 20303 (java) S 20293 20295 20249 0 -1 64 1916 0 0 0 110 0 0 0 17 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20304] ppid=20293 vsize=1714628 CPUtime=0.92 /proc/20295/task/20304/stat : 20304 (java) S 20293 20295 20249 0 -1 64 611 0 0 0 92 0 0 0 17 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20305] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20305/stat : 20305 (java) S 20293 20295 20249 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20306] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20306/stat : 20306 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198116223 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20307] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20307/stat : 20307 (java) S 20293 20295 20249 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 198117233 1755779072 99889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.08 Current children cumulated vsize (Kb) 1714628 [startup+1779.36 s] /proc/loadavg: 1.00 1.00 1.00 2/80 20502 /proc/meminfo: memFree=1346096/2055892 swapFree=4085348/4096564 [pid=20295] ppid=20293 vsize=1714628 CPUtime=1799.11 /proc/20295/stat : 20295 (java) R 20293 20295 20249 0 -1 0 150164 0 1 0 179690 221 0 0 18 0 13 0 198116209 1755779072 100016 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071694096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20295/statm: 428657 100016 1911 14 0 415403 0 [pid=20295/tid=20296] ppid=20293 vsize=1714628 CPUtime=19.47 /proc/20295/task/20296/stat : 20296 (java) S 20293 20295 20249 0 -1 64 36173 0 0 0 1882 65 0 0 16 0 13 0 198116215 1755779072 100016 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20297] ppid=20293 vsize=1714628 CPUtime=19.42 /proc/20295/task/20297/stat : 20297 (java) S 20293 20295 20249 0 -1 64 34396 0 0 0 1874 68 0 0 16 0 13 0 198116215 1755779072 100016 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20298] ppid=20293 vsize=1714628 CPUtime=0.91 /proc/20295/task/20298/stat : 20298 (java) S 20293 20295 20249 0 -1 64 153 0 0 0 56 35 0 0 15 0 13 0 198116217 1755779072 100016 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20299] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20299/stat : 20299 (java) S 20293 20295 20249 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 100016 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20300] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20300/stat : 20300 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 100016 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20301] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20301/stat : 20301 (java) S 20293 20295 20249 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 198116223 1755779072 100016 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20302] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20302/stat : 20302 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 198116223 1755779072 100016 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20303] ppid=20293 vsize=1714628 CPUtime=1.1 /proc/20295/task/20303/stat : 20303 (java) S 20293 20295 20249 0 -1 64 1916 0 0 0 110 0 0 0 17 0 13 0 198116223 1755779072 100016 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20304] ppid=20293 vsize=1714628 CPUtime=0.92 /proc/20295/task/20304/stat : 20304 (java) S 20293 20295 20249 0 -1 64 611 0 0 0 92 0 0 0 17 0 13 0 198116223 1755779072 100016 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20305] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20305/stat : 20305 (java) S 20293 20295 20249 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198116223 1755779072 100016 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20306] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20306/stat : 20306 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198116223 1755779072 100016 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20307] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20307/stat : 20307 (java) S 20293 20295 20249 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 198117233 1755779072 100016 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.11 Current children cumulated vsize (Kb) 1714628 [startup+1780.37 s] /proc/loadavg: 1.00 1.00 1.00 2/80 20502 /proc/meminfo: memFree=1346096/2055892 swapFree=4085348/4096564 [pid=20295] ppid=20293 vsize=1714628 CPUtime=1800.12 /proc/20295/stat : 20295 (java) R 20293 20295 20249 0 -1 0 150166 0 1 0 179791 221 0 0 23 0 13 0 198116209 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071694056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20295/statm: 428657 99985 1911 14 0 415403 0 [pid=20295/tid=20296] ppid=20293 vsize=1714628 CPUtime=19.48 /proc/20295/task/20296/stat : 20296 (java) S 20293 20295 20249 0 -1 64 36173 0 0 0 1883 65 0 0 16 0 13 0 198116215 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20297] ppid=20293 vsize=1714628 CPUtime=19.44 /proc/20295/task/20297/stat : 20297 (java) S 20293 20295 20249 0 -1 64 34396 0 0 0 1875 69 0 0 16 0 13 0 198116215 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20298] ppid=20293 vsize=1714628 CPUtime=0.91 /proc/20295/task/20298/stat : 20298 (java) S 20293 20295 20249 0 -1 64 153 0 0 0 56 35 0 0 15 0 13 0 198116217 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20299] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20299/stat : 20299 (java) S 20293 20295 20249 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20300] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20300/stat : 20300 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20301] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20301/stat : 20301 (java) S 20293 20295 20249 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 198116223 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20302] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20302/stat : 20302 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 198116223 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20303] ppid=20293 vsize=1714628 CPUtime=1.1 /proc/20295/task/20303/stat : 20303 (java) S 20293 20295 20249 0 -1 64 1916 0 0 0 110 0 0 0 17 0 13 0 198116223 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20304] ppid=20293 vsize=1714628 CPUtime=0.92 /proc/20295/task/20304/stat : 20304 (java) S 20293 20295 20249 0 -1 64 611 0 0 0 92 0 0 0 17 0 13 0 198116223 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20305] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20305/stat : 20305 (java) S 20293 20295 20249 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198116223 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20306] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20306/stat : 20306 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198116223 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20307] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20307/stat : 20307 (java) S 20293 20295 20249 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 198117233 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (Kb) 1714628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1780.37 s] /proc/loadavg: 1.00 1.00 1.00 2/80 20502 /proc/meminfo: memFree=1346096/2055892 swapFree=4085348/4096564 [pid=20295] ppid=20293 vsize=1714628 CPUtime=1800.13 /proc/20295/stat : 20295 (java) R 20293 20295 20249 0 -1 0 150166 0 1 0 179792 221 0 0 23 0 13 0 198116209 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071469893 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20295/statm: 428657 99985 1911 14 0 415403 0 [pid=20295/tid=20296] ppid=20293 vsize=1714628 CPUtime=19.48 /proc/20295/task/20296/stat : 20296 (java) S 20293 20295 20249 0 -1 64 36173 0 0 0 1883 65 0 0 16 0 13 0 198116215 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20297] ppid=20293 vsize=1714628 CPUtime=19.44 /proc/20295/task/20297/stat : 20297 (java) S 20293 20295 20249 0 -1 64 34396 0 0 0 1875 69 0 0 16 0 13 0 198116215 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20298] ppid=20293 vsize=1714628 CPUtime=0.91 /proc/20295/task/20298/stat : 20298 (java) S 20293 20295 20249 0 -1 64 153 0 0 0 56 35 0 0 15 0 13 0 198116217 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20299] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20299/stat : 20299 (java) S 20293 20295 20249 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20300] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20300/stat : 20300 (java) S 20293 20295 20249 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198116218 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20301] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20301/stat : 20301 (java) S 20293 20295 20249 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 198116223 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20302] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20302/stat : 20302 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 198116223 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20303] ppid=20293 vsize=1714628 CPUtime=1.1 /proc/20295/task/20303/stat : 20303 (java) S 20293 20295 20249 0 -1 64 1916 0 0 0 110 0 0 0 17 0 13 0 198116223 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20304] ppid=20293 vsize=1714628 CPUtime=0.92 /proc/20295/task/20304/stat : 20304 (java) S 20293 20295 20249 0 -1 64 611 0 0 0 92 0 0 0 17 0 13 0 198116223 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20305] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20305/stat : 20305 (java) S 20293 20295 20249 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198116223 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20295/tid=20306] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20306/stat : 20306 (java) S 20293 20295 20249 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198116223 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20295/tid=20307] ppid=20293 vsize=1714628 CPUtime=0 /proc/20295/task/20307/stat : 20307 (java) S 20293 20295 20249 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 198117233 1755779072 99985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (Kb) 1714628 Sending SIGTERM to -20295 Sleeping 2 seconds Child status: 143 Real time (s): 1780.45 CPU time (s): 1800.21 CPU user time (s): 1797.94 CPU system time (s): 2.27365 CPU usage (%): 101.11 Max. virtual memory (cumulated for all children) (Kb): 1714628
Begin job on node85 on Sat Jun 3 08:52:50 UTC 2006 FILE ID= 42473-1149324769 PBS_JOBID= 309561 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-degen3.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node85/42473-1149324769/instance-42473-1149324769.opb 589456132 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node85/watcher-42473-1149324769 -o ROOT/results/node85/solver-42473-1149324769 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node85/42473-1149324769/instance-42473-1149324769.opb 589456132 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 869a8e6f75acef89713c9145ce005816 RANDOM SEED= 589456132 /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.218 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.18 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.218 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1740480 kB Buffers: 22880 kB Cached: 227720 kB SwapCached: 2360 kB Active: 28648 kB Inactive: 230512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1740480 kB SwapTotal: 4096564 kB SwapFree: 4085348 kB Dirty: 164 kB Writeback: 0 kB Mapped: 16760 kB Slab: 42792 kB Committed_AS: 327492 kB PageTables: 1292 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node85 on Sat Jun 3 09:22:30 UTC 2006