Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | OPT | 109 | 97.4132 | 96.0587 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=109-Q=419.opb |
MD5SUM | c6ee491e9aca8351990628e7afc91c71 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 109 |
Best CPU time to get the best result obtained on this benchmark | 0.005998 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 109 |
Optimality of the best value was proved | YES |
Number of variables | 99 |
Total number of constraints | 244 |
Number of constraints which are clauses | 243 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 81 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 65536 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 306792 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.25 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.25 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.25 c no version file found!!! 0.25 c sun.arch.data.model 32 0.25 c java.version 1.5.0_06 0.25 c os.name Linux 0.25 c os.version 2.6.9-22.EL.rootsmp 0.25 c os.arch i386 0.25 c Free memory 1548419056 0.25 c Max memory 1551040512 0.25 c Total memory 1551040512 0.25 c Number of processors 2 0.32 c Cutting planes based inference 0.32 c --- Begin Solver configuration --- 0.32 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.32 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.32 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.32 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.32 c VSIDS like heuristics from MiniSAT using a heap 0.32 c No reason simplification 0.32 c --- End Solver configuration --- 0.32 c solving ROOT/tmp/node61/48852-1149846956/instance-48852-1149846956.opb 0.32 c reading problem ... 0.41 c ... done. Time 0.09 ms. 0.41 c #vars 99 0.41 c #constraints 245 6.05 c SATISFIABLE 6.05 c OPTIMIZING... 6.05 c Got one! Ellapsed CPU time (in seconds):5.735 6.05 o 419 79.02 c Got one! Ellapsed CPU time (in seconds):78.707 79.02 o 109 95.97 c starts : 17 95.97 c conflicts : 6328 95.97 c decisions : 7360 95.97 c propagations : 116237 95.97 c inspects : 38037183 95.97 c learnt literals : 0 95.97 c learnt binary clauses : 0 95.97 c learnt ternary clauses : 0 95.97 c learnt clauses : 6327 95.97 c root simplifications : 0 95.97 c removed literals (reason simplification) : 0 95.97 c reason swapping (by a shorter reason) : 0 95.97 c Calls to reduceDB : 0 95.97 c speed (decisions/second) : 434.21828908554573 95.98 c non guided choices 40 95.98 s OPTIMUM FOUND 95.98 v x1 -x2 x3 x4 -x5 x6 x7 -x8 -x9 x10 x11 -x12 -x13 -x14 x15 -x16 x17 x18 x19 x20 -x21 -x22 -x23 x24 -x25 x26 x27 -x28 -x29 -x30 -x31 -x32 95.98 v -x33 -x34 -x35 -x36 x37 x38 -x39 -x40 -x41 x42 -x43 x44 x45 x46 x47 -x48 -x49 -x50 x51 -x52 x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 95.98 v -x61 -x62 -x63 x64 x65 -x66 -x67 -x68 x69 -x70 x71 x72 x73 x74 -x75 -x76 -x77 x78 -x79 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 95.98 v -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 95.98 c objective function=109 95.98 c Total wall clock time (ms): 95.659
OK 109
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node61/watcher-48852-1149846956 -o ROOT/results/node61/solver-48852-1149846956 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node61/48852-1149846956/instance-48852-1149846956.opb 102567709 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.71 0.91 0.89 2/64 17766 /proc/meminfo: memFree=1811136/2055920 swapFree=4180924/4192956 [pid=17766] ppid=17764 vsize=0 CPUtime=0 /proc/17766/stat : 17766 (runsolver) R 17764 17766 17720 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 250363511 0 0 18446744073709551615 0 0 0 18446744073709551615 246406507815 0 0 4096 24578 0 0 0 17 1 0 0 /proc/17766/statm: 0 0 0 0 0 0 0 [startup+10.0014 s] /proc/loadavg: 0.76 0.91 0.89 2/76 17779 /proc/meminfo: memFree=1623032/2055920 swapFree=4180924/4192956 [pid=17766] ppid=17764 vsize=1717824 CPUtime=11.06 /proc/17766/stat : 17766 (java) R 17764 17766 17720 0 -1 0 53351 0 1 0 1082 24 0 0 25 0 13 0 250363511 1759051776 48792 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071364825 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17766/statm: 429456 48792 1904 14 0 416203 0 [pid=17766/tid=17767] ppid=17764 vsize=1717824 CPUtime=0.14 /proc/17766/task/17767/stat : 17767 (java) S 17764 17766 17720 0 -1 64 4508 0 0 0 13 1 0 0 16 0 13 0 250363515 1759051776 48792 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17768] ppid=17764 vsize=1717824 CPUtime=0.14 /proc/17766/task/17768/stat : 17768 (java) S 17764 17766 17720 0 -1 64 4233 0 0 0 13 1 0 0 16 0 13 0 250363515 1759051776 48792 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17769] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17769/stat : 17769 (java) S 17764 17766 17720 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 250363517 1759051776 48792 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17770] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17770/stat : 17770 (java) S 17764 17766 17720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 48792 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17771] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17771/stat : 17771 (java) S 17764 17766 17720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 48792 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17772] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17772/stat : 17772 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250363521 1759051776 48792 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17773] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17773/stat : 17773 (java) S 17764 17766 17720 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 250363521 1759051776 48792 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17774] ppid=17764 vsize=1717824 CPUtime=0.71 /proc/17766/task/17774/stat : 17774 (java) S 17764 17766 17720 0 -1 64 3387 0 0 0 70 1 0 0 17 0 13 0 250363521 1759051776 48792 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17775] ppid=17764 vsize=1717824 CPUtime=0.74 /proc/17766/task/17775/stat : 17775 (java) S 17764 17766 17720 0 -1 64 1929 0 0 0 74 0 0 0 17 0 13 0 250363521 1759051776 48792 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17776] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17776/stat : 17776 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 250363521 1759051776 48792 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17777] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17777/stat : 17777 (java) S 17764 17766 17720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250363521 1759051776 48792 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17779] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17779/stat : 17779 (java) S 17764 17766 17720 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250364117 1759051776 48792 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.06 Current children cumulated vsize (Kb) 1717824 [startup+20.0084 s] /proc/loadavg: 0.79 0.91 0.89 2/76 17779 /proc/meminfo: memFree=1617336/2055920 swapFree=4180924/4192956 [pid=17766] ppid=17764 vsize=1717824 CPUtime=21.13 /proc/17766/stat : 17766 (java) R 17764 17766 17720 0 -1 0 55593 0 1 0 2088 25 0 0 20 0 13 0 250363511 1759051776 50128 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071562177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17766/statm: 429456 50128 1906 14 0 416203 0 [pid=17766/tid=17767] ppid=17764 vsize=1717824 CPUtime=0.2 /proc/17766/task/17767/stat : 17767 (java) S 17764 17766 17720 0 -1 64 5555 0 0 0 18 2 0 0 16 0 13 0 250363515 1759051776 50128 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17768] ppid=17764 vsize=1717824 CPUtime=0.19 /proc/17766/task/17768/stat : 17768 (java) S 17764 17766 17720 0 -1 64 5410 0 0 0 17 2 0 0 17 0 13 0 250363515 1759051776 50128 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17769] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17769/stat : 17769 (java) S 17764 17766 17720 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 250363517 1759051776 50128 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17770] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17770/stat : 17770 (java) S 17764 17766 17720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 50128 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17771] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17771/stat : 17771 (java) S 17764 17766 17720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 50128 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17772] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17772/stat : 17772 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250363521 1759051776 50128 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17773] ppid=17764 vsize=1717824 CPUtime=0.01 /proc/17766/task/17773/stat : 17773 (java) S 17764 17766 17720 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 250363521 1759051776 50128 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17774] ppid=17764 vsize=1717824 CPUtime=0.71 /proc/17766/task/17774/stat : 17774 (java) S 17764 17766 17720 0 -1 64 3387 0 0 0 70 1 0 0 17 0 13 0 250363521 1759051776 50128 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17775] ppid=17764 vsize=1717824 CPUtime=0.76 /proc/17766/task/17775/stat : 17775 (java) S 17764 17766 17720 0 -1 64 1933 0 0 0 76 0 0 0 17 0 13 0 250363521 1759051776 50128 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17776] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17776/stat : 17776 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 250363521 1759051776 50128 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17777] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17777/stat : 17777 (java) S 17764 17766 17720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250363521 1759051776 50128 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17779] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17779/stat : 17779 (java) S 17764 17766 17720 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250364117 1759051776 50128 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.13 Current children cumulated vsize (Kb) 1717824 [startup+30.0154 s] /proc/loadavg: 0.82 0.91 0.89 2/76 17779 /proc/meminfo: memFree=1617720/2055920 swapFree=4180924/4192956 [pid=17766] ppid=17764 vsize=1717824 CPUtime=31.19 /proc/17766/stat : 17766 (java) R 17764 17766 17720 0 -1 0 57308 0 1 0 3093 26 0 0 25 0 13 0 250363511 1759051776 50071 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071454425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17766/statm: 429456 50071 1906 14 0 416203 0 [pid=17766/tid=17767] ppid=17764 vsize=1717824 CPUtime=0.24 /proc/17766/task/17767/stat : 17767 (java) S 17764 17766 17720 0 -1 64 6434 0 0 0 22 2 0 0 16 0 13 0 250363515 1759051776 50071 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17768] ppid=17764 vsize=1717824 CPUtime=0.24 /proc/17766/task/17768/stat : 17768 (java) S 17764 17766 17720 0 -1 64 6235 0 0 0 22 2 0 0 16 0 13 0 250363515 1759051776 50071 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17769] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17769/stat : 17769 (java) S 17764 17766 17720 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 250363517 1759051776 50071 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17770] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17770/stat : 17770 (java) S 17764 17766 17720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 50071 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17771] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17771/stat : 17771 (java) S 17764 17766 17720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 50071 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17772] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17772/stat : 17772 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250363521 1759051776 50071 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17773] ppid=17764 vsize=1717824 CPUtime=0.01 /proc/17766/task/17773/stat : 17773 (java) S 17764 17766 17720 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 250363521 1759051776 50071 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17774] ppid=17764 vsize=1717824 CPUtime=0.72 /proc/17766/task/17774/stat : 17774 (java) S 17764 17766 17720 0 -1 64 3388 0 0 0 71 1 0 0 16 0 13 0 250363521 1759051776 50071 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17775] ppid=17764 vsize=1717824 CPUtime=0.77 /proc/17766/task/17775/stat : 17775 (java) S 17764 17766 17720 0 -1 64 1934 0 0 0 77 0 0 0 17 0 13 0 250363521 1759051776 50071 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17776] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17776/stat : 17776 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 250363521 1759051776 50071 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17777] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17777/stat : 17777 (java) S 17764 17766 17720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250363521 1759051776 50071 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17779] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17779/stat : 17779 (java) S 17764 17766 17720 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250364117 1759051776 50071 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.19 Current children cumulated vsize (Kb) 1717824 [startup+40.0223 s] /proc/loadavg: 0.85 0.92 0.89 2/76 17779 /proc/meminfo: memFree=1621304/2055920 swapFree=4180924/4192956 [pid=17766] ppid=17764 vsize=1717824 CPUtime=41.23 /proc/17766/stat : 17766 (java) R 17764 17766 17720 0 -1 0 58495 0 1 0 4096 27 0 0 25 0 13 0 250363511 1759051776 49174 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071366412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17766/statm: 429456 49174 1910 14 0 416203 0 [pid=17766/tid=17767] ppid=17764 vsize=1717824 CPUtime=0.29 /proc/17766/task/17767/stat : 17767 (java) S 17764 17766 17720 0 -1 64 6973 0 0 0 26 3 0 0 16 0 13 0 250363515 1759051776 49174 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17768] ppid=17764 vsize=1717824 CPUtime=0.28 /proc/17766/task/17768/stat : 17768 (java) S 17764 17766 17720 0 -1 64 6870 0 0 0 26 2 0 0 16 0 13 0 250363515 1759051776 49174 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17769] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17769/stat : 17769 (java) S 17764 17766 17720 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 250363517 1759051776 49174 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17770] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17770/stat : 17770 (java) S 17764 17766 17720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 49174 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17771] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17771/stat : 17771 (java) S 17764 17766 17720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 49174 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17772] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17772/stat : 17772 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250363521 1759051776 49174 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17773] ppid=17764 vsize=1717824 CPUtime=0.01 /proc/17766/task/17773/stat : 17773 (java) S 17764 17766 17720 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 250363521 1759051776 49174 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17774] ppid=17764 vsize=1717824 CPUtime=0.72 /proc/17766/task/17774/stat : 17774 (java) S 17764 17766 17720 0 -1 64 3388 0 0 0 71 1 0 0 17 0 13 0 250363521 1759051776 49174 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17775] ppid=17764 vsize=1717824 CPUtime=0.77 /proc/17766/task/17775/stat : 17775 (java) S 17764 17766 17720 0 -1 64 1934 0 0 0 77 0 0 0 17 0 13 0 250363521 1759051776 49174 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17776] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17776/stat : 17776 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 250363521 1759051776 49174 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17777] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17777/stat : 17777 (java) S 17764 17766 17720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250363521 1759051776 49174 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17779] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17779/stat : 17779 (java) S 17764 17766 17720 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 250364117 1759051776 49174 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.23 Current children cumulated vsize (Kb) 1717824 [startup+50.0293 s] /proc/loadavg: 0.87 0.92 0.89 2/76 17779 /proc/meminfo: memFree=1624824/2055920 swapFree=4180924/4192956 [pid=17766] ppid=17764 vsize=1717824 CPUtime=51.27 /proc/17766/stat : 17766 (java) R 17764 17766 17720 0 -1 0 59168 0 1 0 5099 28 0 0 25 0 13 0 250363511 1759051776 48308 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071364240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17766/statm: 429456 48308 1910 14 0 416203 0 [pid=17766/tid=17767] ppid=17764 vsize=1717824 CPUtime=0.32 /proc/17766/task/17767/stat : 17767 (java) S 17764 17766 17720 0 -1 64 7334 0 0 0 29 3 0 0 16 0 13 0 250363515 1759051776 48308 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17768] ppid=17764 vsize=1717824 CPUtime=0.31 /proc/17766/task/17768/stat : 17768 (java) S 17764 17766 17720 0 -1 64 7175 0 0 0 29 2 0 0 17 0 13 0 250363515 1759051776 48308 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17769] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17769/stat : 17769 (java) S 17764 17766 17720 0 -1 64 31 0 0 0 0 0 0 0 17 0 13 0 250363517 1759051776 48308 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17770] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17770/stat : 17770 (java) S 17764 17766 17720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 48308 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17771] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17771/stat : 17771 (java) S 17764 17766 17720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 48308 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17772] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17772/stat : 17772 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250363521 1759051776 48308 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17773] ppid=17764 vsize=1717824 CPUtime=0.01 /proc/17766/task/17773/stat : 17773 (java) S 17764 17766 17720 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 250363521 1759051776 48308 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17774] ppid=17764 vsize=1717824 CPUtime=0.72 /proc/17766/task/17774/stat : 17774 (java) S 17764 17766 17720 0 -1 64 3388 0 0 0 71 1 0 0 17 0 13 0 250363521 1759051776 48308 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17775] ppid=17764 vsize=1717824 CPUtime=0.77 /proc/17766/task/17775/stat : 17775 (java) S 17764 17766 17720 0 -1 64 1934 0 0 0 77 0 0 0 17 0 13 0 250363521 1759051776 48308 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17776] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17776/stat : 17776 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 250363521 1759051776 48308 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17777] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17777/stat : 17777 (java) S 17764 17766 17720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250363521 1759051776 48308 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17779] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17779/stat : 17779 (java) S 17764 17766 17720 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 250364117 1759051776 48308 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.27 Current children cumulated vsize (Kb) 1717824 [startup+60.0363 s] /proc/loadavg: 0.89 0.92 0.89 2/76 17779 /proc/meminfo: memFree=1627704/2055920 swapFree=4180924/4192956 [pid=17766] ppid=17764 vsize=1717824 CPUtime=61.34 /proc/17766/stat : 17766 (java) R 17764 17766 17720 0 -1 0 59823 0 1 0 6106 28 0 0 25 0 13 0 250363511 1759051776 47595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071505389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17766/statm: 429456 47595 1910 14 0 416203 0 [pid=17766/tid=17767] ppid=17764 vsize=1717824 CPUtime=0.35 /proc/17766/task/17767/stat : 17767 (java) S 17764 17766 17720 0 -1 64 7672 0 0 0 32 3 0 0 16 0 13 0 250363515 1759051776 47595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17768] ppid=17764 vsize=1717824 CPUtime=0.35 /proc/17766/task/17768/stat : 17768 (java) S 17764 17766 17720 0 -1 64 7473 0 0 0 33 2 0 0 16 0 13 0 250363515 1759051776 47595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17769] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17769/stat : 17769 (java) S 17764 17766 17720 0 -1 64 31 0 0 0 0 0 0 0 15 0 13 0 250363517 1759051776 47595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17770] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17770/stat : 17770 (java) S 17764 17766 17720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 47595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17771] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17771/stat : 17771 (java) S 17764 17766 17720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 47595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17772] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17772/stat : 17772 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250363521 1759051776 47595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17773] ppid=17764 vsize=1717824 CPUtime=0.01 /proc/17766/task/17773/stat : 17773 (java) S 17764 17766 17720 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 250363521 1759051776 47595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17774] ppid=17764 vsize=1717824 CPUtime=0.72 /proc/17766/task/17774/stat : 17774 (java) S 17764 17766 17720 0 -1 64 3388 0 0 0 71 1 0 0 17 0 13 0 250363521 1759051776 47595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17775] ppid=17764 vsize=1717824 CPUtime=0.82 /proc/17766/task/17775/stat : 17775 (java) S 17764 17766 17720 0 -1 64 1944 0 0 0 82 0 0 0 17 0 13 0 250363521 1759051776 47595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17776] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17776/stat : 17776 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 250363521 1759051776 47595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17777] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17777/stat : 17777 (java) S 17764 17766 17720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250363521 1759051776 47595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17779] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17779/stat : 17779 (java) S 17764 17766 17720 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 250364117 1759051776 47595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 61.34 Current children cumulated vsize (Kb) 1717824 [startup+70.0432 s] /proc/loadavg: 0.91 0.92 0.90 2/76 17779 /proc/meminfo: memFree=1629880/2055920 swapFree=4180924/4192956 [pid=17766] ppid=17764 vsize=1717824 CPUtime=71.37 /proc/17766/stat : 17766 (java) R 17764 17766 17720 0 -1 0 60376 0 1 0 7108 29 0 0 25 0 13 0 250363511 1759051776 47031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071364272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17766/statm: 429456 47031 1910 14 0 416203 0 [pid=17766/tid=17767] ppid=17764 vsize=1717824 CPUtime=0.37 /proc/17766/task/17767/stat : 17767 (java) S 17764 17766 17720 0 -1 64 7981 0 0 0 34 3 0 0 16 0 13 0 250363515 1759051776 47031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17768] ppid=17764 vsize=1717824 CPUtime=0.38 /proc/17766/task/17768/stat : 17768 (java) S 17764 17766 17720 0 -1 64 7709 0 0 0 36 2 0 0 16 0 13 0 250363515 1759051776 47031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17769] ppid=17764 vsize=1717824 CPUtime=0.01 /proc/17766/task/17769/stat : 17769 (java) S 17764 17766 17720 0 -1 64 31 0 0 0 0 1 0 0 16 0 13 0 250363517 1759051776 47031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17770] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17770/stat : 17770 (java) S 17764 17766 17720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 47031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17771] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17771/stat : 17771 (java) S 17764 17766 17720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 47031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17772] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17772/stat : 17772 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250363521 1759051776 47031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17773] ppid=17764 vsize=1717824 CPUtime=0.01 /proc/17766/task/17773/stat : 17773 (java) S 17764 17766 17720 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 250363521 1759051776 47031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17774] ppid=17764 vsize=1717824 CPUtime=0.72 /proc/17766/task/17774/stat : 17774 (java) S 17764 17766 17720 0 -1 64 3388 0 0 0 71 1 0 0 16 0 13 0 250363521 1759051776 47031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17775] ppid=17764 vsize=1717824 CPUtime=0.82 /proc/17766/task/17775/stat : 17775 (java) S 17764 17766 17720 0 -1 64 1944 0 0 0 82 0 0 0 17 0 13 0 250363521 1759051776 47031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17776] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17776/stat : 17776 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 250363521 1759051776 47031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17777] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17777/stat : 17777 (java) S 17764 17766 17720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250363521 1759051776 47031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17779] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17779/stat : 17779 (java) S 17764 17766 17720 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 250364117 1759051776 47031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 71.37 Current children cumulated vsize (Kb) 1717824 [startup+80.0502 s] /proc/loadavg: 0.92 0.92 0.90 2/76 17780 /proc/meminfo: memFree=1631024/2055920 swapFree=4180924/4192956 [pid=17766] ppid=17764 vsize=1717824 CPUtime=81.41 /proc/17766/stat : 17766 (java) R 17764 17766 17720 0 -1 0 60910 0 1 0 8112 29 0 0 23 0 13 0 250363511 1759051776 46744 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071562156 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17766/statm: 429456 46744 1910 14 0 416203 0 [pid=17766/tid=17767] ppid=17764 vsize=1717824 CPUtime=0.42 /proc/17766/task/17767/stat : 17767 (java) S 17764 17766 17720 0 -1 64 8150 0 0 0 38 4 0 0 16 0 13 0 250363515 1759051776 46744 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17768] ppid=17764 vsize=1717824 CPUtime=0.42 /proc/17766/task/17768/stat : 17768 (java) S 17764 17766 17720 0 -1 64 8066 0 0 0 39 3 0 0 16 0 13 0 250363515 1759051776 46744 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17769] ppid=17764 vsize=1717824 CPUtime=0.01 /proc/17766/task/17769/stat : 17769 (java) S 17764 17766 17720 0 -1 64 32 0 0 0 0 1 0 0 15 0 13 0 250363517 1759051776 46744 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17770] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17770/stat : 17770 (java) S 17764 17766 17720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 46744 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17771] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17771/stat : 17771 (java) S 17764 17766 17720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 46744 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17772] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17772/stat : 17772 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250363521 1759051776 46744 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17773] ppid=17764 vsize=1717824 CPUtime=0.01 /proc/17766/task/17773/stat : 17773 (java) S 17764 17766 17720 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 250363521 1759051776 46744 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17774] ppid=17764 vsize=1717824 CPUtime=0.72 /proc/17766/task/17774/stat : 17774 (java) S 17764 17766 17720 0 -1 64 3388 0 0 0 71 1 0 0 16 0 13 0 250363521 1759051776 46744 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17775] ppid=17764 vsize=1717824 CPUtime=0.82 /proc/17766/task/17775/stat : 17775 (java) S 17764 17766 17720 0 -1 64 1944 0 0 0 82 0 0 0 17 0 13 0 250363521 1759051776 46744 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17776] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17776/stat : 17776 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 250363521 1759051776 46744 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17777] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17777/stat : 17777 (java) S 17764 17766 17720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250363521 1759051776 46744 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17780] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17780/stat : 17780 (java) S 17764 17766 17720 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250371415 1759051776 46744 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 81.41 Current children cumulated vsize (Kb) 1717824 [startup+90.0572 s] /proc/loadavg: 0.93 0.93 0.90 2/76 17780 /proc/meminfo: memFree=1631408/2055920 swapFree=4180924/4192956 [pid=17766] ppid=17764 vsize=1717824 CPUtime=91.44 /proc/17766/stat : 17766 (java) R 17764 17766 17720 0 -1 0 61353 0 1 0 9114 30 0 0 19 0 13 0 250363511 1759051776 46704 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071387261 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17766/statm: 429456 46704 1910 14 0 416203 0 [pid=17766/tid=17767] ppid=17764 vsize=1717824 CPUtime=0.44 /proc/17766/task/17767/stat : 17767 (java) S 17764 17766 17720 0 -1 64 8219 0 0 0 40 4 0 0 16 0 13 0 250363515 1759051776 46704 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17768] ppid=17764 vsize=1717824 CPUtime=0.45 /proc/17766/task/17768/stat : 17768 (java) S 17764 17766 17720 0 -1 64 8433 0 0 0 42 3 0 0 16 0 13 0 250363515 1759051776 46704 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17769] ppid=17764 vsize=1717824 CPUtime=0.01 /proc/17766/task/17769/stat : 17769 (java) S 17764 17766 17720 0 -1 64 32 0 0 0 0 1 0 0 15 0 13 0 250363517 1759051776 46704 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17770] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17770/stat : 17770 (java) S 17764 17766 17720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 46704 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17771] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17771/stat : 17771 (java) S 17764 17766 17720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250363518 1759051776 46704 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17772] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17772/stat : 17772 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250363521 1759051776 46704 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17773] ppid=17764 vsize=1717824 CPUtime=0.01 /proc/17766/task/17773/stat : 17773 (java) S 17764 17766 17720 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 250363521 1759051776 46704 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17774] ppid=17764 vsize=1717824 CPUtime=0.72 /proc/17766/task/17774/stat : 17774 (java) S 17764 17766 17720 0 -1 64 3388 0 0 0 71 1 0 0 16 0 13 0 250363521 1759051776 46704 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17775] ppid=17764 vsize=1717824 CPUtime=0.82 /proc/17766/task/17775/stat : 17775 (java) S 17764 17766 17720 0 -1 64 1944 0 0 0 82 0 0 0 17 0 13 0 250363521 1759051776 46704 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17766/tid=17776] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17776/stat : 17776 (java) S 17764 17766 17720 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 250363521 1759051776 46704 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17777] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17777/stat : 17777 (java) S 17764 17766 17720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250363521 1759051776 46704 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17766/tid=17780] ppid=17764 vsize=1717824 CPUtime=0 /proc/17766/task/17780/stat : 17780 (java) S 17764 17766 17720 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250371415 1759051776 46704 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 91.44 Current children cumulated vsize (Kb) 1717824 Child status: 30 Real time (s): 96.0587 CPU time (s): 97.4132 CPU user time (s): 97.0792 CPU system time (s): 0.333949 CPU usage (%): 101.41 Max. virtual memory (cumulated for all children) (Kb): 1717824 The end
Begin job on node61 on Fri Jun 9 09:55:56 UTC 2006 FILE ID= 48852-1149846956 PBS_JOBID= 382585 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=109-Q=419.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node61/48852-1149846956/instance-48852-1149846956.opb 102567709 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-48852-1149846956 -o ROOT/results/node61/solver-48852-1149846956 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node61/48852-1149846956/instance-48852-1149846956.opb 102567709 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= c6ee491e9aca8351990628e7afc91c71 RANDOM SEED= 102567709 /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.232 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.232 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: 1811344 kB Buffers: 31948 kB Cached: 142364 kB SwapCached: 3780 kB Active: 71288 kB Inactive: 111840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1811344 kB SwapTotal: 4192956 kB SwapFree: 4180924 kB Dirty: 264 kB Writeback: 0 kB Mapped: 14728 kB Slab: 47652 kB Committed_AS: 515192 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 node61 on Fri Jun 9 09:57:32 UTC 2006