Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.48 | 1786.38 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-shell.opb |
MD5SUM | 812fb8d8b2de50e0f82554fbb1bd21a5 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 45231 |
Total number of constraints | 653 |
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 | 653 |
Minimum length of a constraint | 19 |
Maximum length of a constraint | 1560 |
Number of terms in the objective function | 39844 |
Biggest coefficient in the objective function | 2101312749568 |
Number of bits for the biggest coefficient in the objective function | 41 |
Sum of the numbers in the objective function | 249967315526150 |
Number of bits of the sum of numbers in the objective function | 48 |
Biggest number in a constraint | 2101312749568 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 249967315526150 |
Number of bits of the biggest sum of numbers | 48 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.17 c no version file found!!! 0.17 c sun.arch.data.model 32 0.17 c java.version 1.5.0_06 0.17 c os.name Linux 0.17 c os.version 2.6.9-34.ELsmp 0.17 c os.arch i386 0.17 c Free memory 1548419056 0.17 c Max memory 1551040512 0.17 c Total memory 1551040512 0.17 c Number of processors 2 0.24 c Cutting planes based inference 0.24 c --- Begin Solver configuration --- 0.24 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.24 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.24 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.24 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.24 c VSIDS like heuristics from MiniSAT using a heap 0.24 c No reason simplification 0.24 c --- End Solver configuration --- 0.24 c solving ROOT/tmp/node90/43289-1149312890/instance-43289-1149312890.opb 0.24 c reading problem ... 3.80 c ... done. Time 3.564 ms. 3.80 c #vars 45231 3.80 c #constraints 1187 1786.31 c starts : 3 1786.31 c conflicts : 353 1786.31 c decisions : 66934 1786.31 c propagations : 197236 1786.31 c inspects : 537810 1786.31 c learnt literals : 0 1786.31 c learnt binary clauses : 0 1786.31 c learnt ternary clauses : 0 1786.31 c learnt clauses : 352 1786.31 c root simplifications : 0 1786.31 c removed literals (reason simplification) : 0 1786.31 c reason swapping (by a shorter reason) : 0 1786.31 c Calls to reduceDB : 0 1786.31 c speed (decisions/second) : 37.56059812786226 1786.31 c non guided choices 0 1786.31 s UNKNOWN 1786.31 c Total wall clock time (ms): 1786.075
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/node90/watcher-43289-1149312890 -o ROOT/results/node90/solver-43289-1149312890 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node90/43289-1149312890/instance-43289-1149312890.opb 579003495 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.80 0.95 0.96 2/67 21632 /proc/meminfo: memFree=1845616/2055888 swapFree=4085308/4096564 [pid=21632] ppid=21630 vsize=1788 CPUtime=0 /proc/21632/stat : 21632 (java) R 21630 21632 21586 0 -1 0 148 0 0 0 0 0 0 0 18 0 1 0 196927988 1830912 119 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 12855339 0 0 4096 0 0 0 0 17 1 0 0 /proc/21632/statm: 447 121 88 14 0 91 0 [startup+10.0026 s] /proc/loadavg: 0.90 0.96 0.97 2/79 21644 /proc/meminfo: memFree=1634456/2055888 swapFree=4085308/4096564 [pid=21632] ppid=21630 vsize=1713156 CPUtime=11.58 /proc/21632/stat : 21632 (java) R 21630 21632 21586 0 -1 0 57925 0 1 0 1131 27 0 0 25 0 13 0 196927988 1754271744 54508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071666000 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21632/statm: 428289 54508 1908 14 0 415035 0 [pid=21632/tid=21633] ppid=21630 vsize=1713156 CPUtime=0.48 /proc/21632/task/21633/stat : 21633 (java) S 21630 21632 21586 0 -1 64 8736 0 0 0 44 4 0 0 16 0 13 0 196927993 1754271744 54508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21634] ppid=21630 vsize=1713156 CPUtime=0.48 /proc/21632/task/21634/stat : 21634 (java) S 21630 21632 21586 0 -1 64 9320 0 0 0 44 4 0 0 17 0 13 0 196927993 1754271744 54508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21635] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21635/stat : 21635 (java) S 21630 21632 21586 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 196927996 1754271744 54508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21636] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21636/stat : 21636 (java) S 21630 21632 21586 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196927997 1754271744 54508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21637] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21637/stat : 21637 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196927997 1754271744 54508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21638] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21638/stat : 21638 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196928000 1754271744 54508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21639] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21639/stat : 21639 (java) S 21630 21632 21586 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196928000 1754271744 54508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21640] ppid=21630 vsize=1713156 CPUtime=0.89 /proc/21632/task/21640/stat : 21640 (java) S 21630 21632 21586 0 -1 64 1893 0 0 0 88 1 0 0 17 0 13 0 196928000 1754271744 54508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21641] ppid=21630 vsize=1713156 CPUtime=0.93 /proc/21632/task/21641/stat : 21641 (java) S 21630 21632 21586 0 -1 64 1440 0 0 0 93 0 0 0 17 0 13 0 196928000 1754271744 54508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21642] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21642/stat : 21642 (java) S 21630 21632 21586 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196928000 1754271744 54508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21643] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21643/stat : 21643 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196928000 1754271744 54508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21644] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21644/stat : 21644 (java) S 21630 21632 21586 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 196928423 1754271744 54508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.58 Current children cumulated vsize (Kb) 1713156 [startup+20.0097 s] /proc/loadavg: 0.92 0.96 0.97 2/79 21644 /proc/meminfo: memFree=1639256/2055888 swapFree=4085308/4096564 [pid=21632] ppid=21630 vsize=1713156 CPUtime=21.71 /proc/21632/stat : 21632 (java) R 21630 21632 21586 0 -1 0 58421 0 1 0 2143 28 0 0 25 0 13 0 196927988 1754271744 53323 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071674267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21632/statm: 428289 53323 1908 14 0 415035 0 [pid=21632/tid=21633] ppid=21630 vsize=1713156 CPUtime=0.51 /proc/21632/task/21633/stat : 21633 (java) S 21630 21632 21586 0 -1 64 9037 0 0 0 46 5 0 0 16 0 13 0 196927993 1754271744 53323 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21634] ppid=21630 vsize=1713156 CPUtime=0.5 /proc/21632/task/21634/stat : 21634 (java) S 21630 21632 21586 0 -1 64 9496 0 0 0 46 4 0 0 16 0 13 0 196927993 1754271744 53323 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21635] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21635/stat : 21635 (java) S 21630 21632 21586 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 196927996 1754271744 53323 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21636] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21636/stat : 21636 (java) S 21630 21632 21586 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196927997 1754271744 53323 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21637] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21637/stat : 21637 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196927997 1754271744 53323 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21638] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21638/stat : 21638 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196928000 1754271744 53323 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21639] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21639/stat : 21639 (java) S 21630 21632 21586 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196928000 1754271744 53323 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21640] ppid=21630 vsize=1713156 CPUtime=0.98 /proc/21632/task/21640/stat : 21640 (java) S 21630 21632 21586 0 -1 64 1899 0 0 0 97 1 0 0 16 0 13 0 196928000 1754271744 53323 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21641] ppid=21630 vsize=1713156 CPUtime=0.95 /proc/21632/task/21641/stat : 21641 (java) S 21630 21632 21586 0 -1 64 1441 0 0 0 95 0 0 0 16 0 13 0 196928000 1754271744 53323 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21642] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21642/stat : 21642 (java) S 21630 21632 21586 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196928000 1754271744 53323 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21643] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21643/stat : 21643 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196928000 1754271744 53323 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21644] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21644/stat : 21644 (java) S 21630 21632 21586 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 196928423 1754271744 53323 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.71 Current children cumulated vsize (Kb) 1713156 [startup+30.0158 s] /proc/loadavg: 0.93 0.97 0.97 2/79 21644 /proc/meminfo: memFree=1661592/2055888 swapFree=4085308/4096564 [pid=21632] ppid=21630 vsize=1713156 CPUtime=31.81 /proc/21632/stat : 21632 (java) R 21630 21632 21586 0 -1 0 59671 0 1 0 3152 29 0 0 16 0 13 0 196927988 1754271744 47791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071674263 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21632/statm: 428289 47791 1908 14 0 415035 0 [pid=21632/tid=21633] ppid=21630 vsize=1713156 CPUtime=0.56 /proc/21632/task/21633/stat : 21633 (java) S 21630 21632 21586 0 -1 64 9765 0 0 0 51 5 0 0 16 0 13 0 196927993 1754271744 47791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21634] ppid=21630 vsize=1713156 CPUtime=0.57 /proc/21632/task/21634/stat : 21634 (java) S 21630 21632 21586 0 -1 64 9983 0 0 0 52 5 0 0 16 0 13 0 196927993 1754271744 47791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21635] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21635/stat : 21635 (java) S 21630 21632 21586 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 196927996 1754271744 47791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21636] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21636/stat : 21636 (java) S 21630 21632 21586 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196927997 1754271744 47791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21637] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21637/stat : 21637 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196927997 1754271744 47791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21638] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21638/stat : 21638 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196928000 1754271744 47791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21639] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21639/stat : 21639 (java) S 21630 21632 21586 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196928000 1754271744 47791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21640] ppid=21630 vsize=1713156 CPUtime=1.02 /proc/21632/task/21640/stat : 21640 (java) S 21630 21632 21586 0 -1 64 1902 0 0 0 101 1 0 0 17 0 13 0 196928000 1754271744 47791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21641] ppid=21630 vsize=1713156 CPUtime=0.97 /proc/21632/task/21641/stat : 21641 (java) S 21630 21632 21586 0 -1 64 1443 0 0 0 97 0 0 0 16 0 13 0 196928000 1754271744 47791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21642] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21642/stat : 21642 (java) S 21630 21632 21586 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196928000 1754271744 47791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21643] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21643/stat : 21643 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196928000 1754271744 47791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21644] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21644/stat : 21644 (java) S 21630 21632 21586 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 196928423 1754271744 47791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.81 Current children cumulated vsize (Kb) 1713156 [startup+40.0219 s] /proc/loadavg: 0.94 0.97 0.97 2/79 21644 /proc/meminfo: memFree=1669912/2055888 swapFree=4085308/4096564 [pid=21632] ppid=21630 vsize=1713156 CPUtime=41.85 /proc/21632/stat : 21632 (java) R 21630 21632 21586 0 -1 0 60113 0 1 0 4155 30 0 0 17 0 13 0 196927988 1754271744 45666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071446128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21632/statm: 428289 45666 1908 14 0 415035 0 [pid=21632/tid=21633] ppid=21630 vsize=1713156 CPUtime=0.6 /proc/21632/task/21633/stat : 21633 (java) S 21630 21632 21586 0 -1 64 9980 0 0 0 55 5 0 0 15 0 13 0 196927993 1754271744 45666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21634] ppid=21630 vsize=1713156 CPUtime=0.6 /proc/21632/task/21634/stat : 21634 (java) S 21630 21632 21586 0 -1 64 10188 0 0 0 55 5 0 0 16 0 13 0 196927993 1754271744 45666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21635] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21635/stat : 21635 (java) S 21630 21632 21586 0 -1 64 31 0 0 0 0 0 0 0 15 0 13 0 196927996 1754271744 45666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21636] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21636/stat : 21636 (java) S 21630 21632 21586 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196927997 1754271744 45666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21637] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21637/stat : 21637 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196927997 1754271744 45666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21638] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21638/stat : 21638 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196928000 1754271744 45666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21639] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21639/stat : 21639 (java) S 21630 21632 21586 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196928000 1754271744 45666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21640] ppid=21630 vsize=1713156 CPUtime=1.02 /proc/21632/task/21640/stat : 21640 (java) S 21630 21632 21586 0 -1 64 1902 0 0 0 101 1 0 0 17 0 13 0 196928000 1754271744 45666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21641] ppid=21630 vsize=1713156 CPUtime=0.97 /proc/21632/task/21641/stat : 21641 (java) S 21630 21632 21586 0 -1 64 1443 0 0 0 97 0 0 0 16 0 13 0 196928000 1754271744 45666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21642] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21642/stat : 21642 (java) S 21630 21632 21586 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196928000 1754271744 45666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21643] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21643/stat : 21643 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196928000 1754271744 45666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21644] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21644/stat : 21644 (java) S 21630 21632 21586 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196928423 1754271744 45666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.85 Current children cumulated vsize (Kb) 1713156 [startup+50.0289 s] /proc/loadavg: 0.95 0.97 0.97 2/79 21644 /proc/meminfo: memFree=1680088/2055888 swapFree=4085308/4096564 [pid=21632] ppid=21630 vsize=1713156 CPUtime=51.9 /proc/21632/stat : 21632 (java) R 21630 21632 21586 0 -1 0 60839 0 1 0 5159 31 0 0 18 0 13 0 196927988 1754271744 43137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071674803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21632/statm: 428289 43137 1908 14 0 415035 0 [pid=21632/tid=21633] ppid=21630 vsize=1713156 CPUtime=0.66 /proc/21632/task/21633/stat : 21633 (java) S 21630 21632 21586 0 -1 64 10284 0 0 0 60 6 0 0 15 0 13 0 196927993 1754271744 43137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21634] ppid=21630 vsize=1713156 CPUtime=0.65 /proc/21632/task/21634/stat : 21634 (java) S 21630 21632 21586 0 -1 64 10585 0 0 0 60 5 0 0 16 0 13 0 196927993 1754271744 43137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21635] ppid=21630 vsize=1713156 CPUtime=0.02 /proc/21632/task/21635/stat : 21635 (java) S 21630 21632 21586 0 -1 64 32 0 0 0 1 1 0 0 15 0 13 0 196927996 1754271744 43137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21636] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21636/stat : 21636 (java) S 21630 21632 21586 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196927997 1754271744 43137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21637] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21637/stat : 21637 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196927997 1754271744 43137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21638] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21638/stat : 21638 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196928000 1754271744 43137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21639] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21639/stat : 21639 (java) S 21630 21632 21586 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196928000 1754271744 43137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21640] ppid=21630 vsize=1713156 CPUtime=1.02 /proc/21632/task/21640/stat : 21640 (java) S 21630 21632 21586 0 -1 64 1902 0 0 0 101 1 0 0 17 0 13 0 196928000 1754271744 43137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21641] ppid=21630 vsize=1713156 CPUtime=0.97 /proc/21632/task/21641/stat : 21641 (java) S 21630 21632 21586 0 -1 64 1443 0 0 0 97 0 0 0 16 0 13 0 196928000 1754271744 43137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21642] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21642/stat : 21642 (java) S 21630 21632 21586 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196928000 1754271744 43137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21643] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21643/stat : 21643 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196928000 1754271744 43137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21644] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21644/stat : 21644 (java) S 21630 21632 21586 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196928423 1754271744 43137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.9 Current children cumulated vsize (Kb) 1713156 [startup+60.036 s] /proc/loadavg: 0.95 0.97 0.97 2/79 21644 /proc/meminfo: memFree=1683480/2055888 swapFree=4085308/4096564 [pid=21632] ppid=21630 vsize=1713156 CPUtime=61.96 /proc/21632/stat : 21632 (java) R 21630 21632 21586 0 -1 0 61645 0 1 0 6164 32 0 0 22 0 13 0 196927988 1754271744 42256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071666781 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21632/statm: 428289 42256 1908 14 0 415035 0 [pid=21632/tid=21633] ppid=21630 vsize=1713156 CPUtime=0.71 /proc/21632/task/21633/stat : 21633 (java) S 21630 21632 21586 0 -1 64 10666 0 0 0 65 6 0 0 15 0 13 0 196927993 1754271744 42256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21634] ppid=21630 vsize=1713156 CPUtime=0.7 /proc/21632/task/21634/stat : 21634 (java) S 21630 21632 21586 0 -1 64 10993 0 0 0 65 5 0 0 16 0 13 0 196927993 1754271744 42256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21635] ppid=21630 vsize=1713156 CPUtime=0.02 /proc/21632/task/21635/stat : 21635 (java) S 21630 21632 21586 0 -1 64 32 0 0 0 1 1 0 0 16 0 13 0 196927996 1754271744 42256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21636] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21636/stat : 21636 (java) S 21630 21632 21586 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196927997 1754271744 42256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21637] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21637/stat : 21637 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196927997 1754271744 42256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21638] ppid=21630 vsize=1713156 CPUtime=0 /proc/21632/task/21638/stat : 21638 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196928000 1754271744 42256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=21632/tid=21636] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21636/stat : 21636 (java) S 21630 21632 21586 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196927997 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21637] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21637/stat : 21637 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196927997 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21638] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21638/stat : 21638 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21639] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21639/stat : 21639 (java) S 21630 21632 21586 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21640] ppid=21630 vsize=1714180 CPUtime=1.02 /proc/21632/task/21640/stat : 21640 (java) S 21630 21632 21586 0 -1 64 1902 0 0 0 101 1 0 0 16 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21641] ppid=21630 vsize=1714180 CPUtime=0.98 /proc/21632/task/21641/stat : 21641 (java) S 21630 21632 21586 0 -1 64 1443 0 0 0 98 0 0 0 17 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21642] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21642/stat : 21642 (java) S 21630 21632 21586 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21643] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21643/stat : 21643 (java) S 21630 21632 21586 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21644] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21644/stat : 21644 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196928423 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.35 Current children cumulated vsize (Kb) 1714180 [startup+1783.28 s] /proc/loadavg: 1.03 1.02 1.00 2/79 21841 /proc/meminfo: memFree=1538200/2055888 swapFree=4085308/4096564 [pid=21632] ppid=21630 vsize=1714180 CPUtime=1797.36 /proc/21632/stat : 21632 (java) R 21630 21632 21586 0 -1 0 155533 0 1 0 179394 342 0 0 25 0 13 0 196927988 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071692161 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21632/statm: 428545 78225 1908 14 0 415291 0 [pid=21632/tid=21633] ppid=21630 vsize=1714180 CPUtime=13.67 /proc/21632/task/21633/stat : 21633 (java) S 21630 21632 21586 0 -1 64 30635 0 0 0 1238 129 0 0 16 0 13 0 196927993 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21634] ppid=21630 vsize=1714180 CPUtime=13.66 /proc/21632/task/21634/stat : 21634 (java) S 21630 21632 21586 0 -1 64 28816 0 0 0 1237 129 0 0 15 0 13 0 196927993 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21635] ppid=21630 vsize=1714180 CPUtime=0.76 /proc/21632/task/21635/stat : 21635 (java) S 21630 21632 21586 0 -1 64 167 0 0 0 43 33 0 0 16 0 13 0 196927996 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21636] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21636/stat : 21636 (java) S 21630 21632 21586 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196927997 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21637] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21637/stat : 21637 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196927997 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21638] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21638/stat : 21638 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21639] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21639/stat : 21639 (java) S 21630 21632 21586 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21640] ppid=21630 vsize=1714180 CPUtime=1.02 /proc/21632/task/21640/stat : 21640 (java) S 21630 21632 21586 0 -1 64 1902 0 0 0 101 1 0 0 16 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21641] ppid=21630 vsize=1714180 CPUtime=0.98 /proc/21632/task/21641/stat : 21641 (java) S 21630 21632 21586 0 -1 64 1443 0 0 0 98 0 0 0 17 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21642] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21642/stat : 21642 (java) S 21630 21632 21586 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21643] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21643/stat : 21643 (java) S 21630 21632 21586 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21644] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21644/stat : 21644 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196928423 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.36 Current children cumulated vsize (Kb) 1714180 [startup+1784.29 s] /proc/loadavg: 1.02 1.02 1.00 2/79 21841 /proc/meminfo: memFree=1538200/2055888 swapFree=4085308/4096564 [pid=21632] ppid=21630 vsize=1714180 CPUtime=1798.37 /proc/21632/stat : 21632 (java) R 21630 21632 21586 0 -1 0 155535 0 1 0 179495 342 0 0 25 0 13 0 196927988 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071687875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21632/statm: 428545 78225 1908 14 0 415291 0 [pid=21632/tid=21633] ppid=21630 vsize=1714180 CPUtime=13.69 /proc/21632/task/21633/stat : 21633 (java) S 21630 21632 21586 0 -1 64 30635 0 0 0 1239 130 0 0 16 0 13 0 196927993 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21634] ppid=21630 vsize=1714180 CPUtime=13.66 /proc/21632/task/21634/stat : 21634 (java) S 21630 21632 21586 0 -1 64 28816 0 0 0 1237 129 0 0 16 0 13 0 196927993 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21635] ppid=21630 vsize=1714180 CPUtime=0.76 /proc/21632/task/21635/stat : 21635 (java) S 21630 21632 21586 0 -1 64 167 0 0 0 43 33 0 0 16 0 13 0 196927996 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21636] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21636/stat : 21636 (java) S 21630 21632 21586 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196927997 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21637] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21637/stat : 21637 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196927997 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21638] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21638/stat : 21638 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21639] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21639/stat : 21639 (java) S 21630 21632 21586 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21640] ppid=21630 vsize=1714180 CPUtime=1.02 /proc/21632/task/21640/stat : 21640 (java) S 21630 21632 21586 0 -1 64 1902 0 0 0 101 1 0 0 16 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21641] ppid=21630 vsize=1714180 CPUtime=0.98 /proc/21632/task/21641/stat : 21641 (java) S 21630 21632 21586 0 -1 64 1443 0 0 0 98 0 0 0 17 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21642] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21642/stat : 21642 (java) S 21630 21632 21586 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21643] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21643/stat : 21643 (java) S 21630 21632 21586 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21644] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21644/stat : 21644 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196928423 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.37 Current children cumulated vsize (Kb) 1714180 [startup+1785.29 s] /proc/loadavg: 1.02 1.02 1.00 2/79 21841 /proc/meminfo: memFree=1538200/2055888 swapFree=4085308/4096564 [pid=21632] ppid=21630 vsize=1714180 CPUtime=1799.39 /proc/21632/stat : 21632 (java) R 21630 21632 21586 0 -1 0 155537 0 1 0 179596 343 0 0 25 0 13 0 196927988 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071674829 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21632/statm: 428545 78225 1908 14 0 415291 0 [pid=21632/tid=21633] ppid=21630 vsize=1714180 CPUtime=13.7 /proc/21632/task/21633/stat : 21633 (java) S 21630 21632 21586 0 -1 64 30635 0 0 0 1240 130 0 0 16 0 13 0 196927993 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21634] ppid=21630 vsize=1714180 CPUtime=13.67 /proc/21632/task/21634/stat : 21634 (java) S 21630 21632 21586 0 -1 64 28816 0 0 0 1238 129 0 0 15 0 13 0 196927993 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21635] ppid=21630 vsize=1714180 CPUtime=0.76 /proc/21632/task/21635/stat : 21635 (java) S 21630 21632 21586 0 -1 64 167 0 0 0 43 33 0 0 15 0 13 0 196927996 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21636] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21636/stat : 21636 (java) S 21630 21632 21586 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196927997 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21637] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21637/stat : 21637 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196927997 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21638] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21638/stat : 21638 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21639] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21639/stat : 21639 (java) S 21630 21632 21586 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21640] ppid=21630 vsize=1714180 CPUtime=1.02 /proc/21632/task/21640/stat : 21640 (java) S 21630 21632 21586 0 -1 64 1902 0 0 0 101 1 0 0 16 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21641] ppid=21630 vsize=1714180 CPUtime=0.98 /proc/21632/task/21641/stat : 21641 (java) S 21630 21632 21586 0 -1 64 1443 0 0 0 98 0 0 0 17 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21642] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21642/stat : 21642 (java) S 21630 21632 21586 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21643] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21643/stat : 21643 (java) S 21630 21632 21586 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21644] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21644/stat : 21644 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196928423 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.39 Current children cumulated vsize (Kb) 1714180 [startup+1786.3 s] /proc/loadavg: 1.02 1.02 1.00 2/79 21841 /proc/meminfo: memFree=1538200/2055888 swapFree=4085308/4096564 [pid=21632] ppid=21630 vsize=1714180 CPUtime=1800.4 /proc/21632/stat : 21632 (java) R 21630 21632 21586 0 -1 0 155538 0 1 0 179697 343 0 0 25 0 13 0 196927988 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071692030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21632/statm: 428545 78225 1908 14 0 415291 0 [pid=21632/tid=21633] ppid=21630 vsize=1714180 CPUtime=13.71 /proc/21632/task/21633/stat : 21633 (java) S 21630 21632 21586 0 -1 64 30635 0 0 0 1241 130 0 0 16 0 13 0 196927993 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21634] ppid=21630 vsize=1714180 CPUtime=13.68 /proc/21632/task/21634/stat : 21634 (java) S 21630 21632 21586 0 -1 64 28816 0 0 0 1239 129 0 0 16 0 13 0 196927993 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21635] ppid=21630 vsize=1714180 CPUtime=0.76 /proc/21632/task/21635/stat : 21635 (java) S 21630 21632 21586 0 -1 64 167 0 0 0 43 33 0 0 15 0 13 0 196927996 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21636] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21636/stat : 21636 (java) S 21630 21632 21586 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196927997 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21637] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21637/stat : 21637 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196927997 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21638] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21638/stat : 21638 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21639] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21639/stat : 21639 (java) S 21630 21632 21586 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21640] ppid=21630 vsize=1714180 CPUtime=1.02 /proc/21632/task/21640/stat : 21640 (java) S 21630 21632 21586 0 -1 64 1902 0 0 0 101 1 0 0 16 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21641] ppid=21630 vsize=1714180 CPUtime=0.98 /proc/21632/task/21641/stat : 21641 (java) S 21630 21632 21586 0 -1 64 1443 0 0 0 98 0 0 0 17 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21642] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21642/stat : 21642 (java) S 21630 21632 21586 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21643] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21643/stat : 21643 (java) S 21630 21632 21586 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21644] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21644/stat : 21644 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196928423 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.4 Current children cumulated vsize (Kb) 1714180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.3 s] /proc/loadavg: 1.02 1.02 1.00 2/79 21841 /proc/meminfo: memFree=1538200/2055888 swapFree=4085308/4096564 [pid=21632] ppid=21630 vsize=1714180 CPUtime=1800.41 /proc/21632/stat : 21632 (java) R 21630 21632 21586 0 -1 0 155538 0 1 0 179698 343 0 0 25 0 13 0 196927988 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071691587 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21632/statm: 428545 78225 1908 14 0 415291 0 [pid=21632/tid=21633] ppid=21630 vsize=1714180 CPUtime=13.71 /proc/21632/task/21633/stat : 21633 (java) S 21630 21632 21586 0 -1 64 30635 0 0 0 1241 130 0 0 16 0 13 0 196927993 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21634] ppid=21630 vsize=1714180 CPUtime=13.68 /proc/21632/task/21634/stat : 21634 (java) S 21630 21632 21586 0 -1 64 28816 0 0 0 1239 129 0 0 16 0 13 0 196927993 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21635] ppid=21630 vsize=1714180 CPUtime=0.76 /proc/21632/task/21635/stat : 21635 (java) S 21630 21632 21586 0 -1 64 167 0 0 0 43 33 0 0 15 0 13 0 196927996 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21636] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21636/stat : 21636 (java) S 21630 21632 21586 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196927997 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21637] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21637/stat : 21637 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196927997 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21638] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21638/stat : 21638 (java) S 21630 21632 21586 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21639] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21639/stat : 21639 (java) S 21630 21632 21586 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21640] ppid=21630 vsize=1714180 CPUtime=1.02 /proc/21632/task/21640/stat : 21640 (java) S 21630 21632 21586 0 -1 64 1902 0 0 0 101 1 0 0 16 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21641] ppid=21630 vsize=1714180 CPUtime=0.98 /proc/21632/task/21641/stat : 21641 (java) S 21630 21632 21586 0 -1 64 1443 0 0 0 98 0 0 0 17 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21642] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21642/stat : 21642 (java) S 21630 21632 21586 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21632/tid=21643] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21643/stat : 21643 (java) S 21630 21632 21586 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196928000 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21632/tid=21644] ppid=21630 vsize=1714180 CPUtime=0 /proc/21632/task/21644/stat : 21644 (java) S 21630 21632 21586 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196928423 1755320320 78225 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 1714180 Sending SIGTERM to -21632 Sleeping 2 seconds Child status: 143 Real time (s): 1786.38 CPU time (s): 1800.48 CPU user time (s): 1797 CPU system time (s): 3.48147 CPU usage (%): 100.79 Max. virtual memory (cumulated for all children) (Kb): 1714180
Begin job on node90 on Sat Jun 3 05:34:50 UTC 2006 FILE ID= 43289-1149312890 PBS_JOBID= 308150 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node90/43289-1149312890/instance-43289-1149312890.opb 579003495 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node90/watcher-43289-1149312890 -o ROOT/results/node90/solver-43289-1149312890 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node90/43289-1149312890/instance-43289-1149312890.opb 579003495 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 812fb8d8b2de50e0f82554fbb1bd21a5 RANDOM SEED= 579003495 /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.227 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.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1845824 kB Buffers: 15972 kB Cached: 129764 kB SwapCached: 2436 kB Active: 24128 kB Inactive: 130284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1845824 kB SwapTotal: 4096564 kB SwapFree: 4085308 kB Dirty: 260 kB Writeback: 0 kB Mapped: 16060 kB Slab: 42436 kB Committed_AS: 350636 kB PageTables: 1268 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node90 on Sat Jun 3 06:04:37 UTC 2006