Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb |
MD5SUM | 3b5121187baf09367bd50bdc4d869d21 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8448 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 140 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 7340025 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 7340025 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.43 |
Number of variables | 200 |
Total number of constraints | 67 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 7 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 80 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-16 16:19:46 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26058 boxname=wulflinc5 idbench=1358 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 3b5121187baf09367bd50bdc4d869d21 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-markshare2.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-markshare2.opb IDLAUNCH: 26058 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 710428 kB Buffers: 23428 kB Cached: 278036 kB SwapCached: 660 kB Active: 24424 kB Inactive: 279064 kB HighTotal: 131008 kB HighFree: 7056 kB LowTotal: 903652 kB LowFree: 703372 kB SwapTotal: 2097136 kB SwapFree: 2095536 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5156 kB Slab: 15068 kB Committed_AS: 63712 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 16:39:49 (client local time) WITH STATUS 10 IN 1201.41 SECONDS stats: 26058 0 1201.41 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: 80768 c small objective detected c CONFLICT during preprocess c [startup+32.9939 s] setting bit 22 to 0 c CONFLICT during preprocess c [startup+35.1462 s] setting bit 21 to 0 c CONFLICT during preprocess c [startup+37.2967 s] setting bit 20 to 0 c CONFLICT during preprocess c [startup+39.4504 s] setting bit 19 to 0 c CONFLICT during preprocess c [startup+41.6057 s] setting bit 18 to 0 c CONFLICT during preprocess c [startup+43.7578 s] setting bit 17 to 0 s SATISFIABLE v x11_bit0 -x11_bit1 -x11_bit10 -x11_bit11 -x11_bit12 x11_bit2 -x11_bit3 -x11_bit4 x11_bit5 x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit_1 -x11_bit_2 -x11_bit_3 -x11_bit_4 -x11_bit_5 -x11_bit_6 -x11_bit_7 x13_bit0 -x13_bit1 -x13_bit10 -x13_bit11 -x13_bit12 -x13_bit2 x13_bit3 x13_bit4 -x13_bit5 -x13_bit6 -x13_bit7 x13_bit8 -x13_bit9 -x13_bit_1 -x13_bit_2 -x13_bit_3 -x13_bit_4 -x13_bit_5 -x13_bit_6 -x13_bit_7 -x15_bit0 x16_bit0 x17_bit0 x18_bit0 x19_bit0 x1_bit0 x1_bit1 -x1_bit10 -x1_bit11 -x1_bit12 -x1_bit2 x1_bit3 -x1_bit4 x1_bit5 x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit_1 -x1_bit_2 -x1_bit_3 -x1_bit_4 -x1_bit_5 -x1_bit_6 -x1_bit_7 x20_bit0 x21_bit0 -x22_bit0 x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 x28_bit0 -x29_bit0 x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 x34_bit0 -x35_bit0 x36_bit0 -x37_bit0 -x38_bit0 x39_bit0 x3_bit0 x3_bit1 -x3_bit10 -x3_bit11 -x3_bit12 x3_bit2 -x3_bit3 -x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit_1 -x3_bit_2 -x3_bit_3 -x3_bit_4 -x3_bit_5 -x3_bit_6 -x3_bit_7 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 x50_bit0 -x51_bit0 -x52_bit0 x53_bit0 -x54_bit0 x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 x59_bit0 x5_bit0 x5_bit1 -x5_bit10 -x5_bit11 -x5_bit12 x5_bit2 -x5_bit3 -x5_bit4 x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit_1 -x5_bit_2 -x5_bit_3 -x5_bit_4 -x5_bit_5 -x5_bit_6 -x5_bit_7 -x60_bit0 -x61_bit0 x62_bit0 x63_bit0 x64_bit0 x65_bit0 x66_bit0 -x67_bit0 x68_bit0 x69_bit0 x70_bit0 x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 x7_bit0 -x7_bit1 -x7_bit10 -x7_bit11 -x7_bit12 x7_bit2 -x7_bit3 -x7_bit4 x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit_1 -x7_bit_2 -x7_bit_3 -x7_bit_4 -x7_bit_5 -x7_bit_6 -x7_bit_7 x9_bit0 x9_bit1 -x9_bit10 -x9_bit11 -x9_bit12 -x9_bit2 x9_bit3 x9_bit4 x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit_1 -x9_bit_2 -x9_bit_3 -x9_bit_4 -x9_bit_5 -x9_bit_6 -x9_bit_7 #### 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 Raw data (loadavg): 0.91 0.94 0.90 2/54 17283 Raw data (stat): 17283 (runsolver) R 17282 7266 7265 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 972152875 884736 93 4294967295 134512640 135332820 3221224464 3221219808 134957970 0 0 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 93 205 205 0 11 0 vsize: 864 Current StackSize limit: 67108864 bytes [startup+10.0002 s] Raw data (loadavg): 0.92 0.95 0.90 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 26287 0 0 0 943 56 0 0 25 0 1 0 972152875 77606912 15289 4294967295 134512640 135730672 3221224576 3221212000 134786278 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18947 15289 301 301 0 18646 0 vsize: 75788 [startup+20.0009 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 51446 0 0 0 1887 111 0 0 25 0 1 0 972152875 151568384 29495 4294967295 134512640 135730672 3221224576 3221210960 135288336 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 37004 29495 301 301 0 36703 0 vsize: 148016 [startup+30.0011 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 76203 0 0 0 2839 160 0 0 25 0 1 0 972152875 220811264 43841 4294967295 134512640 135730672 3221224576 3221223176 134747441 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53909 43841 301 301 0 53608 0 vsize: 215636 [startup+40.0024 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 82972 0 0 0 3823 176 0 0 25 0 1 0 972152875 235008000 46290 4294967295 134512640 135730672 3221224576 3221222704 134769149 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 57375 46290 301 301 0 57074 0 vsize: 229500 [startup+50.0031 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85115 0 0 0 4817 182 0 0 25 0 1 0 972152875 230187008 45162 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 56198 45162 301 301 0 55897 0 vsize: 224792 [startup+60.0023 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85125 0 0 0 5817 182 0 0 25 0 1 0 972152875 229920768 45107 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56133 45107 301 301 0 55832 0 vsize: 224532 [startup+70.0034 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85290 0 0 0 6817 183 0 0 25 0 1 0 972152875 230973440 45272 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56390 45272 301 301 0 56089 0 vsize: 225560 [startup+80.0041 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85424 0 0 0 7817 183 0 0 25 0 1 0 972152875 232026112 45406 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45406 301 301 0 56346 0 vsize: 226588 [startup+90.0046 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85439 0 0 0 8817 183 0 0 25 0 1 0 972152875 232026112 45421 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45421 301 301 0 56346 0 vsize: 226588 [startup+100.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85443 0 0 0 9817 183 0 0 25 0 1 0 972152875 232026112 45425 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45425 301 301 0 56346 0 vsize: 226588 [startup+110.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85446 0 0 0 10817 183 0 0 25 0 1 0 972152875 232026112 45428 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45428 301 301 0 56346 0 vsize: 226588 [startup+120.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85448 0 0 0 11818 183 0 0 25 0 1 0 972152875 232026112 45430 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45430 301 301 0 56346 0 vsize: 226588 [startup+130.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85456 0 0 0 12818 183 0 0 25 0 1 0 972152875 232026112 45438 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45438 301 301 0 56346 0 vsize: 226588 [startup+140.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85459 0 0 0 13818 183 0 0 25 0 1 0 972152875 232026112 45441 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45441 301 301 0 56346 0 vsize: 226588 [startup+150.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85462 0 0 0 14818 183 0 0 25 0 1 0 972152875 232026112 45444 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45444 301 301 0 56346 0 vsize: 226588 [startup+160.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85464 0 0 0 15818 183 0 0 25 0 1 0 972152875 232026112 45446 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45446 301 301 0 56346 0 vsize: 226588 [startup+170.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85468 0 0 0 16818 183 0 0 25 0 1 0 972152875 232026112 45450 4294967295 134512640 135730672 3221224576 3221222864 134747636 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45450 301 301 0 56346 0 vsize: 226588 [startup+180.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85470 0 0 0 17819 183 0 0 25 0 1 0 972152875 232026112 45452 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45452 301 301 0 56346 0 vsize: 226588 [startup+190.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85477 0 0 0 18819 183 0 0 25 0 1 0 972152875 232026112 45459 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45459 301 301 0 56346 0 vsize: 226588 [startup+200.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85481 0 0 0 19819 183 0 0 25 0 1 0 972152875 232026112 45463 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45463 301 301 0 56346 0 vsize: 226588 [startup+210.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85484 0 0 0 20819 183 0 0 25 0 1 0 972152875 232026112 45466 4294967295 134512640 135730672 3221224576 3221222960 134763582 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45466 301 301 0 56346 0 vsize: 226588 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85487 0 0 0 21819 183 0 0 25 0 1 0 972152875 232026112 45469 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45469 301 301 0 56346 0 vsize: 226588 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85491 0 0 0 22819 183 0 0 25 0 1 0 972152875 232026112 45473 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45473 301 301 0 56346 0 vsize: 226588 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85507 0 0 0 23820 183 0 0 25 0 1 0 972152875 232026112 45489 4294967295 134512640 135730672 3221224576 3221222864 134747892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45489 301 301 0 56346 0 vsize: 226588 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85509 0 0 0 24820 183 0 0 25 0 1 0 972152875 232026112 45491 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45491 301 301 0 56346 0 vsize: 226588 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85512 0 0 0 25820 183 0 0 25 0 1 0 972152875 232026112 45494 4294967295 134512640 135730672 3221224576 3221222732 135291075 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45494 301 301 0 56346 0 vsize: 226588 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85516 0 0 0 26820 183 0 0 25 0 1 0 972152875 232026112 45498 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45498 301 301 0 56346 0 vsize: 226588 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85518 0 0 0 27820 183 0 0 25 0 1 0 972152875 232026112 45500 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45500 301 301 0 56346 0 vsize: 226588 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85525 0 0 0 28820 183 0 0 25 0 1 0 972152875 232026112 45507 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45507 301 301 0 56346 0 vsize: 226588 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85529 0 0 0 29820 183 0 0 25 0 1 0 972152875 232026112 45511 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45511 301 301 0 56346 0 vsize: 226588 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85557 0 0 0 30820 184 0 0 25 0 1 0 972152875 232026112 45539 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45539 301 301 0 56346 0 vsize: 226588 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85565 0 0 0 31820 184 0 0 25 0 1 0 972152875 232026112 45547 4294967295 134512640 135730672 3221224576 3221222848 134732861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 56647 45547 301 301 0 56346 0 vsize: 226588 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85568 0 0 0 32819 184 0 0 25 0 1 0 972152875 232026112 45550 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45550 301 301 0 56346 0 vsize: 226588 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85571 0 0 0 33819 184 0 0 25 0 1 0 972152875 232026112 45553 4294967295 134512640 135730672 3221224576 3221222864 134747516 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45553 301 301 0 56346 0 vsize: 226588 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85574 0 0 0 34819 184 0 0 25 0 1 0 972152875 232026112 45556 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45556 301 301 0 56346 0 vsize: 226588 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 85578 0 0 0 35820 184 0 0 25 0 1 0 972152875 232026112 45560 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56647 45560 301 301 0 56346 0 vsize: 226588 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 87026 0 0 0 36817 187 0 0 25 0 1 0 972152875 236437504 46347 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57724 46347 301 301 0 57423 0 vsize: 230896 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 87785 0 0 0 37815 189 0 0 25 0 1 0 972152875 238555136 46746 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58241 46746 301 301 0 57940 0 vsize: 232964 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 88744 0 0 0 38813 191 0 0 25 0 1 0 972152875 241291264 47234 4294967295 134512640 135730672 3221224576 3221222864 134747641 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58909 47234 301 301 0 58608 0 vsize: 235636 [startup+400.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 89334 0 0 0 39813 192 0 0 25 0 1 0 972152875 243408896 47579 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59426 47579 301 301 0 59125 0 vsize: 237704 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 89643 0 0 0 40812 192 0 0 25 0 1 0 972152875 244203520 47757 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59620 47757 301 301 0 59319 0 vsize: 238480 [startup+420.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 89858 0 0 0 41812 193 0 0 25 0 1 0 972152875 244727808 47842 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59748 47842 301 301 0 59447 0 vsize: 238992 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 89913 0 0 0 42812 193 0 0 25 0 1 0 972152875 244862976 47897 4294967295 134512640 135730672 3221224576 3221222864 134747624 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59781 47897 301 301 0 59480 0 vsize: 239124 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 90032 0 0 0 43812 193 0 0 25 0 1 0 972152875 245125120 47951 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59845 47951 301 301 0 59544 0 vsize: 239380 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 90040 0 0 0 44812 193 0 0 25 0 1 0 972152875 245125120 47959 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59845 47959 301 301 0 59544 0 vsize: 239380 [startup+460.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 90395 0 0 0 45812 194 0 0 25 0 1 0 972152875 245911552 48119 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60037 48119 301 301 0 59736 0 vsize: 240148 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 90398 0 0 0 46812 194 0 0 25 0 1 0 972152875 245911552 48122 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60037 48122 301 301 0 59736 0 vsize: 240148 [startup+480.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 90455 0 0 0 47812 194 0 0 25 0 1 0 972152875 246108160 48179 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60085 48179 301 301 0 59784 0 vsize: 240340 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 90482 0 0 0 48812 194 0 0 25 0 1 0 972152875 246108160 48206 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60085 48206 301 301 0 59784 0 vsize: 240340 [startup+500.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 90487 0 0 0 49812 194 0 0 25 0 1 0 972152875 246108160 48211 4294967295 134512640 135730672 3221224576 3221222688 134732515 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60085 48211 301 301 0 59784 0 vsize: 240340 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 90689 0 0 0 50812 195 0 0 25 0 1 0 972152875 246632448 48284 4294967295 134512640 135730672 3221224576 3221222992 134748145 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60213 48284 301 301 0 59912 0 vsize: 240852 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 90752 0 0 0 51812 195 0 0 25 0 1 0 972152875 246763520 48314 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60245 48314 301 301 0 59944 0 vsize: 240980 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 90894 0 0 0 52812 195 0 0 25 0 1 0 972152875 247025664 48391 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60309 48391 301 301 0 60008 0 vsize: 241236 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 90902 0 0 0 53812 195 0 0 25 0 1 0 972152875 247025664 48399 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60309 48399 301 301 0 60008 0 vsize: 241236 [startup+550.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 91133 0 0 0 54811 196 0 0 25 0 1 0 972152875 247554048 48532 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60438 48532 301 301 0 60137 0 vsize: 241752 [startup+560.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 91276 0 0 0 55811 197 0 0 25 0 1 0 972152875 248078336 48546 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60566 48546 301 301 0 60265 0 vsize: 242264 [startup+570.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 91282 0 0 0 56811 197 0 0 25 0 1 0 972152875 248078336 48552 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60566 48552 301 301 0 60265 0 vsize: 242264 [startup+580.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 91687 0 0 0 57811 197 0 0 25 0 1 0 972152875 249397248 48763 4294967295 134512640 135730672 3221224576 3221222992 134748264 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60888 48763 301 301 0 60587 0 vsize: 243552 [startup+590.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 91987 0 0 0 58810 198 0 0 25 0 1 0 972152875 250183680 48869 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61080 48869 301 301 0 60779 0 vsize: 244320 [startup+600.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 91989 0 0 0 59811 198 0 0 25 0 1 0 972152875 250183680 48871 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61080 48871 301 301 0 60779 0 vsize: 244320 [startup+610.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 91992 0 0 0 60811 198 0 0 25 0 1 0 972152875 250183680 48874 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61080 48874 301 301 0 60779 0 vsize: 244320 [startup+620.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 91996 0 0 0 61812 198 0 0 25 0 1 0 972152875 250183680 48878 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61080 48878 301 301 0 60779 0 vsize: 244320 [startup+630.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92039 0 0 0 62812 198 0 0 25 0 1 0 972152875 250384384 48905 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61129 48905 301 301 0 60828 0 vsize: 244516 [startup+640.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92055 0 0 0 63812 198 0 0 25 0 1 0 972152875 250384384 48921 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61129 48921 301 301 0 60828 0 vsize: 244516 [startup+650.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92355 0 0 0 64812 199 0 0 25 0 1 0 972152875 251170816 49027 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61321 49027 301 301 0 61020 0 vsize: 245284 [startup+660.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92359 0 0 0 65812 199 0 0 25 0 1 0 972152875 251170816 49031 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61321 49031 301 301 0 61020 0 vsize: 245284 [startup+670.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92362 0 0 0 66812 199 0 0 25 0 1 0 972152875 251170816 49034 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61321 49034 301 301 0 61020 0 vsize: 245284 [startup+680.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92364 0 0 0 67812 199 0 0 25 0 1 0 972152875 251170816 49036 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61321 49036 301 301 0 61020 0 vsize: 245284 [startup+690.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92368 0 0 0 68812 199 0 0 25 0 1 0 972152875 251170816 49040 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61321 49040 301 301 0 61020 0 vsize: 245284 [startup+700.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92371 0 0 0 69812 199 0 0 25 0 1 0 972152875 251170816 49043 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61321 49043 301 301 0 61020 0 vsize: 245284 [startup+710.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92375 0 0 0 70813 199 0 0 25 0 1 0 972152875 251170816 49047 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61321 49047 301 301 0 61020 0 vsize: 245284 [startup+720.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92378 0 0 0 71813 199 0 0 25 0 1 0 972152875 251170816 49050 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61321 49050 301 301 0 61020 0 vsize: 245284 [startup+730.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92382 0 0 0 72813 199 0 0 25 0 1 0 972152875 251170816 49054 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61321 49054 301 301 0 61020 0 vsize: 245284 [startup+740.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92384 0 0 0 73813 199 0 0 25 0 1 0 972152875 251170816 49056 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61321 49056 301 301 0 61020 0 vsize: 245284 [startup+750.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92433 0 0 0 74813 199 0 0 25 0 1 0 972152875 251437056 49105 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61386 49105 301 301 0 61085 0 vsize: 245544 [startup+760.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92441 0 0 0 75813 199 0 0 25 0 1 0 972152875 251437056 49113 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61386 49113 301 301 0 61085 0 vsize: 245544 [startup+770.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92451 0 0 0 76813 199 0 0 25 0 1 0 972152875 251437056 49123 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61386 49123 301 301 0 61085 0 vsize: 245544 [startup+780.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92743 0 0 0 77813 200 0 0 25 0 1 0 972152875 252223488 49221 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49221 301 301 0 61277 0 vsize: 246312 [startup+790.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92745 0 0 0 78813 200 0 0 25 0 1 0 972152875 252223488 49223 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49223 301 301 0 61277 0 vsize: 246312 [startup+800.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92747 0 0 0 79813 200 0 0 25 0 1 0 972152875 252223488 49225 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49225 301 301 0 61277 0 vsize: 246312 [startup+810.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92751 0 0 0 80813 200 0 0 25 0 1 0 972152875 252223488 49229 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49229 301 301 0 61277 0 vsize: 246312 [startup+820.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92754 0 0 0 81813 200 0 0 25 0 1 0 972152875 252223488 49232 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49232 301 301 0 61277 0 vsize: 246312 [startup+830.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92757 0 0 0 82813 200 0 0 25 0 1 0 972152875 252223488 49235 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49235 301 301 0 61277 0 vsize: 246312 [startup+840.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92768 0 0 0 83814 200 0 0 25 0 1 0 972152875 252223488 49246 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49246 301 301 0 61277 0 vsize: 246312 [startup+850.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92772 0 0 0 84814 200 0 0 25 0 1 0 972152875 252223488 49250 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49250 301 301 0 61277 0 vsize: 246312 [startup+860.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92781 0 0 0 85814 201 0 0 25 0 1 0 972152875 252223488 49259 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49259 301 301 0 61277 0 vsize: 246312 [startup+870.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92785 0 0 0 86814 201 0 0 25 0 1 0 972152875 252223488 49263 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49263 301 301 0 61277 0 vsize: 246312 [startup+880.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92789 0 0 0 87814 201 0 0 25 0 1 0 972152875 252223488 49267 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49267 301 301 0 61277 0 vsize: 246312 [startup+890.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92793 0 0 0 88814 201 0 0 25 0 1 0 972152875 252223488 49271 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49271 301 301 0 61277 0 vsize: 246312 [startup+900.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92798 0 0 0 89815 201 0 0 25 0 1 0 972152875 252223488 49276 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49276 301 301 0 61277 0 vsize: 246312 [startup+910.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92802 0 0 0 90815 201 0 0 25 0 1 0 972152875 252223488 49280 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49280 301 301 0 61277 0 vsize: 246312 [startup+920.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92806 0 0 0 91815 201 0 0 25 0 1 0 972152875 252223488 49284 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49284 301 301 0 61277 0 vsize: 246312 [startup+930.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92809 0 0 0 92815 201 0 0 25 0 1 0 972152875 252223488 49287 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49287 301 301 0 61277 0 vsize: 246312 [startup+940.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92811 0 0 0 93815 201 0 0 25 0 1 0 972152875 252223488 49289 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49289 301 301 0 61277 0 vsize: 246312 [startup+950.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92815 0 0 0 94816 201 0 0 25 0 1 0 972152875 252223488 49293 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49293 301 301 0 61277 0 vsize: 246312 [startup+960.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92820 0 0 0 95816 201 0 0 25 0 1 0 972152875 252223488 49298 4294967295 134512640 135730672 3221224576 3221222704 134739213 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49298 301 301 0 61277 0 vsize: 246312 [startup+970.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92823 0 0 0 96816 201 0 0 25 0 1 0 972152875 252223488 49301 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49301 301 301 0 61277 0 vsize: 246312 [startup+980.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92826 0 0 0 97816 201 0 0 25 0 1 0 972152875 252223488 49304 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49304 301 301 0 61277 0 vsize: 246312 [startup+990.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92830 0 0 0 98816 201 0 0 25 0 1 0 972152875 252223488 49308 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49308 301 301 0 61277 0 vsize: 246312 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92833 0 0 0 99816 201 0 0 25 0 1 0 972152875 252223488 49311 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49311 301 301 0 61277 0 vsize: 246312 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92835 0 0 0 100817 201 0 0 25 0 1 0 972152875 252223488 49313 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49313 301 301 0 61277 0 vsize: 246312 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92839 0 0 0 101818 201 0 0 25 0 1 0 972152875 252223488 49317 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49317 301 301 0 61277 0 vsize: 246312 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92842 0 0 0 102818 201 0 0 25 0 1 0 972152875 252223488 49320 4294967295 134512640 135730672 3221224576 3221222864 134747641 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49320 301 301 0 61277 0 vsize: 246312 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92846 0 0 0 103818 201 0 0 25 0 1 0 972152875 252223488 49324 4294967295 134512640 135730672 3221224576 3221222696 134739222 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49324 301 301 0 61277 0 vsize: 246312 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92851 0 0 0 104818 201 0 0 25 0 1 0 972152875 252223488 49329 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49329 301 301 0 61277 0 vsize: 246312 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92854 0 0 0 105819 201 0 0 25 0 1 0 972152875 252223488 49332 4294967295 134512640 135730672 3221224576 3221222704 134739213 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49332 301 301 0 61277 0 vsize: 246312 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92859 0 0 0 106819 201 0 0 25 0 1 0 972152875 252223488 49337 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49337 301 301 0 61277 0 vsize: 246312 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92863 0 0 0 107820 201 0 0 25 0 1 0 972152875 252223488 49341 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49341 301 301 0 61277 0 vsize: 246312 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92866 0 0 0 108820 201 0 0 25 0 1 0 972152875 252223488 49344 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49344 301 301 0 61277 0 vsize: 246312 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92873 0 0 0 109820 202 0 0 25 0 1 0 972152875 252223488 49351 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49351 301 301 0 61277 0 vsize: 246312 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92876 0 0 0 110820 202 0 0 25 0 1 0 972152875 252223488 49354 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49354 301 301 0 61277 0 vsize: 246312 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92879 0 0 0 111820 202 0 0 25 0 1 0 972152875 252223488 49357 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49357 301 301 0 61277 0 vsize: 246312 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92883 0 0 0 112820 202 0 0 25 0 1 0 972152875 252223488 49361 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49361 301 301 0 61277 0 vsize: 246312 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92899 0 0 0 113821 202 0 0 25 0 1 0 972152875 252223488 49377 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49377 301 301 0 61277 0 vsize: 246312 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 92904 0 0 0 114821 202 0 0 25 0 1 0 972152875 252223488 49382 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61578 49382 301 301 0 61277 0 vsize: 246312 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 93395 0 0 0 115820 202 0 0 25 0 1 0 972152875 253808640 49612 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 61965 49612 301 301 0 61664 0 vsize: 247860 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 93599 0 0 0 116820 203 0 0 25 0 1 0 972152875 254607360 49750 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 62160 49750 301 301 0 61859 0 vsize: 248640 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 93602 0 0 0 117820 203 0 0 25 0 1 0 972152875 254607360 49753 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 62160 49753 301 301 0 61859 0 vsize: 248640 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 93606 0 0 0 118821 203 0 0 25 0 1 0 972152875 254607360 49757 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 62160 49757 301 301 0 61859 0 vsize: 248640 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17283 Raw data (stat): 17283 (pb2sat-v2) R 17282 7266 7265 0 -1 0 93611 0 0 0 119821 203 0 0 25 0 1 0 972152875 254607360 49762 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 62160 49762 301 301 0 61859 0 vsize: 248640 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.23 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 17283 Raw data (stat): 17283 (pb2sat-v2) Z 17282 7266 7265 0 -1 12 93613 0 0 0 119927 213 0 0 25 0 1 0 972152875 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): 1201.23 CPU time (s): 1201.41 CPU user time (s): 1199.28 CPU system time (s): 2.13068 CPU usage (%): 100.015 Max. virtual memory (Kb): 248640 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 80768 #### END VERIFIER DATA ####