Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1801.04 | 1785.43 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-swath2.opb |
MD5SUM | 136e834aa135f130ab268d7e01dc474c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262226 |
Best CPU time to get the best result obtained on this benchmark | 19.758 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262226 |
Optimality of the best value was proved | YES |
Number of variables | 52335 |
Total number of constraints | 5202 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 193 |
Number of constraints which are nor clauses,nor cardinality constraints | 5009 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 49934 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 559784 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-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.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.20 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node3/42414-1149256984/instance-42414-1149256984.opb 0.20 c reading problem ... 9.61 c ... done. Time 9.408 ms. 9.61 c #vars 52335 9.61 c #constraints 5112 1785.34 c starts : 1 1785.34 c conflicts : 10 1785.34 c decisions : 57310 1785.34 c propagations : 131702 1785.34 c inspects : 514474 1785.34 c learnt literals : 0 1785.34 c learnt binary clauses : 0 1785.34 c learnt ternary clauses : 0 1785.34 c learnt clauses : 9 1785.34 c root simplifications : 0 1785.34 c removed literals (reason simplification) : 0 1785.34 c reason swapping (by a shorter reason) : 0 1785.34 c Calls to reduceDB : 0 1785.34 c speed (decisions/second) : 32.2751412143022 1785.34 c non guided choices 0 1785.34 s UNKNOWN 1785.34 c Total wall clock time (ms): 1785.137
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/node3/watcher-42414-1149256984 -o ROOT/results/node3/solver-42414-1149256984 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node3/42414-1149256984/instance-42414-1149256984.opb 781706039 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.97 3/64 14954 /proc/meminfo: memFree=1239136/2055920 swapFree=4181424/4192956 [pid=14954] ppid=14952 vsize=308 CPUtime=0 /proc/14954/stat : 14954 (java) R 14952 14954 14908 0 -1 0 55 0 0 0 0 0 0 0 19 0 1 0 191360113 315392 38 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 10929159 0 0 4096 0 0 0 0 17 1 0 0 /proc/14954/statm: 77 40 31 14 0 5 0 [startup+10.002 s] /proc/loadavg: 0.93 0.95 0.97 2/76 14966 /proc/meminfo: memFree=1006152/2055920 swapFree=4181424/4192956 [pid=14954] ppid=14952 vsize=1710908 CPUtime=11.23 /proc/14954/stat : 14954 (java) R 14952 14954 14908 0 -1 0 63386 0 1 0 1094 29 0 0 22 0 13 0 191360113 1751969792 59999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071401560 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14954/statm: 427727 59999 1902 14 0 414474 0 [pid=14954/tid=14955] ppid=14952 vsize=1710908 CPUtime=0.65 /proc/14954/task/14955/stat : 14955 (java) S 14952 14954 14908 0 -1 64 12244 0 0 0 60 5 0 0 16 0 13 0 191360116 1751969792 59999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14956] ppid=14952 vsize=1710908 CPUtime=0.65 /proc/14954/task/14956/stat : 14956 (java) S 14952 14954 14908 0 -1 64 10532 0 0 0 60 5 0 0 16 0 13 0 191360116 1751969792 59999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14957] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14957/stat : 14957 (java) S 14952 14954 14908 0 -1 64 28 0 0 0 0 0 0 0 17 0 13 0 191360119 1751969792 59999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14958] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14958/stat : 14958 (java) S 14952 14954 14908 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191360119 1751969792 59999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14959] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14959/stat : 14959 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191360119 1751969792 59999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14960] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14960/stat : 14960 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191360123 1751969792 59999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14961] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14961/stat : 14961 (java) S 14952 14954 14908 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 191360123 1751969792 59999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14962] ppid=14952 vsize=1710908 CPUtime=0.4 /proc/14954/task/14962/stat : 14962 (java) S 14952 14954 14908 0 -1 64 501 0 0 0 40 0 0 0 16 0 13 0 191360123 1751969792 59999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14963] ppid=14952 vsize=1710908 CPUtime=0.41 /proc/14954/task/14963/stat : 14963 (java) S 14952 14954 14908 0 -1 64 313 0 0 0 41 0 0 0 16 0 13 0 191360123 1751969792 59999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14964] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14964/stat : 14964 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 191360123 1751969792 59999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14965] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14965/stat : 14965 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191360123 1751969792 59999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14966] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14966/stat : 14966 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 191361093 1751969792 59999 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.23 Current children cumulated vsize (Kb) 1710908 [startup+20.0097 s] /proc/loadavg: 0.94 0.96 0.97 2/76 14966 /proc/meminfo: memFree=1005960/2055920 swapFree=4181424/4192956 [pid=14954] ppid=14952 vsize=1710908 CPUtime=21.31 /proc/14954/stat : 14954 (java) R 14952 14954 14908 0 -1 0 63821 0 1 0 2102 29 0 0 22 0 13 0 191360113 1751969792 60044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071544067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14954/statm: 427727 60044 1904 14 0 414474 0 [pid=14954/tid=14955] ppid=14952 vsize=1710908 CPUtime=0.67 /proc/14954/task/14955/stat : 14955 (java) S 14952 14954 14908 0 -1 64 12550 0 0 0 62 5 0 0 16 0 13 0 191360116 1751969792 60044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14956] ppid=14952 vsize=1710908 CPUtime=0.66 /proc/14954/task/14956/stat : 14956 (java) S 14952 14954 14908 0 -1 64 10642 0 0 0 61 5 0 0 16 0 13 0 191360116 1751969792 60044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14957] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14957/stat : 14957 (java) S 14952 14954 14908 0 -1 64 28 0 0 0 0 0 0 0 15 0 13 0 191360119 1751969792 60044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14958] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14958/stat : 14958 (java) S 14952 14954 14908 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191360119 1751969792 60044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14959] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14959/stat : 14959 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191360119 1751969792 60044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14960] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14960/stat : 14960 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191360123 1751969792 60044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14961] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14961/stat : 14961 (java) S 14952 14954 14908 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 191360123 1751969792 60044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14962] ppid=14952 vsize=1710908 CPUtime=0.44 /proc/14954/task/14962/stat : 14962 (java) S 14952 14954 14908 0 -1 64 505 0 0 0 44 0 0 0 17 0 13 0 191360123 1751969792 60044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14963] ppid=14952 vsize=1710908 CPUtime=0.43 /proc/14954/task/14963/stat : 14963 (java) S 14952 14954 14908 0 -1 64 314 0 0 0 43 0 0 0 16 0 13 0 191360123 1751969792 60044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14964] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14964/stat : 14964 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 191360123 1751969792 60044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14965] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14965/stat : 14965 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191360123 1751969792 60044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14966] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14966/stat : 14966 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 191361093 1751969792 60044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.31 Current children cumulated vsize (Kb) 1710908 [startup+30.0163 s] /proc/loadavg: 0.95 0.96 0.97 2/76 14966 /proc/meminfo: memFree=1006856/2055920 swapFree=4181424/4192956 [pid=14954] ppid=14952 vsize=1710908 CPUtime=31.57 /proc/14954/stat : 14954 (java) R 14952 14954 14908 0 -1 0 65486 0 1 0 3125 32 0 0 25 0 13 0 191360113 1751969792 59839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071544113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14954/statm: 427727 59839 1904 14 0 414474 0 [pid=14954/tid=14955] ppid=14952 vsize=1710908 CPUtime=0.86 /proc/14954/task/14955/stat : 14955 (java) S 14952 14954 14908 0 -1 64 13264 0 0 0 80 6 0 0 16 0 13 0 191360116 1751969792 59839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14956] ppid=14952 vsize=1710908 CPUtime=0.85 /proc/14954/task/14956/stat : 14956 (java) S 14952 14954 14908 0 -1 64 11399 0 0 0 79 6 0 0 16 0 13 0 191360116 1751969792 59839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14957] ppid=14952 vsize=1710908 CPUtime=0.01 /proc/14954/task/14957/stat : 14957 (java) S 14952 14954 14908 0 -1 64 34 0 0 0 1 0 0 0 15 0 13 0 191360119 1751969792 59839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14958] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14958/stat : 14958 (java) S 14952 14954 14908 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191360119 1751969792 59839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14959] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14959/stat : 14959 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191360119 1751969792 59839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14960] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14960/stat : 14960 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191360123 1751969792 59839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14961] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14961/stat : 14961 (java) S 14952 14954 14908 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 191360123 1751969792 59839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14962] ppid=14952 vsize=1710908 CPUtime=0.49 /proc/14954/task/14962/stat : 14962 (java) S 14952 14954 14908 0 -1 64 508 0 0 0 49 0 0 0 16 0 13 0 191360123 1751969792 59839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14963] ppid=14952 vsize=1710908 CPUtime=0.48 /proc/14954/task/14963/stat : 14963 (java) S 14952 14954 14908 0 -1 64 316 0 0 0 48 0 0 0 17 0 13 0 191360123 1751969792 59839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14964] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14964/stat : 14964 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 191360123 1751969792 59839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14965] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14965/stat : 14965 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191360123 1751969792 59839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14966] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14966/stat : 14966 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 191361093 1751969792 59839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.57 Current children cumulated vsize (Kb) 1710908 [startup+40.0229 s] /proc/loadavg: 0.95 0.96 0.97 2/76 14966 /proc/meminfo: memFree=999368/2055920 swapFree=4181424/4192956 [pid=14954] ppid=14952 vsize=1710908 CPUtime=41.64 /proc/14954/stat : 14954 (java) R 14952 14954 14908 0 -1 0 70590 0 1 0 4129 35 0 0 25 0 13 0 191360113 1751969792 61702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071432740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14954/statm: 427727 61702 1904 14 0 414474 0 [pid=14954/tid=14955] ppid=14952 vsize=1710908 CPUtime=0.92 /proc/14954/task/14955/stat : 14955 (java) S 14952 14954 14908 0 -1 64 13283 0 0 0 86 6 0 0 17 0 13 0 191360116 1751969792 61702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14956] ppid=14952 vsize=1710908 CPUtime=0.91 /proc/14954/task/14956/stat : 14956 (java) S 14952 14954 14908 0 -1 64 11428 0 0 0 84 7 0 0 17 0 13 0 191360116 1751969792 61702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14957] ppid=14952 vsize=1710908 CPUtime=0.02 /proc/14954/task/14957/stat : 14957 (java) S 14952 14954 14908 0 -1 64 59 0 0 0 1 1 0 0 16 0 13 0 191360119 1751969792 61702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14958] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14958/stat : 14958 (java) S 14952 14954 14908 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191360119 1751969792 61702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14959] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14959/stat : 14959 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191360119 1751969792 61702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14960] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14960/stat : 14960 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191360123 1751969792 61702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14961] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14961/stat : 14961 (java) S 14952 14954 14908 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 191360123 1751969792 61702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14962] ppid=14952 vsize=1710908 CPUtime=0.49 /proc/14954/task/14962/stat : 14962 (java) S 14952 14954 14908 0 -1 64 508 0 0 0 49 0 0 0 17 0 13 0 191360123 1751969792 61702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14963] ppid=14952 vsize=1710908 CPUtime=0.5 /proc/14954/task/14963/stat : 14963 (java) S 14952 14954 14908 0 -1 64 318 0 0 0 50 0 0 0 16 0 13 0 191360123 1751969792 61702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14964] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14964/stat : 14964 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 191360123 1751969792 61702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14965] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14965/stat : 14965 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191360123 1751969792 61702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14966] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14966/stat : 14966 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191361093 1751969792 61702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.64 Current children cumulated vsize (Kb) 1710908 [startup+50.0296 s] /proc/loadavg: 0.96 0.96 0.97 2/76 14966 /proc/meminfo: memFree=999688/2055920 swapFree=4181424/4192956 [pid=14954] ppid=14952 vsize=1710908 CPUtime=51.73 /proc/14954/stat : 14954 (java) R 14952 14954 14908 0 -1 0 70678 0 1 0 5137 36 0 0 17 0 13 0 191360113 1751969792 61639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071544090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14954/statm: 427727 61639 1904 14 0 414474 0 [pid=14954/tid=14955] ppid=14952 vsize=1710908 CPUtime=1 /proc/14954/task/14955/stat : 14955 (java) S 14952 14954 14908 0 -1 64 13309 0 0 0 93 7 0 0 16 0 13 0 191360116 1751969792 61639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14956] ppid=14952 vsize=1710908 CPUtime=0.98 /proc/14954/task/14956/stat : 14956 (java) S 14952 14954 14908 0 -1 64 11445 0 0 0 90 8 0 0 16 0 13 0 191360116 1751969792 61639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14957] ppid=14952 vsize=1710908 CPUtime=0.03 /proc/14954/task/14957/stat : 14957 (java) S 14952 14954 14908 0 -1 64 64 0 0 0 2 1 0 0 16 0 13 0 191360119 1751969792 61639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14958] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14958/stat : 14958 (java) S 14952 14954 14908 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191360119 1751969792 61639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14959] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14959/stat : 14959 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191360119 1751969792 61639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14960] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14960/stat : 14960 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191360123 1751969792 61639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14961] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14961/stat : 14961 (java) S 14952 14954 14908 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 191360123 1751969792 61639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14962] ppid=14952 vsize=1710908 CPUtime=0.52 /proc/14954/task/14962/stat : 14962 (java) S 14952 14954 14908 0 -1 64 509 0 0 0 52 0 0 0 17 0 13 0 191360123 1751969792 61639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14963] ppid=14952 vsize=1710908 CPUtime=0.5 /proc/14954/task/14963/stat : 14963 (java) S 14952 14954 14908 0 -1 64 318 0 0 0 50 0 0 0 16 0 13 0 191360123 1751969792 61639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14964] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14964/stat : 14964 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 191360123 1751969792 61639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14965] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14965/stat : 14965 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191360123 1751969792 61639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14966] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14966/stat : 14966 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191361093 1751969792 61639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.73 Current children cumulated vsize (Kb) 1710908 [startup+60.0362 s] /proc/loadavg: 0.97 0.96 0.97 2/76 14966 /proc/meminfo: memFree=999624/2055920 swapFree=4181424/4192956 [pid=14954] ppid=14952 vsize=1710908 CPUtime=61.8 /proc/14954/stat : 14954 (java) R 14952 14954 14908 0 -1 0 70778 0 1 0 6142 38 0 0 16 0 13 0 191360113 1751969792 61693 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071432749 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14954/statm: 427727 61693 1904 14 0 414474 0 [pid=14954/tid=14955] ppid=14952 vsize=1710908 CPUtime=1.07 /proc/14954/task/14955/stat : 14955 (java) S 14952 14954 14908 0 -1 64 13331 0 0 0 100 7 0 0 15 0 13 0 191360116 1751969792 61693 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14956] ppid=14952 vsize=1710908 CPUtime=1.06 /proc/14954/task/14956/stat : 14956 (java) S 14952 14954 14908 0 -1 64 11476 0 0 0 97 9 0 0 16 0 13 0 191360116 1751969792 61693 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14957] ppid=14952 vsize=1710908 CPUtime=0.04 /proc/14954/task/14957/stat : 14957 (java) S 14952 14954 14908 0 -1 64 65 0 0 0 2 2 0 0 15 0 13 0 191360119 1751969792 61693 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14958] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14958/stat : 14958 (java) S 14952 14954 14908 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191360119 1751969792 61693 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14959] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14959/stat : 14959 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191360119 1751969792 61693 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14960] ppid=14952 vsize=1710908 CPUtime=0 /proc/14954/task/14960/stat : 14960 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191360123 1751969792 61693 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=14954/tid=14958] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14958/stat : 14958 (java) S 14952 14954 14908 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191360119 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14959] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14959/stat : 14959 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191360119 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14960] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14960/stat : 14960 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191360123 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14961] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14961/stat : 14961 (java) S 14952 14954 14908 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191360123 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14962] ppid=14952 vsize=1711264 CPUtime=0.83 /proc/14954/task/14962/stat : 14962 (java) S 14952 14954 14908 0 -1 64 1410 0 0 0 83 0 0 0 16 0 13 0 191360123 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14963] ppid=14952 vsize=1711264 CPUtime=0.94 /proc/14954/task/14963/stat : 14963 (java) S 14952 14954 14908 0 -1 64 2257 0 0 0 93 1 0 0 17 0 13 0 191360123 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14964] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14964/stat : 14964 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 191360123 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14965] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14965/stat : 14965 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191360123 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14966] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14966/stat : 14966 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191361093 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (Kb) 1711264 [startup+1782.31 s] /proc/loadavg: 1.00 1.00 0.98 2/76 14966 /proc/meminfo: memFree=961224/2055920 swapFree=4181424/4192956 [pid=14954] ppid=14952 vsize=1711264 CPUtime=1797.75 /proc/14954/stat : 14954 (java) R 14952 14954 14908 0 -1 0 105784 0 1 0 179332 443 0 0 25 0 13 0 191360113 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071517013 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14954/statm: 427816 71032 1908 14 0 414563 0 [pid=14954/tid=14955] ppid=14952 vsize=1711264 CPUtime=15.04 /proc/14954/task/14955/stat : 14955 (java) S 14952 14954 14908 0 -1 64 17959 0 0 0 1299 205 0 0 16 0 13 0 191360116 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14956] ppid=14952 vsize=1711264 CPUtime=15.01 /proc/14954/task/14956/stat : 14956 (java) S 14952 14954 14908 0 -1 64 18269 0 0 0 1348 153 0 0 16 0 13 0 191360116 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14957] ppid=14952 vsize=1711264 CPUtime=1.02 /proc/14954/task/14957/stat : 14957 (java) S 14952 14954 14908 0 -1 64 113 0 0 0 64 38 0 0 16 0 13 0 191360119 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14958] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14958/stat : 14958 (java) S 14952 14954 14908 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191360119 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14959] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14959/stat : 14959 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191360119 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14960] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14960/stat : 14960 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191360123 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14961] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14961/stat : 14961 (java) S 14952 14954 14908 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191360123 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14962] ppid=14952 vsize=1711264 CPUtime=0.83 /proc/14954/task/14962/stat : 14962 (java) S 14952 14954 14908 0 -1 64 1410 0 0 0 83 0 0 0 16 0 13 0 191360123 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14963] ppid=14952 vsize=1711264 CPUtime=0.94 /proc/14954/task/14963/stat : 14963 (java) S 14952 14954 14908 0 -1 64 2257 0 0 0 93 1 0 0 17 0 13 0 191360123 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14964] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14964/stat : 14964 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 191360123 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14965] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14965/stat : 14965 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191360123 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14966] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14966/stat : 14966 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191361093 1752334336 71032 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (Kb) 1711264 [startup+1783.32 s] /proc/loadavg: 1.00 1.00 0.98 4/76 14966 /proc/meminfo: memFree=958984/2055920 swapFree=4181424/4192956 [pid=14954] ppid=14952 vsize=1711264 CPUtime=1798.8 /proc/14954/stat : 14954 (java) S 14952 14954 14908 0 -1 0 106494 0 1 0 179437 443 0 0 25 0 13 0 191360113 1752334336 71721 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14954/statm: 427816 71721 1908 14 0 414563 0 [pid=14954/tid=14955] ppid=14952 vsize=1711264 CPUtime=15.09 /proc/14954/task/14955/stat : 14955 (java) R 14952 14954 14908 0 -1 64 18519 0 0 0 1304 205 0 0 17 0 13 0 191360116 1752334336 71721 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14956] ppid=14952 vsize=1711264 CPUtime=15.05 /proc/14954/task/14956/stat : 14956 (java) R 14952 14954 14908 0 -1 64 18418 0 0 0 1352 153 0 0 17 0 13 0 191360116 1752334336 71721 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4155256559 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14957] ppid=14952 vsize=1711264 CPUtime=1.02 /proc/14954/task/14957/stat : 14957 (java) S 14952 14954 14908 0 -1 64 113 0 0 0 64 38 0 0 16 0 13 0 191360119 1752334336 71721 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14958] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14958/stat : 14958 (java) S 14952 14954 14908 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191360119 1752334336 71721 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14959] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14959/stat : 14959 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191360119 1752334336 71721 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14960] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14960/stat : 14960 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191360123 1752334336 71721 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14961] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14961/stat : 14961 (java) S 14952 14954 14908 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191360123 1752334336 71721 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14962] ppid=14952 vsize=1711264 CPUtime=0.83 /proc/14954/task/14962/stat : 14962 (java) S 14952 14954 14908 0 -1 64 1410 0 0 0 83 0 0 0 16 0 13 0 191360123 1752334336 71721 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14963] ppid=14952 vsize=1711264 CPUtime=0.94 /proc/14954/task/14963/stat : 14963 (java) S 14952 14954 14908 0 -1 64 2257 0 0 0 93 1 0 0 17 0 13 0 191360123 1752334336 71721 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14964] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14964/stat : 14964 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 191360123 1752334336 71721 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14965] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14965/stat : 14965 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191360123 1752334336 71721 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14966] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14966/stat : 14966 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191361093 1752334336 71721 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.8 Current children cumulated vsize (Kb) 1711264 [startup+1784.33 s] /proc/loadavg: 1.00 1.00 0.98 2/76 14966 /proc/meminfo: memFree=957704/2055920 swapFree=4181424/4192956 [pid=14954] ppid=14952 vsize=1711264 CPUtime=1799.85 /proc/14954/stat : 14954 (java) R 14952 14954 14908 0 -1 0 106774 0 1 0 179542 443 0 0 21 0 13 0 191360113 1752334336 71998 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071231411 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14954/statm: 427816 71998 1908 14 0 414563 0 [pid=14954/tid=14955] ppid=14952 vsize=1711264 CPUtime=15.14 /proc/14954/task/14955/stat : 14955 (java) S 14952 14954 14908 0 -1 64 18535 0 0 0 1309 205 0 0 16 0 13 0 191360116 1752334336 71998 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14956] ppid=14952 vsize=1711264 CPUtime=15.1 /proc/14954/task/14956/stat : 14956 (java) S 14952 14954 14908 0 -1 64 18679 0 0 0 1357 153 0 0 16 0 13 0 191360116 1752334336 71998 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14957] ppid=14952 vsize=1711264 CPUtime=1.02 /proc/14954/task/14957/stat : 14957 (java) S 14952 14954 14908 0 -1 64 115 0 0 0 64 38 0 0 15 0 13 0 191360119 1752334336 71998 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14958] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14958/stat : 14958 (java) S 14952 14954 14908 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191360119 1752334336 71998 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14959] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14959/stat : 14959 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191360119 1752334336 71998 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14960] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14960/stat : 14960 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191360123 1752334336 71998 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14961] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14961/stat : 14961 (java) S 14952 14954 14908 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191360123 1752334336 71998 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14962] ppid=14952 vsize=1711264 CPUtime=0.83 /proc/14954/task/14962/stat : 14962 (java) S 14952 14954 14908 0 -1 64 1410 0 0 0 83 0 0 0 16 0 13 0 191360123 1752334336 71998 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14963] ppid=14952 vsize=1711264 CPUtime=0.94 /proc/14954/task/14963/stat : 14963 (java) S 14952 14954 14908 0 -1 64 2257 0 0 0 93 1 0 0 16 0 13 0 191360123 1752334336 71998 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14964] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14964/stat : 14964 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 191360123 1752334336 71998 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14965] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14965/stat : 14965 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191360123 1752334336 71998 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14966] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14966/stat : 14966 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191361093 1752334336 71998 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.85 Current children cumulated vsize (Kb) 1711264 [startup+1785.33 s] /proc/loadavg: 1.00 1.00 0.98 2/76 14966 /proc/meminfo: memFree=952200/2055920 swapFree=4181424/4192956 [pid=14954] ppid=14952 vsize=1711264 CPUtime=1800.94 /proc/14954/stat : 14954 (java) R 14952 14954 14908 0 -1 0 108164 0 1 0 179650 444 0 0 17 0 13 0 191360113 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071432518 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14954/statm: 427816 73361 1908 14 0 414563 0 [pid=14954/tid=14955] ppid=14952 vsize=1711264 CPUtime=15.23 /proc/14954/task/14955/stat : 14955 (java) S 14952 14954 14908 0 -1 64 19737 0 0 0 1317 206 0 0 16 0 13 0 191360116 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14956] ppid=14952 vsize=1711264 CPUtime=15.18 /proc/14954/task/14956/stat : 14956 (java) S 14952 14954 14908 0 -1 64 18864 0 0 0 1365 153 0 0 16 0 13 0 191360116 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14957] ppid=14952 vsize=1711264 CPUtime=1.02 /proc/14954/task/14957/stat : 14957 (java) S 14952 14954 14908 0 -1 64 115 0 0 0 64 38 0 0 16 0 13 0 191360119 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14958] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14958/stat : 14958 (java) S 14952 14954 14908 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191360119 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14959] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14959/stat : 14959 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191360119 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14960] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14960/stat : 14960 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191360123 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14961] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14961/stat : 14961 (java) S 14952 14954 14908 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191360123 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14962] ppid=14952 vsize=1711264 CPUtime=0.83 /proc/14954/task/14962/stat : 14962 (java) S 14952 14954 14908 0 -1 64 1410 0 0 0 83 0 0 0 16 0 13 0 191360123 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14963] ppid=14952 vsize=1711264 CPUtime=0.94 /proc/14954/task/14963/stat : 14963 (java) S 14952 14954 14908 0 -1 64 2257 0 0 0 93 1 0 0 16 0 13 0 191360123 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14964] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14964/stat : 14964 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 191360123 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14965] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14965/stat : 14965 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191360123 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14966] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14966/stat : 14966 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191361093 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.94 Current children cumulated vsize (Kb) 1711264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.34 s] /proc/loadavg: 1.00 1.00 0.98 2/76 14966 /proc/meminfo: memFree=952200/2055920 swapFree=4181424/4192956 [pid=14954] ppid=14952 vsize=1711264 CPUtime=1800.95 /proc/14954/stat : 14954 (java) R 14952 14954 14908 0 -1 0 108164 0 1 0 179651 444 0 0 17 0 13 0 191360113 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071432707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14954/statm: 427816 73361 1908 14 0 414563 0 [pid=14954/tid=14955] ppid=14952 vsize=1711264 CPUtime=15.23 /proc/14954/task/14955/stat : 14955 (java) S 14952 14954 14908 0 -1 64 19737 0 0 0 1317 206 0 0 16 0 13 0 191360116 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14956] ppid=14952 vsize=1711264 CPUtime=15.18 /proc/14954/task/14956/stat : 14956 (java) S 14952 14954 14908 0 -1 64 18864 0 0 0 1365 153 0 0 16 0 13 0 191360116 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14957] ppid=14952 vsize=1711264 CPUtime=1.02 /proc/14954/task/14957/stat : 14957 (java) S 14952 14954 14908 0 -1 64 115 0 0 0 64 38 0 0 16 0 13 0 191360119 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14958] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14958/stat : 14958 (java) S 14952 14954 14908 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191360119 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14959] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14959/stat : 14959 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191360119 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14960] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14960/stat : 14960 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191360123 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14961] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14961/stat : 14961 (java) S 14952 14954 14908 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 191360123 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14962] ppid=14952 vsize=1711264 CPUtime=0.83 /proc/14954/task/14962/stat : 14962 (java) S 14952 14954 14908 0 -1 64 1410 0 0 0 83 0 0 0 16 0 13 0 191360123 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14963] ppid=14952 vsize=1711264 CPUtime=0.94 /proc/14954/task/14963/stat : 14963 (java) S 14952 14954 14908 0 -1 64 2257 0 0 0 93 1 0 0 16 0 13 0 191360123 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14964] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14964/stat : 14964 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 191360123 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14954/tid=14965] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14965/stat : 14965 (java) S 14952 14954 14908 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191360123 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14954/tid=14966] ppid=14952 vsize=1711264 CPUtime=0 /proc/14954/task/14966/stat : 14966 (java) S 14952 14954 14908 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191361093 1752334336 73361 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.95 Current children cumulated vsize (Kb) 1711264 Sending SIGTERM to -14954 Sleeping 2 seconds Child status: 143 Real time (s): 1785.43 CPU time (s): 1801.04 CPU user time (s): 1796.56 CPU system time (s): 4.48532 CPU usage (%): 100.874 Max. virtual memory (cumulated for all children) (Kb): 1714948
Begin job on node3 on Fri Jun 2 14:03:04 UTC 2006 FILE ID= 42414-1149256984 PBS_JOBID= 298447 BENCH NAME= ROOT/tmp/node3/42414-1149256984/instance-42414-1149256984.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node3/42414-1149256984/instance-42414-1149256984.opb 781706039 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-42414-1149256984 -o ROOT/results/node3/solver-42414-1149256984 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node3/42414-1149256984/instance-42414-1149256984.opb 781706039 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 136e834aa135f130ab268d7e01dc474c RANDOM SEED= 781706039 /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.261 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.261 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: 1239344 kB Buffers: 32152 kB Cached: 710672 kB SwapCached: 3612 kB Active: 147980 kB Inactive: 603944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1239344 kB SwapTotal: 4192956 kB SwapFree: 4181424 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14932 kB Slab: 50704 kB Committed_AS: 228464 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node3 on Fri Jun 2 14:32:49 UTC 2006