Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.12 | 1771.55 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-perold.opb |
MD5SUM | 1cb0147510c9838b4e6052b678a2a523 |
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 | 36286 |
Total number of constraints | 891 |
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 | 891 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 991 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 37450 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524454 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262399 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 525072 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-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.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.21 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 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/node10/43930-1149331461/instance-43930-1149331461.opb 0.21 c reading problem ... 2.92 c ... done. Time 2.713 ms. 2.92 c #vars 36286 2.92 c #constraints 1378 1771.44 c starts : 4 1771.44 c conflicts : 490 1771.44 c decisions : 14494 1771.44 c propagations : 59055 1771.44 c inspects : 1157345 1771.44 c learnt literals : 0 1771.44 c learnt binary clauses : 0 1771.44 c learnt ternary clauses : 0 1771.44 c learnt clauses : 489 1771.44 c root simplifications : 0 1771.44 c removed literals (reason simplification) : 0 1771.44 c reason swapping (by a shorter reason) : 0 1771.44 c Calls to reduceDB : 0 1771.44 c speed (decisions/second) : 8.195766519609561 1771.44 c non guided choices 219 1771.44 s UNKNOWN 1771.44 c Total wall clock time (ms): 1771.231
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/node10/watcher-43930-1149331461 -o ROOT/results/node10/solver-43930-1149331461 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node10/43930-1149331461/instance-43930-1149331461.opb 101912944 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.90 0.95 0.98 3/64 28935 /proc/meminfo: memFree=1592216/2055920 swapFree=4181412/4192956 [pid=28935] ppid=28933 vsize=1784 CPUtime=0 /proc/28935/stat : 28935 (java) D 28933 28935 28889 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 198808463 1826816 148 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/28935/statm: 446 148 113 14 0 91 0 [startup+10.0025 s] /proc/loadavg: 0.99 0.97 0.99 2/76 28947 /proc/meminfo: memFree=1377288/2055920 swapFree=4181412/4192956 [pid=28935] ppid=28933 vsize=1714608 CPUtime=11.81 /proc/28935/stat : 28935 (java) R 28933 28935 28889 0 -1 0 59776 0 1 0 1154 27 0 0 25 0 13 0 198808463 1755758592 55466 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071576463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28935/statm: 428652 55466 1908 14 0 415399 0 [pid=28935/tid=28936] ppid=28933 vsize=1714608 CPUtime=0.52 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28889 0 -1 64 9938 0 0 0 47 5 0 0 16 0 13 0 198808466 1755758592 55466 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1714608 CPUtime=0.52 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28889 0 -1 64 9415 0 0 0 48 4 0 0 16 0 13 0 198808466 1755758592 55466 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1714608 CPUtime=0 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28889 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 198808469 1755758592 55466 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1714608 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28889 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198808469 1755758592 55466 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1714608 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28889 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198808469 1755758592 55466 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1714608 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28889 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198808472 1755758592 55466 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1714608 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28889 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 198808472 1755758592 55466 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1714608 CPUtime=0.92 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28889 0 -1 64 2051 0 0 0 91 1 0 0 17 0 13 0 198808472 1755758592 55466 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1714608 CPUtime=0.82 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28889 0 -1 64 1797 0 0 0 82 0 0 0 17 0 13 0 198808472 1755758592 55466 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1714608 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28889 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198808472 1755758592 55466 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1714608 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28889 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198808472 1755758592 55466 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1714608 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28889 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 198808776 1755758592 55466 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.81 Current children cumulated vsize (Kb) 1714608 [startup+20.0109 s] /proc/loadavg: 0.99 0.97 0.99 2/76 28947 /proc/meminfo: memFree=1416456/2055920 swapFree=4181412/4192956 [pid=28935] ppid=28933 vsize=1713624 CPUtime=21.86 /proc/28935/stat : 28935 (java) R 28933 28935 28889 0 -1 0 60539 0 1 0 2157 29 0 0 25 0 13 0 198808463 1754750976 45672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071608782 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28935/statm: 428406 45672 1909 14 0 415153 0 [pid=28935/tid=28936] ppid=28933 vsize=1713624 CPUtime=0.55 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28889 0 -1 64 10437 0 0 0 50 5 0 0 16 0 13 0 198808466 1754750976 45672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1713624 CPUtime=0.55 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28889 0 -1 64 9656 0 0 0 51 4 0 0 16 0 13 0 198808466 1754750976 45672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1713624 CPUtime=0.01 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28889 0 -1 64 18 0 0 0 0 1 0 0 16 0 13 0 198808469 1754750976 45672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28889 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 45672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28889 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 45672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28889 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198808472 1754750976 45672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28889 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 198808472 1754750976 45672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1713624 CPUtime=0.94 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28889 0 -1 64 2054 0 0 0 93 1 0 0 17 0 13 0 198808472 1754750976 45672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1713624 CPUtime=0.82 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28889 0 -1 64 1797 0 0 0 82 0 0 0 16 0 13 0 198808472 1754750976 45672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28889 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198808472 1754750976 45672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28889 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198808472 1754750976 45672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28889 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 198808776 1754750976 45672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.86 Current children cumulated vsize (Kb) 1713624 [startup+30.0182 s] /proc/loadavg: 0.99 0.97 0.99 2/76 28947 /proc/meminfo: memFree=1439240/2055920 swapFree=4181412/4192956 [pid=28935] ppid=28933 vsize=1713624 CPUtime=31.9 /proc/28935/stat : 28935 (java) R 28933 28935 28889 0 -1 0 61214 0 1 0 3160 30 0 0 17 0 13 0 198808463 1754750976 39985 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071576324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28935/statm: 428406 39985 1909 14 0 415153 0 [pid=28935/tid=28936] ppid=28933 vsize=1713624 CPUtime=0.59 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28889 0 -1 64 10830 0 0 0 54 5 0 0 16 0 13 0 198808466 1754750976 39985 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1713624 CPUtime=0.59 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28889 0 -1 64 9919 0 0 0 55 4 0 0 15 0 13 0 198808466 1754750976 39985 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1713624 CPUtime=0.01 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28889 0 -1 64 18 0 0 0 0 1 0 0 16 0 13 0 198808469 1754750976 39985 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28889 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 39985 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28889 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 39985 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28889 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198808472 1754750976 39985 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28889 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 198808472 1754750976 39985 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1713624 CPUtime=0.94 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28889 0 -1 64 2054 0 0 0 93 1 0 0 17 0 13 0 198808472 1754750976 39985 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1713624 CPUtime=0.82 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28889 0 -1 64 1797 0 0 0 82 0 0 0 16 0 13 0 198808472 1754750976 39985 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28889 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198808472 1754750976 39985 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28889 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198808472 1754750976 39985 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28889 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 198808776 1754750976 39985 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.9 Current children cumulated vsize (Kb) 1713624 [startup+40.0256 s] /proc/loadavg: 0.99 0.97 0.99 2/76 28947 /proc/meminfo: memFree=1444552/2055920 swapFree=4181412/4192956 [pid=28935] ppid=28933 vsize=1713624 CPUtime=41.94 /proc/28935/stat : 28935 (java) R 28933 28935 28889 0 -1 0 61665 0 1 0 4163 31 0 0 25 0 13 0 198808463 1754750976 38648 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071576439 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28935/statm: 428406 38648 1909 14 0 415153 0 [pid=28935/tid=28936] ppid=28933 vsize=1713624 CPUtime=0.63 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28889 0 -1 64 10940 0 0 0 58 5 0 0 16 0 13 0 198808466 1754750976 38648 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1713624 CPUtime=0.62 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28889 0 -1 64 10246 0 0 0 58 4 0 0 15 0 13 0 198808466 1754750976 38648 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1713624 CPUtime=0.02 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28889 0 -1 64 18 0 0 0 0 2 0 0 16 0 13 0 198808469 1754750976 38648 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28889 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 38648 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28889 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 38648 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28889 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198808472 1754750976 38648 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28889 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 198808472 1754750976 38648 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1713624 CPUtime=0.94 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28889 0 -1 64 2054 0 0 0 93 1 0 0 17 0 13 0 198808472 1754750976 38648 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1713624 CPUtime=0.82 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28889 0 -1 64 1797 0 0 0 82 0 0 0 16 0 13 0 198808472 1754750976 38648 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28889 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198808472 1754750976 38648 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28889 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198808472 1754750976 38648 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28889 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198808776 1754750976 38648 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.94 Current children cumulated vsize (Kb) 1713624 [startup+50.033 s] /proc/loadavg: 0.99 0.97 0.99 2/76 28947 /proc/meminfo: memFree=1447112/2055920 swapFree=4181412/4192956 [pid=28935] ppid=28933 vsize=1713624 CPUtime=52.02 /proc/28935/stat : 28935 (java) R 28933 28935 28889 0 -1 0 62630 0 1 0 5170 32 0 0 20 0 13 0 198808463 1754750976 38021 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071593921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28935/statm: 428406 38021 1909 14 0 415153 0 [pid=28935/tid=28936] ppid=28933 vsize=1713624 CPUtime=0.69 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28889 0 -1 64 11237 0 0 0 63 6 0 0 15 0 13 0 198808466 1754750976 38021 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1713624 CPUtime=0.69 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28889 0 -1 64 10894 0 0 0 64 5 0 0 16 0 13 0 198808466 1754750976 38021 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1713624 CPUtime=0.03 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28889 0 -1 64 18 0 0 0 1 2 0 0 16 0 13 0 198808469 1754750976 38021 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28889 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 38021 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28889 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 38021 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28889 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198808472 1754750976 38021 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28889 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198808472 1754750976 38021 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1713624 CPUtime=0.94 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28889 0 -1 64 2054 0 0 0 93 1 0 0 17 0 13 0 198808472 1754750976 38021 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1713624 CPUtime=0.85 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28889 0 -1 64 1798 0 0 0 85 0 0 0 16 0 13 0 198808472 1754750976 38021 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28889 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198808472 1754750976 38021 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28889 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198808472 1754750976 38021 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28889 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198808776 1754750976 38021 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.02 Current children cumulated vsize (Kb) 1713624 [startup+60.0403 s] /proc/loadavg: 0.99 0.97 0.99 2/76 28947 /proc/meminfo: memFree=1449288/2055920 swapFree=4181412/4192956 [pid=28935] ppid=28933 vsize=1713624 CPUtime=62.09 /proc/28935/stat : 28935 (java) R 28933 28935 28889 0 -1 0 63352 0 1 0 6175 34 0 0 18 0 13 0 198808463 1754750976 37478 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071576453 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28935/statm: 428406 37478 1909 14 0 415153 0 [pid=28935/tid=28936] ppid=28933 vsize=1713624 CPUtime=0.76 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28889 0 -1 64 11812 0 0 0 69 7 0 0 16 0 13 0 198808466 1754750976 37478 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1713624 CPUtime=0.75 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28889 0 -1 64 11021 0 0 0 70 5 0 0 16 0 13 0 198808466 1754750976 37478 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1713624 CPUtime=0.03 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28889 0 -1 64 18 0 0 0 1 2 0 0 15 0 13 0 198808469 1754750976 37478 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28889 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 37478 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28889 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 37478 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28889 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198808472 1754750976 37478 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=28935/tid=28939] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28889 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28889 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28889 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28889 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1713624 CPUtime=0.97 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28889 0 -1 64 2057 0 0 0 96 1 0 0 16 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1713624 CPUtime=0.89 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28889 0 -1 64 1802 0 0 0 89 0 0 0 17 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28889 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28889 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28889 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 198808776 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1795.89 Current children cumulated vsize (Kb) 1713624 [startup+1768.41 s] /proc/loadavg: 1.00 1.00 1.00 2/76 29142 /proc/meminfo: memFree=902280/2055920 swapFree=4181412/4192956 [pid=28935] ppid=28933 vsize=1713624 CPUtime=1796.91 /proc/28935/stat : 28935 (java) R 28933 28935 28889 0 -1 0 259356 0 1 0 179303 388 0 0 25 0 13 0 198808463 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071426432 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28935/statm: 428406 173736 1909 14 0 415153 0 [pid=28935/tid=28936] ppid=28933 vsize=1713624 CPUtime=28.28 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28889 0 -1 64 91831 0 0 0 2642 186 0 0 16 0 13 0 198808466 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1713624 CPUtime=28.35 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28889 0 -1 64 84658 0 0 0 2702 133 0 0 17 0 13 0 198808466 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1713624 CPUtime=0.46 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28889 0 -1 64 142 0 0 0 25 21 0 0 15 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28889 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28889 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28889 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28889 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1713624 CPUtime=0.97 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28889 0 -1 64 2057 0 0 0 96 1 0 0 16 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1713624 CPUtime=0.89 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28889 0 -1 64 1802 0 0 0 89 0 0 0 17 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28889 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28889 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28889 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 198808776 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.91 Current children cumulated vsize (Kb) 1713624 [startup+1769.42 s] /proc/loadavg: 1.00 1.00 1.00 2/76 29142 /proc/meminfo: memFree=902216/2055920 swapFree=4181412/4192956 [pid=28935] ppid=28933 vsize=1713624 CPUtime=1797.94 /proc/28935/stat : 28935 (java) R 28933 28935 28889 0 -1 0 259357 0 1 0 179406 388 0 0 25 0 13 0 198808463 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071666068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28935/statm: 428406 173736 1909 14 0 415153 0 [pid=28935/tid=28936] ppid=28933 vsize=1713624 CPUtime=28.3 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28889 0 -1 64 91831 0 0 0 2644 186 0 0 16 0 13 0 198808466 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1713624 CPUtime=28.37 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28889 0 -1 64 84658 0 0 0 2704 133 0 0 16 0 13 0 198808466 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1713624 CPUtime=0.46 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28889 0 -1 64 142 0 0 0 25 21 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28889 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28889 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28889 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28889 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1713624 CPUtime=0.97 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28889 0 -1 64 2057 0 0 0 96 1 0 0 16 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1713624 CPUtime=0.89 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28889 0 -1 64 1802 0 0 0 89 0 0 0 17 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28889 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28889 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28889 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 198808776 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (Kb) 1713624 [startup+1770.43 s] /proc/loadavg: 1.00 1.00 1.00 2/76 29142 /proc/meminfo: memFree=902216/2055920 swapFree=4181412/4192956 [pid=28935] ppid=28933 vsize=1713624 CPUtime=1798.97 /proc/28935/stat : 28935 (java) R 28933 28935 28889 0 -1 0 259358 0 1 0 179508 389 0 0 25 0 13 0 198808463 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071426961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28935/statm: 428406 173736 1909 14 0 415153 0 [pid=28935/tid=28936] ppid=28933 vsize=1713624 CPUtime=28.33 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28889 0 -1 64 91831 0 0 0 2646 187 0 0 16 0 13 0 198808466 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1713624 CPUtime=28.4 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28889 0 -1 64 84658 0 0 0 2707 133 0 0 17 0 13 0 198808466 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1713624 CPUtime=0.46 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28889 0 -1 64 142 0 0 0 25 21 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28889 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28889 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28889 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28889 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1713624 CPUtime=0.97 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28889 0 -1 64 2057 0 0 0 96 1 0 0 16 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1713624 CPUtime=0.89 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28889 0 -1 64 1802 0 0 0 89 0 0 0 17 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28889 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28889 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28889 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 198808776 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.97 Current children cumulated vsize (Kb) 1713624 [startup+1771.43 s] /proc/loadavg: 1.00 1.00 1.00 2/76 29142 /proc/meminfo: memFree=902216/2055920 swapFree=4181412/4192956 [pid=28935] ppid=28933 vsize=1713624 CPUtime=1800 /proc/28935/stat : 28935 (java) R 28933 28935 28889 0 -1 0 259359 0 1 0 179611 389 0 0 24 0 13 0 198808463 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071666031 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28935/statm: 428406 173736 1909 14 0 415153 0 [pid=28935/tid=28936] ppid=28933 vsize=1713624 CPUtime=28.35 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28889 0 -1 64 91831 0 0 0 2648 187 0 0 16 0 13 0 198808466 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1713624 CPUtime=28.42 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28889 0 -1 64 84658 0 0 0 2709 133 0 0 16 0 13 0 198808466 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1713624 CPUtime=0.46 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28889 0 -1 64 142 0 0 0 25 21 0 0 15 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28889 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28889 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28889 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28889 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1713624 CPUtime=0.97 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28889 0 -1 64 2057 0 0 0 96 1 0 0 16 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1713624 CPUtime=0.89 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28889 0 -1 64 1802 0 0 0 89 0 0 0 17 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28889 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28889 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28889 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 198808776 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (Kb) 1713624 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1771.44 s] /proc/loadavg: 1.00 1.00 1.00 2/76 29142 /proc/meminfo: memFree=902216/2055920 swapFree=4181412/4192956 [pid=28935] ppid=28933 vsize=1713624 CPUtime=1800 /proc/28935/stat : 28935 (java) R 28933 28935 28889 0 -1 0 259359 0 1 0 179611 389 0 0 24 0 13 0 198808463 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071427062 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28935/statm: 428406 173736 1909 14 0 415153 0 [pid=28935/tid=28936] ppid=28933 vsize=1713624 CPUtime=28.35 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28889 0 -1 64 91831 0 0 0 2648 187 0 0 16 0 13 0 198808466 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1713624 CPUtime=28.42 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28889 0 -1 64 84658 0 0 0 2709 133 0 0 16 0 13 0 198808466 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1713624 CPUtime=0.46 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28889 0 -1 64 142 0 0 0 25 21 0 0 15 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28889 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28889 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198808469 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28889 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28889 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1713624 CPUtime=0.97 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28889 0 -1 64 2057 0 0 0 96 1 0 0 16 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1713624 CPUtime=0.89 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28889 0 -1 64 1802 0 0 0 89 0 0 0 17 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28889 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28889 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198808472 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1713624 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28889 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 198808776 1754750976 173736 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (Kb) 1713624 Sending SIGTERM to -28935 Sleeping 2 seconds Child status: 143 Real time (s): 1771.55 CPU time (s): 1800.12 CPU user time (s): 1796.13 CPU system time (s): 3.99639 CPU usage (%): 101.613 Max. virtual memory (cumulated for all children) (Kb): 1714608
Begin job on node10 on Sat Jun 3 10:44:21 UTC 2006 FILE ID= 43930-1149331461 PBS_JOBID= 309914 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-perold.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node10/43930-1149331461/instance-43930-1149331461.opb 101912944 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-43930-1149331461 -o ROOT/results/node10/solver-43930-1149331461 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node10/43930-1149331461/instance-43930-1149331461.opb 101912944 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 1cb0147510c9838b4e6052b678a2a523 RANDOM SEED= 101912944 /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: 1592424 kB Buffers: 27556 kB Cached: 362212 kB SwapCached: 3340 kB Active: 31064 kB Inactive: 367552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1592424 kB SwapTotal: 4192956 kB SwapFree: 4181412 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14932 kB Slab: 50924 kB Committed_AS: 338456 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node10 on Sat Jun 3 11:13:52 UTC 2006