Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1801.05 | 1780.51 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-capri.opb |
MD5SUM | 045a73dda564043a5f702f829082d89b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7817 |
Total number of constraints | 402 |
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 | 402 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 647 |
Number of terms in the objective function | 580 |
Biggest coefficient in the objective function | 32953 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524724 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524837 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.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.16 c no version file found!!! 0.16 c sun.arch.data.model 32 0.16 c java.version 1.5.0_06 0.16 c os.name Linux 0.16 c os.version 2.6.9-22.EL.rootsmp 0.16 c os.arch i386 0.16 c Free memory 1548419056 0.16 c Max memory 1551040512 0.16 c Total memory 1551040512 0.16 c Number of processors 2 0.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.21 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node4/42490-1149329414/instance-42490-1149329414.opb 0.21 c reading problem ... 1.00 c ... done. Time 0.787 ms. 1.00 c #vars 7817 1.00 c #constraints 544 1780.36 c starts : 14 1780.36 c conflicts : 50442 1780.36 c decisions : 58911 1780.36 c propagations : 375020 1780.36 c inspects : 348615766 1780.36 c learnt literals : 0 1780.36 c learnt binary clauses : 0 1780.36 c learnt ternary clauses : 0 1780.36 c learnt clauses : 50442 1780.36 c root simplifications : 0 1780.36 c removed literals (reason simplification) : 0 1780.36 c reason swapping (by a shorter reason) : 0 1780.36 c Calls to reduceDB : 0 1780.37 c speed (decisions/second) : 33.10856682972448 1780.37 c non guided choices 0 1780.37 s UNKNOWN 1780.37 c Total wall clock time (ms): 1780.152
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/node4/watcher-42490-1149329414 -o ROOT/results/node4/solver-42490-1149329414 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node4/42490-1149329414/instance-42490-1149329414.opb 313529853 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.96 3/64 11593 /proc/meminfo: memFree=1830496/2055920 swapFree=4181420/4192956 [pid=11593] ppid=11591 vsize=1452 CPUtime=0 /proc/11593/stat : 11593 (java) R 11591 11593 11547 0 -1 0 105 0 0 0 0 0 0 0 19 0 1 0 198603321 1486848 77 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11593/statm: 365 89 69 14 0 10 0 [startup+10.0021 s] /proc/loadavg: 1.00 0.99 0.96 2/76 11605 /proc/meminfo: memFree=1654784/2055920 swapFree=4181420/4192956 [pid=11593] ppid=11591 vsize=1713060 CPUtime=11.4 /proc/11593/stat : 11593 (java) R 11591 11593 11547 0 -1 0 49364 0 1 0 1117 23 0 0 25 0 13 0 198603321 1754173440 45676 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071432286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11593/statm: 428265 45676 1905 14 0 415012 0 [pid=11593/tid=11594] ppid=11591 vsize=1713060 CPUtime=0.22 /proc/11593/task/11594/stat : 11594 (java) S 11591 11593 11547 0 -1 64 4813 0 0 0 20 2 0 0 16 0 13 0 198603325 1754173440 45676 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11595] ppid=11591 vsize=1713060 CPUtime=0.2 /proc/11593/task/11595/stat : 11595 (java) S 11591 11593 11547 0 -1 64 4029 0 0 0 19 1 0 0 16 0 13 0 198603325 1754173440 45676 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11596] ppid=11591 vsize=1713060 CPUtime=0 /proc/11593/task/11596/stat : 11596 (java) S 11591 11593 11547 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 198603328 1754173440 45676 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11597] ppid=11591 vsize=1713060 CPUtime=0 /proc/11593/task/11597/stat : 11597 (java) S 11591 11593 11547 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198603328 1754173440 45676 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11598] ppid=11591 vsize=1713060 CPUtime=0 /proc/11593/task/11598/stat : 11598 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603328 1754173440 45676 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11599] ppid=11591 vsize=1713060 CPUtime=0 /proc/11593/task/11599/stat : 11599 (java) S 11591 11593 11547 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198603332 1754173440 45676 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11600] ppid=11591 vsize=1713060 CPUtime=0 /proc/11593/task/11600/stat : 11600 (java) S 11591 11593 11547 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198603332 1754173440 45676 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11601] ppid=11591 vsize=1713060 CPUtime=0.92 /proc/11593/task/11601/stat : 11601 (java) S 11591 11593 11547 0 -1 64 991 0 0 0 92 0 0 0 16 0 13 0 198603332 1754173440 45676 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11602] ppid=11591 vsize=1713060 CPUtime=0.76 /proc/11593/task/11602/stat : 11602 (java) S 11591 11593 11547 0 -1 64 1497 0 0 0 76 0 0 0 17 0 13 0 198603332 1754173440 45676 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11603] ppid=11591 vsize=1713060 CPUtime=0 /proc/11593/task/11603/stat : 11603 (java) S 11591 11593 11547 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198603332 1754173440 45676 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11604] ppid=11591 vsize=1713060 CPUtime=0 /proc/11593/task/11604/stat : 11604 (java) S 11591 11593 11547 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198603332 1754173440 45676 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11605] ppid=11591 vsize=1713060 CPUtime=0 /proc/11593/task/11605/stat : 11605 (java) S 11591 11593 11547 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 198603430 1754173440 45676 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.4 Current children cumulated vsize (Kb) 1713060 [startup+20.009 s] /proc/loadavg: 1.00 0.99 0.96 2/76 11605 /proc/meminfo: memFree=1654208/2055920 swapFree=4181420/4192956 [pid=11593] ppid=11591 vsize=1712724 CPUtime=21.45 /proc/11593/stat : 11593 (java) R 11591 11593 11547 0 -1 0 50470 0 1 0 2121 24 0 0 18 0 13 0 198603321 1753829376 45782 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071500737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11593/statm: 428181 45782 1907 14 0 414928 0 [pid=11593/tid=11594] ppid=11591 vsize=1712724 CPUtime=0.25 /proc/11593/task/11594/stat : 11594 (java) S 11591 11593 11547 0 -1 64 5395 0 0 0 23 2 0 0 16 0 13 0 198603325 1753829376 45782 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11595] ppid=11591 vsize=1712724 CPUtime=0.23 /proc/11593/task/11595/stat : 11595 (java) S 11591 11593 11547 0 -1 64 4535 0 0 0 21 2 0 0 16 0 13 0 198603325 1753829376 45782 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11596] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11596/stat : 11596 (java) S 11591 11593 11547 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 45782 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11597] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11597/stat : 11597 (java) S 11591 11593 11547 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 45782 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11598] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11598/stat : 11598 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 45782 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11599] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11599/stat : 11599 (java) S 11591 11593 11547 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198603332 1753829376 45782 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11600] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11600/stat : 11600 (java) S 11591 11593 11547 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198603332 1753829376 45782 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11601] ppid=11591 vsize=1712724 CPUtime=0.93 /proc/11593/task/11601/stat : 11601 (java) S 11591 11593 11547 0 -1 64 991 0 0 0 93 0 0 0 16 0 13 0 198603332 1753829376 45782 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11602] ppid=11591 vsize=1712724 CPUtime=0.77 /proc/11593/task/11602/stat : 11602 (java) S 11591 11593 11547 0 -1 64 1499 0 0 0 77 0 0 0 16 0 13 0 198603332 1753829376 45782 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11603] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11603/stat : 11603 (java) S 11591 11593 11547 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198603332 1753829376 45782 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11604] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11604/stat : 11604 (java) S 11591 11593 11547 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198603332 1753829376 45782 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11605] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11605/stat : 11605 (java) S 11591 11593 11547 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 198603430 1753829376 45782 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.45 Current children cumulated vsize (Kb) 1712724 [startup+30.016 s] /proc/loadavg: 1.00 0.99 0.96 2/76 11605 /proc/meminfo: memFree=1660992/2055920 swapFree=4181420/4192956 [pid=11593] ppid=11591 vsize=1712724 CPUtime=31.49 /proc/11593/stat : 11593 (java) R 11591 11593 11547 0 -1 0 51418 0 1 0 3124 25 0 0 25 0 13 0 198603321 1753829376 44091 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071500966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11593/statm: 428181 44091 1907 14 0 414928 0 [pid=11593/tid=11594] ppid=11591 vsize=1712724 CPUtime=0.28 /proc/11593/task/11594/stat : 11594 (java) S 11591 11593 11547 0 -1 64 5890 0 0 0 26 2 0 0 16 0 13 0 198603325 1753829376 44091 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11595] ppid=11591 vsize=1712724 CPUtime=0.26 /proc/11593/task/11595/stat : 11595 (java) S 11591 11593 11547 0 -1 64 4978 0 0 0 24 2 0 0 16 0 13 0 198603325 1753829376 44091 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11596] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11596/stat : 11596 (java) S 11591 11593 11547 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 44091 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11597] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11597/stat : 11597 (java) S 11591 11593 11547 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 44091 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11598] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11598/stat : 11598 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 44091 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11599] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11599/stat : 11599 (java) S 11591 11593 11547 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198603332 1753829376 44091 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11600] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11600/stat : 11600 (java) S 11591 11593 11547 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198603332 1753829376 44091 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11601] ppid=11591 vsize=1712724 CPUtime=0.93 /proc/11593/task/11601/stat : 11601 (java) S 11591 11593 11547 0 -1 64 991 0 0 0 93 0 0 0 17 0 13 0 198603332 1753829376 44091 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11602] ppid=11591 vsize=1712724 CPUtime=0.77 /proc/11593/task/11602/stat : 11602 (java) S 11591 11593 11547 0 -1 64 1499 0 0 0 77 0 0 0 16 0 13 0 198603332 1753829376 44091 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11603] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11603/stat : 11603 (java) S 11591 11593 11547 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198603332 1753829376 44091 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11604] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11604/stat : 11604 (java) S 11591 11593 11547 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198603332 1753829376 44091 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11605] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11605/stat : 11605 (java) S 11591 11593 11547 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 198603430 1753829376 44091 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.49 Current children cumulated vsize (Kb) 1712724 [startup+40.023 s] /proc/loadavg: 1.00 0.99 0.96 2/76 11605 /proc/meminfo: memFree=1659072/2055920 swapFree=4181420/4192956 [pid=11593] ppid=11591 vsize=1712724 CPUtime=41.57 /proc/11593/stat : 11593 (java) R 11591 11593 11547 0 -1 0 53414 0 1 0 4131 26 0 0 25 0 13 0 198603321 1753829376 44571 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071524784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11593/statm: 428181 44571 1909 14 0 414928 0 [pid=11593/tid=11594] ppid=11591 vsize=1712724 CPUtime=0.33 /proc/11593/task/11594/stat : 11594 (java) S 11591 11593 11547 0 -1 64 6825 0 0 0 30 3 0 0 16 0 13 0 198603325 1753829376 44571 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11595] ppid=11591 vsize=1712724 CPUtime=0.31 /proc/11593/task/11595/stat : 11595 (java) S 11591 11593 11547 0 -1 64 6025 0 0 0 29 2 0 0 16 0 13 0 198603325 1753829376 44571 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11596] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11596/stat : 11596 (java) S 11591 11593 11547 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 44571 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11597] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11597/stat : 11597 (java) S 11591 11593 11547 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 44571 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11598] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11598/stat : 11598 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 44571 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11599] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11599/stat : 11599 (java) S 11591 11593 11547 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198603332 1753829376 44571 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11600] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11600/stat : 11600 (java) S 11591 11593 11547 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198603332 1753829376 44571 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11601] ppid=11591 vsize=1712724 CPUtime=0.94 /proc/11593/task/11601/stat : 11601 (java) S 11591 11593 11547 0 -1 64 992 0 0 0 94 0 0 0 17 0 13 0 198603332 1753829376 44571 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11602] ppid=11591 vsize=1712724 CPUtime=0.8 /proc/11593/task/11602/stat : 11602 (java) S 11591 11593 11547 0 -1 64 1501 0 0 0 80 0 0 0 17 0 13 0 198603332 1753829376 44571 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11603] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11603/stat : 11603 (java) S 11591 11593 11547 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198603332 1753829376 44571 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11604] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11604/stat : 11604 (java) S 11591 11593 11547 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198603332 1753829376 44571 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11605] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11605/stat : 11605 (java) S 11591 11593 11547 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198603430 1753829376 44571 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.57 Current children cumulated vsize (Kb) 1712724 [startup+50.0309 s] /proc/loadavg: 1.00 0.99 0.96 2/76 11605 /proc/meminfo: memFree=1660544/2055920 swapFree=4181420/4192956 [pid=11593] ppid=11591 vsize=1712724 CPUtime=51.63 /proc/11593/stat : 11593 (java) R 11591 11593 11547 0 -1 0 54438 0 1 0 5136 27 0 0 25 0 13 0 198603321 1753829376 44195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071524799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11593/statm: 428181 44195 1909 14 0 414928 0 [pid=11593/tid=11594] ppid=11591 vsize=1712724 CPUtime=0.36 /proc/11593/task/11594/stat : 11594 (java) S 11591 11593 11547 0 -1 64 7295 0 0 0 33 3 0 0 16 0 13 0 198603325 1753829376 44195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11595] ppid=11591 vsize=1712724 CPUtime=0.35 /proc/11593/task/11595/stat : 11595 (java) S 11591 11593 11547 0 -1 64 6571 0 0 0 32 3 0 0 16 0 13 0 198603325 1753829376 44195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11596] ppid=11591 vsize=1712724 CPUtime=0.01 /proc/11593/task/11596/stat : 11596 (java) S 11591 11593 11547 0 -1 64 33 0 0 0 0 1 0 0 16 0 13 0 198603328 1753829376 44195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11597] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11597/stat : 11597 (java) S 11591 11593 11547 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 44195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11598] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11598/stat : 11598 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 44195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11599] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11599/stat : 11599 (java) S 11591 11593 11547 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198603332 1753829376 44195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11600] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11600/stat : 11600 (java) S 11591 11593 11547 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198603332 1753829376 44195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11601] ppid=11591 vsize=1712724 CPUtime=0.95 /proc/11593/task/11601/stat : 11601 (java) S 11591 11593 11547 0 -1 64 993 0 0 0 95 0 0 0 16 0 13 0 198603332 1753829376 44195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11602] ppid=11591 vsize=1712724 CPUtime=0.82 /proc/11593/task/11602/stat : 11602 (java) S 11591 11593 11547 0 -1 64 1501 0 0 0 82 0 0 0 17 0 13 0 198603332 1753829376 44195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11603] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11603/stat : 11603 (java) S 11591 11593 11547 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198603332 1753829376 44195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11604] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11604/stat : 11604 (java) S 11591 11593 11547 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198603332 1753829376 44195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11605] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11605/stat : 11605 (java) S 11591 11593 11547 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198603430 1753829376 44195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.63 Current children cumulated vsize (Kb) 1712724 [startup+60.0369 s] /proc/loadavg: 1.00 0.99 0.96 2/76 11605 /proc/meminfo: memFree=1658304/2055920 swapFree=4181420/4192956 [pid=11593] ppid=11591 vsize=1712724 CPUtime=61.66 /proc/11593/stat : 11593 (java) R 11591 11593 11547 0 -1 0 55637 0 1 0 6139 27 0 0 25 0 13 0 198603321 1753829376 44758 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071552859 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11593/statm: 428181 44758 1909 14 0 414928 0 [pid=11593/tid=11594] ppid=11591 vsize=1712724 CPUtime=0.39 /proc/11593/task/11594/stat : 11594 (java) S 11591 11593 11547 0 -1 64 7950 0 0 0 36 3 0 0 16 0 13 0 198603325 1753829376 44758 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11595] ppid=11591 vsize=1712724 CPUtime=0.38 /proc/11593/task/11595/stat : 11595 (java) S 11591 11593 11547 0 -1 64 7110 0 0 0 35 3 0 0 16 0 13 0 198603325 1753829376 44758 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11596] ppid=11591 vsize=1712724 CPUtime=0.02 /proc/11593/task/11596/stat : 11596 (java) S 11591 11593 11547 0 -1 64 33 0 0 0 1 1 0 0 16 0 13 0 198603328 1753829376 44758 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11597] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11597/stat : 11597 (java) S 11591 11593 11547 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 44758 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11598] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11598/stat : 11598 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 44758 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11599] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11599/stat : 11599 (java) S 11591 11593 11547 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198603332 1753829376 44758 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=11593/tid=11597] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11597/stat : 11597 (java) S 11591 11593 11547 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 174759 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11598] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11598/stat : 11598 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 174759 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11599] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11599/stat : 11599 (java) S 11591 11593 11547 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198603332 1753829376 174759 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11600] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11600/stat : 11600 (java) S 11591 11593 11547 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198603332 1753829376 174759 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11601] ppid=11591 vsize=1712724 CPUtime=0.99 /proc/11593/task/11601/stat : 11601 (java) S 11591 11593 11547 0 -1 64 995 0 0 0 99 0 0 0 17 0 13 0 198603332 1753829376 174759 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11602] ppid=11591 vsize=1712724 CPUtime=0.84 /proc/11593/task/11602/stat : 11602 (java) S 11591 11593 11547 0 -1 64 1502 0 0 0 84 0 0 0 16 0 13 0 198603332 1753829376 174759 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11603] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11603/stat : 11603 (java) S 11591 11593 11547 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198603332 1753829376 174759 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11604] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11604/stat : 11604 (java) S 11591 11593 11547 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198603332 1753829376 174759 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11605] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11605/stat : 11605 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603430 1753829376 174759 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.8 Current children cumulated vsize (Kb) 1712724 [startup+1777.34 s] /proc/loadavg: 1.00 1.00 0.98 2/76 11607 /proc/meminfo: memFree=1135944/2055920 swapFree=4181420/4192956 [pid=11593] ppid=11591 vsize=1712724 CPUtime=1797.84 /proc/11593/stat : 11593 (java) R 11591 11593 11547 0 -1 0 236392 0 1 0 179651 133 0 0 22 0 13 0 198603321 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071527236 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11593/statm: 428181 174895 1909 14 0 414928 0 [pid=11593/tid=11594] ppid=11591 vsize=1712724 CPUtime=20.05 /proc/11593/task/11594/stat : 11594 (java) S 11591 11593 11547 0 -1 64 82302 0 0 0 1959 46 0 0 17 0 13 0 198603325 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11595] ppid=11591 vsize=1712724 CPUtime=19.97 /proc/11593/task/11595/stat : 11595 (java) S 11591 11593 11547 0 -1 64 77428 0 0 0 1960 37 0 0 16 0 13 0 198603325 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11596] ppid=11591 vsize=1712724 CPUtime=0.27 /proc/11593/task/11596/stat : 11596 (java) S 11591 11593 11547 0 -1 64 135 0 0 0 15 12 0 0 16 0 13 0 198603328 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11597] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11597/stat : 11597 (java) S 11591 11593 11547 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11598] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11598/stat : 11598 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11599] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11599/stat : 11599 (java) S 11591 11593 11547 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198603332 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11600] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11600/stat : 11600 (java) S 11591 11593 11547 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198603332 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11601] ppid=11591 vsize=1712724 CPUtime=0.99 /proc/11593/task/11601/stat : 11601 (java) S 11591 11593 11547 0 -1 64 995 0 0 0 99 0 0 0 17 0 13 0 198603332 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11602] ppid=11591 vsize=1712724 CPUtime=0.84 /proc/11593/task/11602/stat : 11602 (java) S 11591 11593 11547 0 -1 64 1502 0 0 0 84 0 0 0 16 0 13 0 198603332 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11603] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11603/stat : 11603 (java) S 11591 11593 11547 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198603332 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11604] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11604/stat : 11604 (java) S 11591 11593 11547 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198603332 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11605] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11605/stat : 11605 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603430 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (Kb) 1712724 [startup+1778.35 s] /proc/loadavg: 1.00 1.00 0.98 2/76 11607 /proc/meminfo: memFree=1135944/2055920 swapFree=4181420/4192956 [pid=11593] ppid=11591 vsize=1712724 CPUtime=1798.85 /proc/11593/stat : 11593 (java) R 11591 11593 11547 0 -1 0 236392 0 1 0 179752 133 0 0 25 0 13 0 198603321 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071547892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11593/statm: 428181 174895 1909 14 0 414928 0 [pid=11593/tid=11594] ppid=11591 vsize=1712724 CPUtime=20.05 /proc/11593/task/11594/stat : 11594 (java) S 11591 11593 11547 0 -1 64 82302 0 0 0 1959 46 0 0 17 0 13 0 198603325 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11595] ppid=11591 vsize=1712724 CPUtime=19.97 /proc/11593/task/11595/stat : 11595 (java) S 11591 11593 11547 0 -1 64 77428 0 0 0 1960 37 0 0 16 0 13 0 198603325 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11596] ppid=11591 vsize=1712724 CPUtime=0.27 /proc/11593/task/11596/stat : 11596 (java) S 11591 11593 11547 0 -1 64 135 0 0 0 15 12 0 0 16 0 13 0 198603328 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11597] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11597/stat : 11597 (java) S 11591 11593 11547 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11598] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11598/stat : 11598 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11599] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11599/stat : 11599 (java) S 11591 11593 11547 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198603332 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11600] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11600/stat : 11600 (java) S 11591 11593 11547 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198603332 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11601] ppid=11591 vsize=1712724 CPUtime=0.99 /proc/11593/task/11601/stat : 11601 (java) S 11591 11593 11547 0 -1 64 995 0 0 0 99 0 0 0 17 0 13 0 198603332 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11602] ppid=11591 vsize=1712724 CPUtime=0.84 /proc/11593/task/11602/stat : 11602 (java) S 11591 11593 11547 0 -1 64 1502 0 0 0 84 0 0 0 16 0 13 0 198603332 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11603] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11603/stat : 11603 (java) S 11591 11593 11547 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198603332 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11604] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11604/stat : 11604 (java) S 11591 11593 11547 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198603332 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11605] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11605/stat : 11605 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603430 1753829376 174895 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.85 Current children cumulated vsize (Kb) 1712724 [startup+1779.35 s] /proc/loadavg: 1.00 1.00 0.98 2/76 11607 /proc/meminfo: memFree=1135496/2055920 swapFree=4181420/4192956 [pid=11593] ppid=11591 vsize=1712724 CPUtime=1799.89 /proc/11593/stat : 11593 (java) R 11591 11593 11547 0 -1 0 236495 0 1 0 179856 133 0 0 25 0 13 0 198603321 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071509128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11593/statm: 428181 174997 1909 14 0 414928 0 [pid=11593/tid=11594] ppid=11591 vsize=1712724 CPUtime=20.1 /proc/11593/task/11594/stat : 11594 (java) S 11591 11593 11547 0 -1 64 82397 0 0 0 1964 46 0 0 16 0 13 0 198603325 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11595] ppid=11591 vsize=1712724 CPUtime=20.01 /proc/11593/task/11595/stat : 11595 (java) S 11591 11593 11547 0 -1 64 77435 0 0 0 1964 37 0 0 16 0 13 0 198603325 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11596] ppid=11591 vsize=1712724 CPUtime=0.27 /proc/11593/task/11596/stat : 11596 (java) S 11591 11593 11547 0 -1 64 135 0 0 0 15 12 0 0 15 0 13 0 198603328 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11597] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11597/stat : 11597 (java) S 11591 11593 11547 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11598] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11598/stat : 11598 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11599] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11599/stat : 11599 (java) S 11591 11593 11547 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11600] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11600/stat : 11600 (java) S 11591 11593 11547 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11601] ppid=11591 vsize=1712724 CPUtime=0.99 /proc/11593/task/11601/stat : 11601 (java) S 11591 11593 11547 0 -1 64 995 0 0 0 99 0 0 0 17 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11602] ppid=11591 vsize=1712724 CPUtime=0.84 /proc/11593/task/11602/stat : 11602 (java) S 11591 11593 11547 0 -1 64 1502 0 0 0 84 0 0 0 16 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11603] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11603/stat : 11603 (java) S 11591 11593 11547 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11604] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11604/stat : 11604 (java) S 11591 11593 11547 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11605] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11605/stat : 11605 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603430 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.89 Current children cumulated vsize (Kb) 1712724 [startup+1780.36 s] /proc/loadavg: 1.00 1.00 0.98 2/76 11607 /proc/meminfo: memFree=1135496/2055920 swapFree=4181420/4192956 [pid=11593] ppid=11591 vsize=1712724 CPUtime=1800.9 /proc/11593/stat : 11593 (java) R 11591 11593 11547 0 -1 0 236495 0 1 0 179957 133 0 0 25 0 13 0 198603321 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071104517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11593/statm: 428181 174997 1909 14 0 414928 0 [pid=11593/tid=11594] ppid=11591 vsize=1712724 CPUtime=20.1 /proc/11593/task/11594/stat : 11594 (java) S 11591 11593 11547 0 -1 64 82397 0 0 0 1964 46 0 0 16 0 13 0 198603325 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11595] ppid=11591 vsize=1712724 CPUtime=20.01 /proc/11593/task/11595/stat : 11595 (java) S 11591 11593 11547 0 -1 64 77435 0 0 0 1964 37 0 0 16 0 13 0 198603325 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11596] ppid=11591 vsize=1712724 CPUtime=0.27 /proc/11593/task/11596/stat : 11596 (java) S 11591 11593 11547 0 -1 64 135 0 0 0 15 12 0 0 16 0 13 0 198603328 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11597] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11597/stat : 11597 (java) S 11591 11593 11547 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11598] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11598/stat : 11598 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11599] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11599/stat : 11599 (java) S 11591 11593 11547 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11600] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11600/stat : 11600 (java) S 11591 11593 11547 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11601] ppid=11591 vsize=1712724 CPUtime=0.99 /proc/11593/task/11601/stat : 11601 (java) S 11591 11593 11547 0 -1 64 995 0 0 0 99 0 0 0 17 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11602] ppid=11591 vsize=1712724 CPUtime=0.84 /proc/11593/task/11602/stat : 11602 (java) S 11591 11593 11547 0 -1 64 1502 0 0 0 84 0 0 0 16 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11603] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11603/stat : 11603 (java) S 11591 11593 11547 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11604] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11604/stat : 11604 (java) S 11591 11593 11547 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11605] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11605/stat : 11605 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603430 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (Kb) 1712724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1780.36 s] /proc/loadavg: 1.00 1.00 0.98 2/76 11607 /proc/meminfo: memFree=1135496/2055920 swapFree=4181420/4192956 [pid=11593] ppid=11591 vsize=1712724 CPUtime=1800.9 /proc/11593/stat : 11593 (java) R 11591 11593 11547 0 -1 0 236495 0 1 0 179957 133 0 0 25 0 13 0 198603321 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071487545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11593/statm: 428181 174997 1909 14 0 414928 0 [pid=11593/tid=11594] ppid=11591 vsize=1712724 CPUtime=20.1 /proc/11593/task/11594/stat : 11594 (java) S 11591 11593 11547 0 -1 64 82397 0 0 0 1964 46 0 0 16 0 13 0 198603325 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11595] ppid=11591 vsize=1712724 CPUtime=20.01 /proc/11593/task/11595/stat : 11595 (java) S 11591 11593 11547 0 -1 64 77435 0 0 0 1964 37 0 0 16 0 13 0 198603325 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11596] ppid=11591 vsize=1712724 CPUtime=0.27 /proc/11593/task/11596/stat : 11596 (java) S 11591 11593 11547 0 -1 64 135 0 0 0 15 12 0 0 16 0 13 0 198603328 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11597] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11597/stat : 11597 (java) S 11591 11593 11547 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11598] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11598/stat : 11598 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603328 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11599] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11599/stat : 11599 (java) S 11591 11593 11547 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11600] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11600/stat : 11600 (java) S 11591 11593 11547 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11601] ppid=11591 vsize=1712724 CPUtime=0.99 /proc/11593/task/11601/stat : 11601 (java) S 11591 11593 11547 0 -1 64 995 0 0 0 99 0 0 0 17 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11593/tid=11602] ppid=11591 vsize=1712724 CPUtime=0.84 /proc/11593/task/11602/stat : 11602 (java) S 11591 11593 11547 0 -1 64 1502 0 0 0 84 0 0 0 16 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11603] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11603/stat : 11603 (java) S 11591 11593 11547 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11604] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11604/stat : 11604 (java) S 11591 11593 11547 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198603332 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11593/tid=11605] ppid=11591 vsize=1712724 CPUtime=0 /proc/11593/task/11605/stat : 11605 (java) S 11591 11593 11547 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198603430 1753829376 174997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (Kb) 1712724 Sending SIGTERM to -11593 Sleeping 2 seconds Child status: 143 Real time (s): 1780.51 CPU time (s): 1801.05 CPU user time (s): 1799.61 CPU system time (s): 1.43778 CPU usage (%): 101.154 Max. virtual memory (cumulated for all children) (Kb): 1713060
Begin job on node4 on Sat Jun 3 10:10:14 UTC 2006 FILE ID= 42490-1149329414 PBS_JOBID= 309784 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-capri.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node4/42490-1149329414/instance-42490-1149329414.opb 313529853 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-42490-1149329414 -o ROOT/results/node4/solver-42490-1149329414 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node4/42490-1149329414/instance-42490-1149329414.opb 313529853 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 045a73dda564043a5f702f829082d89b RANDOM SEED= 313529853 /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.236 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.236 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: 1830768 kB Buffers: 11124 kB Cached: 155100 kB SwapCached: 3164 kB Active: 26044 kB Inactive: 148792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1830768 kB SwapTotal: 4192956 kB SwapFree: 4181420 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14652 kB Slab: 36320 kB Committed_AS: 300800 kB PageTables: 1500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Sat Jun 3 10:39:55 UTC 2006