Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb |
MD5SUM | 5b3b72cfc97a7b1e471b28e18b610f1a |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 341 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 682 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 682 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 682 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 2.19167 |
Number of variables | 682 |
Total number of constraints | 1701 |
Number of constraints which are clauses | 1701 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-15 23:43:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25299 boxname=wulflinc4 idbench=201 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 5b3b72cfc97a7b1e471b28e18b610f1a /oldhome/oroussel/tmp/wulflinc4/normalized-par16-5-c.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-par16-5-c.opb IDLAUNCH: 25299 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 736136 kB Buffers: 33604 kB Cached: 243232 kB SwapCached: 944 kB Active: 57080 kB Inactive: 221928 kB HighTotal: 131008 kB HighFree: 9156 kB LowTotal: 903652 kB LowFree: 726980 kB SwapTotal: 2097136 kB SwapFree: 2095208 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 13900 kB Committed_AS: 71904 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-15 23:55:15 (client local time) WITH STATUS 30 IN 730.113 SECONDS stats: 25299 0 730.113 30 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 341 c small objective detected c CONFLICT during preprocess c [startup+10.5722 s] setting bit 9 to 0 c [startup+51.1435 s] setting bit 8 to 0 c Decision: 52997/175630 Time: 314.514/86400 c Decision: 52997/175630 Time: 348.698/86400 c Decision: 52997/175630 Time: 383.068/86400 c Decision: 52997/175630 Time: 418.321/86400 c [startup+499.624 s] setting bit 7 to 0 c [startup+721.794 s] setting bit 6 to 0 c [startup+723.125 s] setting bit 5 to 0 c [startup+724.361 s] setting bit 4 to 0 c [startup+725.58 s] setting bit 3 to 0 c [startup+726.806 s] setting bit 2 to 0 c [startup+728.036 s] setting bit 1 to 0 c [startup+729.261 s] setting bit 0 to 0 s OPTIMUM FOUND v x1 -x10 x100 x101 -x102 -x103 x104 -x105 x106 -x107 x108 x109 -x11 -x110 -x111 x112 -x113 x114 -x115 x116 x117 -x118 -x119 x12 x120 -x121 x122 -x123 x124 x125 -x126 -x127 x128 -x129 x13 x130 -x131 x132 x133 -x134 -x135 x136 -x137 x138 -x139 -x14 x140 x141 -x142 -x143 x144 -x145 x146 -x147 x148 x149 -x15 -x150 -x151 x152 -x153 x154 -x155 x156 x157 -x158 -x159 x16 x160 -x161 x162 -x163 x164 x165 -x166 -x167 x168 -x169 x17 x170 -x171 x172 x173 -x174 -x175 x176 -x177 x178 -x179 -x18 x180 -x181 x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x19 x190 -x191 x192 x193 -x194 -x195 x196 -x197 x198 -x199 -x2 x20 x200 x201 -x202 -x203 x204 -x205 x206 -x207 x208 x209 x21 -x210 -x211 x212 -x213 x214 -x215 x216 x217 -x218 -x219 -x22 x220 -x221 x222 -x223 x224 x225 -x226 -x227 x228 -x229 -x23 x230 -x231 x232 x233 -x234 -x235 x236 -x237 x238 -x239 x24 x240 x241 -x242 -x243 x244 -x245 x246 x247 -x248 x249 x25 -x250 x251 -x252 -x253 x254 x255 -x256 x257 -x258 x259 -x26 -x260 x261 -x262 -x263 x264 -x265 x266 -x267 x268 x269 -x27 -x270 x271 -x272 -x273 x274 x275 -x276 -x277 x278 -x279 x28 x280 -x281 x282 -x283 x284 -x285 x286 -x287 x288 -x289 x29 x290 -x291 x292 x293 -x294 -x295 x296 -x297 x298 -x299 x3 -x30 x300 x301 -x302 -x303 x304 x305 -x306 -x307 x308 x309 -x31 -x310 x311 -x312 -x313 x314 -x315 x316 -x317 x318 -x319 x32 x320 -x321 x322 -x323 x324 x325 -x326 -x327 x328 -x329 x33 x330 -x331 x332 -x333 x334 -x335 x336 x337 -x338 x339 -x34 -x340 x341 -x342 x343 -x344 x345 -x346 -x347 x348 -x349 -x35 x350 -x351 x352 -x353 x354 x355 -x356 -x357 x358 -x359 x36 x360 -x361 x362 -x363 x364 x365 -x366 -x367 x368 x369 x37 -x370 x371 -x372 -x373 x374 -x375 x376 x377 -x378 -x379 -x38 x380 x381 -x382 x383 -x384 x385 -x386 x387 -x388 x389 -x39 -x390 -x391 x392 x393 -x394 x395 -x396 -x397 x398 -x399 -x4 x40 x400 x401 -x402 -x403 x404 -x405 x406 x407 -x408 x409 x41 -x410 x411 -x412 x413 -x414 x415 -x416 x417 -x418 -x419 -x42 x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 x429 -x43 -x430 -x431 x432 -x433 x434 x435 -x436 x437 -x438 x439 x44 -x440 -x441 x442 x443 -x444 -x445 x446 -x447 x448 -x449 x45 x450 x451 -x452 -x453 x454 -x455 x456 -x457 x458 x459 -x46 -x460 -x461 x462 x463 -x464 x465 -x466 -x467 x468 -x469 -x47 x470 -x471 x472 -x473 x474 x475 -x476 x477 -x478 -x479 x48 x480 x481 -x482 x483 -x484 x485 -x486 x487 -x488 -x489 x49 x490 x491 -x492 x493 -x494 -x495 x496 -x497 x498 -x499 -x5 -x50 x500 -x501 x502 x503 -x504 x505 -x506 -x507 x508 x509 -x51 -x510 -x511 x512 -x513 x514 x515 -x516 x517 -x518 -x519 x52 x520 -x521 x522 x523 -x524 x525 -x526 x527 -x528 x529 x53 -x530 -x531 x532 x533 -x534 x535 -x536 -x537 x538 x539 -x54 -x540 x541 -x542 x543 -x544 -x545 x546 -x547 x548 x549 -x55 -x550 -x551 x552 -x553 x554 x555 -x556 x557 -x558 x559 x56 -x560 -x561 x562 x563 -x564 x565 -x566 x567 -x568 x569 x57 -x570 x571 -x572 x573 -x574 -x575 x576 -x577 x578 x579 -x58 -x580 -x581 x582 -x583 x584 -x585 x586 x587 -x588 -x589 -x59 x590 -x591 x592 x593 -x594 -x595 x596 -x597 x598 -x599 x6 x60 x600 -x601 x602 -x603 x604 x605 -x606 x607 -x608 -x609 x61 x610 -x611 x612 -x613 x614 -x615 x616 -x617 x618 x619 -x62 -x620 x621 -x622 -x623 x624 -x625 x626 x627 -x628 x629 -x63 -x630 x631 -x632 x633 -x634 x635 -x636 -x637 x638 x639 x64 -x640 x641 -x642 -x643 x644 -x645 x646 -x647 x648 x649 -x65 -x650 -x651 x652 -x653 x654 x655 -x656 -x657 x658 x659 x66 -x660 -x661 x662 -x663 x664 x665 -x666 x667 -x668 x669 x67 -x670 x671 -x672 x673 -x674 x675 -x676 x677 -x678 -x679 -x68 x680 x681 -x682 x69 x7 -x70 -x71 x72 -x73 x74 -x75 x76 x77 -x78 -x79 -x8 x80 -x81 x82 -x83 x84 x85 -x86 -x87 x88 -x89 x9 x90 -x91 x92 x93 -x94 -x95 x96 -x97 x98 -x99 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.93 0.90 2/54 17857 Raw data (stat): 17857 (runsolver) R 17856 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966161834 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0011 s] Raw data (loadavg): 0.93 0.93 0.90 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 26443 0 0 0 946 53 0 0 25 0 1 0 966161834 85626880 15578 4294967295 134512640 135730672 3221224592 3221222960 134741558 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 20905 15578 301 301 0 20604 0 vsize: 83620 [startup+20.0024 s] Raw data (loadavg): 0.94 0.93 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 28201 0 0 0 1942 57 0 0 25 0 1 0 966161834 89309184 16418 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21804 16418 301 301 0 21503 0 vsize: 87216 [startup+30.0031 s] Raw data (loadavg): 0.95 0.93 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 28375 0 0 0 2940 58 0 0 25 0 1 0 966161834 89837568 16493 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21933 16493 301 301 0 21632 0 vsize: 87732 [startup+40.0036 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 28549 0 0 0 3939 58 0 0 25 0 1 0 966161834 90435584 16602 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22079 16602 301 301 0 21778 0 vsize: 88316 [startup+50.0039 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 28636 0 0 0 4939 59 0 0 25 0 1 0 966161834 90759168 16661 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22158 16661 301 301 0 21857 0 vsize: 88632 [startup+60.0049 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 29275 0 0 0 5937 60 0 0 25 0 1 0 966161834 91545600 16762 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22350 16762 301 301 0 22049 0 vsize: 89400 [startup+70.0053 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 29453 0 0 0 6936 61 0 0 25 0 1 0 966161834 91807744 16875 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22414 16875 301 301 0 22113 0 vsize: 89656 [startup+80.0056 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 29567 0 0 0 7936 61 0 0 25 0 1 0 966161834 92205056 16924 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22511 16924 301 301 0 22210 0 vsize: 90044 [startup+90.0065 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 29671 0 0 0 8935 63 0 0 25 0 1 0 966161834 92467200 16963 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22575 16963 301 301 0 22274 0 vsize: 90300 [startup+100.006 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 29677 0 0 0 9935 63 0 0 25 0 1 0 966161834 92467200 16969 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22575 16969 301 301 0 22274 0 vsize: 90300 [startup+110.007 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 29682 0 0 0 10935 63 0 0 25 0 1 0 966161834 92467200 16974 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22575 16974 301 301 0 22274 0 vsize: 90300 [startup+120.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 29686 0 0 0 11935 63 0 0 25 0 1 0 966161834 92467200 16978 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22575 16978 301 301 0 22274 0 vsize: 90300 [startup+130.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 29779 0 0 0 12934 64 0 0 25 0 1 0 966161834 92729344 17006 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22639 17006 301 301 0 22338 0 vsize: 90556 [startup+140.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 29898 0 0 0 13933 65 0 0 25 0 1 0 966161834 92991488 17060 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22703 17060 301 301 0 22402 0 vsize: 90812 [startup+150.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 29988 0 0 0 14933 65 0 0 25 0 1 0 966161834 93253632 17085 4294967295 134512640 135730672 3221224592 3221222712 134739217 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22767 17085 301 301 0 22466 0 vsize: 91068 [startup+160.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 29997 0 0 0 15933 65 0 0 25 0 1 0 966161834 93253632 17094 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22767 17094 301 301 0 22466 0 vsize: 91068 [startup+170.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30022 0 0 0 16933 65 0 0 25 0 1 0 966161834 93253632 17119 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22767 17119 301 301 0 22466 0 vsize: 91068 [startup+180.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30026 0 0 0 17934 65 0 0 25 0 1 0 966161834 93253632 17123 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22767 17123 301 301 0 22466 0 vsize: 91068 [startup+190.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30033 0 0 0 18934 66 0 0 25 0 1 0 966161834 93253632 17130 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22767 17130 301 301 0 22466 0 vsize: 91068 [startup+200.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30054 0 0 0 19934 66 0 0 25 0 1 0 966161834 93253632 17151 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22767 17151 301 301 0 22466 0 vsize: 91068 [startup+210.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30078 0 0 0 20934 66 0 0 25 0 1 0 966161834 93388800 17175 4294967295 134512640 135730672 3221224592 3221222880 134747590 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22800 17175 301 301 0 22499 0 vsize: 91200 [startup+220.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30083 0 0 0 21934 66 0 0 25 0 1 0 966161834 93388800 17180 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22800 17180 301 301 0 22499 0 vsize: 91200 [startup+230.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30089 0 0 0 22934 66 0 0 25 0 1 0 966161834 93388800 17186 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22800 17186 301 301 0 22499 0 vsize: 91200 [startup+240.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30094 0 0 0 23934 67 0 0 25 0 1 0 966161834 93388800 17191 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22800 17191 301 301 0 22499 0 vsize: 91200 [startup+250.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30100 0 0 0 24934 67 0 0 25 0 1 0 966161834 93388800 17197 4294967295 134512640 135730672 3221224592 3221223040 134748661 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22800 17197 301 301 0 22499 0 vsize: 91200 [startup+260.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30105 0 0 0 25933 67 0 0 25 0 1 0 966161834 93388800 17202 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22800 17202 301 301 0 22499 0 vsize: 91200 [startup+270.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30111 0 0 0 26933 68 0 0 25 0 1 0 966161834 93388800 17208 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22800 17208 301 301 0 22499 0 vsize: 91200 [startup+280.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30129 0 0 0 27933 68 0 0 25 0 1 0 966161834 93388800 17226 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22800 17226 301 301 0 22499 0 vsize: 91200 [startup+290.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30135 0 0 0 28933 68 0 0 25 0 1 0 966161834 93388800 17232 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22800 17232 301 301 0 22499 0 vsize: 91200 [startup+300.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30140 0 0 0 29933 68 0 0 25 0 1 0 966161834 93388800 17237 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22800 17237 301 301 0 22499 0 vsize: 91200 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30146 0 0 0 30933 68 0 0 25 0 1 0 966161834 93388800 17243 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22800 17243 301 301 0 22499 0 vsize: 91200 [startup+320.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30254 0 0 0 31933 69 0 0 25 0 1 0 966161834 93650944 17286 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22864 17286 301 301 0 22563 0 vsize: 91456 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30316 0 0 0 32933 69 0 0 25 0 1 0 966161834 93937664 17315 4294967295 134512640 135730672 3221224592 3221222880 134747618 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17315 301 301 0 22633 0 vsize: 91736 [startup+340.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30321 0 0 0 33933 69 0 0 25 0 1 0 966161834 93937664 17320 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17320 301 301 0 22633 0 vsize: 91736 [startup+350.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30336 0 0 0 34933 69 0 0 25 0 1 0 966161834 93937664 17335 4294967295 134512640 135730672 3221224592 3221222880 134747608 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17335 301 301 0 22633 0 vsize: 91736 [startup+360.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30342 0 0 0 35933 69 0 0 25 0 1 0 966161834 93937664 17341 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17341 301 301 0 22633 0 vsize: 91736 [startup+370.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30689 0 0 0 36933 70 0 0 25 0 1 0 966161834 93937664 17344 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22934 17344 301 301 0 22633 0 vsize: 91736 [startup+380.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30705 0 0 0 37932 71 0 0 25 0 1 0 966161834 93937664 17360 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17360 301 301 0 22633 0 vsize: 91736 [startup+390.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 30706 0 0 0 38932 71 0 0 25 0 1 0 966161834 93937664 17361 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17361 301 301 0 22633 0 vsize: 91736 [startup+400.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 31051 0 0 0 39932 72 0 0 25 0 1 0 966161834 93937664 17362 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17362 301 301 0 22633 0 vsize: 91736 [startup+410.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 31053 0 0 0 40932 72 0 0 25 0 1 0 966161834 93937664 17364 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17364 301 301 0 22633 0 vsize: 91736 [startup+420.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 31054 0 0 0 41932 72 0 0 25 0 1 0 966161834 93937664 17365 4294967295 134512640 135730672 3221224592 3221222976 134764022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17365 301 301 0 22633 0 vsize: 91736 [startup+430.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 31055 0 0 0 42932 72 0 0 25 0 1 0 966161834 93937664 17366 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17366 301 301 0 22633 0 vsize: 91736 [startup+440.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 31402 0 0 0 43931 73 0 0 25 0 1 0 966161834 93937664 17369 4294967295 134512640 135730672 3221224592 3221222720 134739215 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17369 301 301 0 22633 0 vsize: 91736 [startup+450.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 31404 0 0 0 44931 73 0 0 25 0 1 0 966161834 93937664 17371 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17371 301 301 0 22633 0 vsize: 91736 [startup+460.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 31405 0 0 0 45932 73 0 0 25 0 1 0 966161834 93937664 17372 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17372 301 301 0 22633 0 vsize: 91736 [startup+470.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 31753 0 0 0 46931 73 0 0 25 0 1 0 966161834 93937664 17376 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17376 301 301 0 22633 0 vsize: 91736 [startup+480.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 31761 0 0 0 47931 73 0 0 25 0 1 0 966161834 93937664 17384 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17384 301 301 0 22633 0 vsize: 91736 [startup+490.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 31762 0 0 0 48932 73 0 0 25 0 1 0 966161834 93937664 17385 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17385 301 301 0 22633 0 vsize: 91736 [startup+500.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32107 0 0 0 49931 74 0 0 25 0 1 0 966161834 93937664 17386 4294967295 134512640 135730672 3221224592 3221222960 134741730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17386 301 301 0 22633 0 vsize: 91736 [startup+510.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32114 0 0 0 50931 74 0 0 25 0 1 0 966161834 93937664 17393 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17393 301 301 0 22633 0 vsize: 91736 [startup+520.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32117 0 0 0 51931 74 0 0 25 0 1 0 966161834 93937664 17396 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17396 301 301 0 22633 0 vsize: 91736 [startup+530.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32118 0 0 0 52931 74 0 0 25 0 1 0 966161834 93937664 17397 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17397 301 301 0 22633 0 vsize: 91736 [startup+540.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32119 0 0 0 53932 74 0 0 25 0 1 0 966161834 93937664 17398 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17398 301 301 0 22633 0 vsize: 91736 [startup+550.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32120 0 0 0 54932 74 0 0 25 0 1 0 966161834 93937664 17399 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17399 301 301 0 22633 0 vsize: 91736 [startup+560.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32122 0 0 0 55932 75 0 0 25 0 1 0 966161834 93937664 17401 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17401 301 301 0 22633 0 vsize: 91736 [startup+570.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32124 0 0 0 56932 75 0 0 25 0 1 0 966161834 93937664 17403 4294967295 134512640 135730672 3221224592 3221222880 134747495 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17403 301 301 0 22633 0 vsize: 91736 [startup+580.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32125 0 0 0 57932 75 0 0 25 0 1 0 966161834 93937664 17404 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17404 301 301 0 22633 0 vsize: 91736 [startup+590.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32127 0 0 0 58932 75 0 0 25 0 1 0 966161834 93937664 17406 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17406 301 301 0 22633 0 vsize: 91736 [startup+600.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32134 0 0 0 59932 75 0 0 25 0 1 0 966161834 93937664 17413 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17413 301 301 0 22633 0 vsize: 91736 [startup+610.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32141 0 0 0 60932 75 0 0 25 0 1 0 966161834 93937664 17420 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17420 301 301 0 22633 0 vsize: 91736 [startup+620.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32158 0 0 0 61932 75 0 0 25 0 1 0 966161834 93937664 17437 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17437 301 301 0 22633 0 vsize: 91736 [startup+630.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32166 0 0 0 62932 75 0 0 25 0 1 0 966161834 93937664 17445 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17445 301 301 0 22633 0 vsize: 91736 [startup+640.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32173 0 0 0 63933 75 0 0 25 0 1 0 966161834 93937664 17452 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17452 301 301 0 22633 0 vsize: 91736 [startup+650.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32183 0 0 0 64933 75 0 0 25 0 1 0 966161834 93937664 17462 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17462 301 301 0 22633 0 vsize: 91736 [startup+660.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32190 0 0 0 65933 76 0 0 25 0 1 0 966161834 93937664 17469 4294967295 134512640 135730672 3221224592 3221222880 134747616 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22934 17469 301 301 0 22633 0 vsize: 91736 [startup+670.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32201 0 0 0 66933 76 0 0 25 0 1 0 966161834 94105600 17480 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22975 17480 301 301 0 22674 0 vsize: 91900 [startup+680.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32208 0 0 0 67933 76 0 0 25 0 1 0 966161834 94105600 17487 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22975 17487 301 301 0 22674 0 vsize: 91900 [startup+690.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32221 0 0 0 68933 76 0 0 25 0 1 0 966161834 94105600 17500 4294967295 134512640 135730672 3221224592 3221223072 134748420 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22975 17500 301 301 0 22674 0 vsize: 91900 [startup+700.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32227 0 0 0 69933 76 0 0 25 0 1 0 966161834 94105600 17506 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22975 17506 301 301 0 22674 0 vsize: 91900 [startup+710.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32232 0 0 0 70933 76 0 0 25 0 1 0 966161834 94105600 17511 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22975 17511 301 301 0 22674 0 vsize: 91900 [startup+720.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 0 32321 0 0 0 71933 76 0 0 25 0 1 0 966161834 94367744 17535 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23039 17535 301 301 0 22738 0 vsize: 92156 [startup+730.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 4 34411 0 0 0 72926 84 0 0 25 0 1 0 966161834 0 0 4294967295 0 0 0 0 0 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 [startup+730.047 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 17857 Raw data (stat): 17857 (pb2sat-v2) R 17856 21152 21151 0 -1 4 34411 0 0 0 72926 84 0 0 25 0 1 0 966161834 0 0 4294967295 0 0 0 0 0 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Child status: 30 Real time (s): 730.046 CPU time (s): 730.113 CPU user time (s): 729.262 CPU system time (s): 0.85087 CPU usage (%): 100.009 Max. virtual memory (Kb): 92156 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 341 #### END VERIFIER DATA ####