Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.73 | 1790.73 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-modszk1.opb |
MD5SUM | 73a69ec0478725312d0c26d36222113a |
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 | 48602 |
Total number of constraints | 686 |
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 | 686 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 600 |
Number of terms in the objective function | 29700 |
Biggest coefficient in the objective function | 197378980184064000 |
Number of bits for the biggest coefficient in the objective function | 58 |
Sum of the numbers in the objective function | 14554406665136992500 |
Number of bits of the sum of numbers in the objective function | 64 |
Biggest number in a constraint | 197378980184064000 |
Number of bits of the biggest number in a constraint | 58 |
Biggest sum of numbers in a constraint | 14554406665136992500 |
Number of bits of the biggest sum of numbers | 64 |
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-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.22 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node68/44674-1149311021/instance-44674-1149311021.opb 0.22 c reading problem ... 4.40 c ... done. Time 4.186 ms. 4.40 c #vars 48602 4.40 c #constraints 1367 1790.61 c starts : 9 1790.61 c conflicts : 5036 1790.61 c decisions : 23043 1790.61 c propagations : 184222 1790.61 c inspects : 7698225 1790.61 c learnt literals : 0 1790.61 c learnt binary clauses : 0 1790.61 c learnt ternary clauses : 0 1790.61 c learnt clauses : 5035 1790.61 c root simplifications : 0 1790.61 c removed literals (reason simplification) : 0 1790.61 c reason swapping (by a shorter reason) : 0 1790.61 c Calls to reduceDB : 0 1790.61 c speed (decisions/second) : 12.900939395313605 1790.61 c non guided choices 12394 1790.61 s UNKNOWN 1790.61 c Total wall clock time (ms): 1790.396
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/node68/watcher-44674-1149311021 -o ROOT/results/node68/solver-44674-1149311021 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node68/44674-1149311021/instance-44674-1149311021.opb 499255095 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.98 2/64 18866 /proc/meminfo: memFree=1609200/2055920 swapFree=4182316/4192956 [pid=18866] ppid=18864 vsize=292 CPUtime=0 /proc/18866/stat : 18866 (java) R 18864 18866 18820 0 -1 0 52 0 0 0 0 0 0 0 19 0 1 0 196771607 299008 35 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 10515236 0 0 4096 0 0 0 0 17 1 0 0 /proc/18866/statm: 73 35 27 14 0 5 0 [startup+10.0022 s] /proc/loadavg: 1.00 1.00 0.98 2/76 18878 /proc/meminfo: memFree=1413984/2055920 swapFree=4182316/4192956 [pid=18866] ppid=18864 vsize=1719796 CPUtime=11.91 /proc/18866/stat : 18866 (java) R 18864 18866 18820 0 -1 0 55349 0 1 0 1164 27 0 0 18 0 13 0 196771607 1761071104 50543 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071588136 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18866/statm: 429949 50543 1907 14 0 416696 0 [pid=18866/tid=18867] ppid=18864 vsize=1719796 CPUtime=0.34 /proc/18866/task/18867/stat : 18867 (java) S 18864 18866 18820 0 -1 64 6348 0 0 0 31 3 0 0 16 0 13 0 196771610 1761071104 50543 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18868] ppid=18864 vsize=1719796 CPUtime=0.33 /proc/18866/task/18868/stat : 18868 (java) S 18864 18866 18820 0 -1 64 5832 0 0 0 30 3 0 0 16 0 13 0 196771610 1761071104 50543 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18869] ppid=18864 vsize=1719796 CPUtime=0 /proc/18866/task/18869/stat : 18869 (java) S 18864 18866 18820 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 196771613 1761071104 50543 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18870] ppid=18864 vsize=1719796 CPUtime=0 /proc/18866/task/18870/stat : 18870 (java) S 18864 18866 18820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196771613 1761071104 50543 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18871] ppid=18864 vsize=1719796 CPUtime=0 /proc/18866/task/18871/stat : 18871 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196771613 1761071104 50543 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18872] ppid=18864 vsize=1719796 CPUtime=0 /proc/18866/task/18872/stat : 18872 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196771617 1761071104 50543 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18873] ppid=18864 vsize=1719796 CPUtime=0 /proc/18866/task/18873/stat : 18873 (java) S 18864 18866 18820 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 196771617 1761071104 50543 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18874] ppid=18864 vsize=1719796 CPUtime=0.95 /proc/18866/task/18874/stat : 18874 (java) S 18864 18866 18820 0 -1 64 1928 0 0 0 95 0 0 0 16 0 13 0 196771617 1761071104 50543 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18875] ppid=18864 vsize=1719796 CPUtime=1.03 /proc/18866/task/18875/stat : 18875 (java) S 18864 18866 18820 0 -1 64 4691 0 0 0 101 2 0 0 16 0 13 0 196771617 1761071104 50543 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18876] ppid=18864 vsize=1719796 CPUtime=0 /proc/18866/task/18876/stat : 18876 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196771617 1761071104 50543 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18877] ppid=18864 vsize=1719796 CPUtime=0 /proc/18866/task/18877/stat : 18877 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196771617 1761071104 50543 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18878] ppid=18864 vsize=1719796 CPUtime=0 /proc/18866/task/18878/stat : 18878 (java) S 18864 18866 18820 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 196772055 1761071104 50543 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.91 Current children cumulated vsize (Kb) 1719796 [startup+20.0089 s] /proc/loadavg: 1.00 1.00 0.98 2/76 18878 /proc/meminfo: memFree=1404256/2055920 swapFree=4182316/4192956 [pid=18866] ppid=18864 vsize=1718772 CPUtime=22.08 /proc/18866/stat : 18866 (java) R 18864 18866 18820 0 -1 0 58243 0 1 0 2180 28 0 0 25 0 13 0 196771607 1760022528 53075 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071623307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18866/statm: 429693 53075 1907 14 0 416440 0 [pid=18866/tid=18867] ppid=18864 vsize=1718772 CPUtime=0.48 /proc/18866/task/18867/stat : 18867 (java) S 18864 18866 18820 0 -1 64 7630 0 0 0 45 3 0 0 16 0 13 0 196771610 1760022528 53075 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18868] ppid=18864 vsize=1718772 CPUtime=0.49 /proc/18866/task/18868/stat : 18868 (java) S 18864 18866 18820 0 -1 64 7430 0 0 0 45 4 0 0 16 0 13 0 196771610 1760022528 53075 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18869] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18869/stat : 18869 (java) S 18864 18866 18820 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 53075 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18870] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18870/stat : 18870 (java) S 18864 18866 18820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 53075 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18871] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18871/stat : 18871 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 53075 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18872] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18872/stat : 18872 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196771617 1760022528 53075 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18873] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18873/stat : 18873 (java) S 18864 18866 18820 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196771617 1760022528 53075 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18874] ppid=18864 vsize=1718772 CPUtime=0.96 /proc/18866/task/18874/stat : 18874 (java) S 18864 18866 18820 0 -1 64 1929 0 0 0 96 0 0 0 17 0 13 0 196771617 1760022528 53075 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18875] ppid=18864 vsize=1718772 CPUtime=1.05 /proc/18866/task/18875/stat : 18875 (java) S 18864 18866 18820 0 -1 64 4693 0 0 0 103 2 0 0 17 0 13 0 196771617 1760022528 53075 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18876] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18876/stat : 18876 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196771617 1760022528 53075 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18877] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18877/stat : 18877 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196771617 1760022528 53075 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18878] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18878/stat : 18878 (java) S 18864 18866 18820 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 196772055 1760022528 53075 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 22.08 Current children cumulated vsize (Kb) 1718772 [startup+30.0157 s] /proc/loadavg: 1.00 1.00 0.98 2/76 18878 /proc/meminfo: memFree=1392608/2055920 swapFree=4182316/4192956 [pid=18866] ppid=18864 vsize=1718772 CPUtime=32.19 /proc/18866/stat : 18866 (java) R 18864 18866 18820 0 -1 0 61603 0 1 0 3189 30 0 0 25 0 13 0 196771607 1760022528 55986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071632287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18866/statm: 429693 55986 1908 14 0 416440 0 [pid=18866/tid=18867] ppid=18864 vsize=1718772 CPUtime=0.57 /proc/18866/task/18867/stat : 18867 (java) S 18864 18866 18820 0 -1 64 9392 0 0 0 53 4 0 0 16 0 13 0 196771610 1760022528 55986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18868] ppid=18864 vsize=1718772 CPUtime=0.57 /proc/18866/task/18868/stat : 18868 (java) S 18864 18866 18820 0 -1 64 9016 0 0 0 53 4 0 0 16 0 13 0 196771610 1760022528 55986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18869] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18869/stat : 18869 (java) S 18864 18866 18820 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 55986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18870] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18870/stat : 18870 (java) S 18864 18866 18820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 55986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18871] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18871/stat : 18871 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 55986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18872] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18872/stat : 18872 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196771617 1760022528 55986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18873] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18873/stat : 18873 (java) S 18864 18866 18820 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196771617 1760022528 55986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18874] ppid=18864 vsize=1718772 CPUtime=0.97 /proc/18866/task/18874/stat : 18874 (java) S 18864 18866 18820 0 -1 64 1930 0 0 0 97 0 0 0 16 0 13 0 196771617 1760022528 55986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18875] ppid=18864 vsize=1718772 CPUtime=1.06 /proc/18866/task/18875/stat : 18875 (java) S 18864 18866 18820 0 -1 64 4700 0 0 0 104 2 0 0 16 0 13 0 196771617 1760022528 55986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18876] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18876/stat : 18876 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196771617 1760022528 55986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18877] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18877/stat : 18877 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196771617 1760022528 55986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18878] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18878/stat : 18878 (java) S 18864 18866 18820 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 196772055 1760022528 55986 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) 1718772 [startup+40.0224 s] /proc/loadavg: 1.00 1.00 0.98 2/76 18878 /proc/meminfo: memFree=1391520/2055920 swapFree=4182316/4192956 [pid=18866] ppid=18864 vsize=1718772 CPUtime=42.19 /proc/18866/stat : 18866 (java) R 18864 18866 18820 0 -1 0 61909 0 1 0 4189 30 0 0 25 0 13 0 196771607 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071588116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18866/statm: 429693 56268 1908 14 0 416440 0 [pid=18866/tid=18867] ppid=18864 vsize=1718772 CPUtime=0.58 /proc/18866/task/18867/stat : 18867 (java) S 18864 18866 18820 0 -1 64 9578 0 0 0 54 4 0 0 16 0 13 0 196771610 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18868] ppid=18864 vsize=1718772 CPUtime=0.58 /proc/18866/task/18868/stat : 18868 (java) S 18864 18866 18820 0 -1 64 9133 0 0 0 53 5 0 0 16 0 13 0 196771610 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18869] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18869/stat : 18869 (java) S 18864 18866 18820 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18870] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18870/stat : 18870 (java) S 18864 18866 18820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18871] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18871/stat : 18871 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18872] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18872/stat : 18872 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196771617 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18873] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18873/stat : 18873 (java) S 18864 18866 18820 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196771617 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18874] ppid=18864 vsize=1718772 CPUtime=0.97 /proc/18866/task/18874/stat : 18874 (java) S 18864 18866 18820 0 -1 64 1930 0 0 0 97 0 0 0 17 0 13 0 196771617 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18875] ppid=18864 vsize=1718772 CPUtime=1.06 /proc/18866/task/18875/stat : 18875 (java) S 18864 18866 18820 0 -1 64 4700 0 0 0 104 2 0 0 16 0 13 0 196771617 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18876] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18876/stat : 18876 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196771617 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18877] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18877/stat : 18877 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196771617 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18878] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18878/stat : 18878 (java) S 18864 18866 18820 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196772055 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.19 Current children cumulated vsize (Kb) 1718772 [startup+50.0291 s] /proc/loadavg: 1.00 1.00 0.98 2/76 18878 /proc/meminfo: memFree=1391456/2055920 swapFree=4182316/4192956 [pid=18866] ppid=18864 vsize=1718772 CPUtime=52.2 /proc/18866/stat : 18866 (java) R 18864 18866 18820 0 -1 0 61909 0 1 0 5190 30 0 0 25 0 13 0 196771607 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071490654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18866/statm: 429693 56268 1908 14 0 416440 0 [pid=18866/tid=18867] ppid=18864 vsize=1718772 CPUtime=0.58 /proc/18866/task/18867/stat : 18867 (java) S 18864 18866 18820 0 -1 64 9578 0 0 0 54 4 0 0 16 0 13 0 196771610 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18868] ppid=18864 vsize=1718772 CPUtime=0.58 /proc/18866/task/18868/stat : 18868 (java) S 18864 18866 18820 0 -1 64 9133 0 0 0 53 5 0 0 16 0 13 0 196771610 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18869] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18869/stat : 18869 (java) S 18864 18866 18820 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18870] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18870/stat : 18870 (java) S 18864 18866 18820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18871] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18871/stat : 18871 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18872] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18872/stat : 18872 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196771617 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18873] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18873/stat : 18873 (java) S 18864 18866 18820 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196771617 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18874] ppid=18864 vsize=1718772 CPUtime=0.97 /proc/18866/task/18874/stat : 18874 (java) S 18864 18866 18820 0 -1 64 1930 0 0 0 97 0 0 0 17 0 13 0 196771617 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18875] ppid=18864 vsize=1718772 CPUtime=1.06 /proc/18866/task/18875/stat : 18875 (java) S 18864 18866 18820 0 -1 64 4700 0 0 0 104 2 0 0 16 0 13 0 196771617 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18876] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18876/stat : 18876 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196771617 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18877] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18877/stat : 18877 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196771617 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18878] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18878/stat : 18878 (java) S 18864 18866 18820 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196772055 1760022528 56268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.2 Current children cumulated vsize (Kb) 1718772 [startup+60.0358 s] /proc/loadavg: 1.00 1.00 0.98 2/76 18878 /proc/meminfo: memFree=1390240/2055920 swapFree=4182316/4192956 [pid=18866] ppid=18864 vsize=1718772 CPUtime=62.2 /proc/18866/stat : 18866 (java) R 18864 18866 18820 0 -1 0 62302 0 1 0 6190 30 0 0 25 0 13 0 196771607 1760022528 56601 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071588142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18866/statm: 429693 56601 1908 14 0 416440 0 [pid=18866/tid=18867] ppid=18864 vsize=1718772 CPUtime=0.58 /proc/18866/task/18867/stat : 18867 (java) S 18864 18866 18820 0 -1 64 9864 0 0 0 54 4 0 0 16 0 13 0 196771610 1760022528 56601 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18868] ppid=18864 vsize=1718772 CPUtime=0.59 /proc/18866/task/18868/stat : 18868 (java) S 18864 18866 18820 0 -1 64 9239 0 0 0 54 5 0 0 16 0 13 0 196771610 1760022528 56601 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18869] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18869/stat : 18869 (java) S 18864 18866 18820 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 56601 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18870] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18870/stat : 18870 (java) S 18864 18866 18820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 56601 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18871] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18871/stat : 18871 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 56601 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18872] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18872/stat : 18872 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196771617 1760022528 56601 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=18866/tid=18870] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18870/stat : 18870 (java) S 18864 18866 18820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 89281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18871] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18871/stat : 18871 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 89281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18872] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18872/stat : 18872 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196771617 1760022528 89281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18873] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18873/stat : 18873 (java) S 18864 18866 18820 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196771617 1760022528 89281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18874] ppid=18864 vsize=1718772 CPUtime=0.99 /proc/18866/task/18874/stat : 18874 (java) S 18864 18866 18820 0 -1 64 1931 0 0 0 99 0 0 0 17 0 13 0 196771617 1760022528 89281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18875] ppid=18864 vsize=1718772 CPUtime=1.09 /proc/18866/task/18875/stat : 18875 (java) S 18864 18866 18820 0 -1 64 4703 0 0 0 107 2 0 0 16 0 13 0 196771617 1760022528 89281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18876] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18876/stat : 18876 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196771617 1760022528 89281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18877] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18877/stat : 18877 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196771617 1760022528 89281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18878] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18878/stat : 18878 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196772055 1760022528 89281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 1718772 [startup+1787.59 s] /proc/loadavg: 1.00 1.00 1.00 2/76 18878 /proc/meminfo: memFree=1258592/2055920 swapFree=4182316/4192956 [pid=18866] ppid=18864 vsize=1718772 CPUtime=1797.58 /proc/18866/stat : 18866 (java) R 18864 18866 18820 0 -1 0 139085 0 1 0 179649 109 0 0 25 0 13 0 196771607 1760022528 89154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071623318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18866/statm: 429693 89154 1910 14 0 416440 0 [pid=18866/tid=18867] ppid=18864 vsize=1718772 CPUtime=9.36 /proc/18866/task/18867/stat : 18867 (java) S 18864 18866 18820 0 -1 64 42541 0 0 0 911 25 0 0 16 0 13 0 196771610 1760022528 89154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18868] ppid=18864 vsize=1718772 CPUtime=9.49 /proc/18866/task/18868/stat : 18868 (java) S 18864 18866 18820 0 -1 64 42624 0 0 0 918 31 0 0 17 0 13 0 196771610 1760022528 89154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18869] ppid=18864 vsize=1718772 CPUtime=0.39 /proc/18866/task/18869/stat : 18869 (java) S 18864 18866 18820 0 -1 64 70 0 0 0 21 18 0 0 17 0 13 0 196771613 1760022528 89154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18870] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18870/stat : 18870 (java) S 18864 18866 18820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 89154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18871] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18871/stat : 18871 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 89154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18872] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18872/stat : 18872 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196771617 1760022528 89154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18873] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18873/stat : 18873 (java) S 18864 18866 18820 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196771617 1760022528 89154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18874] ppid=18864 vsize=1718772 CPUtime=0.99 /proc/18866/task/18874/stat : 18874 (java) S 18864 18866 18820 0 -1 64 1931 0 0 0 99 0 0 0 17 0 13 0 196771617 1760022528 89154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18875] ppid=18864 vsize=1718772 CPUtime=1.09 /proc/18866/task/18875/stat : 18875 (java) S 18864 18866 18820 0 -1 64 4703 0 0 0 107 2 0 0 16 0 13 0 196771617 1760022528 89154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18876] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18876/stat : 18876 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196771617 1760022528 89154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18877] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18877/stat : 18877 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196771617 1760022528 89154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18878] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18878/stat : 18878 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196772055 1760022528 89154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 1718772 [startup+1788.59 s] /proc/loadavg: 1.00 1.00 1.00 2/76 18878 /proc/meminfo: memFree=1258080/2055920 swapFree=4182316/4192956 [pid=18866] ppid=18864 vsize=1718772 CPUtime=1798.59 /proc/18866/stat : 18866 (java) R 18864 18866 18820 0 -1 0 139247 0 1 0 179750 109 0 0 25 0 13 0 196771607 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071623856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18866/statm: 429693 89293 1910 14 0 416440 0 [pid=18866/tid=18867] ppid=18864 vsize=1718772 CPUtime=9.37 /proc/18866/task/18867/stat : 18867 (java) S 18864 18866 18820 0 -1 64 42677 0 0 0 912 25 0 0 16 0 13 0 196771610 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18868] ppid=18864 vsize=1718772 CPUtime=9.5 /proc/18866/task/18868/stat : 18868 (java) S 18864 18866 18820 0 -1 64 42649 0 0 0 919 31 0 0 16 0 13 0 196771610 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18869] ppid=18864 vsize=1718772 CPUtime=0.39 /proc/18866/task/18869/stat : 18869 (java) S 18864 18866 18820 0 -1 64 70 0 0 0 21 18 0 0 15 0 13 0 196771613 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18870] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18870/stat : 18870 (java) S 18864 18866 18820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18871] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18871/stat : 18871 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18872] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18872/stat : 18872 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196771617 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18873] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18873/stat : 18873 (java) S 18864 18866 18820 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196771617 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18874] ppid=18864 vsize=1718772 CPUtime=0.99 /proc/18866/task/18874/stat : 18874 (java) S 18864 18866 18820 0 -1 64 1931 0 0 0 99 0 0 0 17 0 13 0 196771617 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18875] ppid=18864 vsize=1718772 CPUtime=1.09 /proc/18866/task/18875/stat : 18875 (java) S 18864 18866 18820 0 -1 64 4703 0 0 0 107 2 0 0 16 0 13 0 196771617 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18876] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18876/stat : 18876 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196771617 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18877] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18877/stat : 18877 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196771617 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18878] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18878/stat : 18878 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196772055 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 1718772 [startup+1789.6 s] /proc/loadavg: 1.00 1.00 1.00 2/76 18878 /proc/meminfo: memFree=1258080/2055920 swapFree=4182316/4192956 [pid=18866] ppid=18864 vsize=1718772 CPUtime=1799.6 /proc/18866/stat : 18866 (java) R 18864 18866 18820 0 -1 0 139247 0 1 0 179851 109 0 0 25 0 13 0 196771607 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071587983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18866/statm: 429693 89293 1910 14 0 416440 0 [pid=18866/tid=18867] ppid=18864 vsize=1718772 CPUtime=9.37 /proc/18866/task/18867/stat : 18867 (java) S 18864 18866 18820 0 -1 64 42677 0 0 0 912 25 0 0 16 0 13 0 196771610 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18868] ppid=18864 vsize=1718772 CPUtime=9.5 /proc/18866/task/18868/stat : 18868 (java) S 18864 18866 18820 0 -1 64 42649 0 0 0 919 31 0 0 16 0 13 0 196771610 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18869] ppid=18864 vsize=1718772 CPUtime=0.39 /proc/18866/task/18869/stat : 18869 (java) S 18864 18866 18820 0 -1 64 70 0 0 0 21 18 0 0 16 0 13 0 196771613 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18870] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18870/stat : 18870 (java) S 18864 18866 18820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18871] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18871/stat : 18871 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18872] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18872/stat : 18872 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196771617 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18873] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18873/stat : 18873 (java) S 18864 18866 18820 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196771617 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18874] ppid=18864 vsize=1718772 CPUtime=0.99 /proc/18866/task/18874/stat : 18874 (java) S 18864 18866 18820 0 -1 64 1931 0 0 0 99 0 0 0 17 0 13 0 196771617 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18875] ppid=18864 vsize=1718772 CPUtime=1.09 /proc/18866/task/18875/stat : 18875 (java) S 18864 18866 18820 0 -1 64 4703 0 0 0 107 2 0 0 16 0 13 0 196771617 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18876] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18876/stat : 18876 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196771617 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18877] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18877/stat : 18877 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196771617 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18878] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18878/stat : 18878 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196772055 1760022528 89293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 1718772 [startup+1790.6 s] /proc/loadavg: 1.00 1.00 1.00 2/76 18878 /proc/meminfo: memFree=1258016/2055920 swapFree=4182316/4192956 [pid=18866] ppid=18864 vsize=1718772 CPUtime=1800.62 /proc/18866/stat : 18866 (java) R 18864 18866 18820 0 -1 0 139289 0 1 0 179953 109 0 0 20 0 13 0 196771607 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071587987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18866/statm: 429693 89270 1910 14 0 416440 0 [pid=18866/tid=18867] ppid=18864 vsize=1718772 CPUtime=9.38 /proc/18866/task/18867/stat : 18867 (java) S 18864 18866 18820 0 -1 64 42712 0 0 0 913 25 0 0 16 0 13 0 196771610 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18868] ppid=18864 vsize=1718772 CPUtime=9.51 /proc/18866/task/18868/stat : 18868 (java) S 18864 18866 18820 0 -1 64 42655 0 0 0 920 31 0 0 16 0 13 0 196771610 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18869] ppid=18864 vsize=1718772 CPUtime=0.39 /proc/18866/task/18869/stat : 18869 (java) S 18864 18866 18820 0 -1 64 70 0 0 0 21 18 0 0 16 0 13 0 196771613 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18870] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18870/stat : 18870 (java) S 18864 18866 18820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18871] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18871/stat : 18871 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18872] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18872/stat : 18872 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196771617 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18873] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18873/stat : 18873 (java) S 18864 18866 18820 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196771617 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18874] ppid=18864 vsize=1718772 CPUtime=0.99 /proc/18866/task/18874/stat : 18874 (java) S 18864 18866 18820 0 -1 64 1931 0 0 0 99 0 0 0 17 0 13 0 196771617 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18875] ppid=18864 vsize=1718772 CPUtime=1.09 /proc/18866/task/18875/stat : 18875 (java) S 18864 18866 18820 0 -1 64 4703 0 0 0 107 2 0 0 16 0 13 0 196771617 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18876] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18876/stat : 18876 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196771617 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18877] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18877/stat : 18877 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196771617 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18878] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18878/stat : 18878 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196772055 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 1718772 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1790.61 s] /proc/loadavg: 1.00 1.00 1.00 2/76 18878 /proc/meminfo: memFree=1258016/2055920 swapFree=4182316/4192956 [pid=18866] ppid=18864 vsize=1718772 CPUtime=1800.62 /proc/18866/stat : 18866 (java) R 18864 18866 18820 0 -1 0 139289 0 1 0 179953 109 0 0 20 0 13 0 196771607 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071623311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18866/statm: 429693 89270 1910 14 0 416440 0 [pid=18866/tid=18867] ppid=18864 vsize=1718772 CPUtime=9.38 /proc/18866/task/18867/stat : 18867 (java) S 18864 18866 18820 0 -1 64 42712 0 0 0 913 25 0 0 16 0 13 0 196771610 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18868] ppid=18864 vsize=1718772 CPUtime=9.51 /proc/18866/task/18868/stat : 18868 (java) S 18864 18866 18820 0 -1 64 42655 0 0 0 920 31 0 0 16 0 13 0 196771610 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18869] ppid=18864 vsize=1718772 CPUtime=0.39 /proc/18866/task/18869/stat : 18869 (java) S 18864 18866 18820 0 -1 64 70 0 0 0 21 18 0 0 16 0 13 0 196771613 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18870] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18870/stat : 18870 (java) S 18864 18866 18820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18871] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18871/stat : 18871 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196771613 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18872] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18872/stat : 18872 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196771617 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18873] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18873/stat : 18873 (java) S 18864 18866 18820 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196771617 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18874] ppid=18864 vsize=1718772 CPUtime=0.99 /proc/18866/task/18874/stat : 18874 (java) S 18864 18866 18820 0 -1 64 1931 0 0 0 99 0 0 0 17 0 13 0 196771617 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18866/tid=18875] ppid=18864 vsize=1718772 CPUtime=1.09 /proc/18866/task/18875/stat : 18875 (java) S 18864 18866 18820 0 -1 64 4703 0 0 0 107 2 0 0 16 0 13 0 196771617 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18876] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18876/stat : 18876 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196771617 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18877] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18877/stat : 18877 (java) S 18864 18866 18820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196771617 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18866/tid=18878] ppid=18864 vsize=1718772 CPUtime=0 /proc/18866/task/18878/stat : 18878 (java) S 18864 18866 18820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196772055 1760022528 89270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 1718772 Sending SIGTERM to -18866 Sleeping 2 seconds Child status: 143 Real time (s): 1790.73 CPU time (s): 1800.73 CPU user time (s): 1799.58 CPU system time (s): 1.15282 CPU usage (%): 100.559 Max. virtual memory (cumulated for all children) (Kb): 1719796
Begin job on node68 on Sat Jun 3 05:03:41 UTC 2006 FILE ID= 44674-1149311021 PBS_JOBID= 307970 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-modszk1.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node68/44674-1149311021/instance-44674-1149311021.opb 499255095 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-44674-1149311021 -o ROOT/results/node68/solver-44674-1149311021 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node68/44674-1149311021/instance-44674-1149311021.opb 499255095 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 73a69ec0478725312d0c26d36222113a RANDOM SEED= 499255095 /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.279 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.279 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1609408 kB Buffers: 27872 kB Cached: 350092 kB SwapCached: 2292 kB Active: 81332 kB Inactive: 305284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1609408 kB SwapTotal: 4192956 kB SwapFree: 4182316 kB Dirty: 188 kB Writeback: 0 kB Mapped: 15580 kB Slab: 45944 kB Committed_AS: 279988 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node68 on Sat Jun 3 05:33:32 UTC 2006