Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 6743 | 1800.04 | 1800.88 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb |
MD5SUM | 08913f3dd730f4c3a659694fd4c06001 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3591 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3591 |
Optimality of the best value was proved | NO |
Number of variables | 556 |
Total number of constraints | 180 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 178 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 10575 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 524466 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 20152 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 524466 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 556 variables and 180 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.012 0.02 c After prepocess the problem consists of 556 variables and 180 constraints. 0.02 c Initial Lower Bound: 0 0.05 c Restart #1 #Var: 556 LB: 0 @ 0.036 0.09 c Restart #2 #Var: 556 LB: 0 @ 0.074 0.14 c Restart #3 #Var: 556 LB: 0 @ 0.131 0.23 c Restart #4 #Var: 556 LB: 0 @ 0.221 0.33 c Restart #5 #Var: 556 LB: 0 @ 0.321 0.48 c Restart #6 #Var: 556 LB: 0 @ 0.464 0.63 c Restart #7 #Var: 556 LB: 0 @ 0.619 0.90 c Restart #8 #Var: 556 LB: 0 @ 0.888 1.10 c Restart #9 #Var: 556 LB: 0 @ 1.091 1.51 c Restart #10 #Var: 556 LB: 0 @ 1.498 1.78 c Restart #11 #Var: 556 LB: 0 @ 1.77 2.20 c Restart #12 #Var: 556 LB: 0 @ 2.184 2.47 c Restart #13 #Var: 556 LB: 0 @ 2.458 2.93 c Restart #14 #Var: 556 LB: 0 @ 2.915 3.69 c Restart #15 #Var: 556 LB: 0 @ 3.681 4.59 c Restart #16 #Var: 556 LB: 0 @ 4.581 5.24 c Restart #17 #Var: 556 LB: 0 @ 5.23 5.74 c Restart #18 #Var: 556 LB: 0 @ 5.727 6.29 c Restart #19 #Var: 556 LB: 0 @ 6.28 7.13 c Restart #20 #Var: 556 LB: 0 @ 7.112 7.36 c Sol. found (all assignments made)... 7.36 o 62663 7.36 c NEW SOLUTION FOUND: 62663 @ 7.348 7.36 c Sol. found (all assignments made)... 7.36 c Sol. found (all assignments made)... 7.36 o 62336 7.36 c NEW SOLUTION FOUND: 62336 @ 7.348 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 o 62009 7.37 c NEW SOLUTION FOUND: 62009 @ 7.353 8.07 c Restart #21 #Var: 556 LB: 0 @ 8.059 8.90 c Restart #22 #Var: 556 LB: 0 @ 8.884 9.74 c Restart #23 #Var: 556 LB: 0 @ 9.729 10.45 c Restart #24 #Var: 556 LB: 0 @ 10.432 12.35 c CHANGE to LPR mode... UB: 62009 MIS: 0 LPR: 2333 (0.010222) Diff: 0 12.35 c Restart #0 #Var: 556 LB: 0 @ 12.189 13.58 o 33118 13.58 c NEW SOLUTION FOUND: 33118 @ 13.416 13.58 o 32465 13.58 c NEW SOLUTION FOUND: 32465 @ 13.422 13.59 o 32138 13.59 c NEW SOLUTION FOUND: 32138 @ 13.427 13.61 o 31939 13.62 c NEW SOLUTION FOUND: 31939 @ 13.452 13.63 o 31612 13.63 c NEW SOLUTION FOUND: 31612 @ 13.464 13.82 o 31086 13.82 c NEW SOLUTION FOUND: 31086 @ 13.659 14.08 o 31023 14.08 c NEW SOLUTION FOUND: 31023 @ 13.912 14.79 c Restart #1 #Var: 556 LB: 2333 @ 14.627 15.00 o 12848 15.00 c NEW SOLUTION FOUND: 12848 @ 14.834 15.02 o 12394 15.02 c NEW SOLUTION FOUND: 12394 @ 14.857 15.38 o 12337 15.38 c NEW SOLUTION FOUND: 12337 @ 15.219 15.40 o 12138 15.40 c NEW SOLUTION FOUND: 12138 @ 15.232 15.58 o 11938 15.58 c NEW SOLUTION FOUND: 11938 @ 15.419 15.94 o 11882 15.94 c NEW SOLUTION FOUND: 11882 @ 15.775 15.94 o 11683 15.94 c NEW SOLUTION FOUND: 11683 @ 15.78 17.00 o 11637 17.00 c NEW SOLUTION FOUND: 11637 @ 16.832 17.34 o 11028 17.34 c NEW SOLUTION FOUND: 11028 @ 17.18 17.35 o 9977 17.35 c NEW SOLUTION FOUND: 9977 @ 17.19 17.77 o 9788 17.77 c NEW SOLUTION FOUND: 9788 @ 17.601 17.93 o 9787 17.93 c NEW SOLUTION FOUND: 9787 @ 17.764 18.09 o 9681 18.09 c NEW SOLUTION FOUND: 9681 @ 17.927 18.16 o 9651 18.16 c NEW SOLUTION FOUND: 9651 @ 17.998 18.54 o 9451 18.54 c NEW SOLUTION FOUND: 9451 @ 18.37 18.93 o 8926 18.93 c NEW SOLUTION FOUND: 8926 @ 18.766 18.97 o 8785 18.97 c NEW SOLUTION FOUND: 8785 @ 18.8 19.05 o 8729 19.05 c NEW SOLUTION FOUND: 8729 @ 18.887 19.10 o 8530 19.10 c NEW SOLUTION FOUND: 8530 @ 18.929 20.55 o 8484 20.55 c NEW SOLUTION FOUND: 8484 @ 20.386 20.67 o 8400 20.67 c NEW SOLUTION FOUND: 8400 @ 20.498 20.74 o 7874 20.74 c NEW SOLUTION FOUND: 7874 @ 20.569 23.12 c Restart #2 #Var: 556 LB: 2333 @ 22.953 27.21 c Restart #3 #Var: 556 LB: 2333 @ 27.038 31.61 c Restart #4 #Var: 556 LB: 2339 @ 31.439 38.79 c Restart #5 #Var: 556 LB: 2339 @ 38.617 50.57 c Restart #6 #Var: 556 LB: 2339 @ 50.389 59.32 c Restart #7 #Var: 556 LB: 2339 @ 59.143 71.54 c Restart #8 #Var: 556 LB: 2339 @ 71.358 87.08 c Restart #9 #Var: 556 LB: 2340 @ 86.891 104.73 c Restart #10 #Var: 556 LB: 2340 @ 104.54 123.26 c Restart #11 #Var: 556 LB: 2340 @ 123.06 146.39 c Restart #12 #Var: 556 LB: 2340 @ 146.18 152.39 o 7847 152.39 c NEW SOLUTION FOUND: 7847 @ 152.18 153.24 o 7777 153.24 c NEW SOLUTION FOUND: 7777 @ 153.03 160.26 o 7734 160.26 c NEW SOLUTION FOUND: 7734 @ 160.05 161.83 o 7648 161.83 c NEW SOLUTION FOUND: 7648 @ 161.62 162.67 o 7578 162.67 c NEW SOLUTION FOUND: 7578 @ 162.46 169.66 o 7535 169.66 c NEW SOLUTION FOUND: 7535 @ 169.45 224.85 o 7534 224.85 c NEW SOLUTION FOUND: 7534 @ 224.62 227.81 o 7263 227.81 c NEW SOLUTION FOUND: 7263 @ 227.58 229.20 o 7233 229.20 c NEW SOLUTION FOUND: 7233 @ 228.97 229.31 o 7179 229.31 c NEW SOLUTION FOUND: 7179 @ 229.08 229.94 o 7149 229.94 c NEW SOLUTION FOUND: 7149 @ 229.71 238.86 o 7109 238.86 c NEW SOLUTION FOUND: 7109 @ 238.63 239.52 o 7079 239.52 c NEW SOLUTION FOUND: 7079 @ 239.28 260.18 c Restart #13 #Var: 556 LB: 2340 @ 259.94 293.38 c Restart #14 #Var: 556 LB: 2340 @ 293.12 320.88 c Restart #15 #Var: 556 LB: 2340 @ 320.62 355.40 c Restart #16 #Var: 556 LB: 2340 @ 355.13 358.31 o 6964 358.31 c NEW SOLUTION FOUND: 6964 @ 358.04 412.72 c Restart #17 #Var: 556 LB: 2340 @ 412.42 441.23 c Restart #18 #Var: 556 LB: 2340 @ 440.93 490.12 c Restart #19 #Var: 556 LB: 2340 @ 489.8 546.51 c Restart #20 #Var: 556 LB: 2340 @ 546.17 594.81 c Restart #21 #Var: 556 LB: 2340 @ 594.46 641.43 c Restart #22 #Var: 556 LB: 2340 @ 641.06 711.03 c Restart #23 #Var: 556 LB: 2340 @ 710.64 779.92 c Restart #24 #Var: 556 LB: 2340 @ 779.5 924.87 c Restart #25 #Var: 556 LB: 2340 @ 924.41 1133.80 c Restart #26 #Var: 556 LB: 2340 @ 1133.3 1191.07 o 6937 1191.07 c NEW SOLUTION FOUND: 6937 @ 1190.5 1205.93 o 6837 1205.93 c NEW SOLUTION FOUND: 6837 @ 1205.4 1206.65 o 6813 1206.65 c NEW SOLUTION FOUND: 6813 @ 1206.1 1279.90 o 6767 1279.90 c NEW SOLUTION FOUND: 6767 @ 1279.3 1281.11 o 6743 1281.11 c NEW SOLUTION FOUND: 6743 @ 1280.5 1374.11 c Restart #27 #Var: 556 LB: 2340 @ 1373.5 1500.59 c Restart #28 #Var: 556 LB: 2340 @ 1499.9 1718.00 c Restart #29 #Var: 556 LB: 2340 @ 1717.3 1800.78 s SATISFIABLE 1800.78 c Cost: 6743 1800.78 v -x1 -x2 -x3 -x4 -x49 -x50 -x51 -x52 -x97 -x98 -x99 -x100 -x145 -x146 -x147 -x148 -x279 -x280 -x281 -x282 -x327 -x328 -x329 -x330 1800.78 v -x375 -x376 -x377 -x378 -x423 -x424 -x425 -x426 -x5 -x6 -x7 -x8 -x53 -x54 -x55 -x56 -x101 x102 -x103 -x104 -x149 -x150 -x151 1800.78 v -x152 -x193 -x194 -x195 -x196 -x236 -x237 -x238 -x239 -x283 -x284 -x285 -x286 -x331 -x332 -x333 -x334 -x379 -x380 -x381 -x382 1800.78 v -x427 -x428 -x429 -x430 -x471 -x472 -x473 -x474 -x514 -x515 -x516 -x517 -x9 -x10 -x11 -x12 -x57 -x58 -x59 -x60 -x105 -x106 1800.78 v -x107 -x108 -x153 -x154 -x155 -x156 -x197 x198 -x199 -x200 -x240 -x241 -x242 -x243 x287 -x288 -x289 -x290 -x335 -x336 -x337 1800.78 v -x338 -x383 -x384 -x385 -x386 -x431 -x432 -x433 -x434 -x475 -x476 -x477 -x478 -x518 -x519 -x520 -x521 -x13 -x61 -x109 -x157 1800.78 v -x201 -x244 -x291 -x339 -x387 -x435 -x479 -x522 -x14 -x15 -x16 -x62 -x63 -x64 -x110 -x111 -x112 -x158 -x159 -x160 -x202 -x203 1800.78 v -x204 -x245 -x246 -x247 -x292 -x293 -x294 -x340 -x341 -x342 -x388 -x389 -x390 -x436 -x437 -x438 -x480 -x481 -x482 -x523 -x524 1800.78 v -x525 -x17 -x18 -x19 -x20 -x65 -x66 -x67 -x68 -x113 x114 -x115 -x116 -x161 -x162 -x163 -x164 -x205 -x206 -x207 -x208 -x248 1800.78 v -x249 -x250 -x251 -x295 -x296 -x297 -x298 x343 -x344 -x345 -x346 -x391 -x392 -x393 -x394 -x439 -x440 -x441 -x442 -x483 -x484 1800.78 v -x485 -x486 -x526 -x527 -x528 -x529 -x209 -x210 -x211 -x252 -x253 -x254 -x487 -x488 -x489 -x530 -x531 -x532 -x21 -x22 -x23 1800.78 v -x24 -x69 -x70 -x71 -x72 -x117 -x118 -x119 -x120 -x165 -x166 -x167 -x168 -x299 -x300 -x301 -x302 -x347 -x348 -x349 -x350 -x395 1800.78 v -x396 -x397 -x398 -x443 -x444 -x445 -x446 -x25 -x26 -x27 -x73 -x74 -x75 -x121 -x122 -x123 -x169 -x170 -x171 -x212 -x213 -x214 1800.78 v -x255 -x256 x257 -x303 -x304 -x305 -x351 -x352 -x353 x399 -x400 -x401 -x447 -x448 -x449 -x490 -x491 -x492 -x533 -x534 -x535 1800.78 v -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x76 -x77 -x78 -x79 -x80 -x81 1800.78 v -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 1800.78 v -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x172 -x173 -x174 -x175 -x176 x177 x178 -x179 -x180 -x181 -x182 1800.78 v -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 1800.78 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 1800.78 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1800.78 v -x320 -x321 -x322 -x323 x324 -x325 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 1800.78 v -x369 -x370 -x371 x372 -x373 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 1800.78 v -x418 -x419 -x420 -x421 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1800.78 v -x467 -x468 -x469 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 1800.78 v -x511 -x512 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 1800.78 v -x555 -x48 x96 -x144 -x192 -x235 -x278 -x326 -x374 -x422 -x470 -x513 -x556 1800.78 c Exit Code: 10 1800.78 c Total time: 1800 s
OK 6743
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/node34/watcher-40074-1149273207 -o ROOT/results/node34/solver-40074-1149273207 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40074-1149273207/instance-40074-1149273207.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 17962 /proc/meminfo: memFree=836296/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=4656 CPUtime=0 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 73 0 0 0 0 0 0 0 19 0 1 0 192984564 4767744 55 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7723661 0 0 4096 0 0 0 0 17 1 0 0 /proc/17962/statm: 1165 61 45 55 0 45 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.95 0.90 2/64 17962 /proc/meminfo: memFree=805928/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=34780 CPUtime=9.98 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 7971 0 0 0 992 6 0 0 25 0 1 0 192984564 35614720 7886 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 8695 7886 297 55 0 7587 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 34780 [startup+20.0093 s] /proc/loadavg: 0.94 0.96 0.91 2/64 17962 /proc/meminfo: memFree=799208/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=41048 CPUtime=19.83 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 18628 0 2 0 1964 19 0 0 25 0 1 0 192984564 42033152 9567 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 10262 9567 431 55 0 9154 0 Current children cumulated CPU time (s) 19.83 Current children cumulated vsize (Kb) 41048 [startup+30.016 s] /proc/loadavg: 0.95 0.96 0.91 2/64 17962 /proc/meminfo: memFree=798312/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=41788 CPUtime=29.83 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 31789 0 2 0 2949 34 0 0 25 0 1 0 192984564 42790912 9753 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 10447 9753 431 55 0 9339 0 Current children cumulated CPU time (s) 29.83 Current children cumulated vsize (Kb) 41788 [startup+40.0217 s] /proc/loadavg: 0.95 0.96 0.91 2/64 17962 /proc/meminfo: memFree=795816/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=44464 CPUtime=39.83 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 47190 0 2 0 3933 50 0 0 25 0 1 0 192984564 45531136 10371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8156741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 11116 10372 431 55 0 10008 0 Current children cumulated CPU time (s) 39.83 Current children cumulated vsize (Kb) 44464 [startup+50.0274 s] /proc/loadavg: 0.96 0.96 0.91 2/64 17962 /proc/meminfo: memFree=794088/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=46136 CPUtime=49.84 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 64407 0 2 0 4914 70 0 0 25 0 1 0 192984564 47243264 10836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 11534 10836 431 55 0 10426 0 Current children cumulated CPU time (s) 49.84 Current children cumulated vsize (Kb) 46136 [startup+60.0331 s] /proc/loadavg: 0.97 0.96 0.91 2/64 17964 /proc/meminfo: memFree=790696/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=49596 CPUtime=59.85 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 84937 0 2 0 5895 90 0 0 25 0 1 0 192984564 50786304 11657 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8156741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 12399 11657 431 55 0 11291 0 Current children cumulated CPU time (s) 59.85 Current children cumulated vsize (Kb) 49596 [startup+70.0398 s] /proc/loadavg: 0.97 0.96 0.91 2/64 17964 /proc/meminfo: memFree=788968/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=51244 CPUtime=69.85 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 99244 0 2 0 6879 106 0 0 25 0 1 0 192984564 52473856 12113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 12811 12113 431 55 0 11703 0 Current children cumulated CPU time (s) 69.85 Current children cumulated vsize (Kb) 51244 [startup+80.0465 s] /proc/loadavg: 0.98 0.96 0.91 2/64 17964 /proc/meminfo: memFree=786024/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=54172 CPUtime=79.85 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 115606 0 2 0 7862 123 0 0 25 0 1 0 192984564 55472128 12845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 13543 12845 431 55 0 12435 0 Current children cumulated CPU time (s) 79.85 Current children cumulated vsize (Kb) 54172 [startup+90.0522 s] /proc/loadavg: 0.98 0.96 0.91 2/64 17964 /proc/meminfo: memFree=784296/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=55860 CPUtime=89.86 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 133749 0 2 0 8844 142 0 0 25 0 1 0 192984564 57200640 13271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 13965 13271 431 55 0 12857 0 Current children cumulated CPU time (s) 89.86 Current children cumulated vsize (Kb) 55860 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.91 2/64 17964 /proc/meminfo: memFree=784296/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=55936 CPUtime=99.86 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 142376 0 2 0 9834 152 0 0 25 0 1 0 192984564 57278464 13290 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 13984 13290 431 55 0 12876 0 Current children cumulated CPU time (s) 99.86 Current children cumulated vsize (Kb) 55936 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/64 17964 /proc/meminfo: memFree=784104/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=55928 CPUtime=109.86 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 148484 0 2 0 10824 162 0 0 25 0 1 0 192984564 57270272 13288 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 13982 13288 431 55 0 12874 0 Current children cumulated CPU time (s) 109.86 Current children cumulated vsize (Kb) 55928 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17964 /proc/meminfo: memFree=784104/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=56004 CPUtime=119.86 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 156673 0 2 0 11815 171 0 0 25 0 1 0 192984564 57348096 13307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 14001 13307 431 55 0 12893 0 Current children cumulated CPU time (s) 119.86 Current children cumulated vsize (Kb) 56004 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17964 /proc/meminfo: memFree=783464/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=56768 CPUtime=129.86 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 169534 0 2 0 12801 185 0 0 25 0 1 0 192984564 58130432 13498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 14192 13498 431 55 0 13084 0 Current children cumulated CPU time (s) 129.86 Current children cumulated vsize (Kb) 56768 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17964 /proc/meminfo: memFree=781544/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=58636 CPUtime=139.87 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 187240 0 2 0 13787 200 0 0 25 0 1 0 192984564 60043264 13965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 14659 13965 431 55 0 13551 0 Current children cumulated CPU time (s) 139.87 Current children cumulated vsize (Kb) 58636 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17964 /proc/meminfo: memFree=781224/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=58836 CPUtime=149.87 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 195766 0 2 0 14775 212 0 0 25 0 1 0 192984564 60248064 14015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 14709 14015 431 55 0 13601 0 Current children cumulated CPU time (s) 149.87 Current children cumulated vsize (Kb) 58836 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17964 /proc/meminfo: memFree=781224/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=58836 CPUtime=159.87 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 200571 0 2 0 15764 223 0 0 25 0 1 0 192984564 60248064 14015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 14709 14015 431 55 0 13601 0 Current children cumulated CPU time (s) 159.87 Current children cumulated vsize (Kb) 58836 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17964 /proc/meminfo: memFree=781160/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=59020 CPUtime=169.87 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 210039 0 2 0 16749 238 0 0 25 0 1 0 192984564 60436480 14061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160211734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 14755 14061 431 55 0 13647 0 Current children cumulated CPU time (s) 169.87 Current children cumulated vsize (Kb) 59020 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17964 /proc/meminfo: memFree=780904/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=59248 CPUtime=179.87 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 219638 0 2 0 17735 252 0 0 25 0 1 0 192984564 60669952 14118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 14812 14118 431 55 0 13704 0 Current children cumulated CPU time (s) 179.87 Current children cumulated vsize (Kb) 59248 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17964 /proc/meminfo: memFree=780648/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=59520 CPUtime=189.88 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 229144 0 2 0 18722 266 0 0 25 0 1 0 192984564 60948480 14186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 14880 14186 431 55 0 13772 0 Current children cumulated CPU time (s) 189.88 Current children cumulated vsize (Kb) 59520 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17964 /proc/meminfo: memFree=780456/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=59792 CPUtime=199.88 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 238819 0 2 0 19707 281 0 0 25 0 1 0 192984564 61227008 14242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 14948 14242 431 55 0 13840 0 Current children cumulated CPU time (s) 199.88 Current children cumulated vsize (Kb) 59792 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17964 /proc/meminfo: memFree=780264/2055920 swapFree=4181356/4192956 ################ # More data... # ################ /proc/17962/statm: 40832 40116 433 55 0 39724 0 Current children cumulated CPU time (s) 1760.26 Current children cumulated vsize (Kb) 163328 [startup+1771.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=676072/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=163544 CPUtime=1770.26 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1690071 0 2 0 175384 1642 0 0 25 0 1 0 192984564 167469056 40170 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 40886 40170 433 55 0 39778 0 Current children cumulated CPU time (s) 1770.26 Current children cumulated vsize (Kb) 163544 [startup+1781.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675944/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=163664 CPUtime=1780.27 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1696803 0 2 0 176379 1648 0 0 25 0 1 0 192984564 167591936 40197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 40916 40197 433 55 0 39808 0 Current children cumulated CPU time (s) 1780.27 Current children cumulated vsize (Kb) 163664 [startup+1782.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675880/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=163712 CPUtime=1781.27 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1697617 0 2 0 176478 1649 0 0 25 0 1 0 192984564 167641088 40210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 40928 40210 433 55 0 39820 0 Current children cumulated CPU time (s) 1781.27 Current children cumulated vsize (Kb) 163712 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675816/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=163836 CPUtime=1782.27 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1698314 0 2 0 176578 1649 0 0 25 0 1 0 192984564 167768064 40243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 40959 40243 433 55 0 39851 0 Current children cumulated CPU time (s) 1782.27 Current children cumulated vsize (Kb) 163836 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675752/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=163844 CPUtime=1783.28 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1698670 0 2 0 176678 1650 0 0 25 0 1 0 192984564 167776256 40245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 40961 40245 433 55 0 39853 0 Current children cumulated CPU time (s) 1783.28 Current children cumulated vsize (Kb) 163844 [startup+1785.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675752/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=163844 CPUtime=1784.28 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1698874 0 2 0 176778 1650 0 0 25 0 1 0 192984564 167776256 40245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 40961 40245 433 55 0 39853 0 Current children cumulated CPU time (s) 1784.28 Current children cumulated vsize (Kb) 163844 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675752/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=163844 CPUtime=1785.29 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1699527 0 2 0 176878 1651 0 0 25 0 1 0 192984564 167776256 40245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 40961 40245 433 55 0 39853 0 Current children cumulated CPU time (s) 1785.29 Current children cumulated vsize (Kb) 163844 [startup+1787.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675752/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=163856 CPUtime=1786.29 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1700264 0 2 0 176978 1651 0 0 25 0 1 0 192984564 167788544 40248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 40964 40248 433 55 0 39856 0 Current children cumulated CPU time (s) 1786.29 Current children cumulated vsize (Kb) 163856 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675752/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=163900 CPUtime=1787.29 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1700992 0 2 0 177077 1652 0 0 25 0 1 0 192984564 167833600 40251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 40975 40251 433 55 0 39867 0 Current children cumulated CPU time (s) 1787.29 Current children cumulated vsize (Kb) 163900 [startup+1789.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675560/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=164072 CPUtime=1788.3 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1701742 0 2 0 177177 1653 0 0 25 0 1 0 192984564 168009728 40293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 41018 40293 433 55 0 39910 0 Current children cumulated CPU time (s) 1788.3 Current children cumulated vsize (Kb) 164072 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675496/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=164124 CPUtime=1789.31 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1702351 0 2 0 177277 1654 0 0 25 0 1 0 192984564 168062976 40312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 41031 40312 433 55 0 39923 0 Current children cumulated CPU time (s) 1789.31 Current children cumulated vsize (Kb) 164124 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675432/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=164140 CPUtime=1790.31 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1702846 0 2 0 177377 1654 0 0 25 0 1 0 192984564 168079360 40319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 41035 40319 433 55 0 39927 0 Current children cumulated CPU time (s) 1790.31 Current children cumulated vsize (Kb) 164140 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675432/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=164188 CPUtime=1791.32 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1703289 0 2 0 177477 1655 0 0 25 0 1 0 192984564 168128512 40331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 41047 40331 433 55 0 39939 0 Current children cumulated CPU time (s) 1791.32 Current children cumulated vsize (Kb) 164188 [startup+1793.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675432/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=164188 CPUtime=1792.32 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1703523 0 2 0 177577 1655 0 0 25 0 1 0 192984564 168128512 40331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 41047 40331 433 55 0 39939 0 Current children cumulated CPU time (s) 1792.32 Current children cumulated vsize (Kb) 164188 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675432/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=164188 CPUtime=1793.32 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1703798 0 2 0 177677 1655 0 0 25 0 1 0 192984564 168128512 40331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 41047 40331 433 55 0 39939 0 Current children cumulated CPU time (s) 1793.32 Current children cumulated vsize (Kb) 164188 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675368/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=164200 CPUtime=1794.32 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1704340 0 2 0 177777 1655 0 0 25 0 1 0 192984564 168140800 40334 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159299589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 41050 40334 433 55 0 39942 0 Current children cumulated CPU time (s) 1794.32 Current children cumulated vsize (Kb) 164200 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675304/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=164284 CPUtime=1795.33 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1705015 0 2 0 177877 1656 0 0 25 0 1 0 192984564 168226816 40355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 41071 40355 433 55 0 39963 0 Current children cumulated CPU time (s) 1795.33 Current children cumulated vsize (Kb) 164284 [startup+1797.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675304/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=164300 CPUtime=1796.34 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1705645 0 2 0 177977 1657 0 0 25 0 1 0 192984564 168243200 40359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 41075 40359 433 55 0 39967 0 Current children cumulated CPU time (s) 1796.34 Current children cumulated vsize (Kb) 164300 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675240/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=164360 CPUtime=1797.34 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1706239 0 2 0 178077 1657 0 0 25 0 1 0 192984564 168304640 40374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 41090 40374 433 55 0 39982 0 Current children cumulated CPU time (s) 1797.34 Current children cumulated vsize (Kb) 164360 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675240/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=164416 CPUtime=1798.35 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1707139 0 2 0 178177 1658 0 0 25 0 1 0 192984564 168361984 40378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 41104 40378 433 55 0 39996 0 Current children cumulated CPU time (s) 1798.35 Current children cumulated vsize (Kb) 164416 [startup+1800.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18159 /proc/meminfo: memFree=675112/2055920 swapFree=4181356/4192956 [pid=17962] ppid=17960 vsize=164520 CPUtime=1799.35 /proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1708197 0 2 0 178276 1659 0 0 25 0 1 0 192984564 168468480 40403 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17962/statm: 41130 40403 433 55 0 40022 0 Current children cumulated CPU time (s) 1799.35 Current children cumulated vsize (Kb) 164520 Child status: 10 Real time (s): 1800.88 CPU time (s): 1800.04 CPU user time (s): 1783.41 CPU system time (s): 16.6325 CPU usage (%): 99.9535 Max. virtual memory (cumulated for all children) (Kb): 164520
Begin job on node34 on Fri Jun 2 18:33:27 UTC 2006 FILE ID= 40074-1149273207 PBS_JOBID= 301575 BENCH NAME= ROOT/tmp/node34/40074-1149273207/instance-40074-1149273207.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40074-1149273207/instance-40074-1149273207.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-40074-1149273207 -o ROOT/results/node34/solver-40074-1149273207 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40074-1149273207/instance-40074-1149273207.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 08913f3dd730f4c3a659694fd4c06001 RANDOM SEED= 126372584 /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.277 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.277 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: 836504 kB Buffers: 31748 kB Cached: 1113112 kB SwapCached: 3524 kB Active: 44028 kB Inactive: 1109788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 836504 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14900 kB Slab: 51640 kB Committed_AS: 293492 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node34 on Fri Jun 2 19:03:28 UTC 2006