Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 239717 | 1800.39 | 1793.46 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-markshare1_1.opb |
MD5SUM | 83e0e1e1c048d12c4488c7f5a723c62c |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 19690 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 221 |
Optimality of the best value was proved | NO |
Number of variables | 280 |
Total number of constraints | 11 |
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 | 11 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 130 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 6442450938 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 6442450938 |
Number of bits of the biggest sum of numbers | 33 |
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-34.ELsmp 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/node80/43151-1149305534/instance-43151-1149305534.opb 0.22 c reading problem ... 0.34 c ... done. Time 0.122 ms. 0.34 c #vars 280 0.34 c #constraints 17 3.55 c SATISFIABLE 3.55 c OPTIMIZING... 3.55 c Got one! Ellapsed CPU time (in seconds):3.332 3.56 o 6303978 4.71 c Got one! Ellapsed CPU time (in seconds):4.489 4.71 o 1329687 5.94 c Got one! Ellapsed CPU time (in seconds):5.719 5.94 o 1328535 7.23 c Got one! Ellapsed CPU time (in seconds):7.006 7.23 o 1325943 8.63 c Got one! Ellapsed CPU time (in seconds):8.411 8.63 o 486507 10.13 c Got one! Ellapsed CPU time (in seconds):9.915 10.13 o 459283 11.91 c Got one! Ellapsed CPU time (in seconds):11.693 11.91 o 445907 13.66 c Got one! Ellapsed CPU time (in seconds):13.439 13.66 o 430187 16.54 c Got one! Ellapsed CPU time (in seconds):16.325 16.54 o 321154 39.45 c Got one! Ellapsed CPU time (in seconds):39.235 39.45 o 283578 42.38 c Got one! Ellapsed CPU time (in seconds):42.165 42.38 o 259957 46.25 c Got one! Ellapsed CPU time (in seconds):46.027 46.25 o 249954 70.21 c Got one! Ellapsed CPU time (in seconds):69.987 70.21 o 249858 321.46 c Got one! Ellapsed CPU time (in seconds):321.24 321.46 o 239717 1793.33 c starts : 38 1793.33 c conflicts : 4177 1793.33 c decisions : 59120 1793.33 c propagations : 137758 1793.33 c inspects : 66403192 1793.33 c learnt literals : 0 1793.33 c learnt binary clauses : 0 1793.33 c learnt ternary clauses : 0 1793.33 c learnt clauses : 4176 1793.33 c root simplifications : 0 1793.33 c removed literals (reason simplification) : 0 1793.33 c reason swapping (by a shorter reason) : 0 1793.33 c Calls to reduceDB : 0 1793.33 c speed (decisions/second) : 40.166672668114714 1793.33 c non guided choices 686 1793.33 s SATISFIABLE 1793.33 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 1793.33 v -x31 x32 -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 1793.33 v -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 -x83 -x84 -x85 1793.33 v -x86 -x87 -x88 -x89 -x90 x91 -x92 x93 x94 x95 -x96 x97 -x98 x99 x100 -x101 x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 1793.33 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 x126 x127 -x128 -x129 -x130 -x131 1793.33 v x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 1793.33 v x153 x154 -x155 x156 x157 x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 1793.33 v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 x193 x194 -x195 1793.33 v x196 x197 x198 x199 -x200 -x201 x202 x203 x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 x212 -x213 -x214 x215 -x216 x217 -x218 1793.33 v -x219 -x220 x221 x222 -x223 x224 x225 x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 -x240 1793.33 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 x254 x255 x256 -x257 x258 -x259 x260 x261 -x262 1793.33 v -x263 -x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 -x275 -x276 x277 -x278 x279 -x280 1793.33 c objective function=239717 1793.33 c Total wall clock time (ms): 1793.113
OK 239717
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node80/watcher-43151-1149305534 -o ROOT/results/node80/solver-43151-1149305534 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node80/43151-1149305534/instance-43151-1149305534.opb 992509264 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.99 2/67 4532 /proc/meminfo: memFree=1655048/2055888 swapFree=4085432/4096564 [pid=4532] ppid=4530 vsize=224 CPUtime=0 /proc/4532/stat : 4532 (java) R 4530 4532 4486 0 -1 0 48 0 0 0 0 0 0 0 19 0 1 0 196191966 229376 31 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 11410205 0 0 4096 0 0 0 0 17 1 0 0 /proc/4532/statm: 74 35 27 14 0 5 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.98 0.99 2/79 4549 /proc/meminfo: memFree=1456616/2055888 swapFree=4085432/4096564 [pid=4532] ppid=4530 vsize=1717960 CPUtime=11.45 /proc/4532/stat : 4532 (java) R 4530 4532 4486 0 -1 0 56710 0 1 0 1122 23 0 0 25 0 13 0 196191966 1759191040 51375 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071398867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4532/statm: 429490 51375 1909 14 0 416236 0 [pid=4532/tid=4533] ppid=4530 vsize=1717960 CPUtime=0.13 /proc/4532/task/4533/stat : 4533 (java) S 4530 4532 4486 0 -1 64 4503 0 0 0 11 2 0 0 16 0 13 0 196191969 1759191040 51375 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4534] ppid=4530 vsize=1717960 CPUtime=0.13 /proc/4532/task/4534/stat : 4534 (java) S 4530 4532 4486 0 -1 64 4481 0 0 0 12 1 0 0 16 0 13 0 196191969 1759191040 51375 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4535] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4535/stat : 4535 (java) S 4530 4532 4486 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 196191972 1759191040 51375 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4536] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4536/stat : 4536 (java) S 4530 4532 4486 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 51375 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4537] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4537/stat : 4537 (java) S 4530 4532 4486 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 51375 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4538] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4538/stat : 4538 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196191976 1759191040 51375 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4539] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4539/stat : 4539 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196191976 1759191040 51375 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4540] ppid=4530 vsize=1717960 CPUtime=0.99 /proc/4532/task/4540/stat : 4540 (java) S 4530 4532 4486 0 -1 64 4435 0 0 0 98 1 0 0 17 0 13 0 196191976 1759191040 51375 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4541] ppid=4530 vsize=1717960 CPUtime=0.87 /proc/4532/task/4541/stat : 4541 (java) S 4530 4532 4486 0 -1 64 2072 0 0 0 87 0 0 0 16 0 13 0 196191976 1759191040 51375 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4542] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4542/stat : 4542 (java) S 4530 4532 4486 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196191976 1759191040 51375 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4543] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4543/stat : 4543 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196191976 1759191040 51375 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4549] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4549/stat : 4549 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196192830 1759191040 51375 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.45 Current children cumulated vsize (Kb) 1717960 [startup+20.0098 s] /proc/loadavg: 0.94 0.98 0.99 2/79 4553 /proc/meminfo: memFree=1449504/2055888 swapFree=4085432/4096564 [pid=4532] ppid=4530 vsize=1717960 CPUtime=21.54 /proc/4532/stat : 4532 (java) R 4530 4532 4486 0 -1 0 60074 0 1 0 2129 25 0 0 25 0 13 0 196191966 1759191040 53089 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4151565898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4532/statm: 429490 53089 1909 14 0 416236 0 [pid=4532/tid=4533] ppid=4530 vsize=1717960 CPUtime=0.2 /proc/4532/task/4533/stat : 4533 (java) S 4530 4532 4486 0 -1 64 6118 0 0 0 17 3 0 0 16 0 13 0 196191969 1759191040 53089 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4534] ppid=4530 vsize=1717960 CPUtime=0.2 /proc/4532/task/4534/stat : 4534 (java) S 4530 4532 4486 0 -1 64 6219 0 0 0 18 2 0 0 16 0 13 0 196191969 1759191040 53089 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4535] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4535/stat : 4535 (java) S 4530 4532 4486 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 196191972 1759191040 53089 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4536] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4536/stat : 4536 (java) S 4530 4532 4486 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 53089 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4537] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4537/stat : 4537 (java) S 4530 4532 4486 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 53089 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4538] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4538/stat : 4538 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196191976 1759191040 53089 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4539] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4539/stat : 4539 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 196191976 1759191040 53089 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4540] ppid=4530 vsize=1717960 CPUtime=0.99 /proc/4532/task/4540/stat : 4540 (java) S 4530 4532 4486 0 -1 64 4437 0 0 0 98 1 0 0 16 0 13 0 196191976 1759191040 53089 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4541] ppid=4530 vsize=1717960 CPUtime=0.88 /proc/4532/task/4541/stat : 4541 (java) S 4530 4532 4486 0 -1 64 2072 0 0 0 88 0 0 0 17 0 13 0 196191976 1759191040 53089 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4542] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4542/stat : 4542 (java) S 4530 4532 4486 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196191976 1759191040 53089 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4543] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4543/stat : 4543 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196191976 1759191040 53089 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4553] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4553/stat : 4553 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196193621 1759191040 53089 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.54 Current children cumulated vsize (Kb) 1717960 [startup+30.0168 s] /proc/loadavg: 0.95 0.98 0.99 2/79 4553 /proc/meminfo: memFree=1454112/2055888 swapFree=4085432/4096564 [pid=4532] ppid=4530 vsize=1717960 CPUtime=31.58 /proc/4532/stat : 4532 (java) R 4530 4532 4486 0 -1 0 61404 0 1 0 3133 25 0 0 21 0 13 0 196191966 1759191040 51944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071356185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4532/statm: 429490 51944 1909 14 0 416236 0 [pid=4532/tid=4533] ppid=4530 vsize=1717960 CPUtime=0.24 /proc/4532/task/4533/stat : 4533 (java) S 4530 4532 4486 0 -1 64 6853 0 0 0 21 3 0 0 16 0 13 0 196191969 1759191040 51944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4534] ppid=4530 vsize=1717960 CPUtime=0.24 /proc/4532/task/4534/stat : 4534 (java) S 4530 4532 4486 0 -1 64 6804 0 0 0 22 2 0 0 16 0 13 0 196191969 1759191040 51944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4535] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4535/stat : 4535 (java) S 4530 4532 4486 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 196191972 1759191040 51944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4536] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4536/stat : 4536 (java) S 4530 4532 4486 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 51944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4537] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4537/stat : 4537 (java) S 4530 4532 4486 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 51944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4538] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4538/stat : 4538 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196191976 1759191040 51944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4539] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4539/stat : 4539 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 196191976 1759191040 51944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4540] ppid=4530 vsize=1717960 CPUtime=0.99 /proc/4532/task/4540/stat : 4540 (java) S 4530 4532 4486 0 -1 64 4437 0 0 0 98 1 0 0 16 0 13 0 196191976 1759191040 51944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4541] ppid=4530 vsize=1717960 CPUtime=0.88 /proc/4532/task/4541/stat : 4541 (java) S 4530 4532 4486 0 -1 64 2072 0 0 0 88 0 0 0 17 0 13 0 196191976 1759191040 51944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4542] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4542/stat : 4542 (java) S 4530 4532 4486 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196191976 1759191040 51944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4543] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4543/stat : 4543 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196191976 1759191040 51944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4553] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4553/stat : 4553 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196193621 1759191040 51944 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) 1717960 [startup+40.0239 s] /proc/loadavg: 0.95 0.98 0.99 2/79 4554 /proc/meminfo: memFree=1459480/2055888 swapFree=4085432/4096564 [pid=4532] ppid=4530 vsize=1717960 CPUtime=41.62 /proc/4532/stat : 4532 (java) R 4530 4532 4486 0 -1 0 62365 0 1 0 4135 27 0 0 17 0 13 0 196191966 1759191040 50600 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071356185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4532/statm: 429490 50600 1909 14 0 416236 0 [pid=4532/tid=4533] ppid=4530 vsize=1717960 CPUtime=0.27 /proc/4532/task/4533/stat : 4533 (java) S 4530 4532 4486 0 -1 64 7241 0 0 0 24 3 0 0 17 0 13 0 196191969 1759191040 50600 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4534] ppid=4530 vsize=1717960 CPUtime=0.28 /proc/4532/task/4534/stat : 4534 (java) S 4530 4532 4486 0 -1 64 7367 0 0 0 25 3 0 0 16 0 13 0 196191969 1759191040 50600 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4535] ppid=4530 vsize=1717960 CPUtime=0.01 /proc/4532/task/4535/stat : 4535 (java) S 4530 4532 4486 0 -1 64 33 0 0 0 1 0 0 0 15 0 13 0 196191972 1759191040 50600 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4536] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4536/stat : 4536 (java) S 4530 4532 4486 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 50600 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4537] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4537/stat : 4537 (java) S 4530 4532 4486 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 50600 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4538] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4538/stat : 4538 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196191976 1759191040 50600 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4539] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4539/stat : 4539 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 196191976 1759191040 50600 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4540] ppid=4530 vsize=1717960 CPUtime=0.99 /proc/4532/task/4540/stat : 4540 (java) S 4530 4532 4486 0 -1 64 4437 0 0 0 98 1 0 0 16 0 13 0 196191976 1759191040 50600 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4541] ppid=4530 vsize=1717960 CPUtime=0.88 /proc/4532/task/4541/stat : 4541 (java) S 4530 4532 4486 0 -1 64 2072 0 0 0 88 0 0 0 17 0 13 0 196191976 1759191040 50600 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4542] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4542/stat : 4542 (java) S 4530 4532 4486 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196191976 1759191040 50600 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4543] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4543/stat : 4543 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196191976 1759191040 50600 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4554] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4554/stat : 4554 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196195912 1759191040 50600 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) 1717960 [startup+50.032 s] /proc/loadavg: 0.96 0.98 0.99 2/79 4556 /proc/meminfo: memFree=1459088/2055888 swapFree=4085432/4096564 [pid=4532] ppid=4530 vsize=1717960 CPUtime=51.69 /proc/4532/stat : 4532 (java) R 4530 4532 4486 0 -1 0 63844 0 1 0 5141 28 0 0 25 0 13 0 196191966 1759191040 50690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071516514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4532/statm: 429490 50690 1910 14 0 416236 0 [pid=4532/tid=4533] ppid=4530 vsize=1717960 CPUtime=0.31 /proc/4532/task/4533/stat : 4533 (java) S 4530 4532 4486 0 -1 64 7947 0 0 0 27 4 0 0 17 0 13 0 196191969 1759191040 50690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4534] ppid=4530 vsize=1717960 CPUtime=0.32 /proc/4532/task/4534/stat : 4534 (java) S 4530 4532 4486 0 -1 64 8129 0 0 0 29 3 0 0 16 0 13 0 196191969 1759191040 50690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4535] ppid=4530 vsize=1717960 CPUtime=0.02 /proc/4532/task/4535/stat : 4535 (java) S 4530 4532 4486 0 -1 64 33 0 0 0 1 1 0 0 16 0 13 0 196191972 1759191040 50690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4536] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4536/stat : 4536 (java) S 4530 4532 4486 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 50690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4537] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4537/stat : 4537 (java) S 4530 4532 4486 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 50690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4538] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4538/stat : 4538 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196191976 1759191040 50690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4539] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4539/stat : 4539 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 196191976 1759191040 50690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4540] ppid=4530 vsize=1717960 CPUtime=1 /proc/4532/task/4540/stat : 4540 (java) S 4530 4532 4486 0 -1 64 4437 0 0 0 99 1 0 0 17 0 13 0 196191976 1759191040 50690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4541] ppid=4530 vsize=1717960 CPUtime=0.92 /proc/4532/task/4541/stat : 4541 (java) S 4530 4532 4486 0 -1 64 2075 0 0 0 92 0 0 0 17 0 13 0 196191976 1759191040 50690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4542] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4542/stat : 4542 (java) S 4530 4532 4486 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196191976 1759191040 50690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4543] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4543/stat : 4543 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196191976 1759191040 50690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4556] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4556/stat : 4556 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196196592 1759191040 50690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.69 Current children cumulated vsize (Kb) 1717960 [startup+60.039 s] /proc/loadavg: 0.97 0.98 0.99 2/79 4556 /proc/meminfo: memFree=1462736/2055888 swapFree=4085432/4096564 [pid=4532] ppid=4530 vsize=1717960 CPUtime=61.73 /proc/4532/stat : 4532 (java) R 4530 4532 4486 0 -1 0 64764 0 1 0 6144 29 0 0 18 0 13 0 196191966 1759191040 49802 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071527577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4532/statm: 429490 49802 1910 14 0 416236 0 [pid=4532/tid=4533] ppid=4530 vsize=1717960 CPUtime=0.35 /proc/4532/task/4533/stat : 4533 (java) S 4530 4532 4486 0 -1 64 8360 0 0 0 31 4 0 0 16 0 13 0 196191969 1759191040 49802 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4534] ppid=4530 vsize=1717960 CPUtime=0.35 /proc/4532/task/4534/stat : 4534 (java) S 4530 4532 4486 0 -1 64 8626 0 0 0 32 3 0 0 16 0 13 0 196191969 1759191040 49802 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4535] ppid=4530 vsize=1717960 CPUtime=0.02 /proc/4532/task/4535/stat : 4535 (java) S 4530 4532 4486 0 -1 64 33 0 0 0 1 1 0 0 15 0 13 0 196191972 1759191040 49802 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4536] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4536/stat : 4536 (java) S 4530 4532 4486 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 49802 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4537] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4537/stat : 4537 (java) S 4530 4532 4486 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 49802 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4538] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4538/stat : 4538 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196191976 1759191040 49802 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=4532/tid=4536] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4536/stat : 4536 (java) S 4530 4532 4486 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4537] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4537/stat : 4537 (java) S 4530 4532 4486 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4538] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4538/stat : 4538 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4539] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4539/stat : 4539 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4540] ppid=4530 vsize=1717960 CPUtime=1 /proc/4532/task/4540/stat : 4540 (java) S 4530 4532 4486 0 -1 64 4437 0 0 0 99 1 0 0 16 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4541] ppid=4530 vsize=1717960 CPUtime=0.92 /proc/4532/task/4541/stat : 4541 (java) S 4530 4532 4486 0 -1 64 2075 0 0 0 92 0 0 0 17 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4542] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4542/stat : 4542 (java) S 4530 4532 4486 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4543] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4543/stat : 4543 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4558] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4558/stat : 4558 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196224113 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.23 Current children cumulated vsize (Kb) 1717960 [startup+1790.31 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4755 /proc/meminfo: memFree=1144128/2055888 swapFree=4085432/4096564 [pid=4532] ppid=4530 vsize=1717960 CPUtime=1797.24 /proc/4532/stat : 4532 (java) R 4530 4532 4486 0 -1 0 231385 0 1 0 179603 121 0 0 25 0 13 0 196191966 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071369608 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4532/statm: 429490 128965 1910 14 0 416236 0 [pid=4532/tid=4533] ppid=4530 vsize=1717960 CPUtime=6.76 /proc/4532/task/4533/stat : 4533 (java) S 4530 4532 4486 0 -1 64 65464 0 0 0 646 30 0 0 16 0 13 0 196191969 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4534] ppid=4530 vsize=1717960 CPUtime=6.75 /proc/4532/task/4534/stat : 4534 (java) S 4530 4532 4486 0 -1 64 68784 0 0 0 644 31 0 0 16 0 13 0 196191969 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4535] ppid=4530 vsize=1717960 CPUtime=0.33 /proc/4532/task/4535/stat : 4535 (java) S 4530 4532 4486 0 -1 64 239 0 0 0 18 15 0 0 16 0 13 0 196191972 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4536] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4536/stat : 4536 (java) S 4530 4532 4486 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4537] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4537/stat : 4537 (java) S 4530 4532 4486 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4538] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4538/stat : 4538 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4539] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4539/stat : 4539 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4540] ppid=4530 vsize=1717960 CPUtime=1 /proc/4532/task/4540/stat : 4540 (java) S 4530 4532 4486 0 -1 64 4437 0 0 0 99 1 0 0 16 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4541] ppid=4530 vsize=1717960 CPUtime=0.92 /proc/4532/task/4541/stat : 4541 (java) S 4530 4532 4486 0 -1 64 2075 0 0 0 92 0 0 0 17 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4542] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4542/stat : 4542 (java) S 4530 4532 4486 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4543] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4543/stat : 4543 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4558] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4558/stat : 4558 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196224113 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.24 Current children cumulated vsize (Kb) 1717960 [startup+1791.31 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4755 /proc/meminfo: memFree=1144128/2055888 swapFree=4085432/4096564 [pid=4532] ppid=4530 vsize=1717960 CPUtime=1798.24 /proc/4532/stat : 4532 (java) R 4530 4532 4486 0 -1 0 231385 0 1 0 179703 121 0 0 25 0 13 0 196191966 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071543628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4532/statm: 429490 128965 1910 14 0 416236 0 [pid=4532/tid=4533] ppid=4530 vsize=1717960 CPUtime=6.76 /proc/4532/task/4533/stat : 4533 (java) S 4530 4532 4486 0 -1 64 65464 0 0 0 646 30 0 0 16 0 13 0 196191969 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4534] ppid=4530 vsize=1717960 CPUtime=6.75 /proc/4532/task/4534/stat : 4534 (java) S 4530 4532 4486 0 -1 64 68784 0 0 0 644 31 0 0 16 0 13 0 196191969 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4535] ppid=4530 vsize=1717960 CPUtime=0.33 /proc/4532/task/4535/stat : 4535 (java) S 4530 4532 4486 0 -1 64 239 0 0 0 18 15 0 0 16 0 13 0 196191972 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4536] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4536/stat : 4536 (java) S 4530 4532 4486 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4537] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4537/stat : 4537 (java) S 4530 4532 4486 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4538] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4538/stat : 4538 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4539] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4539/stat : 4539 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4540] ppid=4530 vsize=1717960 CPUtime=1 /proc/4532/task/4540/stat : 4540 (java) S 4530 4532 4486 0 -1 64 4437 0 0 0 99 1 0 0 16 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4541] ppid=4530 vsize=1717960 CPUtime=0.92 /proc/4532/task/4541/stat : 4541 (java) S 4530 4532 4486 0 -1 64 2075 0 0 0 92 0 0 0 17 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4542] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4542/stat : 4542 (java) S 4530 4532 4486 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4543] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4543/stat : 4543 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4558] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4558/stat : 4558 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196224113 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.24 Current children cumulated vsize (Kb) 1717960 [startup+1792.32 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4755 /proc/meminfo: memFree=1144128/2055888 swapFree=4085432/4096564 [pid=4532] ppid=4530 vsize=1717960 CPUtime=1799.25 /proc/4532/stat : 4532 (java) R 4530 4532 4486 0 -1 0 231385 0 1 0 179804 121 0 0 25 0 13 0 196191966 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071543523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4532/statm: 429490 128965 1910 14 0 416236 0 [pid=4532/tid=4533] ppid=4530 vsize=1717960 CPUtime=6.76 /proc/4532/task/4533/stat : 4533 (java) S 4530 4532 4486 0 -1 64 65464 0 0 0 646 30 0 0 16 0 13 0 196191969 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4534] ppid=4530 vsize=1717960 CPUtime=6.75 /proc/4532/task/4534/stat : 4534 (java) S 4530 4532 4486 0 -1 64 68784 0 0 0 644 31 0 0 16 0 13 0 196191969 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4535] ppid=4530 vsize=1717960 CPUtime=0.33 /proc/4532/task/4535/stat : 4535 (java) S 4530 4532 4486 0 -1 64 239 0 0 0 18 15 0 0 16 0 13 0 196191972 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4536] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4536/stat : 4536 (java) S 4530 4532 4486 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4537] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4537/stat : 4537 (java) S 4530 4532 4486 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4538] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4538/stat : 4538 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4539] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4539/stat : 4539 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4540] ppid=4530 vsize=1717960 CPUtime=1 /proc/4532/task/4540/stat : 4540 (java) S 4530 4532 4486 0 -1 64 4437 0 0 0 99 1 0 0 16 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4541] ppid=4530 vsize=1717960 CPUtime=0.92 /proc/4532/task/4541/stat : 4541 (java) S 4530 4532 4486 0 -1 64 2075 0 0 0 92 0 0 0 17 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4542] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4542/stat : 4542 (java) S 4530 4532 4486 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4543] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4543/stat : 4543 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4558] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4558/stat : 4558 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196224113 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.25 Current children cumulated vsize (Kb) 1717960 [startup+1793.32 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4755 /proc/meminfo: memFree=1144128/2055888 swapFree=4085432/4096564 [pid=4532] ppid=4530 vsize=1717960 CPUtime=1800.25 /proc/4532/stat : 4532 (java) R 4530 4532 4486 0 -1 0 231385 0 1 0 179904 121 0 0 25 0 13 0 196191966 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071543621 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4532/statm: 429490 128965 1910 14 0 416236 0 [pid=4532/tid=4533] ppid=4530 vsize=1717960 CPUtime=6.76 /proc/4532/task/4533/stat : 4533 (java) S 4530 4532 4486 0 -1 64 65464 0 0 0 646 30 0 0 16 0 13 0 196191969 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4534] ppid=4530 vsize=1717960 CPUtime=6.75 /proc/4532/task/4534/stat : 4534 (java) S 4530 4532 4486 0 -1 64 68784 0 0 0 644 31 0 0 16 0 13 0 196191969 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4535] ppid=4530 vsize=1717960 CPUtime=0.33 /proc/4532/task/4535/stat : 4535 (java) S 4530 4532 4486 0 -1 64 239 0 0 0 18 15 0 0 16 0 13 0 196191972 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4536] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4536/stat : 4536 (java) S 4530 4532 4486 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4537] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4537/stat : 4537 (java) S 4530 4532 4486 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4538] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4538/stat : 4538 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4539] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4539/stat : 4539 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4540] ppid=4530 vsize=1717960 CPUtime=1 /proc/4532/task/4540/stat : 4540 (java) S 4530 4532 4486 0 -1 64 4437 0 0 0 99 1 0 0 16 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4541] ppid=4530 vsize=1717960 CPUtime=0.92 /proc/4532/task/4541/stat : 4541 (java) S 4530 4532 4486 0 -1 64 2075 0 0 0 92 0 0 0 17 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4542] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4542/stat : 4542 (java) S 4530 4532 4486 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4543] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4543/stat : 4543 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4558] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4558/stat : 4558 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196224113 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (Kb) 1717960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.33 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4755 /proc/meminfo: memFree=1144128/2055888 swapFree=4085432/4096564 [pid=4532] ppid=4530 vsize=1717960 CPUtime=1800.26 /proc/4532/stat : 4532 (java) R 4530 4532 4486 0 -1 0 231385 0 1 0 179905 121 0 0 25 0 13 0 196191966 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071452067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4532/statm: 429490 128965 1910 14 0 416236 0 [pid=4532/tid=4533] ppid=4530 vsize=1717960 CPUtime=6.76 /proc/4532/task/4533/stat : 4533 (java) S 4530 4532 4486 0 -1 64 65464 0 0 0 646 30 0 0 16 0 13 0 196191969 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4534] ppid=4530 vsize=1717960 CPUtime=6.75 /proc/4532/task/4534/stat : 4534 (java) S 4530 4532 4486 0 -1 64 68784 0 0 0 644 31 0 0 16 0 13 0 196191969 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4535] ppid=4530 vsize=1717960 CPUtime=0.33 /proc/4532/task/4535/stat : 4535 (java) S 4530 4532 4486 0 -1 64 239 0 0 0 18 15 0 0 16 0 13 0 196191972 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4536] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4536/stat : 4536 (java) S 4530 4532 4486 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4537] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4537/stat : 4537 (java) S 4530 4532 4486 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196191973 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4538] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4538/stat : 4538 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4539] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4539/stat : 4539 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4540] ppid=4530 vsize=1717960 CPUtime=1 /proc/4532/task/4540/stat : 4540 (java) S 4530 4532 4486 0 -1 64 4437 0 0 0 99 1 0 0 16 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4541] ppid=4530 vsize=1717960 CPUtime=0.92 /proc/4532/task/4541/stat : 4541 (java) S 4530 4532 4486 0 -1 64 2075 0 0 0 92 0 0 0 17 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4542] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4542/stat : 4542 (java) S 4530 4532 4486 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4532/tid=4543] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4543/stat : 4543 (java) S 4530 4532 4486 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196191976 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4532/tid=4558] ppid=4530 vsize=1717960 CPUtime=0 /proc/4532/task/4558/stat : 4558 (java) S 4530 4532 4486 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196224113 1759191040 128965 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (Kb) 1717960 Sending SIGTERM to -4532 Sleeping 2 seconds Child status: 143 Real time (s): 1793.46 CPU time (s): 1800.39 CPU user time (s): 1799.1 CPU system time (s): 1.2908 CPU usage (%): 100.386 Max. virtual memory (cumulated for all children) (Kb): 1717960
Begin job on node80 on Sat Jun 3 03:32:14 UTC 2006 FILE ID= 43151-1149305534 PBS_JOBID= 307597 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node80/43151-1149305534/instance-43151-1149305534.opb 992509264 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node80/watcher-43151-1149305534 -o ROOT/results/node80/solver-43151-1149305534 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node80/43151-1149305534/instance-43151-1149305534.opb 992509264 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 83e0e1e1c048d12c4488c7f5a723c62c RANDOM SEED= 992509264 /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.264 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 : 6006.16 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.264 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1655256 kB Buffers: 27372 kB Cached: 305172 kB SwapCached: 2356 kB Active: 32620 kB Inactive: 308636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1655256 kB SwapTotal: 4096564 kB SwapFree: 4085432 kB Dirty: 152 kB Writeback: 0 kB Mapped: 16588 kB Slab: 45992 kB Committed_AS: 339656 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node80 on Sat Jun 3 04:02:08 UTC 2006