Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1801.02 | 1775.44 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb |
MD5SUM | 5e0d90a4cb8c7b885a60ac97183595d3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 9.47956 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 653701 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 653701 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-34.ELsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.22 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node78/42385-1149250824/instance-42385-1149250824.opb 0.22 c reading problem ... 34.39 c ... done. Time 34.172 ms. 34.39 c #vars 155000 34.39 c #constraints 5300 1775.33 c starts : 2 1775.33 c conflicts : 166 1775.33 c decisions : 149941 1775.33 c propagations : 384764 1775.33 c inspects : 565383 1775.33 c learnt literals : 0 1775.33 c learnt binary clauses : 0 1775.33 c learnt ternary clauses : 0 1775.33 c learnt clauses : 165 1775.33 c root simplifications : 0 1775.33 c removed literals (reason simplification) : 0 1775.33 c reason swapping (by a shorter reason) : 0 1775.33 c Calls to reduceDB : 0 1775.33 c speed (decisions/second) : 86.15258915705017 1775.33 c non guided choices 0 1775.33 s UNKNOWN 1775.33 c Total wall clock time (ms): 1775.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/node78/watcher-42385-1149250824 -o ROOT/results/node78/solver-42385-1149250824 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node78/42385-1149250824/instance-42385-1149250824.opb 213593507 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.91 2/67 5118 /proc/meminfo: memFree=1419888/2055892 swapFree=4085732/4096564 [pid=5118] ppid=5116 vsize=1464 CPUtime=0 /proc/5118/stat : 5118 (java) R 5116 5118 5072 0 -1 0 127 0 0 0 0 0 0 0 19 0 1 0 190111213 1499136 98 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 11899456 0 0 4096 0 0 0 0 17 1 0 0 /proc/5118/statm: 399 101 80 14 0 43 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.95 0.91 2/78 5129 /proc/meminfo: memFree=1168344/2055892 swapFree=4085732/4096564 [pid=5118] ppid=5116 vsize=1713384 CPUtime=11.41 /proc/5118/stat : 5118 (java) R 5116 5118 5072 0 -1 0 69374 0 1 0 1103 38 0 0 25 0 12 0 190111213 1754505216 64608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152705406 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5118/statm: 428346 64608 1885 14 0 415092 0 [pid=5118/tid=5119] ppid=5116 vsize=1713384 CPUtime=0.94 /proc/5118/task/5119/stat : 5119 (java) S 5116 5118 5072 0 -1 64 17034 0 0 0 86 8 0 0 16 0 12 0 190111217 1754505216 64608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5120] ppid=5116 vsize=1713384 CPUtime=0.92 /proc/5118/task/5120/stat : 5120 (java) S 5116 5118 5072 0 -1 64 14925 0 0 0 79 13 0 0 16 0 12 0 190111217 1754505216 64608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5121] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5072 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 190111219 1754505216 64608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5122] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5122/stat : 5122 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 190111220 1754505216 64608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5123] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5123/stat : 5123 (java) S 5116 5118 5072 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 190111220 1754505216 64608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5124] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 190111223 1754505216 64608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5125] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 190111223 1754505216 64608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5126] ppid=5116 vsize=1713384 CPUtime=0.32 /proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5072 0 -1 64 387 0 0 0 32 0 0 0 17 0 12 0 190111223 1754505216 64608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5127] ppid=5116 vsize=1713384 CPUtime=0.41 /proc/5118/task/5127/stat : 5127 (java) S 5116 5118 5072 0 -1 64 524 0 0 0 41 0 0 0 16 0 12 0 190111223 1754505216 64608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5128] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 190111223 1754505216 64608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5129] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5129/stat : 5129 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 190111223 1754505216 64608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.41 Current children cumulated vsize (Kb) 1713384 [startup+20.0092 s] /proc/loadavg: 0.94 0.96 0.91 2/78 5129 /proc/meminfo: memFree=1198680/2055892 swapFree=4085732/4096564 [pid=5118] ppid=5116 vsize=1713384 CPUtime=21.5 /proc/5118/stat : 5118 (java) R 5116 5118 5072 0 -1 0 70468 0 1 0 2111 39 0 0 24 0 12 0 190111213 1754505216 57075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071441128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5118/statm: 428346 57075 1885 14 0 415092 0 [pid=5118/tid=5119] ppid=5116 vsize=1713384 CPUtime=1.02 /proc/5118/task/5119/stat : 5119 (java) S 5116 5118 5072 0 -1 64 17500 0 0 0 94 8 0 0 16 0 12 0 190111217 1754505216 57075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5120] ppid=5116 vsize=1713384 CPUtime=1.01 /proc/5118/task/5120/stat : 5120 (java) S 5116 5118 5072 0 -1 64 15532 0 0 0 88 13 0 0 16 0 12 0 190111217 1754505216 57075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5121] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5072 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 190111219 1754505216 57075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5122] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5122/stat : 5122 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 190111220 1754505216 57075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5123] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5123/stat : 5123 (java) S 5116 5118 5072 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 190111220 1754505216 57075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5124] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 190111223 1754505216 57075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5125] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 190111223 1754505216 57075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5126] ppid=5116 vsize=1713384 CPUtime=0.33 /proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5072 0 -1 64 387 0 0 0 33 0 0 0 16 0 12 0 190111223 1754505216 57075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5127] ppid=5116 vsize=1713384 CPUtime=0.41 /proc/5118/task/5127/stat : 5127 (java) S 5116 5118 5072 0 -1 64 524 0 0 0 41 0 0 0 16 0 12 0 190111223 1754505216 57075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5128] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 190111223 1754505216 57075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5129] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5129/stat : 5129 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 190111223 1754505216 57075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.5 Current children cumulated vsize (Kb) 1713384 [startup+30.0163 s] /proc/loadavg: 0.95 0.96 0.91 2/78 5129 /proc/meminfo: memFree=1221080/2055892 swapFree=4085732/4096564 [pid=5118] ppid=5116 vsize=1713384 CPUtime=31.6 /proc/5118/stat : 5118 (java) R 5116 5118 5072 0 -1 0 71600 0 1 0 3119 41 0 0 25 0 12 0 190111213 1754505216 51480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071441124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5118/statm: 428346 51480 1885 14 0 415092 0 [pid=5118/tid=5119] ppid=5116 vsize=1713384 CPUtime=1.11 /proc/5118/task/5119/stat : 5119 (java) S 5116 5118 5072 0 -1 64 18067 0 0 0 103 8 0 0 16 0 12 0 190111217 1754505216 51480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5120] ppid=5116 vsize=1713384 CPUtime=1.11 /proc/5118/task/5120/stat : 5120 (java) S 5116 5118 5072 0 -1 64 16076 0 0 0 97 14 0 0 16 0 12 0 190111217 1754505216 51480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5121] ppid=5116 vsize=1713384 CPUtime=0.01 /proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5072 0 -1 64 10 0 0 0 0 1 0 0 16 0 12 0 190111219 1754505216 51480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5122] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5122/stat : 5122 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 190111220 1754505216 51480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5123] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5123/stat : 5123 (java) S 5116 5118 5072 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 190111220 1754505216 51480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5124] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 190111223 1754505216 51480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5125] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 190111223 1754505216 51480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5126] ppid=5116 vsize=1713384 CPUtime=0.33 /proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5072 0 -1 64 387 0 0 0 33 0 0 0 16 0 12 0 190111223 1754505216 51480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5127] ppid=5116 vsize=1713384 CPUtime=0.41 /proc/5118/task/5127/stat : 5127 (java) S 5116 5118 5072 0 -1 64 524 0 0 0 41 0 0 0 16 0 12 0 190111223 1754505216 51480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5128] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 190111223 1754505216 51480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5129] ppid=5116 vsize=1713384 CPUtime=0 /proc/5118/task/5129/stat : 5129 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 190111223 1754505216 51480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.6 Current children cumulated vsize (Kb) 1713384 [startup+40.0224 s] /proc/loadavg: 0.95 0.96 0.91 2/79 5130 /proc/meminfo: memFree=1213776/2055892 swapFree=4085732/4096564 [pid=5118] ppid=5116 vsize=1714896 CPUtime=42.15 /proc/5118/stat : 5118 (java) R 5116 5118 5072 0 -1 0 75931 0 1 0 4171 44 0 0 25 0 13 0 190111213 1756053504 53331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071653130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5118/statm: 428724 53331 1911 14 0 415470 0 [pid=5118/tid=5119] ppid=5116 vsize=1714896 CPUtime=1.19 /proc/5118/task/5119/stat : 5119 (java) S 5116 5118 5072 0 -1 64 19133 0 0 0 111 8 0 0 16 0 13 0 190111217 1756053504 53331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5120] ppid=5116 vsize=1714896 CPUtime=1.19 /proc/5118/task/5120/stat : 5120 (java) S 5116 5118 5072 0 -1 64 18002 0 0 0 104 15 0 0 16 0 13 0 190111217 1756053504 53331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5121] ppid=5116 vsize=1714896 CPUtime=0.02 /proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5072 0 -1 64 20 0 0 0 1 1 0 0 16 0 13 0 190111219 1756053504 53331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5122] ppid=5116 vsize=1714896 CPUtime=0 /proc/5118/task/5122/stat : 5122 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190111220 1756053504 53331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5123] ppid=5116 vsize=1714896 CPUtime=0 /proc/5118/task/5123/stat : 5123 (java) S 5116 5118 5072 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190111220 1756053504 53331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5124] ppid=5116 vsize=1714896 CPUtime=0 /proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190111223 1756053504 53331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5125] ppid=5116 vsize=1714896 CPUtime=0 /proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190111223 1756053504 53331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5126] ppid=5116 vsize=1714896 CPUtime=0.68 /proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5072 0 -1 64 802 0 0 0 68 0 0 0 16 0 13 0 190111223 1756053504 53331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5127] ppid=5116 vsize=1714896 CPUtime=0.8 /proc/5118/task/5127/stat : 5127 (java) S 5116 5118 5072 0 -1 64 1369 0 0 0 80 0 0 0 16 0 13 0 190111223 1756053504 53331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5128] ppid=5116 vsize=1714896 CPUtime=0 /proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190111223 1756053504 53331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5129] ppid=5116 vsize=1714896 CPUtime=0 /proc/5118/task/5129/stat : 5129 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190111223 1756053504 53331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5130] ppid=5116 vsize=1714896 CPUtime=0 /proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5072 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 190114717 1756053504 53331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.15 Current children cumulated vsize (Kb) 1714896 [startup+50.0295 s] /proc/loadavg: 0.96 0.96 0.91 2/79 5130 /proc/meminfo: memFree=1209168/2055892 swapFree=4085732/4096564 [pid=5118] ppid=5116 vsize=1714864 CPUtime=52.3 /proc/5118/stat : 5118 (java) R 5116 5118 5072 0 -1 0 77977 0 1 0 5185 45 0 0 25 0 13 0 190111213 1756020736 54503 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071652891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5118/statm: 428716 54503 1911 14 0 415462 0 [pid=5118/tid=5119] ppid=5116 vsize=1714864 CPUtime=1.24 /proc/5118/task/5119/stat : 5119 (java) S 5116 5118 5072 0 -1 64 19705 0 0 0 115 9 0 0 16 0 13 0 190111217 1756020736 54503 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5120] ppid=5116 vsize=1714864 CPUtime=1.23 /proc/5118/task/5120/stat : 5120 (java) S 5116 5118 5072 0 -1 64 19354 0 0 0 108 15 0 0 16 0 13 0 190111217 1756020736 54503 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5121] ppid=5116 vsize=1714864 CPUtime=0.03 /proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5072 0 -1 64 20 0 0 0 1 2 0 0 16 0 13 0 190111219 1756020736 54503 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5122] ppid=5116 vsize=1714864 CPUtime=0 /proc/5118/task/5122/stat : 5122 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190111220 1756020736 54503 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5123] ppid=5116 vsize=1714864 CPUtime=0 /proc/5118/task/5123/stat : 5123 (java) S 5116 5118 5072 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190111220 1756020736 54503 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5124] ppid=5116 vsize=1714864 CPUtime=0 /proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190111223 1756020736 54503 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5125] ppid=5116 vsize=1714864 CPUtime=0 /proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190111223 1756020736 54503 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5126] ppid=5116 vsize=1714864 CPUtime=0.75 /proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5072 0 -1 64 812 0 0 0 75 0 0 0 16 0 13 0 190111223 1756020736 54503 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5127] ppid=5116 vsize=1714864 CPUtime=0.87 /proc/5118/task/5127/stat : 5127 (java) S 5116 5118 5072 0 -1 64 1470 0 0 0 87 0 0 0 16 0 13 0 190111223 1756020736 54503 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5128] ppid=5116 vsize=1714864 CPUtime=0 /proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190111223 1756020736 54503 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5129] ppid=5116 vsize=1714864 CPUtime=0 /proc/5118/task/5129/stat : 5129 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190111223 1756020736 54503 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5130] ppid=5116 vsize=1714864 CPUtime=0 /proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5072 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 190114717 1756020736 54503 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.3 Current children cumulated vsize (Kb) 1714864 [startup+60.0366 s] /proc/loadavg: 0.97 0.96 0.91 2/79 5130 /proc/meminfo: memFree=1202448/2055892 swapFree=4085732/4096564 [pid=5118] ppid=5116 vsize=1716912 CPUtime=62.43 /proc/5118/stat : 5118 (java) R 5116 5118 5072 0 -1 0 81263 0 1 0 6196 47 0 0 25 0 13 0 190111213 1758117888 56136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071653018 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5118/statm: 429228 56136 1911 14 0 415974 0 [pid=5118/tid=5119] ppid=5116 vsize=1716912 CPUtime=1.32 /proc/5118/task/5119/stat : 5119 (java) S 5116 5118 5072 0 -1 64 21237 0 0 0 122 10 0 0 16 0 13 0 190111217 1758117888 56136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5120] ppid=5116 vsize=1716912 CPUtime=1.31 /proc/5118/task/5120/stat : 5120 (java) S 5116 5118 5072 0 -1 64 20326 0 0 0 115 16 0 0 16 0 13 0 190111217 1758117888 56136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5121] ppid=5116 vsize=1716912 CPUtime=0.03 /proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5072 0 -1 64 20 0 0 0 1 2 0 0 15 0 13 0 190111219 1758117888 56136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5122] ppid=5116 vsize=1716912 CPUtime=0 /proc/5118/task/5122/stat : 5122 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190111220 1758117888 56136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5123] ppid=5116 vsize=1716912 CPUtime=0 /proc/5118/task/5123/stat : 5123 (java) S 5116 5118 5072 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190111220 1758117888 56136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5124] ppid=5116 vsize=1716912 CPUtime=0 /proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190111223 1758117888 56136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5125] ppid=5116 vsize=1716912 CPUtime=0 /proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190111223 1758117888 56136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5126] ppid=5116 vsize=1716912 CPUtime=0.75 /proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5072 0 -1 64 812 0 0 0 75 0 0 0 16 0 13 0 190111223 1758117888 56136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5127] ppid=5116 vsize=1716912 CPUtime=0.95 /proc/5118/task/5127/stat : 5127 (java) S 5116 5118 5072 0 -1 64 2244 0 0 0 94 1 0 0 17 0 13 0 190111223 1758117888 56136 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=5118/tid=5122] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5122/stat : 5122 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190111220 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5123] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5123/stat : 5123 (java) S 5116 5118 5072 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190111220 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5124] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5125] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5126] ppid=5116 vsize=1715888 CPUtime=0.91 /proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5072 0 -1 64 830 0 0 0 91 0 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5127] ppid=5116 vsize=1715888 CPUtime=1.14 /proc/5118/task/5127/stat : 5127 (java) S 5116 5118 5072 0 -1 64 2714 0 0 0 113 1 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5128] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5129] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5129/stat : 5129 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5130] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190114717 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.8 Current children cumulated vsize (Kb) 1715888 [startup+1772.3 s] /proc/loadavg: 1.00 1.00 0.96 2/79 5130 /proc/meminfo: memFree=958032/2055892 swapFree=4085732/4096564 [pid=5118] ppid=5116 vsize=1715888 CPUtime=1797.82 /proc/5118/stat : 5118 (java) R 5116 5118 5072 0 -1 0 156690 0 1 0 179304 478 0 0 18 0 13 0 190111213 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071456716 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5118/statm: 428972 116991 1911 14 0 415718 0 [pid=5118/tid=5119] ppid=5116 vsize=1715888 CPUtime=24.86 /proc/5118/task/5119/stat : 5119 (java) S 5116 5118 5072 0 -1 64 50763 0 0 0 2283 203 0 0 15 0 13 0 190111217 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5120] ppid=5116 vsize=1715888 CPUtime=24.84 /proc/5118/task/5120/stat : 5120 (java) S 5116 5118 5072 0 -1 64 45925 0 0 0 2271 213 0 0 16 0 13 0 190111217 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5121] ppid=5116 vsize=1715888 CPUtime=0.63 /proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5072 0 -1 64 69 0 0 0 37 26 0 0 15 0 13 0 190111219 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5122] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5122/stat : 5122 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190111220 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5123] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5123/stat : 5123 (java) S 5116 5118 5072 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190111220 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5124] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5125] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5126] ppid=5116 vsize=1715888 CPUtime=0.91 /proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5072 0 -1 64 830 0 0 0 91 0 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5127] ppid=5116 vsize=1715888 CPUtime=1.14 /proc/5118/task/5127/stat : 5127 (java) S 5116 5118 5072 0 -1 64 2714 0 0 0 113 1 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5128] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5129] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5129/stat : 5129 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5130] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190114717 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (Kb) 1715888 [startup+1773.3 s] /proc/loadavg: 1.00 1.00 0.96 2/79 5130 /proc/meminfo: memFree=958032/2055892 swapFree=4085732/4096564 [pid=5118] ppid=5116 vsize=1715888 CPUtime=1798.84 /proc/5118/stat : 5118 (java) R 5116 5118 5072 0 -1 0 156692 0 1 0 179406 478 0 0 22 0 13 0 190111213 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071456501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5118/statm: 428972 116991 1911 14 0 415718 0 [pid=5118/tid=5119] ppid=5116 vsize=1715888 CPUtime=24.87 /proc/5118/task/5119/stat : 5119 (java) S 5116 5118 5072 0 -1 64 50763 0 0 0 2284 203 0 0 16 0 13 0 190111217 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5120] ppid=5116 vsize=1715888 CPUtime=24.85 /proc/5118/task/5120/stat : 5120 (java) S 5116 5118 5072 0 -1 64 45925 0 0 0 2272 213 0 0 16 0 13 0 190111217 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5121] ppid=5116 vsize=1715888 CPUtime=0.63 /proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5072 0 -1 64 69 0 0 0 37 26 0 0 16 0 13 0 190111219 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5122] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5122/stat : 5122 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190111220 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5123] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5123/stat : 5123 (java) S 5116 5118 5072 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190111220 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5124] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5125] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5126] ppid=5116 vsize=1715888 CPUtime=0.91 /proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5072 0 -1 64 830 0 0 0 91 0 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5127] ppid=5116 vsize=1715888 CPUtime=1.14 /proc/5118/task/5127/stat : 5127 (java) S 5116 5118 5072 0 -1 64 2714 0 0 0 113 1 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5128] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5129] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5129/stat : 5129 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5130] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190114717 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.84 Current children cumulated vsize (Kb) 1715888 [startup+1774.31 s] /proc/loadavg: 1.00 1.00 0.96 2/79 5130 /proc/meminfo: memFree=958032/2055892 swapFree=4085732/4096564 [pid=5118] ppid=5116 vsize=1715888 CPUtime=1799.87 /proc/5118/stat : 5118 (java) R 5116 5118 5072 0 -1 0 156694 0 1 0 179508 479 0 0 25 0 13 0 190111213 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071457457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5118/statm: 428972 116991 1911 14 0 415718 0 [pid=5118/tid=5119] ppid=5116 vsize=1715888 CPUtime=24.89 /proc/5118/task/5119/stat : 5119 (java) S 5116 5118 5072 0 -1 64 50763 0 0 0 2286 203 0 0 15 0 13 0 190111217 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5120] ppid=5116 vsize=1715888 CPUtime=24.86 /proc/5118/task/5120/stat : 5120 (java) S 5116 5118 5072 0 -1 64 45925 0 0 0 2273 213 0 0 16 0 13 0 190111217 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5121] ppid=5116 vsize=1715888 CPUtime=0.64 /proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5072 0 -1 64 69 0 0 0 37 27 0 0 16 0 13 0 190111219 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5122] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5122/stat : 5122 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190111220 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5123] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5123/stat : 5123 (java) S 5116 5118 5072 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190111220 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5124] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5125] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5126] ppid=5116 vsize=1715888 CPUtime=0.91 /proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5072 0 -1 64 830 0 0 0 91 0 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5127] ppid=5116 vsize=1715888 CPUtime=1.14 /proc/5118/task/5127/stat : 5127 (java) S 5116 5118 5072 0 -1 64 2714 0 0 0 113 1 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5128] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5129] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5129/stat : 5129 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5130] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190114717 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.87 Current children cumulated vsize (Kb) 1715888 [startup+1775.32 s] /proc/loadavg: 1.00 1.00 0.96 2/79 5130 /proc/meminfo: memFree=958032/2055892 swapFree=4085732/4096564 [pid=5118] ppid=5116 vsize=1715888 CPUtime=1800.88 /proc/5118/stat : 5118 (java) R 5116 5118 5072 0 -1 0 156695 0 1 0 179609 479 0 0 25 0 13 0 190111213 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071691025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5118/statm: 428972 116991 1911 14 0 415718 0 [pid=5118/tid=5119] ppid=5116 vsize=1715888 CPUtime=24.9 /proc/5118/task/5119/stat : 5119 (java) S 5116 5118 5072 0 -1 64 50763 0 0 0 2287 203 0 0 15 0 13 0 190111217 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5120] ppid=5116 vsize=1715888 CPUtime=24.87 /proc/5118/task/5120/stat : 5120 (java) S 5116 5118 5072 0 -1 64 45925 0 0 0 2274 213 0 0 16 0 13 0 190111217 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5121] ppid=5116 vsize=1715888 CPUtime=0.64 /proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5072 0 -1 64 69 0 0 0 37 27 0 0 16 0 13 0 190111219 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5122] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5122/stat : 5122 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190111220 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5123] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5123/stat : 5123 (java) S 5116 5118 5072 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190111220 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5124] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5125] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5126] ppid=5116 vsize=1715888 CPUtime=0.91 /proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5072 0 -1 64 830 0 0 0 91 0 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5127] ppid=5116 vsize=1715888 CPUtime=1.14 /proc/5118/task/5127/stat : 5127 (java) S 5116 5118 5072 0 -1 64 2714 0 0 0 113 1 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5128] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5129] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5129/stat : 5129 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5130] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190114717 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.88 Current children cumulated vsize (Kb) 1715888 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1775.32 s] /proc/loadavg: 1.00 1.00 0.96 2/79 5130 /proc/meminfo: memFree=958032/2055892 swapFree=4085732/4096564 [pid=5118] ppid=5116 vsize=1715888 CPUtime=1800.88 /proc/5118/stat : 5118 (java) R 5116 5118 5072 0 -1 0 156695 0 1 0 179609 479 0 0 25 0 13 0 190111213 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071456846 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5118/statm: 428972 116991 1911 14 0 415718 0 [pid=5118/tid=5119] ppid=5116 vsize=1715888 CPUtime=24.9 /proc/5118/task/5119/stat : 5119 (java) S 5116 5118 5072 0 -1 64 50763 0 0 0 2287 203 0 0 15 0 13 0 190111217 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5120] ppid=5116 vsize=1715888 CPUtime=24.87 /proc/5118/task/5120/stat : 5120 (java) S 5116 5118 5072 0 -1 64 45925 0 0 0 2274 213 0 0 16 0 13 0 190111217 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5121] ppid=5116 vsize=1715888 CPUtime=0.64 /proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5072 0 -1 64 69 0 0 0 37 27 0 0 16 0 13 0 190111219 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5122] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5122/stat : 5122 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190111220 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5123] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5123/stat : 5123 (java) S 5116 5118 5072 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190111220 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5124] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5125] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5126] ppid=5116 vsize=1715888 CPUtime=0.91 /proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5072 0 -1 64 830 0 0 0 91 0 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5127] ppid=5116 vsize=1715888 CPUtime=1.14 /proc/5118/task/5127/stat : 5127 (java) S 5116 5118 5072 0 -1 64 2714 0 0 0 113 1 0 0 17 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5128] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5072 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5118/tid=5129] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5129/stat : 5129 (java) S 5116 5118 5072 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190111223 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5118/tid=5130] ppid=5116 vsize=1715888 CPUtime=0 /proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5072 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190114717 1757069312 116991 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.88 Current children cumulated vsize (Kb) 1715888 Sending SIGTERM to -5118 Sleeping 2 seconds Child status: 143 Real time (s): 1775.44 CPU time (s): 1801.02 CPU user time (s): 1796.15 CPU system time (s): 4.86826 CPU usage (%): 101.441 Max. virtual memory (cumulated for all children) (Kb): 1716912
Begin job on node78 on Fri Jun 2 12:20:24 UTC 2006 FILE ID= 42385-1149250824 PBS_JOBID= 298070 BENCH NAME= ROOT/tmp/node78/42385-1149250824/instance-42385-1149250824.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node78/42385-1149250824/instance-42385-1149250824.opb 213593507 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node78/watcher-42385-1149250824 -o ROOT/results/node78/solver-42385-1149250824 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node78/42385-1149250824/instance-42385-1149250824.opb 213593507 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 5e0d90a4cb8c7b885a60ac97183595d3 RANDOM SEED= 213593507 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.225 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.17 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.225 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1420096 kB Buffers: 34504 kB Cached: 530640 kB SwapCached: 2520 kB Active: 53076 kB Inactive: 520824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1420096 kB SwapTotal: 4096564 kB SwapFree: 4085732 kB Dirty: 20 kB Writeback: 0 kB Mapped: 15136 kB Slab: 48352 kB Committed_AS: 244004 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node78 on Fri Jun 2 12:50:00 UTC 2006