Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.68 | 1786.52 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-set1cl.opb |
MD5SUM | 1e246214338ba705536e85585a980117 |
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 | 14400 |
Total number of constraints | 492 |
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 | 492 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7200 |
Biggest coefficient in the objective function | 3484 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 530256 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262141 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 530256 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.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.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node80/44021-1149353022/instance-44021-1149353022.opb 0.20 c reading problem ... 1.62 c ... done. Time 1.417 ms. 1.62 c #vars 14400 1.62 c #constraints 732 1786.38 c starts : 14 1786.38 c conflicts : 53623 1786.38 c decisions : 194145 1786.38 c propagations : 547593 1786.38 c inspects : 140152279 1786.38 c learnt literals : 0 1786.38 c learnt binary clauses : 0 1786.38 c learnt ternary clauses : 0 1786.38 c learnt clauses : 53622 1786.38 c root simplifications : 0 1786.38 c removed literals (reason simplification) : 0 1786.38 c reason swapping (by a shorter reason) : 0 1786.38 c Calls to reduceDB : 0 1786.38 c speed (decisions/second) : 108.78140398021881 1786.38 c non guided choices 19026 1786.38 s UNKNOWN 1786.38 c Total wall clock time (ms): 1786.182
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/node80/watcher-44021-1149353022 -o ROOT/results/node80/solver-44021-1149353022 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node80/44021-1149353022/instance-44021-1149353022.opb 48015455 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.99 2/67 9246 /proc/meminfo: memFree=1517896/2055888 swapFree=4085432/4096564 [pid=9246] ppid=9244 vsize=296 CPUtime=0 /proc/9246/stat : 9246 (java) R 9244 9246 9200 0 -1 0 53 0 0 0 0 0 0 0 19 0 1 0 200940762 303104 35 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 11408308 0 0 4096 0 0 0 0 17 1 0 0 /proc/9246/statm: 74 38 30 14 0 5 0 [startup+10.0026 s] /proc/loadavg: 1.22 1.05 1.00 2/79 9258 /proc/meminfo: memFree=1343144/2055888 swapFree=4085432/4096564 [pid=9246] ppid=9244 vsize=1723672 CPUtime=11.94 /proc/9246/stat : 9246 (java) R 9244 9246 9200 0 -1 0 50348 0 1 0 1170 24 0 0 18 0 13 0 200940762 1765040128 45518 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071654680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9246/statm: 430918 45518 1906 14 0 417664 0 [pid=9246/tid=9247] ppid=9244 vsize=1723672 CPUtime=0.15 /proc/9246/task/9247/stat : 9247 (java) S 9244 9246 9200 0 -1 64 2627 0 0 0 15 0 0 0 16 0 13 0 200940766 1765040128 45518 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9248] ppid=9244 vsize=1723672 CPUtime=0.14 /proc/9246/task/9248/stat : 9248 (java) S 9244 9246 9200 0 -1 64 2712 0 0 0 13 1 0 0 16 0 13 0 200940766 1765040128 45518 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9249] ppid=9244 vsize=1723672 CPUtime=0 /proc/9246/task/9249/stat : 9249 (java) S 9244 9246 9200 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 200940768 1765040128 45518 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9250] ppid=9244 vsize=1723672 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9244 9246 9200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200940769 1765040128 45518 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9251] ppid=9244 vsize=1723672 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940769 1765040128 45518 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9252] ppid=9244 vsize=1723672 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200940772 1765040128 45518 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9253] ppid=9244 vsize=1723672 CPUtime=0 /proc/9246/task/9253/stat : 9253 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 200940772 1765040128 45518 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9254] ppid=9244 vsize=1723672 CPUtime=1.15 /proc/9246/task/9254/stat : 9254 (java) S 9244 9246 9200 0 -1 64 3265 0 0 0 114 1 0 0 17 0 13 0 200940772 1765040128 45518 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9255] ppid=9244 vsize=1723672 CPUtime=1.2 /proc/9246/task/9255/stat : 9255 (java) S 9244 9246 9200 0 -1 64 5144 0 0 0 117 3 0 0 17 0 13 0 200940772 1765040128 45518 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9256] ppid=9244 vsize=1723672 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200940772 1765040128 45518 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9257] ppid=9244 vsize=1723672 CPUtime=0 /proc/9246/task/9257/stat : 9257 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200940772 1765040128 45518 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9258] ppid=9244 vsize=1723672 CPUtime=0 /proc/9246/task/9258/stat : 9258 (java) S 9244 9246 9200 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 200940939 1765040128 45518 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.94 Current children cumulated vsize (Kb) 1723672 [startup+20.0096 s] /proc/loadavg: 1.19 1.05 1.00 2/79 9258 /proc/meminfo: memFree=1324200/2055888 swapFree=4085432/4096564 [pid=9246] ppid=9244 vsize=1723108 CPUtime=22.13 /proc/9246/stat : 9246 (java) R 9244 9246 9200 0 -1 0 56946 0 1 0 2185 28 0 0 25 0 13 0 200940762 1764462592 50273 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071491885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9246/statm: 430777 50273 1908 14 0 417523 0 [pid=9246/tid=9247] ppid=9244 vsize=1723108 CPUtime=0.32 /proc/9246/task/9247/stat : 9247 (java) S 9244 9246 9200 0 -1 64 6170 0 0 0 30 2 0 0 16 0 13 0 200940766 1764462592 50273 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9248] ppid=9244 vsize=1723108 CPUtime=0.32 /proc/9246/task/9248/stat : 9248 (java) S 9244 9246 9200 0 -1 64 5751 0 0 0 29 3 0 0 17 0 13 0 200940766 1764462592 50273 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9249] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9249/stat : 9249 (java) S 9244 9246 9200 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 200940768 1764462592 50273 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9250] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9244 9246 9200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 50273 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9251] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 50273 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9252] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200940772 1764462592 50273 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9253] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9253/stat : 9253 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 200940772 1764462592 50273 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9254] ppid=9244 vsize=1723108 CPUtime=1.16 /proc/9246/task/9254/stat : 9254 (java) S 9244 9246 9200 0 -1 64 3267 0 0 0 115 1 0 0 16 0 13 0 200940772 1764462592 50273 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9255] ppid=9244 vsize=1723108 CPUtime=1.2 /proc/9246/task/9255/stat : 9255 (java) S 9244 9246 9200 0 -1 64 5144 0 0 0 117 3 0 0 17 0 13 0 200940772 1764462592 50273 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9256] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200940772 1764462592 50273 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9257] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9257/stat : 9257 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200940772 1764462592 50273 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9258] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9258/stat : 9258 (java) S 9244 9246 9200 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 200940939 1764462592 50273 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 22.13 Current children cumulated vsize (Kb) 1723108 [startup+30.0167 s] /proc/loadavg: 1.16 1.04 1.00 2/79 9258 /proc/meminfo: memFree=1314024/2055888 swapFree=4085432/4096564 [pid=9246] ppid=9244 vsize=1723108 CPUtime=32.19 /proc/9246/stat : 9246 (java) R 9244 9246 9200 0 -1 0 59819 0 1 0 3190 29 0 0 25 0 13 0 200940762 1764462592 52816 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071630019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9246/statm: 430777 52816 1908 14 0 417523 0 [pid=9246/tid=9247] ppid=9244 vsize=1723108 CPUtime=0.38 /proc/9246/task/9247/stat : 9247 (java) S 9244 9246 9200 0 -1 64 7776 0 0 0 35 3 0 0 16 0 13 0 200940766 1764462592 52816 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9248] ppid=9244 vsize=1723108 CPUtime=0.38 /proc/9246/task/9248/stat : 9248 (java) S 9244 9246 9200 0 -1 64 6960 0 0 0 35 3 0 0 16 0 13 0 200940766 1764462592 52816 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9249] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9249/stat : 9249 (java) S 9244 9246 9200 0 -1 64 24 0 0 0 0 0 0 0 15 0 13 0 200940768 1764462592 52816 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9250] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9244 9246 9200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 52816 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9251] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 52816 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9252] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200940772 1764462592 52816 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9253] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9253/stat : 9253 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 200940772 1764462592 52816 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9254] ppid=9244 vsize=1723108 CPUtime=1.16 /proc/9246/task/9254/stat : 9254 (java) S 9244 9246 9200 0 -1 64 3267 0 0 0 115 1 0 0 16 0 13 0 200940772 1764462592 52816 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9255] ppid=9244 vsize=1723108 CPUtime=1.2 /proc/9246/task/9255/stat : 9255 (java) S 9244 9246 9200 0 -1 64 5144 0 0 0 117 3 0 0 17 0 13 0 200940772 1764462592 52816 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9256] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200940772 1764462592 52816 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9257] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9257/stat : 9257 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200940772 1764462592 52816 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9258] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9258/stat : 9258 (java) S 9244 9246 9200 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 200940939 1764462592 52816 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.19 Current children cumulated vsize (Kb) 1723108 [startup+40.0238 s] /proc/loadavg: 1.13 1.04 1.00 2/79 9258 /proc/meminfo: memFree=1311272/2055888 swapFree=4085432/4096564 [pid=9246] ppid=9244 vsize=1723108 CPUtime=42.21 /proc/9246/stat : 9246 (java) R 9244 9246 9200 0 -1 0 60605 0 1 0 4192 29 0 0 25 0 13 0 200940762 1764462592 53507 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071629897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9246/statm: 430777 53507 1908 14 0 417523 0 [pid=9246/tid=9247] ppid=9244 vsize=1723108 CPUtime=0.4 /proc/9246/task/9247/stat : 9247 (java) S 9244 9246 9200 0 -1 64 8093 0 0 0 37 3 0 0 16 0 13 0 200940766 1764462592 53507 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9248] ppid=9244 vsize=1723108 CPUtime=0.4 /proc/9246/task/9248/stat : 9248 (java) S 9244 9246 9200 0 -1 64 7426 0 0 0 36 4 0 0 16 0 13 0 200940766 1764462592 53507 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9249] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9249/stat : 9249 (java) S 9244 9246 9200 0 -1 64 24 0 0 0 0 0 0 0 15 0 13 0 200940768 1764462592 53507 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9250] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9244 9246 9200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 53507 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9251] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 53507 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9252] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200940772 1764462592 53507 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9253] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9253/stat : 9253 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 200940772 1764462592 53507 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9254] ppid=9244 vsize=1723108 CPUtime=1.16 /proc/9246/task/9254/stat : 9254 (java) S 9244 9246 9200 0 -1 64 3267 0 0 0 115 1 0 0 16 0 13 0 200940772 1764462592 53507 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9255] ppid=9244 vsize=1723108 CPUtime=1.21 /proc/9246/task/9255/stat : 9255 (java) S 9244 9246 9200 0 -1 64 5144 0 0 0 118 3 0 0 17 0 13 0 200940772 1764462592 53507 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9256] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200940772 1764462592 53507 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9257] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9257/stat : 9257 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200940772 1764462592 53507 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9258] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9258/stat : 9258 (java) S 9244 9246 9200 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 200940939 1764462592 53507 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.21 Current children cumulated vsize (Kb) 1723108 [startup+50.0309 s] /proc/loadavg: 1.11 1.04 1.00 2/79 9258 /proc/meminfo: memFree=1308904/2055888 swapFree=4085432/4096564 [pid=9246] ppid=9244 vsize=1723108 CPUtime=52.25 /proc/9246/stat : 9246 (java) R 9244 9246 9200 0 -1 0 61312 0 1 0 5195 30 0 0 25 0 13 0 200940762 1764462592 54102 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071642300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9246/statm: 430777 54102 1910 14 0 417523 0 [pid=9246/tid=9247] ppid=9244 vsize=1723108 CPUtime=0.42 /proc/9246/task/9247/stat : 9247 (java) S 9244 9246 9200 0 -1 64 8496 0 0 0 39 3 0 0 16 0 13 0 200940766 1764462592 54102 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9248] ppid=9244 vsize=1723108 CPUtime=0.42 /proc/9246/task/9248/stat : 9248 (java) S 9244 9246 9200 0 -1 64 7719 0 0 0 38 4 0 0 16 0 13 0 200940766 1764462592 54102 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9249] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9249/stat : 9249 (java) S 9244 9246 9200 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 200940768 1764462592 54102 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9250] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9244 9246 9200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 54102 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9251] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 54102 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9252] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200940772 1764462592 54102 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9253] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9253/stat : 9253 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200940772 1764462592 54102 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9254] ppid=9244 vsize=1723108 CPUtime=1.17 /proc/9246/task/9254/stat : 9254 (java) S 9244 9246 9200 0 -1 64 3267 0 0 0 116 1 0 0 17 0 13 0 200940772 1764462592 54102 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9255] ppid=9244 vsize=1723108 CPUtime=1.22 /proc/9246/task/9255/stat : 9255 (java) S 9244 9246 9200 0 -1 64 5146 0 0 0 119 3 0 0 17 0 13 0 200940772 1764462592 54102 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9256] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200940772 1764462592 54102 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9257] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9257/stat : 9257 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200940772 1764462592 54102 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9258] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9258/stat : 9258 (java) S 9244 9246 9200 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 200940939 1764462592 54102 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.25 Current children cumulated vsize (Kb) 1723108 [startup+60.0379 s] /proc/loadavg: 1.09 1.04 1.00 2/79 9258 /proc/meminfo: memFree=1307304/2055888 swapFree=4085432/4096564 [pid=9246] ppid=9244 vsize=1723108 CPUtime=62.35 /proc/9246/stat : 9246 (java) R 9244 9246 9200 0 -1 0 62921 0 1 0 6204 31 0 0 25 0 13 0 200940762 1764462592 54444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071642275 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9246/statm: 430777 54444 1910 14 0 417523 0 [pid=9246/tid=9247] ppid=9244 vsize=1723108 CPUtime=0.47 /proc/9246/task/9247/stat : 9247 (java) S 9244 9246 9200 0 -1 64 9287 0 0 0 43 4 0 0 17 0 13 0 200940766 1764462592 54444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9248] ppid=9244 vsize=1723108 CPUtime=0.46 /proc/9246/task/9248/stat : 9248 (java) S 9244 9246 9200 0 -1 64 8530 0 0 0 42 4 0 0 16 0 13 0 200940766 1764462592 54444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9249] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9249/stat : 9249 (java) S 9244 9246 9200 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 200940768 1764462592 54444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9250] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9244 9246 9200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 54444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9251] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 54444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9252] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200940772 1764462592 54444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=9246/tid=9250] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9244 9246 9200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9251] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9252] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200940772 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9253] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9253/stat : 9253 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200940772 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9254] ppid=9244 vsize=1723108 CPUtime=1.24 /proc/9246/task/9254/stat : 9254 (java) S 9244 9246 9200 0 -1 64 3269 0 0 0 123 1 0 0 16 0 13 0 200940772 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9255] ppid=9244 vsize=1723108 CPUtime=1.26 /proc/9246/task/9255/stat : 9255 (java) S 9244 9246 9200 0 -1 64 5148 0 0 0 123 3 0 0 16 0 13 0 200940772 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9256] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200940772 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9257] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9257/stat : 9257 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200940772 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9258] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9258/stat : 9258 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940939 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (Kb) 1723108 [startup+1783.33 s] /proc/loadavg: 1.07 1.02 1.00 2/79 9453 /proc/meminfo: memFree=838440/2055888 swapFree=4085432/4096564 [pid=9246] ppid=9244 vsize=1723108 CPUtime=1797.44 /proc/9246/stat : 9246 (java) R 9244 9246 9200 0 -1 0 254062 0 1 0 179624 120 0 0 25 0 13 0 200940762 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071425929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9246/statm: 430777 171148 1910 14 0 417523 0 [pid=9246/tid=9247] ppid=9244 vsize=1723108 CPUtime=13.16 /proc/9246/task/9247/stat : 9247 (java) S 9244 9246 9200 0 -1 64 81866 0 0 0 1282 34 0 0 16 0 13 0 200940766 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9248] ppid=9244 vsize=1723108 CPUtime=13.15 /proc/9246/task/9248/stat : 9248 (java) S 9244 9246 9200 0 -1 64 82009 0 0 0 1280 35 0 0 17 0 13 0 200940766 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9249] ppid=9244 vsize=1723108 CPUtime=0.27 /proc/9246/task/9249/stat : 9249 (java) S 9244 9246 9200 0 -1 64 151 0 0 0 17 10 0 0 16 0 13 0 200940768 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9250] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9244 9246 9200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9251] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9252] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200940772 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9253] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9253/stat : 9253 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200940772 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9254] ppid=9244 vsize=1723108 CPUtime=1.24 /proc/9246/task/9254/stat : 9254 (java) S 9244 9246 9200 0 -1 64 3269 0 0 0 123 1 0 0 16 0 13 0 200940772 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9255] ppid=9244 vsize=1723108 CPUtime=1.26 /proc/9246/task/9255/stat : 9255 (java) S 9244 9246 9200 0 -1 64 5148 0 0 0 123 3 0 0 16 0 13 0 200940772 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9256] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200940772 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9257] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9257/stat : 9257 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200940772 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9258] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9258/stat : 9258 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940939 1764462592 171148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (Kb) 1723108 [startup+1784.34 s] /proc/loadavg: 1.07 1.02 1.00 2/79 9453 /proc/meminfo: memFree=838568/2055888 swapFree=4085432/4096564 [pid=9246] ppid=9244 vsize=1723108 CPUtime=1798.47 /proc/9246/stat : 9246 (java) R 9244 9246 9200 0 -1 0 254165 0 1 0 179727 120 0 0 22 0 13 0 200940762 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071600124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9246/statm: 430777 171119 1910 14 0 417523 0 [pid=9246/tid=9247] ppid=9244 vsize=1723108 CPUtime=13.19 /proc/9246/task/9247/stat : 9247 (java) S 9244 9246 9200 0 -1 64 81935 0 0 0 1285 34 0 0 16 0 13 0 200940766 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9248] ppid=9244 vsize=1723108 CPUtime=13.18 /proc/9246/task/9248/stat : 9248 (java) S 9244 9246 9200 0 -1 64 82042 0 0 0 1283 35 0 0 17 0 13 0 200940766 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9249] ppid=9244 vsize=1723108 CPUtime=0.27 /proc/9246/task/9249/stat : 9249 (java) S 9244 9246 9200 0 -1 64 151 0 0 0 17 10 0 0 15 0 13 0 200940768 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9250] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9244 9246 9200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9251] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9252] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9253] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9253/stat : 9253 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9254] ppid=9244 vsize=1723108 CPUtime=1.24 /proc/9246/task/9254/stat : 9254 (java) S 9244 9246 9200 0 -1 64 3269 0 0 0 123 1 0 0 16 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9255] ppid=9244 vsize=1723108 CPUtime=1.26 /proc/9246/task/9255/stat : 9255 (java) S 9244 9246 9200 0 -1 64 5148 0 0 0 123 3 0 0 16 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9256] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9257] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9257/stat : 9257 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9258] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9258/stat : 9258 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940939 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 1723108 [startup+1785.34 s] /proc/loadavg: 1.07 1.02 1.00 2/79 9453 /proc/meminfo: memFree=838568/2055888 swapFree=4085432/4096564 [pid=9246] ppid=9244 vsize=1723108 CPUtime=1799.48 /proc/9246/stat : 9246 (java) R 9244 9246 9200 0 -1 0 254165 0 1 0 179828 120 0 0 25 0 13 0 200940762 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071681399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9246/statm: 430777 171119 1910 14 0 417523 0 [pid=9246/tid=9247] ppid=9244 vsize=1723108 CPUtime=13.19 /proc/9246/task/9247/stat : 9247 (java) S 9244 9246 9200 0 -1 64 81935 0 0 0 1285 34 0 0 16 0 13 0 200940766 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9248] ppid=9244 vsize=1723108 CPUtime=13.18 /proc/9246/task/9248/stat : 9248 (java) S 9244 9246 9200 0 -1 64 82042 0 0 0 1283 35 0 0 17 0 13 0 200940766 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9249] ppid=9244 vsize=1723108 CPUtime=0.27 /proc/9246/task/9249/stat : 9249 (java) S 9244 9246 9200 0 -1 64 151 0 0 0 17 10 0 0 16 0 13 0 200940768 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9250] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9244 9246 9200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9251] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9252] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9253] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9253/stat : 9253 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9254] ppid=9244 vsize=1723108 CPUtime=1.24 /proc/9246/task/9254/stat : 9254 (java) S 9244 9246 9200 0 -1 64 3269 0 0 0 123 1 0 0 16 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9255] ppid=9244 vsize=1723108 CPUtime=1.26 /proc/9246/task/9255/stat : 9255 (java) S 9244 9246 9200 0 -1 64 5148 0 0 0 123 3 0 0 16 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9256] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9257] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9257/stat : 9257 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9258] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9258/stat : 9258 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940939 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.48 Current children cumulated vsize (Kb) 1723108 [startup+1786.35 s] /proc/loadavg: 1.07 1.02 1.00 2/79 9453 /proc/meminfo: memFree=838568/2055888 swapFree=4085432/4096564 [pid=9246] ppid=9244 vsize=1723108 CPUtime=1800.49 /proc/9246/stat : 9246 (java) R 9244 9246 9200 0 -1 0 254165 0 1 0 179929 120 0 0 25 0 13 0 200940762 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071642115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9246/statm: 430777 171119 1910 14 0 417523 0 [pid=9246/tid=9247] ppid=9244 vsize=1723108 CPUtime=13.19 /proc/9246/task/9247/stat : 9247 (java) S 9244 9246 9200 0 -1 64 81935 0 0 0 1285 34 0 0 16 0 13 0 200940766 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9248] ppid=9244 vsize=1723108 CPUtime=13.18 /proc/9246/task/9248/stat : 9248 (java) S 9244 9246 9200 0 -1 64 82042 0 0 0 1283 35 0 0 17 0 13 0 200940766 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9249] ppid=9244 vsize=1723108 CPUtime=0.27 /proc/9246/task/9249/stat : 9249 (java) S 9244 9246 9200 0 -1 64 151 0 0 0 17 10 0 0 16 0 13 0 200940768 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9250] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9244 9246 9200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9251] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9252] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9253] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9253/stat : 9253 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9254] ppid=9244 vsize=1723108 CPUtime=1.24 /proc/9246/task/9254/stat : 9254 (java) S 9244 9246 9200 0 -1 64 3269 0 0 0 123 1 0 0 16 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9255] ppid=9244 vsize=1723108 CPUtime=1.26 /proc/9246/task/9255/stat : 9255 (java) S 9244 9246 9200 0 -1 64 5148 0 0 0 123 3 0 0 16 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9256] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9257] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9257/stat : 9257 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9258] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9258/stat : 9258 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940939 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 1723108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.35 s] /proc/loadavg: 1.07 1.02 1.00 2/79 9453 /proc/meminfo: memFree=838568/2055888 swapFree=4085432/4096564 [pid=9246] ppid=9244 vsize=1723108 CPUtime=1800.49 /proc/9246/stat : 9246 (java) R 9244 9246 9200 0 -1 0 254165 0 1 0 179929 120 0 0 25 0 13 0 200940762 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071642300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9246/statm: 430777 171119 1910 14 0 417523 0 [pid=9246/tid=9247] ppid=9244 vsize=1723108 CPUtime=13.19 /proc/9246/task/9247/stat : 9247 (java) S 9244 9246 9200 0 -1 64 81935 0 0 0 1285 34 0 0 16 0 13 0 200940766 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9248] ppid=9244 vsize=1723108 CPUtime=13.18 /proc/9246/task/9248/stat : 9248 (java) S 9244 9246 9200 0 -1 64 82042 0 0 0 1283 35 0 0 17 0 13 0 200940766 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9249] ppid=9244 vsize=1723108 CPUtime=0.27 /proc/9246/task/9249/stat : 9249 (java) S 9244 9246 9200 0 -1 64 151 0 0 0 17 10 0 0 16 0 13 0 200940768 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9250] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9244 9246 9200 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9251] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940769 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9252] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9253] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9253/stat : 9253 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9254] ppid=9244 vsize=1723108 CPUtime=1.24 /proc/9246/task/9254/stat : 9254 (java) S 9244 9246 9200 0 -1 64 3269 0 0 0 123 1 0 0 16 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9255] ppid=9244 vsize=1723108 CPUtime=1.26 /proc/9246/task/9255/stat : 9255 (java) S 9244 9246 9200 0 -1 64 5148 0 0 0 123 3 0 0 16 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9256] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9244 9246 9200 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9246/tid=9257] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9257/stat : 9257 (java) S 9244 9246 9200 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200940772 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9246/tid=9258] ppid=9244 vsize=1723108 CPUtime=0 /proc/9246/task/9258/stat : 9258 (java) S 9244 9246 9200 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200940939 1764462592 171119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 1723108 Sending SIGTERM to -9246 Sleeping 2 seconds Child status: 143 Real time (s): 1786.52 CPU time (s): 1800.68 CPU user time (s): 1799.37 CPU system time (s): 1.3108 CPU usage (%): 100.793 Max. virtual memory (cumulated for all children) (Kb): 1723672
Begin job on node80 on Sat Jun 3 16:43:42 UTC 2006 FILE ID= 44021-1149353022 PBS_JOBID= 311100 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1cl.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node80/44021-1149353022/instance-44021-1149353022.opb 48015455 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node80/watcher-44021-1149353022 -o ROOT/results/node80/solver-44021-1149353022 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node80/44021-1149353022/instance-44021-1149353022.opb 48015455 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 1e246214338ba705536e85585a980117 RANDOM SEED= 48015455 /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.264 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.16 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.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1518296 kB Buffers: 20360 kB Cached: 453748 kB SwapCached: 2436 kB Active: 44648 kB Inactive: 438260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1518296 kB SwapTotal: 4096564 kB SwapFree: 4085432 kB Dirty: 160 kB Writeback: 0 kB Mapped: 16648 kB Slab: 41372 kB Committed_AS: 375632 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node80 on Sat Jun 3 17:13:29 UTC 2006