Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 20 | 1800.24 | 1783.56 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_2.opb |
MD5SUM | 031b0f629913e7cd5c934f00ec1a1885 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 26.6819 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 94 |
Total number of constraints | 8 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 44 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 64 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 808 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2934 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.22 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node23/50665-1154104183/instance-50665-1154104183.opb 0.22 c reading problem ... 0.26 c ... done. Time 0.046 ms. 0.26 c #vars 94 0.26 c #constraints 8 1.76 c SATISFIABLE 1.76 c OPTIMIZING... 1.76 c Got one! Ellapsed CPU time (in seconds):1.542 1.76 o 1159 2.17 c Got one! Ellapsed CPU time (in seconds):1.956 2.17 o 1146 2.57 c Got one! Ellapsed CPU time (in seconds):2.351 2.57 o 1044 3.12 c Got one! Ellapsed CPU time (in seconds):2.906 3.12 o 992 3.65 c Got one! Ellapsed CPU time (in seconds):3.427 3.65 o 968 4.32 c Got one! Ellapsed CPU time (in seconds):4.105 4.32 o 792 4.98 c Got one! Ellapsed CPU time (in seconds):4.761 4.98 o 786 5.67 c Got one! Ellapsed CPU time (in seconds):5.451 5.67 o 782 6.89 c Got one! Ellapsed CPU time (in seconds):6.677 6.89 o 764 7.87 c Got one! Ellapsed CPU time (in seconds):7.648 7.87 o 700 8.75 c Got one! Ellapsed CPU time (in seconds):8.532 8.75 o 662 9.50 c Got one! Ellapsed CPU time (in seconds):9.284 9.50 o 638 10.31 c Got one! Ellapsed CPU time (in seconds):10.095 10.31 o 523 11.31 c Got one! Ellapsed CPU time (in seconds):11.097 11.31 o 506 12.16 c Got one! Ellapsed CPU time (in seconds):11.942 12.16 o 382 13.86 c Got one! Ellapsed CPU time (in seconds):13.64 13.86 o 301 15.25 c Got one! Ellapsed CPU time (in seconds):15.028 15.25 o 260 16.78 c Got one! Ellapsed CPU time (in seconds):16.561 16.78 o 258 20.45 c Got one! Ellapsed CPU time (in seconds):20.232 20.45 o 251 22.70 c Got one! Ellapsed CPU time (in seconds):22.484 22.70 o 225 26.55 c Got one! Ellapsed CPU time (in seconds):26.332 26.55 o 212 30.98 c Got one! Ellapsed CPU time (in seconds):30.767 30.99 o 147 34.96 c Got one! Ellapsed CPU time (in seconds):34.74 34.96 o 118 38.29 c Got one! Ellapsed CPU time (in seconds):38.077 38.29 o 99 41.47 c Got one! Ellapsed CPU time (in seconds):41.255 41.47 o 98 50.65 c Got one! Ellapsed CPU time (in seconds):50.433 50.65 o 87 52.86 c Got one! Ellapsed CPU time (in seconds):52.642 52.86 o 85 86.23 c Got one! Ellapsed CPU time (in seconds):86.007 86.23 o 66 94.80 c Got one! Ellapsed CPU time (in seconds):94.584 94.80 o 64 104.96 c Got one! Ellapsed CPU time (in seconds):104.739 104.96 o 63 152.91 c Got one! Ellapsed CPU time (in seconds):152.687 152.91 o 41 160.78 c Got one! Ellapsed CPU time (in seconds):160.562 160.78 o 40 210.74 c Got one! Ellapsed CPU time (in seconds):210.526 210.74 o 39 336.67 c Got one! Ellapsed CPU time (in seconds):336.456 336.67 o 28 497.00 c Got one! Ellapsed CPU time (in seconds):496.779 497.00 o 27 530.00 c Got one! Ellapsed CPU time (in seconds):529.779 530.00 o 22 1736.35 c Got one! Ellapsed CPU time (in seconds):1736.134 1736.35 o 20 1783.44 c starts : 126 1783.44 c conflicts : 37870 1783.44 c decisions : 70442 1783.44 c propagations : 371700 1783.44 c inspects : 579574118 1783.44 c learnt literals : 0 1783.44 c learnt binary clauses : 0 1783.44 c learnt ternary clauses : 0 1783.44 c learnt clauses : 37870 1783.44 c root simplifications : 0 1783.44 c removed literals (reason simplification) : 0 1783.44 c reason swapping (by a shorter reason) : 0 1783.44 c Calls to reduceDB : 0 1783.44 c speed (decisions/second) : 1496.0285435161195 1783.44 c non guided choices 456 1783.44 s SATISFIABLE 1783.44 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 1783.44 v -x29 -x30 -x31 -x32 -x33 -x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 1783.44 v -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 x68 -x69 x70 -x71 x72 -x73 -x74 -x75 -x76 x77 -x78 x79 -x80 x81 -x82 1783.44 v x83 -x84 -x85 x86 x87 x88 x89 -x90 -x91 x92 x93 -x94 1783.44 c objective function=20 1783.44 c Total wall clock time (ms): 1783.223
OK 20
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.3 (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/node23/watcher-50665-1154104183 -o ROOT/results/node23/solver-50665-1154104183 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node23/50665-1154104183/instance-50665-1154104183.opb 757540572 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.07 1.00 0.99 3/64 21389 /proc/meminfo: memFree=1305792/2055920 swapFree=4183076/4192956 [pid=21389] ppid=21387 vsize=1784 CPUtime=0 /proc/21389/stat : 21389 (java) D 21387 21389 21340 0 -1 0 179 0 0 0 0 0 0 0 18 0 1 0 157278513 1826816 148 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/21389/statm: 446 148 113 14 0 91 0 [startup+10.0031 s] /proc/loadavg: 1.14 1.02 1.00 2/76 21413 /proc/meminfo: memFree=1116320/2055920 swapFree=4183076/4192956 [pid=21389] ppid=21387 vsize=1718212 CPUtime=11.47 /proc/21389/stat : 21389 (java) R 21387 21389 21340 0 -1 0 53989 0 1 0 1120 27 0 0 25 0 13 0 157278513 1759449088 49143 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071382939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21389/statm: 429553 49143 1909 14 0 416300 0 [pid=21389/tid=21390] ppid=21387 vsize=1718212 CPUtime=0.16 /proc/21389/task/21390/stat : 21390 (java) S 21387 21389 21340 0 -1 64 4359 0 0 0 14 2 0 0 16 0 13 0 157278516 1759449088 49143 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21391] ppid=21387 vsize=1718212 CPUtime=0.17 /proc/21389/task/21391/stat : 21391 (java) S 21387 21389 21340 0 -1 64 5064 0 0 0 15 2 0 0 16 0 13 0 157278516 1759449088 49143 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21392] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21392/stat : 21392 (java) S 21387 21389 21340 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 157278519 1759449088 49143 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21393] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21393/stat : 21393 (java) S 21387 21389 21340 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 49143 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21394] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21394/stat : 21394 (java) S 21387 21389 21340 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 49143 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21395] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21395/stat : 21395 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 157278523 1759449088 49143 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21396] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21396/stat : 21396 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 157278523 1759449088 49143 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21397] ppid=21387 vsize=1718212 CPUtime=0.98 /proc/21389/task/21397/stat : 21397 (java) S 21387 21389 21340 0 -1 64 3805 0 0 0 97 1 0 0 16 0 13 0 157278523 1759449088 49143 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21398] ppid=21387 vsize=1718212 CPUtime=0.85 /proc/21389/task/21398/stat : 21398 (java) S 21387 21389 21340 0 -1 64 1968 0 0 0 85 0 0 0 17 0 13 0 157278523 1759449088 49143 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21399] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21399/stat : 21399 (java) S 21387 21389 21340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157278523 1759449088 49143 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21400] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21400/stat : 21400 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157278523 1759449088 49143 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21413] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21413/stat : 21413 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157279464 1759449088 49143 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.47 Current children cumulated vsize (Kb) 1718212 [startup+20.0111 s] /proc/loadavg: 1.11 1.02 1.00 2/76 21419 /proc/meminfo: memFree=1107160/2055920 swapFree=4183076/4192956 [pid=21389] ppid=21387 vsize=1718212 CPUtime=21.53 /proc/21389/stat : 21389 (java) R 21387 21389 21340 0 -1 0 56608 0 1 0 2125 28 0 0 19 0 13 0 157278513 1759449088 51427 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071373915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21389/statm: 429553 51427 1910 14 0 416300 0 [pid=21389/tid=21390] ppid=21387 vsize=1718212 CPUtime=0.22 /proc/21389/task/21390/stat : 21390 (java) S 21387 21389 21340 0 -1 64 5521 0 0 0 20 2 0 0 16 0 13 0 157278516 1759449088 51427 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21391] ppid=21387 vsize=1718212 CPUtime=0.23 /proc/21389/task/21391/stat : 21391 (java) S 21387 21389 21340 0 -1 64 6510 0 0 0 20 3 0 0 16 0 13 0 157278516 1759449088 51427 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21392] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21392/stat : 21392 (java) S 21387 21389 21340 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 157278519 1759449088 51427 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21393] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21393/stat : 21393 (java) S 21387 21389 21340 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 51427 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21394] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21394/stat : 21394 (java) S 21387 21389 21340 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 51427 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21395] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21395/stat : 21395 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 157278523 1759449088 51427 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21396] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21396/stat : 21396 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 157278523 1759449088 51427 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21397] ppid=21387 vsize=1718212 CPUtime=0.98 /proc/21389/task/21397/stat : 21397 (java) S 21387 21389 21340 0 -1 64 3805 0 0 0 97 1 0 0 16 0 13 0 157278523 1759449088 51427 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21398] ppid=21387 vsize=1718212 CPUtime=0.85 /proc/21389/task/21398/stat : 21398 (java) S 21387 21389 21340 0 -1 64 1968 0 0 0 85 0 0 0 16 0 13 0 157278523 1759449088 51427 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21399] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21399/stat : 21399 (java) S 21387 21389 21340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157278523 1759449088 51427 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21400] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21400/stat : 21400 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157278523 1759449088 51427 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21419] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21419/stat : 21419 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157280192 1759449088 51427 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.53 Current children cumulated vsize (Kb) 1718212 [startup+30.019 s] /proc/loadavg: 1.10 1.01 1.00 2/76 21422 /proc/meminfo: memFree=1107792/2055920 swapFree=4183076/4192956 [pid=21389] ppid=21387 vsize=1718212 CPUtime=31.58 /proc/21389/stat : 21389 (java) R 21387 21389 21340 0 -1 0 58060 0 1 0 3129 29 0 0 25 0 13 0 157278513 1759449088 51271 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071382338 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21389/statm: 429553 51271 1910 14 0 416300 0 [pid=21389/tid=21390] ppid=21387 vsize=1718212 CPUtime=0.26 /proc/21389/task/21390/stat : 21390 (java) S 21387 21389 21340 0 -1 64 6240 0 0 0 24 2 0 0 16 0 13 0 157278516 1759449088 51271 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21391] ppid=21387 vsize=1718212 CPUtime=0.27 /proc/21389/task/21391/stat : 21391 (java) S 21387 21389 21340 0 -1 64 7235 0 0 0 24 3 0 0 16 0 13 0 157278516 1759449088 51271 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21392] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21392/stat : 21392 (java) S 21387 21389 21340 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 157278519 1759449088 51271 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21393] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21393/stat : 21393 (java) S 21387 21389 21340 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 51271 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21394] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21394/stat : 21394 (java) S 21387 21389 21340 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 51271 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21395] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21395/stat : 21395 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 157278523 1759449088 51271 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21396] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21396/stat : 21396 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 157278523 1759449088 51271 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21397] ppid=21387 vsize=1718212 CPUtime=0.98 /proc/21389/task/21397/stat : 21397 (java) S 21387 21389 21340 0 -1 64 3805 0 0 0 97 1 0 0 16 0 13 0 157278523 1759449088 51271 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21398] ppid=21387 vsize=1718212 CPUtime=0.86 /proc/21389/task/21398/stat : 21398 (java) S 21387 21389 21340 0 -1 64 1969 0 0 0 86 0 0 0 17 0 13 0 157278523 1759449088 51271 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21399] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21399/stat : 21399 (java) S 21387 21389 21340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157278523 1759449088 51271 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21400] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21400/stat : 21400 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157278523 1759449088 51271 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21422] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21422/stat : 21422 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157281169 1759449088 51271 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.58 Current children cumulated vsize (Kb) 1718212 [startup+40.0259 s] /proc/loadavg: 1.08 1.01 1.00 2/76 21425 /proc/meminfo: memFree=1111688/2055920 swapFree=4183076/4192956 [pid=21389] ppid=21387 vsize=1718212 CPUtime=41.62 /proc/21389/stat : 21389 (java) R 21387 21389 21340 0 -1 0 58923 0 1 0 4132 30 0 0 20 0 13 0 157278513 1759449088 50287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071534336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21389/statm: 429553 50287 1910 14 0 416300 0 [pid=21389/tid=21390] ppid=21387 vsize=1718212 CPUtime=0.31 /proc/21389/task/21390/stat : 21390 (java) S 21387 21389 21340 0 -1 64 6759 0 0 0 28 3 0 0 16 0 13 0 157278516 1759449088 50287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21391] ppid=21387 vsize=1718212 CPUtime=0.3 /proc/21389/task/21391/stat : 21391 (java) S 21387 21389 21340 0 -1 64 7572 0 0 0 27 3 0 0 17 0 13 0 157278516 1759449088 50287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21392] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21392/stat : 21392 (java) S 21387 21389 21340 0 -1 64 33 0 0 0 0 0 0 0 15 0 13 0 157278519 1759449088 50287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21393] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21393/stat : 21393 (java) S 21387 21389 21340 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 50287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21394] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21394/stat : 21394 (java) S 21387 21389 21340 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 50287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21395] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21395/stat : 21395 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 157278523 1759449088 50287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21396] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21396/stat : 21396 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 157278523 1759449088 50287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21397] ppid=21387 vsize=1718212 CPUtime=0.98 /proc/21389/task/21397/stat : 21397 (java) S 21387 21389 21340 0 -1 64 3805 0 0 0 97 1 0 0 16 0 13 0 157278523 1759449088 50287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21398] ppid=21387 vsize=1718212 CPUtime=0.86 /proc/21389/task/21398/stat : 21398 (java) S 21387 21389 21340 0 -1 64 1969 0 0 0 86 0 0 0 17 0 13 0 157278523 1759449088 50287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21399] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21399/stat : 21399 (java) S 21387 21389 21340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157278523 1759449088 50287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21400] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21400/stat : 21400 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157278523 1759449088 50287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21425] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21425/stat : 21425 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 157282343 1759449088 50287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.62 Current children cumulated vsize (Kb) 1718212 [startup+50.0339 s] /proc/loadavg: 1.07 1.01 1.00 2/76 21426 /proc/meminfo: memFree=1115136/2055920 swapFree=4183076/4192956 [pid=21389] ppid=21387 vsize=1718212 CPUtime=51.67 /proc/21389/stat : 21389 (java) R 21387 21389 21340 0 -1 0 59828 0 1 0 5136 31 0 0 23 0 13 0 157278513 1759449088 49430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071384259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21389/statm: 429553 49430 1910 14 0 416300 0 [pid=21389/tid=21390] ppid=21387 vsize=1718212 CPUtime=0.35 /proc/21389/task/21390/stat : 21390 (java) S 21387 21389 21340 0 -1 64 7311 0 0 0 32 3 0 0 16 0 13 0 157278516 1759449088 49430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21391] ppid=21387 vsize=1718212 CPUtime=0.34 /proc/21389/task/21391/stat : 21391 (java) S 21387 21389 21340 0 -1 64 7918 0 0 0 31 3 0 0 16 0 13 0 157278516 1759449088 49430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21392] ppid=21387 vsize=1718212 CPUtime=0.01 /proc/21389/task/21392/stat : 21392 (java) S 21387 21389 21340 0 -1 64 33 0 0 0 0 1 0 0 16 0 13 0 157278519 1759449088 49430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21393] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21393/stat : 21393 (java) S 21387 21389 21340 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 49430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21394] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21394/stat : 21394 (java) S 21387 21389 21340 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 49430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21395] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21395/stat : 21395 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 157278523 1759449088 49430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21396] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21396/stat : 21396 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 157278523 1759449088 49430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21397] ppid=21387 vsize=1718212 CPUtime=0.98 /proc/21389/task/21397/stat : 21397 (java) S 21387 21389 21340 0 -1 64 3805 0 0 0 97 1 0 0 17 0 13 0 157278523 1759449088 49430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21398] ppid=21387 vsize=1718212 CPUtime=0.86 /proc/21389/task/21398/stat : 21398 (java) S 21387 21389 21340 0 -1 64 1969 0 0 0 86 0 0 0 17 0 13 0 157278523 1759449088 49430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21399] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21399/stat : 21399 (java) S 21387 21389 21340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157278523 1759449088 49430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21400] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21400/stat : 21400 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157278523 1759449088 49430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21426] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21426/stat : 21426 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 157282661 1759449088 49430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.67 Current children cumulated vsize (Kb) 1718212 [startup+60.0408 s] /proc/loadavg: 1.06 1.01 1.00 2/76 21428 /proc/meminfo: memFree=1117496/2055920 swapFree=4183076/4192956 [pid=21389] ppid=21387 vsize=1718212 CPUtime=61.7 /proc/21389/stat : 21389 (java) R 21387 21389 21340 0 -1 0 60684 0 1 0 6139 31 0 0 25 0 13 0 157278513 1759449088 48837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071356211 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21389/statm: 429553 48837 1910 14 0 416300 0 [pid=21389/tid=21390] ppid=21387 vsize=1718212 CPUtime=0.39 /proc/21389/task/21390/stat : 21390 (java) S 21387 21389 21340 0 -1 64 7632 0 0 0 36 3 0 0 16 0 13 0 157278516 1759449088 48837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21391] ppid=21387 vsize=1718212 CPUtime=0.38 /proc/21389/task/21391/stat : 21391 (java) S 21387 21389 21340 0 -1 64 8446 0 0 0 35 3 0 0 16 0 13 0 157278516 1759449088 48837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21392] ppid=21387 vsize=1718212 CPUtime=0.01 /proc/21389/task/21392/stat : 21392 (java) S 21387 21389 21340 0 -1 64 33 0 0 0 0 1 0 0 16 0 13 0 157278519 1759449088 48837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21393] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21393/stat : 21393 (java) S 21387 21389 21340 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 48837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21394] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21394/stat : 21394 (java) S 21387 21389 21340 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 48837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21395] ppid=21387 vsize=1718212 CPUtime=0 ################ # More data... # ################ /proc/21389/task/21393/stat : 21393 (java) S 21387 21389 21340 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21394] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21394/stat : 21394 (java) S 21387 21389 21340 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21395] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21395/stat : 21395 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21396] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21396/stat : 21396 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21397] ppid=21387 vsize=1718212 CPUtime=1.01 /proc/21389/task/21397/stat : 21397 (java) S 21387 21389 21340 0 -1 64 3808 0 0 0 100 1 0 0 16 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21398] ppid=21387 vsize=1718212 CPUtime=0.91 /proc/21389/task/21398/stat : 21398 (java) S 21387 21389 21340 0 -1 64 1971 0 0 0 91 0 0 0 16 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21399] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21399/stat : 21399 (java) S 21387 21389 21340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21400] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21400/stat : 21400 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21440] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21440/stat : 21440 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 157452149 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.05 Current children cumulated vsize (Kb) 1718212 [startup+1780.41 s] /proc/loadavg: 1.13 1.03 1.01 2/76 21440 /proc/meminfo: memFree=801384/2055920 swapFree=4183076/4192956 [pid=21389] ppid=21387 vsize=1718212 CPUtime=1797.06 /proc/21389/stat : 21389 (java) R 21387 21389 21340 0 -1 0 220315 0 1 0 179586 120 0 0 25 0 13 0 157278513 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071384259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21389/statm: 429553 127495 1910 14 0 416300 0 [pid=21389/tid=21390] ppid=21387 vsize=1718212 CPUtime=16.36 /proc/21389/task/21390/stat : 21390 (java) S 21387 21389 21340 0 -1 64 58435 0 0 0 1607 29 0 0 16 0 13 0 157278516 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21391] ppid=21387 vsize=1718212 CPUtime=16.35 /proc/21389/task/21391/stat : 21391 (java) S 21387 21389 21340 0 -1 64 58597 0 0 0 1609 26 0 0 17 0 13 0 157278516 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21392] ppid=21387 vsize=1718212 CPUtime=0.33 /proc/21389/task/21392/stat : 21392 (java) S 21387 21389 21340 0 -1 64 294 0 0 0 16 17 0 0 16 0 13 0 157278519 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21393] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21393/stat : 21393 (java) S 21387 21389 21340 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21394] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21394/stat : 21394 (java) S 21387 21389 21340 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21395] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21395/stat : 21395 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21396] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21396/stat : 21396 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21397] ppid=21387 vsize=1718212 CPUtime=1.01 /proc/21389/task/21397/stat : 21397 (java) S 21387 21389 21340 0 -1 64 3808 0 0 0 100 1 0 0 16 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21398] ppid=21387 vsize=1718212 CPUtime=0.91 /proc/21389/task/21398/stat : 21398 (java) S 21387 21389 21340 0 -1 64 1971 0 0 0 91 0 0 0 16 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21399] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21399/stat : 21399 (java) S 21387 21389 21340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21400] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21400/stat : 21400 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21440] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21440/stat : 21440 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 157452149 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (Kb) 1718212 [startup+1781.42 s] /proc/loadavg: 1.13 1.03 1.01 2/76 21440 /proc/meminfo: memFree=801384/2055920 swapFree=4183076/4192956 [pid=21389] ppid=21387 vsize=1718212 CPUtime=1798.06 /proc/21389/stat : 21389 (java) R 21387 21389 21340 0 -1 0 220315 0 1 0 179686 120 0 0 25 0 13 0 157278513 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071382190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21389/statm: 429553 127495 1910 14 0 416300 0 [pid=21389/tid=21390] ppid=21387 vsize=1718212 CPUtime=16.36 /proc/21389/task/21390/stat : 21390 (java) S 21387 21389 21340 0 -1 64 58435 0 0 0 1607 29 0 0 16 0 13 0 157278516 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21391] ppid=21387 vsize=1718212 CPUtime=16.35 /proc/21389/task/21391/stat : 21391 (java) S 21387 21389 21340 0 -1 64 58597 0 0 0 1609 26 0 0 17 0 13 0 157278516 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21392] ppid=21387 vsize=1718212 CPUtime=0.33 /proc/21389/task/21392/stat : 21392 (java) S 21387 21389 21340 0 -1 64 294 0 0 0 16 17 0 0 16 0 13 0 157278519 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21393] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21393/stat : 21393 (java) S 21387 21389 21340 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21394] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21394/stat : 21394 (java) S 21387 21389 21340 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21395] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21395/stat : 21395 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21396] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21396/stat : 21396 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21397] ppid=21387 vsize=1718212 CPUtime=1.01 /proc/21389/task/21397/stat : 21397 (java) S 21387 21389 21340 0 -1 64 3808 0 0 0 100 1 0 0 16 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21398] ppid=21387 vsize=1718212 CPUtime=0.91 /proc/21389/task/21398/stat : 21398 (java) S 21387 21389 21340 0 -1 64 1971 0 0 0 91 0 0 0 16 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21399] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21399/stat : 21399 (java) S 21387 21389 21340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21400] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21400/stat : 21400 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157278523 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21440] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21440/stat : 21440 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 157452149 1759449088 127495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.06 Current children cumulated vsize (Kb) 1718212 [startup+1782.42 s] /proc/loadavg: 1.13 1.03 1.01 2/76 21440 /proc/meminfo: memFree=801320/2055920 swapFree=4183076/4192956 [pid=21389] ppid=21387 vsize=1718212 CPUtime=1799.1 /proc/21389/stat : 21389 (java) R 21387 21389 21340 0 -1 0 220340 0 1 0 179790 120 0 0 25 0 13 0 157278513 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071572138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21389/statm: 429553 127519 1910 14 0 416300 0 [pid=21389/tid=21390] ppid=21387 vsize=1718212 CPUtime=16.39 /proc/21389/task/21390/stat : 21390 (java) S 21387 21389 21340 0 -1 64 58435 0 0 0 1610 29 0 0 16 0 13 0 157278516 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21391] ppid=21387 vsize=1718212 CPUtime=16.37 /proc/21389/task/21391/stat : 21391 (java) S 21387 21389 21340 0 -1 64 58621 0 0 0 1611 26 0 0 16 0 13 0 157278516 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21392] ppid=21387 vsize=1718212 CPUtime=0.33 /proc/21389/task/21392/stat : 21392 (java) S 21387 21389 21340 0 -1 64 294 0 0 0 16 17 0 0 16 0 13 0 157278519 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21393] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21393/stat : 21393 (java) S 21387 21389 21340 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21394] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21394/stat : 21394 (java) S 21387 21389 21340 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21395] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21395/stat : 21395 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21396] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21396/stat : 21396 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21397] ppid=21387 vsize=1718212 CPUtime=1.01 /proc/21389/task/21397/stat : 21397 (java) S 21387 21389 21340 0 -1 64 3808 0 0 0 100 1 0 0 16 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21398] ppid=21387 vsize=1718212 CPUtime=0.91 /proc/21389/task/21398/stat : 21398 (java) S 21387 21389 21340 0 -1 64 1971 0 0 0 91 0 0 0 16 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21399] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21399/stat : 21399 (java) S 21387 21389 21340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21400] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21400/stat : 21400 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21440] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21440/stat : 21440 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 157452149 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.1 Current children cumulated vsize (Kb) 1718212 [startup+1783.43 s] /proc/loadavg: 1.13 1.03 1.01 2/76 21440 /proc/meminfo: memFree=801320/2055920 swapFree=4183076/4192956 [pid=21389] ppid=21387 vsize=1718212 CPUtime=1800.1 /proc/21389/stat : 21389 (java) R 21387 21389 21340 0 -1 0 220340 0 1 0 179890 120 0 0 25 0 13 0 157278513 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21389/statm: 429553 127519 1910 14 0 416300 0 [pid=21389/tid=21390] ppid=21387 vsize=1718212 CPUtime=16.39 /proc/21389/task/21390/stat : 21390 (java) S 21387 21389 21340 0 -1 64 58435 0 0 0 1610 29 0 0 16 0 13 0 157278516 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21391] ppid=21387 vsize=1718212 CPUtime=16.37 /proc/21389/task/21391/stat : 21391 (java) S 21387 21389 21340 0 -1 64 58621 0 0 0 1611 26 0 0 16 0 13 0 157278516 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21392] ppid=21387 vsize=1718212 CPUtime=0.33 /proc/21389/task/21392/stat : 21392 (java) S 21387 21389 21340 0 -1 64 294 0 0 0 16 17 0 0 16 0 13 0 157278519 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21393] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21393/stat : 21393 (java) S 21387 21389 21340 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21394] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21394/stat : 21394 (java) S 21387 21389 21340 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21395] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21395/stat : 21395 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21396] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21396/stat : 21396 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21397] ppid=21387 vsize=1718212 CPUtime=1.01 /proc/21389/task/21397/stat : 21397 (java) S 21387 21389 21340 0 -1 64 3808 0 0 0 100 1 0 0 16 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21398] ppid=21387 vsize=1718212 CPUtime=0.91 /proc/21389/task/21398/stat : 21398 (java) S 21387 21389 21340 0 -1 64 1971 0 0 0 91 0 0 0 16 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21399] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21399/stat : 21399 (java) S 21387 21389 21340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21400] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21400/stat : 21400 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21440] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21440/stat : 21440 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 157452149 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (Kb) 1718212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.43 s] /proc/loadavg: 1.13 1.03 1.01 2/76 21440 /proc/meminfo: memFree=801320/2055920 swapFree=4183076/4192956 [pid=21389] ppid=21387 vsize=1718212 CPUtime=1800.11 /proc/21389/stat : 21389 (java) R 21387 21389 21340 0 -1 0 220340 0 1 0 179891 120 0 0 25 0 13 0 157278513 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071382190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21389/statm: 429553 127519 1910 14 0 416300 0 [pid=21389/tid=21390] ppid=21387 vsize=1718212 CPUtime=16.39 /proc/21389/task/21390/stat : 21390 (java) S 21387 21389 21340 0 -1 64 58435 0 0 0 1610 29 0 0 16 0 13 0 157278516 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21391] ppid=21387 vsize=1718212 CPUtime=16.37 /proc/21389/task/21391/stat : 21391 (java) S 21387 21389 21340 0 -1 64 58621 0 0 0 1611 26 0 0 16 0 13 0 157278516 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21392] ppid=21387 vsize=1718212 CPUtime=0.33 /proc/21389/task/21392/stat : 21392 (java) S 21387 21389 21340 0 -1 64 294 0 0 0 16 17 0 0 16 0 13 0 157278519 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21393] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21393/stat : 21393 (java) S 21387 21389 21340 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21394] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21394/stat : 21394 (java) S 21387 21389 21340 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157278520 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21395] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21395/stat : 21395 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21396] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21396/stat : 21396 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21397] ppid=21387 vsize=1718212 CPUtime=1.01 /proc/21389/task/21397/stat : 21397 (java) S 21387 21389 21340 0 -1 64 3808 0 0 0 100 1 0 0 16 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21398] ppid=21387 vsize=1718212 CPUtime=0.91 /proc/21389/task/21398/stat : 21398 (java) S 21387 21389 21340 0 -1 64 1971 0 0 0 91 0 0 0 16 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21399] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21399/stat : 21399 (java) S 21387 21389 21340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21389/tid=21400] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21400/stat : 21400 (java) S 21387 21389 21340 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157278523 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21389/tid=21440] ppid=21387 vsize=1718212 CPUtime=0 /proc/21389/task/21440/stat : 21440 (java) S 21387 21389 21340 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 157452149 1759449088 127519 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (Kb) 1718212 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1783.56 CPU time (s): 1800.24 CPU user time (s): 1798.96 CPU system time (s): 1.2878 CPU usage (%): 100.935 Max. virtual memory (cumulated for all children) (Kb): 1718212 The end
Begin job on node23 on Fri Jul 28 16:29:43 UTC 2006 FILE ID= 50665-1154104183 PBS_JOBID= 886223 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node23/50665-1154104183/instance-50665-1154104183.opb 757540572 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-50665-1154104183 -o ROOT/results/node23/solver-50665-1154104183 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node23/50665-1154104183/instance-50665-1154104183.opb 757540572 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885 RANDOM SEED= 757540572 TIMEOUT= 1800 seconds /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.281 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.281 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: 1306000 kB Buffers: 33856 kB Cached: 636040 kB SwapCached: 3644 kB Active: 68792 kB Inactive: 609620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1306000 kB SwapTotal: 4192956 kB SwapFree: 4183076 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14528 kB Slab: 57568 kB Committed_AS: 692684 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node23 on Fri Jul 28 16:59:27 UTC 2006