Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare1.opb |
MD5SUM | c8b965306fec2c21edee64824d12f378 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63488 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 6442450938 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 6442450938 |
Number of bits of the biggest sum of numbers | 33 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.08 |
Number of variables | 230 |
Total number of constraints | 56 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 80 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-16 09:49:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25740 boxname=wulflinc4 idbench=1040 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: c8b965306fec2c21edee64824d12f378 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-markshare1.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-markshare1.opb IDLAUNCH: 25740 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 690824 kB Buffers: 34628 kB Cached: 287564 kB SwapCached: 944 kB Active: 34776 kB Inactive: 289520 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 690572 kB SwapTotal: 2097136 kB SwapFree: 2095208 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 13944 kB Committed_AS: 71896 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 10:10:02 (client local time) WITH STATUS 10 IN 1201 SECONDS stats: 25740 0 1201 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: 762880 c small objective detected c CONFLICT during preprocess c [startup+18.1684 s] setting bit 32 to 0 c CONFLICT during preprocess c [startup+19.3768 s] setting bit 31 to 0 c CONFLICT during preprocess c [startup+20.5864 s] setting bit 30 to 0 c CONFLICT during preprocess c [startup+21.7987 s] setting bit 29 to 0 c CONFLICT during preprocess c [startup+23.0078 s] setting bit 28 to 0 c CONFLICT during preprocess c [startup+24.2168 s] setting bit 27 to 0 c CONFLICT during preprocess c [startup+25.4254 s] setting bit 26 to 0 c CONFLICT during preprocess c [startup+26.6341 s] setting bit 25 to 0 c CONFLICT during preprocess c [startup+27.8453 s] setting bit 24 to 0 c CONFLICT during preprocess c [startup+29.0545 s] setting bit 23 to 0 c CONFLICT during preprocess c [startup+30.2654 s] setting bit 22 to 0 c CONFLICT during preprocess c [startup+31.4754 s] setting bit 21 to 0 c CONFLICT during preprocess c [startup+32.6846 s] setting bit 20 to 0 c got solution with objective value: 178176 c [startup+42.61 s] setting bit 19 to 1 c CONFLICT during preprocess c [startup+43.8246 s] setting bit 18 to 0 c Decision: 3997/304780 Time: 848.123/86400 c Decision: 3997/304780 Time: 930.042/86400 c Decision: 3997/304780 Time: 1004.55/86400 c Decision: 3997/304780 Time: 1084.25/86400s SATISFIABLE v -s01_bit0 -s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 s01_bit2 -s01_bit3 -s01_bit4 -s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 -s01_bit_10 -s01_bit_2 -s01_bit_3 -s01_bit_4 -s01_bit_5 -s01_bit_6 -s01_bit_7 -s01_bit_8 -s01_bit_9 s11_bit0 s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 -s11_bit2 s11_bit3 s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit_1 -s11_bit_10 -s11_bit_2 -s11_bit_3 -s11_bit_4 -s11_bit_5 -s11_bit_6 -s11_bit_7 -s11_bit_8 -s11_bit_9 s21_bit0 -s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 s21_bit2 s21_bit3 s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit_1 -s21_bit_10 -s21_bit_2 -s21_bit_3 -s21_bit_4 -s21_bit_5 -s21_bit_6 -s21_bit_7 -s21_bit_8 -s21_bit_9 -s31_bit0 -s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 -s31_bit2 -s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 -s31_bit_10 -s31_bit_2 -s31_bit_3 -s31_bit_4 -s31_bit_5 -s31_bit_6 -s31_bit_7 -s31_bit_8 -s31_bit_9 s41_bit0 -s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 -s41_bit2 -s41_bit3 s41_bit4 -s41_bit5 s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit_1 -s41_bit_10 -s41_bit_2 -s41_bit_3 -s41_bit_4 -s41_bit_5 -s41_bit_6 -s41_bit_7 -s41_bit_8 -s41_bit_9 s51_bit0 -s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 -s51_bit2 -s51_bit3 -s51_bit4 s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit_1 -s51_bit_10 -s51_bit_2 -s51_bit_3 -s51_bit_4 -s51_bit_5 -s51_bit_6 -s51_bit_7 -s51_bit_8 -s51_bit_9 -x0_bit0 x10_bit0 x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 x17_bit0 -x18_bit0 x19_bit0 x1_bit0 x20_bit0 x21_bit0 -x22_bit0 x23_bit0 -x24_bit0 x25_bit0 x26_bit0 -x27_bit0 x28_bit0 x29_bit0 -x2_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 x36_bit0 x37_bit0 -x38_bit0 x39_bit0 x3_bit0 x40_bit0 -x41_bit0 x42_bit0 x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 x4_bit0 x5_bit0 -x6_bit0 x7_bit0 -x8_bit0 x9_bit0 #### 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.84 0.94 0.93 1/54 24543 Raw data (stat): 24543 (runsolver) R 24542 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969803629 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0005 s] Raw data (loadavg): 0.87 0.94 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 26321 0 0 0 946 53 0 0 25 0 1 0 969803629 76804096 15317 4294967295 134512640 135730672 3221224576 3221202072 135284224 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18751 15317 301 301 0 18450 0 vsize: 75004 [startup+20.0018 s] Raw data (loadavg): 0.89 0.94 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 49201 0 0 0 1902 97 0 0 25 0 1 0 969803629 145244160 25441 4294967295 134512640 135730672 3221224576 3221222664 134765469 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35460 25441 301 301 0 35159 0 vsize: 141840 [startup+30.0026 s] Raw data (loadavg): 0.90 0.94 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 53970 0 0 0 2891 108 0 0 25 0 1 0 969803629 142802944 24846 4294967295 134512640 135730672 3221224576 3221223088 134739768 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 34864 24846 301 301 0 34563 0 vsize: 139456 [startup+40.003 s] Raw data (loadavg): 0.92 0.94 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 55807 0 0 0 3886 113 0 0 25 0 1 0 969803629 142536704 24830 4294967295 134512640 135730672 3221224576 3221222700 134739224 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 34799 24830 301 301 0 34498 0 vsize: 139196 [startup+50.0044 s] Raw data (loadavg): 0.93 0.94 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 57538 0 0 0 4881 118 0 0 25 0 1 0 969803629 144850944 25303 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35364 25303 301 301 0 35063 0 vsize: 141456 [startup+60.0048 s] Raw data (loadavg): 0.94 0.95 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 58027 0 0 0 5880 119 0 0 25 0 1 0 969803629 146305024 25530 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35719 25530 301 301 0 35418 0 vsize: 142876 [startup+70.0057 s] Raw data (loadavg): 0.95 0.95 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 58173 0 0 0 6880 120 0 0 25 0 1 0 969803629 146833408 25611 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35848 25611 301 301 0 35547 0 vsize: 143392 [startup+80.0061 s] Raw data (loadavg): 0.96 0.95 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 58328 0 0 0 7879 120 0 0 25 0 1 0 969803629 147361792 25701 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35977 25701 301 301 0 35676 0 vsize: 143908 [startup+90.0069 s] Raw data (loadavg): 0.96 0.95 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 58337 0 0 0 8879 121 0 0 25 0 1 0 969803629 147361792 25710 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35977 25710 301 301 0 35676 0 vsize: 143908 [startup+100.006 s] Raw data (loadavg): 0.97 0.95 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 58347 0 0 0 9878 121 0 0 25 0 1 0 969803629 147361792 25720 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35977 25720 301 301 0 35676 0 vsize: 143908 [startup+110.008 s] Raw data (loadavg): 0.97 0.95 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 58356 0 0 0 10878 122 0 0 25 0 1 0 969803629 147361792 25729 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35977 25729 301 301 0 35676 0 vsize: 143908 [startup+120.008 s] Raw data (loadavg): 0.98 0.95 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 58519 0 0 0 11878 122 0 0 25 0 1 0 969803629 147890176 25827 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36106 25827 301 301 0 35805 0 vsize: 144424 [startup+130.008 s] Raw data (loadavg): 0.98 0.95 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 58679 0 0 0 12877 123 0 0 25 0 1 0 969803629 148418560 25922 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36235 25922 301 301 0 35934 0 vsize: 144940 [startup+140.009 s] Raw data (loadavg): 0.98 0.95 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 58683 0 0 0 13877 123 0 0 25 0 1 0 969803629 148418560 25926 4294967295 134512640 135730672 3221224576 3221222992 134748163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36235 25926 301 301 0 35934 0 vsize: 144940 [startup+150.009 s] Raw data (loadavg): 0.98 0.95 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59320 0 0 0 14875 125 0 0 25 0 1 0 969803629 150532096 26303 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36751 26303 301 301 0 36450 0 vsize: 147004 [startup+160.01 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59329 0 0 0 15875 125 0 0 25 0 1 0 969803629 150532096 26312 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36751 26312 301 301 0 36450 0 vsize: 147004 [startup+170.011 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59353 0 0 0 16875 126 0 0 25 0 1 0 969803629 167309312 26336 4294967295 134512640 135730672 3221224576 3221222616 135284584 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40847 26336 301 301 0 40546 0 vsize: 163388 [startup+180.01 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59372 0 0 0 17875 126 0 0 25 0 1 0 969803629 167309312 26355 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40847 26355 301 301 0 40546 0 vsize: 163388 [startup+190.01 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59645 0 0 0 18874 127 0 0 25 0 1 0 969803629 168361984 26499 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41104 26499 301 301 0 40803 0 vsize: 164416 [startup+200.011 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59649 0 0 0 19874 127 0 0 25 0 1 0 969803629 168361984 26503 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41104 26503 301 301 0 40803 0 vsize: 164416 [startup+210.012 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59658 0 0 0 20874 128 0 0 25 0 1 0 969803629 168361984 26512 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41104 26512 301 301 0 40803 0 vsize: 164416 [startup+220.013 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59665 0 0 0 21874 128 0 0 25 0 1 0 969803629 168361984 26519 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41104 26519 301 301 0 40803 0 vsize: 164416 [startup+230.013 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59776 0 0 0 22874 128 0 0 25 0 1 0 969803629 168894464 26630 4294967295 134512640 135730672 3221224576 3221223008 134748065 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26630 301 301 0 40933 0 vsize: 164936 [startup+240.014 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59787 0 0 0 23873 129 0 0 25 0 1 0 969803629 168894464 26641 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26641 301 301 0 40933 0 vsize: 164936 [startup+250.013 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59796 0 0 0 24873 129 0 0 25 0 1 0 969803629 168894464 26650 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26650 301 301 0 40933 0 vsize: 164936 [startup+260.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59799 0 0 0 25873 129 0 0 25 0 1 0 969803629 168894464 26653 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26653 301 301 0 40933 0 vsize: 164936 [startup+270.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59805 0 0 0 26873 129 0 0 25 0 1 0 969803629 168894464 26659 4294967295 134512640 135730672 3221224576 3221222968 134747726 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26659 301 301 0 40933 0 vsize: 164936 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59808 0 0 0 27872 130 0 0 25 0 1 0 969803629 168894464 26662 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26662 301 301 0 40933 0 vsize: 164936 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59816 0 0 0 28872 130 0 0 25 0 1 0 969803629 168894464 26670 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26670 301 301 0 40933 0 vsize: 164936 [startup+300.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59837 0 0 0 29872 130 0 0 25 0 1 0 969803629 168894464 26691 4294967295 134512640 135730672 3221224576 3221222864 134747627 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26691 301 301 0 40933 0 vsize: 164936 [startup+310.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59845 0 0 0 30872 131 0 0 25 0 1 0 969803629 168894464 26699 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26699 301 301 0 40933 0 vsize: 164936 [startup+320.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59857 0 0 0 31871 131 0 0 25 0 1 0 969803629 168894464 26711 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26711 301 301 0 40933 0 vsize: 164936 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59868 0 0 0 32871 131 0 0 25 0 1 0 969803629 168894464 26722 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26722 301 301 0 40933 0 vsize: 164936 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59884 0 0 0 33871 132 0 0 25 0 1 0 969803629 168894464 26738 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26738 301 301 0 40933 0 vsize: 164936 [startup+350.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59888 0 0 0 34871 132 0 0 25 0 1 0 969803629 168894464 26742 4294967295 134512640 135730672 3221224576 3221222616 135284832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26742 301 301 0 40933 0 vsize: 164936 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59893 0 0 0 35871 132 0 0 25 0 1 0 969803629 168894464 26747 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26747 301 301 0 40933 0 vsize: 164936 [startup+370.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59896 0 0 0 36870 133 0 0 25 0 1 0 969803629 168894464 26750 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26750 301 301 0 40933 0 vsize: 164936 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59900 0 0 0 37870 133 0 0 25 0 1 0 969803629 168894464 26754 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26754 301 301 0 40933 0 vsize: 164936 [startup+390.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59905 0 0 0 38870 133 0 0 25 0 1 0 969803629 168894464 26759 4294967295 134512640 135730672 3221224576 3221222840 134730405 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26759 301 301 0 40933 0 vsize: 164936 [startup+400.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59925 0 0 0 39869 134 0 0 25 0 1 0 969803629 168894464 26779 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26779 301 301 0 40933 0 vsize: 164936 [startup+410.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59931 0 0 0 40869 134 0 0 25 0 1 0 969803629 168894464 26785 4294967295 134512640 135730672 3221224576 3221222864 134747701 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26785 301 301 0 40933 0 vsize: 164936 [startup+420.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59935 0 0 0 41868 135 0 0 25 0 1 0 969803629 168894464 26789 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26789 301 301 0 40933 0 vsize: 164936 [startup+430.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59946 0 0 0 42867 136 0 0 25 0 1 0 969803629 168894464 26800 4294967295 134512640 135730672 3221224576 3221222864 134747883 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26800 301 301 0 40933 0 vsize: 164936 [startup+440.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59958 0 0 0 43867 137 0 0 25 0 1 0 969803629 168894464 26812 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26812 301 301 0 40933 0 vsize: 164936 [startup+450.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59961 0 0 0 44867 137 0 0 25 0 1 0 969803629 168894464 26815 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26815 301 301 0 40933 0 vsize: 164936 [startup+460.025 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59966 0 0 0 45867 137 0 0 25 0 1 0 969803629 168894464 26820 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26820 301 301 0 40933 0 vsize: 164936 [startup+470.026 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59971 0 0 0 46866 138 0 0 25 0 1 0 969803629 168894464 26825 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26825 301 301 0 40933 0 vsize: 164936 [startup+480.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59974 0 0 0 47866 138 0 0 25 0 1 0 969803629 168894464 26828 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26828 301 301 0 40933 0 vsize: 164936 [startup+490.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 59979 0 0 0 48866 139 0 0 25 0 1 0 969803629 168894464 26833 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41234 26833 301 301 0 40933 0 vsize: 164936 [startup+500.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60090 0 0 0 49865 140 0 0 25 0 1 0 969803629 169422848 26944 4294967295 134512640 135730672 3221224576 3221223056 134748433 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41363 26944 301 301 0 41062 0 vsize: 165452 [startup+510.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60094 0 0 0 50864 140 0 0 25 0 1 0 969803629 169422848 26948 4294967295 134512640 135730672 3221224576 3221222960 134763576 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41363 26948 301 301 0 41062 0 vsize: 165452 [startup+520.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60097 0 0 0 51864 140 0 0 25 0 1 0 969803629 169422848 26951 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41363 26951 301 301 0 41062 0 vsize: 165452 [startup+530.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60227 0 0 0 52864 141 0 0 25 0 1 0 969803629 169951232 27081 4294967295 134512640 135730672 3221224576 3221222864 134747730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41492 27081 301 301 0 41191 0 vsize: 165968 [startup+540.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60230 0 0 0 53864 141 0 0 25 0 1 0 969803629 169951232 27084 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41492 27084 301 301 0 41191 0 vsize: 165968 [startup+550.031 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60246 0 0 0 54863 142 0 0 25 0 1 0 969803629 169951232 27100 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41492 27100 301 301 0 41191 0 vsize: 165968 [startup+560.032 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60261 0 0 0 55864 142 0 0 25 0 1 0 969803629 169951232 27115 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41492 27115 301 301 0 41191 0 vsize: 165968 [startup+570.033 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60264 0 0 0 56863 142 0 0 25 0 1 0 969803629 169951232 27118 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41492 27118 301 301 0 41191 0 vsize: 165968 [startup+580.034 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60269 0 0 0 57863 142 0 0 25 0 1 0 969803629 169951232 27123 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41492 27123 301 301 0 41191 0 vsize: 165968 [startup+590.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60277 0 0 0 58863 143 0 0 25 0 1 0 969803629 169951232 27131 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41492 27131 301 301 0 41191 0 vsize: 165968 [startup+600.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 24543 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60283 0 0 0 59863 143 0 0 25 0 1 0 969803629 169951232 27137 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41492 27137 301 301 0 41191 0 vsize: 165968 [startup+610.036 s] Raw data (loadavg): 1.07 0.99 0.94 4/59 24595 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60289 0 0 0 60862 144 0 0 25 0 1 0 969803629 169951232 27143 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27143 301 301 0 41191 0 vsize: 165968 [startup+620.037 s] Raw data (loadavg): 1.06 0.99 0.94 2/54 24596 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60293 0 0 0 61862 144 0 0 25 0 1 0 969803629 169951232 27147 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27147 301 301 0 41191 0 vsize: 165968 [startup+630.037 s] Raw data (loadavg): 1.05 0.99 0.94 2/54 24596 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60298 0 0 0 62861 145 0 0 25 0 1 0 969803629 169951232 27152 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27152 301 301 0 41191 0 vsize: 165968 [startup+640.038 s] Raw data (loadavg): 1.04 0.99 0.94 2/54 24596 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60325 0 0 0 63861 145 0 0 25 0 1 0 969803629 169951232 27179 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27179 301 301 0 41191 0 vsize: 165968 [startup+650.038 s] Raw data (loadavg): 1.04 0.99 0.94 2/54 24596 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60330 0 0 0 64861 145 0 0 25 0 1 0 969803629 169951232 27184 4294967295 134512640 135730672 3221224576 3221222960 134763582 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27184 301 301 0 41191 0 vsize: 165968 [startup+660.039 s] Raw data (loadavg): 1.03 0.99 0.94 2/54 24596 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60335 0 0 0 65861 145 0 0 25 0 1 0 969803629 169951232 27189 4294967295 134512640 135730672 3221224576 3221222992 134748163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27189 301 301 0 41191 0 vsize: 165968 [startup+670.04 s] Raw data (loadavg): 1.03 0.99 0.94 2/54 24596 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60340 0 0 0 66861 146 0 0 25 0 1 0 969803629 169951232 27194 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27194 301 301 0 41191 0 vsize: 165968 [startup+680.039 s] Raw data (loadavg): 1.02 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60345 0 0 0 67861 146 0 0 25 0 1 0 969803629 169951232 27199 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27199 301 301 0 41191 0 vsize: 165968 [startup+690.04 s] Raw data (loadavg): 1.02 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60355 0 0 0 68861 146 0 0 25 0 1 0 969803629 169951232 27209 4294967295 134512640 135730672 3221224576 3221222992 134748249 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27209 301 301 0 41191 0 vsize: 165968 [startup+700.04 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60358 0 0 0 69861 147 0 0 25 0 1 0 969803629 169951232 27212 4294967295 134512640 135730672 3221224576 3221222864 134747883 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27212 301 301 0 41191 0 vsize: 165968 [startup+710.041 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60363 0 0 0 70861 147 0 0 25 0 1 0 969803629 169951232 27217 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27217 301 301 0 41191 0 vsize: 165968 [startup+720.042 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60370 0 0 0 71861 147 0 0 25 0 1 0 969803629 169951232 27224 4294967295 134512640 135730672 3221224576 3221222616 135284832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27224 301 301 0 41191 0 vsize: 165968 [startup+730.042 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60374 0 0 0 72861 147 0 0 25 0 1 0 969803629 169951232 27228 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27228 301 301 0 41191 0 vsize: 165968 [startup+740.042 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60378 0 0 0 73861 148 0 0 25 0 1 0 969803629 169951232 27232 4294967295 134512640 135730672 3221224576 3221222864 134747597 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27232 301 301 0 41191 0 vsize: 165968 [startup+750.043 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60383 0 0 0 74860 148 0 0 25 0 1 0 969803629 169951232 27237 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27237 301 301 0 41191 0 vsize: 165968 [startup+760.043 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60388 0 0 0 75860 149 0 0 25 0 1 0 969803629 169951232 27242 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27242 301 301 0 41191 0 vsize: 165968 [startup+770.044 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60393 0 0 0 76860 149 0 0 25 0 1 0 969803629 169951232 27247 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27247 301 301 0 41191 0 vsize: 165968 [startup+780.044 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60399 0 0 0 77859 150 0 0 25 0 1 0 969803629 169951232 27253 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27253 301 301 0 41191 0 vsize: 165968 [startup+790.045 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60403 0 0 0 78859 150 0 0 25 0 1 0 969803629 169951232 27257 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27257 301 301 0 41191 0 vsize: 165968 [startup+800.045 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60408 0 0 0 79859 150 0 0 25 0 1 0 969803629 169951232 27262 4294967295 134512640 135730672 3221224576 3221222864 134747747 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27262 301 301 0 41191 0 vsize: 165968 [startup+810.046 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60414 0 0 0 80859 151 0 0 25 0 1 0 969803629 169951232 27268 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27268 301 301 0 41191 0 vsize: 165968 [startup+820.047 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60421 0 0 0 81859 151 0 0 25 0 1 0 969803629 169951232 27275 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27275 301 301 0 41191 0 vsize: 165968 [startup+830.047 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60428 0 0 0 82859 151 0 0 25 0 1 0 969803629 169951232 27282 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41492 27282 301 301 0 41191 0 vsize: 165968 [startup+840.047 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60438 0 0 0 83859 151 0 0 25 0 1 0 969803629 169951232 27292 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41492 27292 301 301 0 41191 0 vsize: 165968 [startup+850.047 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60586 0 0 0 84859 152 0 0 25 0 1 0 969803629 170475520 27311 4294967295 134512640 135730672 3221224576 3221222992 134748204 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41620 27311 301 301 0 41319 0 vsize: 166480 [startup+860.048 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60592 0 0 0 85858 152 0 0 25 0 1 0 969803629 170475520 27317 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41620 27317 301 301 0 41319 0 vsize: 166480 [startup+870.048 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60598 0 0 0 86858 152 0 0 25 0 1 0 969803629 170475520 27323 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41620 27323 301 301 0 41319 0 vsize: 166480 [startup+880.048 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60604 0 0 0 87858 152 0 0 25 0 1 0 969803629 170475520 27329 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41620 27329 301 301 0 41319 0 vsize: 166480 [startup+890.048 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 60617 0 0 0 88857 153 0 0 25 0 1 0 969803629 170475520 27342 4294967295 134512640 135730672 3221224576 3221222880 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41620 27342 301 301 0 41319 0 vsize: 166480 [startup+900.047 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 61257 0 0 0 89855 154 0 0 25 0 1 0 969803629 170610688 27386 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41653 27386 301 301 0 41352 0 vsize: 166612 [startup+910.048 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 61434 0 0 0 90855 154 0 0 25 0 1 0 969803629 171134976 27433 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41781 27433 301 301 0 41480 0 vsize: 167124 [startup+920.048 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 61515 0 0 0 91855 155 0 0 25 0 1 0 969803629 171397120 27449 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41845 27449 301 301 0 41544 0 vsize: 167380 [startup+930.048 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24598 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 61524 0 0 0 92855 155 0 0 25 0 1 0 969803629 171397120 27458 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41845 27458 301 301 0 41544 0 vsize: 167380 [startup+940.049 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 61525 0 0 0 93855 155 0 0 25 0 1 0 969803629 171397120 27459 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41845 27459 301 301 0 41544 0 vsize: 167380 [startup+950.049 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 61540 0 0 0 94855 155 0 0 25 0 1 0 969803629 171397120 27474 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41845 27474 301 301 0 41544 0 vsize: 167380 [startup+960.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 61550 0 0 0 95856 155 0 0 25 0 1 0 969803629 171397120 27484 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41845 27484 301 301 0 41544 0 vsize: 167380 [startup+970.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 61569 0 0 0 96856 155 0 0 25 0 1 0 969803629 171397120 27503 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41845 27503 301 301 0 41544 0 vsize: 167380 [startup+980.049 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62338 0 0 0 97853 157 0 0 25 0 1 0 969803629 172388352 27611 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27611 301 301 0 41786 0 vsize: 168348 [startup+990.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62346 0 0 0 98853 157 0 0 25 0 1 0 969803629 172388352 27619 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27619 301 301 0 41786 0 vsize: 168348 [startup+1000.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62347 0 0 0 99853 158 0 0 25 0 1 0 969803629 172388352 27620 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27620 301 301 0 41786 0 vsize: 168348 [startup+1010.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62347 0 0 0 100853 158 0 0 25 0 1 0 969803629 172388352 27620 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27620 301 301 0 41786 0 vsize: 168348 [startup+1020.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62348 0 0 0 101853 158 0 0 25 0 1 0 969803629 172388352 27621 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27621 301 301 0 41786 0 vsize: 168348 [startup+1030.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62348 0 0 0 102853 158 0 0 25 0 1 0 969803629 172388352 27621 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27621 301 301 0 41786 0 vsize: 168348 [startup+1040.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62349 0 0 0 103854 158 0 0 25 0 1 0 969803629 172388352 27622 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27622 301 301 0 41786 0 vsize: 168348 [startup+1050.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62946 0 0 0 104853 159 0 0 25 0 1 0 969803629 172388352 27623 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27623 301 301 0 41786 0 vsize: 168348 [startup+1060.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62955 0 0 0 105853 159 0 0 25 0 1 0 969803629 172388352 27632 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27632 301 301 0 41786 0 vsize: 168348 [startup+1070.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62959 0 0 0 106853 160 0 0 25 0 1 0 969803629 172388352 27636 4294967295 134512640 135730672 3221224576 3221222864 134747519 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27636 301 301 0 41786 0 vsize: 168348 [startup+1080.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62960 0 0 0 107853 160 0 0 25 0 1 0 969803629 172388352 27637 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27637 301 301 0 41786 0 vsize: 168348 [startup+1090.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62960 0 0 0 108853 160 0 0 25 0 1 0 969803629 172388352 27637 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27637 301 301 0 41786 0 vsize: 168348 [startup+1100.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62961 0 0 0 109853 160 0 0 25 0 1 0 969803629 172388352 27638 4294967295 134512640 135730672 3221224576 3221222864 134747627 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42087 27638 301 301 0 41786 0 vsize: 168348 [startup+1110.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62961 0 0 0 110853 160 0 0 25 0 1 0 969803629 172388352 27638 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27638 301 301 0 41786 0 vsize: 168348 [startup+1120.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 62962 0 0 0 111853 160 0 0 25 0 1 0 969803629 172388352 27639 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27639 301 301 0 41786 0 vsize: 168348 [startup+1130.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 63558 0 0 0 112851 162 0 0 25 0 1 0 969803629 172388352 27639 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27639 301 301 0 41786 0 vsize: 168348 [startup+1140.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 63573 0 0 0 113851 162 0 0 25 0 1 0 969803629 172388352 27654 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42087 27654 301 301 0 41786 0 vsize: 168348 [startup+1150.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 63676 0 0 0 114851 162 0 0 25 0 1 0 969803629 172650496 27692 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42151 27692 301 301 0 41850 0 vsize: 168604 [startup+1160.06 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 63677 0 0 0 115851 162 0 0 25 0 1 0 969803629 172650496 27693 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42151 27693 301 301 0 41850 0 vsize: 168604 [startup+1170.06 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 63679 0 0 0 116852 162 0 0 25 0 1 0 969803629 172650496 27695 4294967295 134512640 135730672 3221224576 3221222616 135284832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42151 27695 301 301 0 41850 0 vsize: 168604 [startup+1180.06 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 63680 0 0 0 117852 162 0 0 25 0 1 0 969803629 172650496 27696 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42151 27696 301 301 0 41850 0 vsize: 168604 [startup+1190.06 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 63680 0 0 0 118852 163 0 0 25 0 1 0 969803629 172650496 27696 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42151 27696 301 301 0 41850 0 vsize: 168604 [startup+1200.06 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 24600 Raw data (stat): 24543 (pb2sat-v2) R 24542 21152 21151 0 -1 0 63681 0 0 0 119852 163 0 0 25 0 1 0 969803629 172650496 27697 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42151 27697 301 301 0 41850 0 vsize: 168604 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.91 s] Raw data (loadavg): 1.00 0.99 0.94 1/54 24600 Raw data (stat): 24543 (pb2sat-v2) Z 24542 21152 21151 0 -1 12 63683 0 0 0 119931 168 0 0 25 0 1 0 969803629 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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.91 CPU time (s): 1201 CPU user time (s): 1199.32 CPU system time (s): 1.68574 CPU usage (%): 100.008 Max. virtual memory (Kb): 168604 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 178176 #### END VERIFIER DATA ####