Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb |
MD5SUM | b78d16df5ec546c41fce5f9f07c0fd92 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 207 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 498 |
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 | 498 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 498 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03184 |
Number of variables | 498 |
Total number of constraints | 2431 |
Number of constraints which are clauses | 2431 |
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 | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-15 22:07:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25250 boxname=wulflinc1 idbench=152 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: b78d16df5ec546c41fce5f9f07c0fd92 /oldhome/oroussel/tmp/wulflinc1/normalized-ii32c2.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ii32c2.opb IDLAUNCH: 25250 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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: 827664 kB Buffers: 33720 kB Cached: 149640 kB SwapCached: 1192 kB Active: 76756 kB Inactive: 108888 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 827412 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 52 kB Writeback: 0 kB Mapped: 5364 kB Slab: 15528 kB Committed_AS: 92684 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-15 22:27:27 (client local time) WITH STATUS 10 IN 1200.62 SECONDS stats: 25250 0 1200.62 10 #### 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: 249 c small objective detected c CONFLICT during preprocess c [startup+5.10579 s] setting bit 8 to 0 c Decision: 42297/93885 Time: 99.7678/86400 c [startup+174.837 s] setting bit 7 to 0 c Decision: 25106/93885 Time: 60.7568/86400 c Decision: 25106/93885 Time: 83.2253/86400 c Decision: 25308/93885 Time: 117.792/86400 c Decision: 25394/93885 Time: 159.439/86400 c Decision: 25394/93885 Time: 182.538/86400 c Decision: 25773/93885 Time: 206.673/86400 c Decision: 25774/93885 Time: 230.451/86400 c Decision: 26110/93885 Time: 287.679/86400 c Decision: 26466/93885 Time: 326.241/86400 c Decision: 26467/93885 Time: 352.076/86400 c Decision: 26467/93885 Time: 376.012/86400 c Decision: 26672/93885 Time: 427.603/86400 c Decision: 26672/93885 Time: 448.551/86400 c Decision: 26672/93885 Time: 470.618/86400 c Decision: 26672/93885 Time: 492.945/86400 c Decision: 26672/93885 Time: 517.394/86400 c Decision: 26674/93885 Time: 556.123/86400 c Decision: 27777/93885 Time: 628.163/86400 c Decision: 27940/93885 Time: 662.218/86400 c Decision: 28071/93885 Time: 702.827/86400 c Decision: 28084/93885 Time: 736.503/86400 c Decision: 28990/93885 Time: 833.929/86400 c Decision: 31440/93885 Time: 962.577/86400s SATISFIABLE 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 -x5 -x50 x51 -x52 -x53 x54 x55 -x56 x57 -x58 x59 x6 -x60 x61 -x62 -x63 x64 x65 -x66 x67 -x68 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.95 0.90 2/55 6610 Raw data (stat): 6610 (runsolver) R 6609 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908740609 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+9.99968 s] Raw data (loadavg): 0.93 0.95 0.90 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 14727 0 0 0 969 30 0 0 25 0 1 0 908740609 46641152 8909 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11387 8909 301 301 0 11086 0 vsize: 45548 [startup+20.0005 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 15516 0 0 0 1967 32 0 0 25 0 1 0 908740609 50491392 9665 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12327 9665 301 301 0 12026 0 vsize: 49308 [startup+30.0002 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 15809 0 0 0 2966 32 0 0 25 0 1 0 908740609 51703808 9925 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12623 9925 301 301 0 12322 0 vsize: 50492 [startup+40.001 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 16075 0 0 0 3965 34 0 0 25 0 1 0 908740609 52776960 10125 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12885 10125 301 301 0 12584 0 vsize: 51540 [startup+50.0019 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 16387 0 0 0 4965 34 0 0 25 0 1 0 908740609 54157312 10404 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13222 10404 301 301 0 12921 0 vsize: 52888 [startup+60.0016 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 16429 0 0 0 5965 35 0 0 25 0 1 0 908740609 54292480 10446 4294967295 134512640 135730672 3221224592 3221223072 134748489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13255 10446 301 301 0 12954 0 vsize: 53020 [startup+70.0025 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 16449 0 0 0 6964 35 0 0 25 0 1 0 908740609 54292480 10466 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13255 10466 301 301 0 12954 0 vsize: 53020 [startup+80.0033 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 16546 0 0 0 7963 35 0 0 25 0 1 0 908740609 54689792 10547 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13352 10547 301 301 0 13051 0 vsize: 53408 [startup+90.0041 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 16647 0 0 0 8963 35 0 0 25 0 1 0 908740609 55091200 10648 4294967295 134512640 135730672 3221224592 3221222976 134763576 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13450 10648 301 301 0 13149 0 vsize: 53800 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 16816 0 0 0 9962 36 0 0 25 0 1 0 908740609 56025088 10817 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13678 10817 301 301 0 13377 0 vsize: 54712 [startup+110.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 17016 0 0 0 10962 37 0 0 25 0 1 0 908740609 56025088 10833 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13678 10833 301 301 0 13377 0 vsize: 54712 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 17022 0 0 0 11961 37 0 0 25 0 1 0 908740609 56025088 10839 4294967295 134512640 135730672 3221224592 3221222928 134740270 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13678 10839 301 301 0 13377 0 vsize: 54712 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 17037 0 0 0 12961 38 0 0 25 0 1 0 908740609 56025088 10854 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13678 10854 301 301 0 13377 0 vsize: 54712 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 17052 0 0 0 13960 38 0 0 25 0 1 0 908740609 56025088 10869 4294967295 134512640 135730672 3221224592 3221223060 134748635 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13678 10869 301 301 0 13377 0 vsize: 54712 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 17071 0 0 0 14961 38 0 0 25 0 1 0 908740609 56025088 10888 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13678 10888 301 301 0 13377 0 vsize: 54712 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 17092 0 0 0 15961 38 0 0 25 0 1 0 908740609 56025088 10909 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13678 10909 301 301 0 13377 0 vsize: 54712 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 17119 0 0 0 16961 38 0 0 25 0 1 0 908740609 56025088 10936 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13678 10936 301 301 0 13377 0 vsize: 54712 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 17443 0 0 0 17960 39 0 0 25 0 1 0 908740609 56287232 11011 4294967295 134512640 135730672 3221224592 3221223052 134748653 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13742 11011 301 301 0 13441 0 vsize: 54968 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 17477 0 0 0 18960 40 0 0 25 0 1 0 908740609 56287232 11045 4294967295 134512640 135730672 3221224592 3221223072 134748472 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13742 11045 301 301 0 13441 0 vsize: 54968 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 17663 0 0 0 19960 40 0 0 25 0 1 0 908740609 56832000 11133 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13875 11133 301 301 0 13574 0 vsize: 55500 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 18343 0 0 0 20958 42 0 0 25 0 1 0 908740609 60334080 11780 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14730 11780 301 301 0 14429 0 vsize: 58920 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 18367 0 0 0 21958 42 0 0 25 0 1 0 908740609 60334080 11804 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14730 11804 301 301 0 14429 0 vsize: 58920 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 18395 0 0 0 22958 43 0 0 25 0 1 0 908740609 60334080 11832 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14730 11832 301 301 0 14429 0 vsize: 58920 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 18626 0 0 0 23957 43 0 0 25 0 1 0 908740609 60465152 11846 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14762 11846 301 301 0 14461 0 vsize: 59048 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 18642 0 0 0 24956 44 0 0 25 0 1 0 908740609 60465152 11862 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14762 11862 301 301 0 14461 0 vsize: 59048 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 18859 0 0 0 25956 44 0 0 25 0 1 0 908740609 60465152 11895 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14762 11895 301 301 0 14461 0 vsize: 59048 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 18889 0 0 0 26956 44 0 0 25 0 1 0 908740609 60465152 11925 4294967295 134512640 135730672 3221224592 3221222880 134747513 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14762 11925 301 301 0 14461 0 vsize: 59048 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 18912 0 0 0 27956 44 0 0 25 0 1 0 908740609 60465152 11948 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14762 11948 301 301 0 14461 0 vsize: 59048 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 18941 0 0 0 28956 44 0 0 25 0 1 0 908740609 60465152 11977 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14762 11977 301 301 0 14461 0 vsize: 59048 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 19148 0 0 0 29955 45 0 0 25 0 1 0 908740609 60465152 12000 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14762 12000 301 301 0 14461 0 vsize: 59048 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 19179 0 0 0 30955 45 0 0 25 0 1 0 908740609 60465152 12031 4294967295 134512640 135730672 3221224592 3221223072 134748426 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14762 12031 301 301 0 14461 0 vsize: 59048 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 19237 0 0 0 31955 46 0 0 25 0 1 0 908740609 60600320 12089 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14795 12089 301 301 0 14494 0 vsize: 59180 [startup+330.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 19269 0 0 0 32954 46 0 0 25 0 1 0 908740609 60600320 12121 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14795 12121 301 301 0 14494 0 vsize: 59180 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 19509 0 0 0 33953 48 0 0 25 0 1 0 908740609 60735488 12177 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14828 12177 301 301 0 14527 0 vsize: 59312 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 19536 0 0 0 34953 48 0 0 25 0 1 0 908740609 60735488 12204 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14828 12204 301 301 0 14527 0 vsize: 59312 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 19766 0 0 0 35951 49 0 0 25 0 1 0 908740609 60735488 12250 4294967295 134512640 135730672 3221224592 3221222880 134747902 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14828 12250 301 301 0 14527 0 vsize: 59312 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 19857 0 0 0 36951 50 0 0 25 0 1 0 908740609 60866560 12308 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14860 12308 301 301 0 14559 0 vsize: 59440 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 19897 0 0 0 37950 50 0 0 25 0 1 0 908740609 60866560 12348 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14860 12348 301 301 0 14559 0 vsize: 59440 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20089 0 0 0 38950 51 0 0 25 0 1 0 908740609 60866560 12356 4294967295 134512640 135730672 3221224592 3221222600 134813609 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14860 12356 301 301 0 14559 0 vsize: 59440 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20096 0 0 0 39950 51 0 0 25 0 1 0 908740609 60866560 12363 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14860 12363 301 301 0 14559 0 vsize: 59440 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20289 0 0 0 40949 52 0 0 25 0 1 0 908740609 60866560 12372 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14860 12372 301 301 0 14559 0 vsize: 59440 [startup+420.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20305 0 0 0 41950 52 0 0 25 0 1 0 908740609 61001728 12388 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14893 12388 301 301 0 14592 0 vsize: 59572 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20309 0 0 0 42949 52 0 0 25 0 1 0 908740609 61001728 12392 4294967295 134512640 135730672 3221224592 3221223040 134734835 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14893 12392 301 301 0 14592 0 vsize: 59572 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20317 0 0 0 43949 52 0 0 25 0 1 0 908740609 61001728 12400 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14893 12400 301 301 0 14592 0 vsize: 59572 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20326 0 0 0 44949 52 0 0 25 0 1 0 908740609 61001728 12409 4294967295 134512640 135730672 3221224592 3221223008 134748108 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14893 12409 301 301 0 14592 0 vsize: 59572 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20329 0 0 0 45949 52 0 0 25 0 1 0 908740609 61001728 12412 4294967295 134512640 135730672 3221224592 3221222992 134748234 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14893 12412 301 301 0 14592 0 vsize: 59572 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20541 0 0 0 46949 53 0 0 25 0 1 0 908740609 69525504 12440 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16974 12440 301 301 0 16673 0 vsize: 67896 [startup+480.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20588 0 0 0 47949 54 0 0 25 0 1 0 908740609 69525504 12487 4294967295 134512640 135730672 3221224592 3221222992 134748241 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16974 12487 301 301 0 16673 0 vsize: 67896 [startup+490.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20648 0 0 0 48948 54 0 0 25 0 1 0 908740609 69660672 12547 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17007 12547 301 301 0 16706 0 vsize: 68028 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20688 0 0 0 49948 54 0 0 25 0 1 0 908740609 69660672 12587 4294967295 134512640 135730672 3221224592 3221222880 134747892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17007 12587 301 301 0 16706 0 vsize: 68028 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20914 0 0 0 50948 55 0 0 25 0 1 0 908740609 69660672 12629 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17007 12629 301 301 0 16706 0 vsize: 68028 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 20946 0 0 0 51948 55 0 0 25 0 1 0 908740609 69660672 12661 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17007 12661 301 301 0 16706 0 vsize: 68028 [startup+530.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 21170 0 0 0 52947 56 0 0 25 0 1 0 908740609 69660672 12701 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17007 12701 301 301 0 16706 0 vsize: 68028 [startup+540.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 21208 0 0 0 53947 56 0 0 25 0 1 0 908740609 69799936 12739 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17041 12739 301 301 0 16740 0 vsize: 68164 [startup+550.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 21251 0 0 0 54947 57 0 0 25 0 1 0 908740609 69799936 12782 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17041 12782 301 301 0 16740 0 vsize: 68164 [startup+560.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 21460 0 0 0 55946 57 0 0 25 0 1 0 908740609 69935104 12807 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17074 12807 301 301 0 16773 0 vsize: 68296 [startup+570.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 21462 0 0 0 56946 58 0 0 25 0 1 0 908740609 69935104 12809 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17074 12809 301 301 0 16773 0 vsize: 68296 [startup+580.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 21469 0 0 0 57946 58 0 0 25 0 1 0 908740609 69935104 12816 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17074 12816 301 301 0 16773 0 vsize: 68296 [startup+590.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 21482 0 0 0 58947 58 0 0 25 0 1 0 908740609 69935104 12829 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17074 12829 301 301 0 16773 0 vsize: 68296 [startup+600.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 21491 0 0 0 59947 58 0 0 25 0 1 0 908740609 70070272 12838 4294967295 134512640 135730672 3221224592 3221222980 134747725 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17107 12838 301 301 0 16806 0 vsize: 68428 [startup+610.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 21679 0 0 0 60946 58 0 0 25 0 1 0 908740609 70070272 12842 4294967295 134512640 135730672 3221224592 3221223072 134748464 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17107 12842 301 301 0 16806 0 vsize: 68428 [startup+620.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 21683 0 0 0 61946 58 0 0 25 0 1 0 908740609 70070272 12846 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17107 12846 301 301 0 16806 0 vsize: 68428 [startup+630.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 21873 0 0 0 62946 59 0 0 25 0 1 0 908740609 70070272 12852 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17107 12852 301 301 0 16806 0 vsize: 68428 [startup+640.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 21877 0 0 0 63946 59 0 0 25 0 1 0 908740609 70070272 12856 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17107 12856 301 301 0 16806 0 vsize: 68428 [startup+650.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22086 0 0 0 64946 60 0 0 25 0 1 0 908740609 70070272 12881 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17107 12881 301 301 0 16806 0 vsize: 68428 [startup+660.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22126 0 0 0 65946 60 0 0 25 0 1 0 908740609 70205440 12921 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17140 12921 301 301 0 16839 0 vsize: 68560 [startup+670.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22350 0 0 0 66945 61 0 0 25 0 1 0 908740609 70205440 12961 4294967295 134512640 135730672 3221224592 3221222880 134747902 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17140 12961 301 301 0 16839 0 vsize: 68560 [startup+680.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22390 0 0 0 67945 61 0 0 25 0 1 0 908740609 70205440 13001 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17140 13001 301 301 0 16839 0 vsize: 68560 [startup+690.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22428 0 0 0 68945 61 0 0 25 0 1 0 908740609 70205440 13039 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17140 13039 301 301 0 16839 0 vsize: 68560 [startup+700.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22618 0 0 0 69945 62 0 0 25 0 1 0 908740609 70205440 13045 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17140 13045 301 301 0 16839 0 vsize: 68560 [startup+710.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22641 0 0 0 70944 62 0 0 25 0 1 0 908740609 70205440 13068 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17140 13068 301 301 0 16839 0 vsize: 68560 [startup+720.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22646 0 0 0 71944 62 0 0 25 0 1 0 908740609 70205440 13073 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17140 13073 301 301 0 16839 0 vsize: 68560 [startup+730.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22703 0 0 0 72944 63 0 0 25 0 1 0 908740609 70496256 13130 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17211 13130 301 301 0 16910 0 vsize: 68844 [startup+740.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22889 0 0 0 73943 64 0 0 25 0 1 0 908740609 70496256 13132 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17211 13132 301 301 0 16910 0 vsize: 68844 [startup+750.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22893 0 0 0 74943 64 0 0 25 0 1 0 908740609 70635520 13136 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17245 13136 301 301 0 16944 0 vsize: 68980 [startup+760.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22905 0 0 0 75943 64 0 0 25 0 1 0 908740609 70635520 13148 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17245 13148 301 301 0 16944 0 vsize: 68980 [startup+770.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22915 0 0 0 76944 64 0 0 25 0 1 0 908740609 70635520 13158 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17245 13158 301 301 0 16944 0 vsize: 68980 [startup+780.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22926 0 0 0 77944 64 0 0 25 0 1 0 908740609 70635520 13169 4294967295 134512640 135730672 3221224592 3221222992 134748241 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17245 13169 301 301 0 16944 0 vsize: 68980 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22934 0 0 0 78944 64 0 0 25 0 1 0 908740609 70770688 13177 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17278 13177 301 301 0 16977 0 vsize: 69112 [startup+800.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 22935 0 0 0 79944 64 0 0 25 0 1 0 908740609 70770688 13178 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17278 13178 301 301 0 16977 0 vsize: 69112 [startup+810.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 23124 0 0 0 80943 65 0 0 25 0 1 0 908740609 70770688 13183 4294967295 134512640 135730672 3221224592 3221222880 134747629 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17278 13183 301 301 0 16977 0 vsize: 69112 [startup+820.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 23136 0 0 0 81943 65 0 0 25 0 1 0 908740609 70770688 13195 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17278 13195 301 301 0 16977 0 vsize: 69112 [startup+830.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 23138 0 0 0 82943 65 0 0 25 0 1 0 908740609 70770688 13197 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17278 13197 301 301 0 16977 0 vsize: 69112 [startup+840.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 23350 0 0 0 83943 66 0 0 25 0 1 0 908740609 70770688 13225 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17278 13225 301 301 0 16977 0 vsize: 69112 [startup+850.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 23408 0 0 0 84943 66 0 0 25 0 1 0 908740609 70770688 13283 4294967295 134512640 135730672 3221224592 3221222960 134763663 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17278 13283 301 301 0 16977 0 vsize: 69112 [startup+860.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 23439 0 0 0 85943 67 0 0 25 0 1 0 908740609 70770688 13314 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17278 13314 301 301 0 16977 0 vsize: 69112 [startup+870.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 23487 0 0 0 86943 67 0 0 25 0 1 0 908740609 70770688 13362 4294967295 134512640 135730672 3221224592 3221222880 134747960 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17278 13362 301 301 0 16977 0 vsize: 69112 [startup+880.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 23717 0 0 0 87942 67 0 0 25 0 1 0 908740609 70918144 13408 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17314 13408 301 301 0 17013 0 vsize: 69256 [startup+890.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 23755 0 0 0 88942 68 0 0 25 0 1 0 908740609 70918144 13446 4294967295 134512640 135730672 3221224592 3221222880 134747460 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17314 13446 301 301 0 17013 0 vsize: 69256 [startup+900.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 23789 0 0 0 89942 68 0 0 25 0 1 0 908740609 70918144 13480 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17314 13480 301 301 0 17013 0 vsize: 69256 [startup+910.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 23828 0 0 0 90942 68 0 0 25 0 1 0 908740609 70918144 13519 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17314 13519 301 301 0 17013 0 vsize: 69256 [startup+920.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24022 0 0 0 91941 69 0 0 25 0 1 0 908740609 70918144 13529 4294967295 134512640 135730672 3221224592 3221222880 134747608 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17314 13529 301 301 0 17013 0 vsize: 69256 [startup+930.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24074 0 0 0 92940 70 0 0 25 0 1 0 908740609 71213056 13581 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17386 13581 301 301 0 17085 0 vsize: 69544 [startup+940.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24075 0 0 0 93941 70 0 0 25 0 1 0 908740609 71213056 13582 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17386 13582 301 301 0 17085 0 vsize: 69544 [startup+950.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24086 0 0 0 94940 70 0 0 25 0 1 0 908740609 71213056 13593 4294967295 134512640 135730672 3221224592 3221222928 134740321 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17386 13593 301 301 0 17085 0 vsize: 69544 [startup+960.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24090 0 0 0 95941 71 0 0 25 0 1 0 908740609 71213056 13597 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17386 13597 301 301 0 17085 0 vsize: 69544 [startup+970.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24093 0 0 0 96941 71 0 0 25 0 1 0 908740609 71213056 13600 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17386 13600 301 301 0 17085 0 vsize: 69544 [startup+980.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24099 0 0 0 97941 71 0 0 25 0 1 0 908740609 71213056 13606 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17386 13606 301 301 0 17085 0 vsize: 69544 [startup+990.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24109 0 0 0 98941 71 0 0 25 0 1 0 908740609 71213056 13616 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17386 13616 301 301 0 17085 0 vsize: 69544 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24120 0 0 0 99941 71 0 0 25 0 1 0 908740609 71360512 13627 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17422 13627 301 301 0 17121 0 vsize: 69688 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24309 0 0 0 100940 72 0 0 25 0 1 0 908740609 71360512 13632 4294967295 134512640 135730672 3221224592 3221222880 134747916 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17422 13632 301 301 0 17121 0 vsize: 69688 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24321 0 0 0 101940 72 0 0 25 0 1 0 908740609 71360512 13644 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17422 13644 301 301 0 17121 0 vsize: 69688 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24325 0 0 0 102940 72 0 0 25 0 1 0 908740609 71360512 13648 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17422 13648 301 301 0 17121 0 vsize: 69688 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24329 0 0 0 103940 72 0 0 25 0 1 0 908740609 71360512 13652 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17422 13652 301 301 0 17121 0 vsize: 69688 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24341 0 0 0 104940 73 0 0 25 0 1 0 908740609 71360512 13664 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17422 13664 301 301 0 17121 0 vsize: 69688 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24347 0 0 0 105940 73 0 0 25 0 1 0 908740609 71360512 13670 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17422 13670 301 301 0 17121 0 vsize: 69688 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24357 0 0 0 106940 73 0 0 25 0 1 0 908740609 71495680 13680 4294967295 134512640 135730672 3221224592 3221222880 134747967 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17455 13680 301 301 0 17154 0 vsize: 69820 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24369 0 0 0 107940 73 0 0 25 0 1 0 908740609 71495680 13692 4294967295 134512640 135730672 3221224592 3221222880 134747627 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17455 13692 301 301 0 17154 0 vsize: 69820 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24374 0 0 0 108940 73 0 0 25 0 1 0 908740609 71495680 13697 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17455 13697 301 301 0 17154 0 vsize: 69820 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24421 0 0 0 109940 74 0 0 25 0 1 0 908740609 71495680 13744 4294967295 134512640 135730672 3221224592 3221223008 134748166 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17455 13744 301 301 0 17154 0 vsize: 69820 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24458 0 0 0 110940 74 0 0 25 0 1 0 908740609 71495680 13781 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17455 13781 301 301 0 17154 0 vsize: 69820 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24513 0 0 0 111940 74 0 0 25 0 1 0 908740609 71634944 13836 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17489 13836 301 301 0 17188 0 vsize: 69956 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24554 0 0 0 112940 74 0 0 25 0 1 0 908740609 71634944 13877 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17489 13877 301 301 0 17188 0 vsize: 69956 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24777 0 0 0 113939 75 0 0 25 0 1 0 908740609 71634944 13916 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17489 13916 301 301 0 17188 0 vsize: 69956 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24823 0 0 0 114939 76 0 0 25 0 1 0 908740609 71634944 13962 4294967295 134512640 135730672 3221224592 3221222880 134747590 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17489 13962 301 301 0 17188 0 vsize: 69956 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24864 0 0 0 115938 76 0 0 25 0 1 0 908740609 71634944 14003 4294967295 134512640 135730672 3221224592 3221222880 134747832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17489 14003 301 301 0 17188 0 vsize: 69956 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24913 0 0 0 116939 76 0 0 25 0 1 0 908740609 71774208 14052 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17523 14052 301 301 0 17222 0 vsize: 70092 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24948 0 0 0 117938 77 0 0 25 0 1 0 908740609 71774208 14087 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17523 14087 301 301 0 17222 0 vsize: 70092 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 24998 0 0 0 118938 77 0 0 25 0 1 0 908740609 71774208 14137 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17523 14137 301 301 0 17222 0 vsize: 70092 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6610 Raw data (stat): 6610 (pb2sat-v2) R 6609 8378 8377 0 -1 0 25041 0 0 0 119938 77 0 0 25 0 1 0 908740609 71774208 14180 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17523 14180 301 301 0 17222 0 vsize: 70092 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.49 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 6610 Raw data (stat): 6610 (pb2sat-v2) Z 6609 8378 8377 0 -1 12 25043 0 0 0 119981 80 0 0 25 0 1 0 908740609 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 10 Real time (s): 1200.49 CPU time (s): 1200.62 CPU user time (s): 1199.81 CPU system time (s): 0.805877 CPU usage (%): 100.011 Max. virtual memory (Kb): 70092 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 249 #### END VERIFIER DATA ####