Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare1.opb |
MD5SUM | 6f06e375914e0285ec75de90ad627758 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3712 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 120 |
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 | 6291450 |
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 | 6291450 |
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.1 |
Number of variables | 170 |
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 | 70 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-16 16:18:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26057 boxname=wulflinc6 idbench=1357 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6f06e375914e0285ec75de90ad627758 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-markshare1.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-markshare1.opb IDLAUNCH: 26057 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 709132 kB Buffers: 22308 kB Cached: 280720 kB SwapCached: 1000 kB Active: 28764 kB Inactive: 276408 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 708852 kB SwapTotal: 2097136 kB SwapFree: 2095200 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5092 kB Slab: 14592 kB Committed_AS: 63848 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 16:38:33 (client local time) WITH STATUS 10 IN 1201.25 SECONDS stats: 26057 0 1201.25 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: 36224 c small objective detected c CONFLICT during preprocess c [startup+18.298 s] setting bit 22 to 0 c CONFLICT during preprocess c [startup+19.5126 s] setting bit 21 to 0 c CONFLICT during preprocess c [startup+20.7337 s] setting bit 20 to 0 c CONFLICT during preprocess c [startup+21.9484 s] setting bit 19 to 0 c CONFLICT during preprocess c [startup+23.1646 s] setting bit 18 to 0 c CONFLICT during preprocess c [startup+24.3796 s] setting bit 17 to 0 c CONFLICT during preprocess c [startup+25.5946 s] setting bit 16 to 0 c Decision: 10920/304291 Time: 698.019/86400 c Decision: 10920/304291 Time: 763.473/86400 c Decision: 10920/304291 Time: 842.437/86400 c Decision: 10946/304291 Time: 954.658/86400 c Decision: 10946/304291 Time: 1027.45/86400 c Decision: 10946/304291 Time: 1130.83/86400s 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 x14_bit0 -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 -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 Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.83 0.92 0.90 2/54 23373 Raw data (stat): 23373 (runsolver) R 23372 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972144278 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+9.99973 s] Raw data (loadavg): 0.86 0.93 0.90 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 26178 0 0 0 942 56 0 0 25 0 1 0 972144278 76783616 15178 4294967295 134512640 135730672 3221224576 3221208292 135292528 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18746 15178 301 301 0 18445 0 vsize: 74984 [startup+20.0008 s] Raw data (loadavg): 0.88 0.93 0.90 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 49162 0 0 0 1893 105 0 0 25 0 1 0 972144278 145375232 25438 4294967295 134512640 135730672 3221224576 3221222664 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35492 25438 301 301 0 35191 0 vsize: 141968 [startup+30.0014 s] Raw data (loadavg): 0.90 0.93 0.90 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52183 0 0 0 2885 113 0 0 25 0 1 0 972144278 142938112 24889 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 34897 24889 301 301 0 34596 0 vsize: 139588 [startup+40.0012 s] Raw data (loadavg): 0.91 0.93 0.90 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52248 0 0 0 3885 113 0 0 25 0 1 0 972144278 142536704 24856 4294967295 134512640 135730672 3221224576 3221222992 134748163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 34799 24856 301 301 0 34498 0 vsize: 139196 [startup+50.0017 s] Raw data (loadavg): 0.92 0.93 0.90 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52318 0 0 0 4885 113 0 0 25 0 1 0 972144278 143065088 24926 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 34928 24926 301 301 0 34627 0 vsize: 139712 [startup+60.0018 s] Raw data (loadavg): 0.94 0.94 0.90 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52399 0 0 0 5885 113 0 0 25 0 1 0 972144278 143327232 24942 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 34992 24942 301 301 0 34691 0 vsize: 139968 [startup+70.0016 s] Raw data (loadavg): 0.94 0.94 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52437 0 0 0 6885 113 0 0 25 0 1 0 972144278 143593472 24980 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35057 24980 301 301 0 34756 0 vsize: 140228 [startup+80.0024 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52568 0 0 0 7885 114 0 0 25 0 1 0 972144278 143855616 25046 4294967295 134512640 135730672 3221224576 3221222696 134739217 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35121 25046 301 301 0 34820 0 vsize: 140484 [startup+90.0023 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52941 0 0 0 8885 115 0 0 25 0 1 0 972144278 145453056 25320 4294967295 134512640 135730672 3221224576 3221222848 134732772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35511 25320 301 301 0 35210 0 vsize: 142044 [startup+100.002 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 53874 0 0 0 9883 117 0 0 25 0 1 0 972144278 148377600 25890 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36225 25890 301 301 0 35924 0 vsize: 144900 [startup+110.003 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54072 0 0 0 10883 117 0 0 25 0 1 0 972144278 148905984 25990 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36354 25990 301 301 0 36053 0 vsize: 145416 [startup+120.003 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54248 0 0 0 11883 117 0 0 25 0 1 0 972144278 149434368 26101 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36483 26101 301 301 0 36182 0 vsize: 145932 [startup+130.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54828 0 0 0 12883 118 0 0 25 0 1 0 972144278 151707648 26483 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37038 26483 301 301 0 36737 0 vsize: 148152 [startup+140.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54856 0 0 0 13883 118 0 0 25 0 1 0 972144278 151707648 26511 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37038 26511 301 301 0 36737 0 vsize: 148152 [startup+150.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54865 0 0 0 14884 118 0 0 25 0 1 0 972144278 151707648 26520 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37038 26520 301 301 0 36737 0 vsize: 148152 [startup+160.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54870 0 0 0 15884 118 0 0 25 0 1 0 972144278 151707648 26525 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37038 26525 301 301 0 36737 0 vsize: 148152 [startup+170.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54946 0 0 0 16884 119 0 0 25 0 1 0 972144278 151969792 26536 4294967295 134512640 135730672 3221224576 3221222864 134747883 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37102 26536 301 301 0 36801 0 vsize: 148408 [startup+180.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55024 0 0 0 17884 119 0 0 25 0 1 0 972144278 152231936 26549 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37166 26549 301 301 0 36865 0 vsize: 148664 [startup+190.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55038 0 0 0 18884 119 0 0 25 0 1 0 972144278 152231936 26563 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37166 26563 301 301 0 36865 0 vsize: 148664 [startup+200.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55043 0 0 0 19884 119 0 0 25 0 1 0 972144278 152231936 26568 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37166 26568 301 301 0 36865 0 vsize: 148664 [startup+210.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55193 0 0 0 20885 119 0 0 25 0 1 0 972144278 152760320 26653 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37295 26653 301 301 0 36994 0 vsize: 149180 [startup+220.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55198 0 0 0 21884 120 0 0 25 0 1 0 972144278 169537536 26658 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41391 26658 301 301 0 41090 0 vsize: 165564 [startup+230.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55206 0 0 0 22885 120 0 0 25 0 1 0 972144278 169537536 26666 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41391 26666 301 301 0 41090 0 vsize: 165564 [startup+240.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55211 0 0 0 23885 120 0 0 25 0 1 0 972144278 169537536 26671 4294967295 134512640 135730672 3221224576 3221222864 134747892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41391 26671 301 301 0 41090 0 vsize: 165564 [startup+250.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55215 0 0 0 24886 120 0 0 25 0 1 0 972144278 169537536 26675 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41391 26675 301 301 0 41090 0 vsize: 165564 [startup+260.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55466 0 0 0 25886 120 0 0 25 0 1 0 972144278 170332160 26794 4294967295 134512640 135730672 3221224576 3221222616 135284832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41585 26794 301 301 0 41284 0 vsize: 166340 [startup+270.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55471 0 0 0 26886 120 0 0 25 0 1 0 972144278 170332160 26799 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41585 26799 301 301 0 41284 0 vsize: 166340 [startup+280.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55626 0 0 0 27886 121 0 0 25 0 1 0 972144278 171270144 26954 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41814 26954 301 301 0 41513 0 vsize: 167256 [startup+290.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55785 0 0 0 28886 121 0 0 25 0 1 0 972144278 171532288 27047 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41878 27047 301 301 0 41577 0 vsize: 167512 [startup+300.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56010 0 0 0 29885 122 0 0 25 0 1 0 972144278 172191744 27174 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42039 27174 301 301 0 41738 0 vsize: 168156 [startup+310.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56015 0 0 0 30885 122 0 0 25 0 1 0 972144278 172191744 27179 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42039 27179 301 301 0 41738 0 vsize: 168156 [startup+320.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56145 0 0 0 31884 123 0 0 25 0 1 0 972144278 172453888 27244 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42103 27244 301 301 0 41802 0 vsize: 168412 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56153 0 0 0 32884 124 0 0 25 0 1 0 972144278 172453888 27252 4294967295 134512640 135730672 3221224576 3221222992 134748158 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42103 27252 301 301 0 41802 0 vsize: 168412 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56158 0 0 0 33884 124 0 0 25 0 1 0 972144278 172453888 27257 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42103 27257 301 301 0 41802 0 vsize: 168412 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56162 0 0 0 34884 124 0 0 25 0 1 0 972144278 172453888 27261 4294967295 134512640 135730672 3221224576 3221223056 134748455 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42103 27261 301 301 0 41802 0 vsize: 168412 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56240 0 0 0 35884 125 0 0 25 0 1 0 972144278 172716032 27274 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42167 27274 301 301 0 41866 0 vsize: 168668 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56253 0 0 0 36884 125 0 0 25 0 1 0 972144278 172716032 27287 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42167 27287 301 301 0 41866 0 vsize: 168668 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56257 0 0 0 37884 125 0 0 25 0 1 0 972144278 172716032 27291 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42167 27291 301 301 0 41866 0 vsize: 168668 [startup+390.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56269 0 0 0 38883 126 0 0 25 0 1 0 972144278 172716032 27303 4294967295 134512640 135730672 3221224576 3221222864 134747967 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42167 27303 301 301 0 41866 0 vsize: 168668 [startup+400.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56273 0 0 0 39883 126 0 0 25 0 1 0 972144278 172716032 27307 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42167 27307 301 301 0 41866 0 vsize: 168668 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56278 0 0 0 40883 127 0 0 25 0 1 0 972144278 172716032 27312 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42167 27312 301 301 0 41866 0 vsize: 168668 [startup+420.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56283 0 0 0 41883 127 0 0 25 0 1 0 972144278 172716032 27317 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42167 27317 301 301 0 41866 0 vsize: 168668 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56287 0 0 0 42883 128 0 0 25 0 1 0 972144278 172716032 27321 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42167 27321 301 301 0 41866 0 vsize: 168668 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56381 0 0 0 43882 128 0 0 25 0 1 0 972144278 173244416 27415 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42296 27415 301 301 0 41995 0 vsize: 169184 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56460 0 0 0 44882 129 0 0 25 0 1 0 972144278 173506560 27429 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27429 301 301 0 42059 0 vsize: 169440 [startup+460.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56465 0 0 0 45883 129 0 0 25 0 1 0 972144278 173506560 27434 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27434 301 301 0 42059 0 vsize: 169440 [startup+470.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56469 0 0 0 46883 129 0 0 25 0 1 0 972144278 173506560 27438 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27438 301 301 0 42059 0 vsize: 169440 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56474 0 0 0 47883 129 0 0 25 0 1 0 972144278 173506560 27443 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27443 301 301 0 42059 0 vsize: 169440 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56487 0 0 0 48883 129 0 0 25 0 1 0 972144278 173506560 27456 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27456 301 301 0 42059 0 vsize: 169440 [startup+500.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56491 0 0 0 49884 129 0 0 25 0 1 0 972144278 173506560 27460 4294967295 134512640 135730672 3221224576 3221222864 134747641 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27460 301 301 0 42059 0 vsize: 169440 [startup+510.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56495 0 0 0 50884 129 0 0 25 0 1 0 972144278 173506560 27464 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27464 301 301 0 42059 0 vsize: 169440 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56499 0 0 0 51884 129 0 0 25 0 1 0 972144278 173506560 27468 4294967295 134512640 135730672 3221224576 3221222752 134761945 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27468 301 301 0 42059 0 vsize: 169440 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56503 0 0 0 52884 129 0 0 25 0 1 0 972144278 173506560 27472 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27472 301 301 0 42059 0 vsize: 169440 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56507 0 0 0 53885 129 0 0 25 0 1 0 972144278 173506560 27476 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27476 301 301 0 42059 0 vsize: 169440 [startup+550.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56513 0 0 0 54885 130 0 0 25 0 1 0 972144278 173506560 27482 4294967295 134512640 135730672 3221224576 3221222992 134748145 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27482 301 301 0 42059 0 vsize: 169440 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56518 0 0 0 55885 130 0 0 25 0 1 0 972144278 173506560 27487 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27487 301 301 0 42059 0 vsize: 169440 [startup+570.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56523 0 0 0 56885 130 0 0 25 0 1 0 972144278 173506560 27492 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27492 301 301 0 42059 0 vsize: 169440 [startup+580.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56530 0 0 0 57886 130 0 0 25 0 1 0 972144278 173506560 27499 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27499 301 301 0 42059 0 vsize: 169440 [startup+590.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56536 0 0 0 58886 130 0 0 25 0 1 0 972144278 173506560 27505 4294967295 134512640 135730672 3221224576 3221222696 134739217 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27505 301 301 0 42059 0 vsize: 169440 [startup+600.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56542 0 0 0 59886 130 0 0 25 0 1 0 972144278 173506560 27511 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27511 301 301 0 42059 0 vsize: 169440 [startup+610.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56550 0 0 0 60886 130 0 0 25 0 1 0 972144278 173506560 27519 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42360 27519 301 301 0 42059 0 vsize: 169440 [startup+620.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56655 0 0 0 61886 131 0 0 25 0 1 0 972144278 174034944 27624 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42489 27624 301 301 0 42188 0 vsize: 169956 [startup+630.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56660 0 0 0 62886 131 0 0 25 0 1 0 972144278 174034944 27629 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42489 27629 301 301 0 42188 0 vsize: 169956 [startup+640.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56664 0 0 0 63886 131 0 0 25 0 1 0 972144278 174034944 27633 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42489 27633 301 301 0 42188 0 vsize: 169956 [startup+650.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56670 0 0 0 64887 131 0 0 25 0 1 0 972144278 174034944 27639 4294967295 134512640 135730672 3221224576 3221223020 134748060 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42489 27639 301 301 0 42188 0 vsize: 169956 [startup+660.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56677 0 0 0 65887 131 0 0 25 0 1 0 972144278 174034944 27646 4294967295 134512640 135730672 3221224576 3221222688 134732515 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42489 27646 301 301 0 42188 0 vsize: 169956 [startup+670.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56681 0 0 0 66887 132 0 0 25 0 1 0 972144278 174034944 27650 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42489 27650 301 301 0 42188 0 vsize: 169956 [startup+680.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56685 0 0 0 67887 132 0 0 25 0 1 0 972144278 174034944 27654 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42489 27654 301 301 0 42188 0 vsize: 169956 [startup+690.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56691 0 0 0 68888 132 0 0 25 0 1 0 972144278 174034944 27660 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42489 27660 301 301 0 42188 0 vsize: 169956 [startup+700.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56697 0 0 0 69888 132 0 0 25 0 1 0 972144278 174034944 27666 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42489 27666 301 301 0 42188 0 vsize: 169956 [startup+710.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56702 0 0 0 70888 132 0 0 25 0 1 0 972144278 174034944 27671 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42489 27671 301 301 0 42188 0 vsize: 169956 [startup+720.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56708 0 0 0 71888 132 0 0 25 0 1 0 972144278 174034944 27677 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42489 27677 301 301 0 42188 0 vsize: 169956 [startup+730.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 57405 0 0 0 72887 133 0 0 25 0 1 0 972144278 174563328 27779 4294967295 134512640 135730672 3221224576 3221222864 134747762 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42618 27779 301 301 0 42317 0 vsize: 170472 [startup+740.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 57489 0 0 0 73887 134 0 0 25 0 1 0 972144278 174825472 27798 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42682 27798 301 301 0 42381 0 vsize: 170728 [startup+750.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 57506 0 0 0 74887 134 0 0 25 0 1 0 972144278 174825472 27815 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42682 27815 301 301 0 42381 0 vsize: 170728 [startup+760.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 57586 0 0 0 75887 134 0 0 25 0 1 0 972144278 175087616 27830 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42746 27830 301 301 0 42445 0 vsize: 170984 [startup+770.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 57586 0 0 0 76888 134 0 0 25 0 1 0 972144278 175087616 27830 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42746 27830 301 301 0 42445 0 vsize: 170984 [startup+780.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 57588 0 0 0 77888 134 0 0 25 0 1 0 972144278 175087616 27832 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42746 27832 301 301 0 42445 0 vsize: 170984 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58185 0 0 0 78887 136 0 0 25 0 1 0 972144278 175087616 27834 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42746 27834 301 301 0 42445 0 vsize: 170984 [startup+800.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58185 0 0 0 79887 136 0 0 25 0 1 0 972144278 175087616 27834 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42746 27834 301 301 0 42445 0 vsize: 170984 [startup+810.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58265 0 0 0 80887 136 0 0 25 0 1 0 972144278 175349760 27849 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42810 27849 301 301 0 42509 0 vsize: 171240 [startup+820.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58265 0 0 0 81888 136 0 0 25 0 1 0 972144278 175349760 27849 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42810 27849 301 301 0 42509 0 vsize: 171240 [startup+830.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58274 0 0 0 82888 136 0 0 25 0 1 0 972144278 175349760 27858 4294967295 134512640 135730672 3221224576 3221223056 134748577 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42810 27858 301 301 0 42509 0 vsize: 171240 [startup+840.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58285 0 0 0 83888 136 0 0 25 0 1 0 972144278 175349760 27869 4294967295 134512640 135730672 3221224576 3221222992 134748120 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42810 27869 301 301 0 42509 0 vsize: 171240 [startup+850.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58397 0 0 0 84888 137 0 0 25 0 1 0 972144278 175611904 27916 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42874 27916 301 301 0 42573 0 vsize: 171496 [startup+860.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58401 0 0 0 85888 137 0 0 25 0 1 0 972144278 175611904 27920 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42874 27920 301 301 0 42573 0 vsize: 171496 [startup+870.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59000 0 0 0 86887 139 0 0 25 0 1 0 972144278 175611904 27924 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42874 27924 301 301 0 42573 0 vsize: 171496 [startup+880.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59005 0 0 0 87887 139 0 0 25 0 1 0 972144278 175611904 27929 4294967295 134512640 135730672 3221224576 3221222956 134747723 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42874 27929 301 301 0 42573 0 vsize: 171496 [startup+890.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59012 0 0 0 88888 139 0 0 25 0 1 0 972144278 175611904 27936 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42874 27936 301 301 0 42573 0 vsize: 171496 [startup+900.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59018 0 0 0 89889 139 0 0 25 0 1 0 972144278 175611904 27942 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42874 27942 301 301 0 42573 0 vsize: 171496 [startup+910.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59364 0 0 0 90888 140 0 0 25 0 1 0 972144278 177012736 28156 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43216 28156 301 301 0 42915 0 vsize: 172864 [startup+920.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59518 0 0 0 91898 140 0 0 25 0 1 0 972144278 177537024 28180 4294967295 134512640 135730672 3221224576 3221222972 134747727 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43344 28180 301 301 0 43043 0 vsize: 173376 [startup+930.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59525 0 0 0 92899 140 0 0 25 0 1 0 972144278 177537024 28187 4294967295 134512640 135730672 3221224576 3221222696 134739217 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43344 28187 301 301 0 43043 0 vsize: 173376 [startup+940.139 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59545 0 0 0 93899 140 0 0 25 0 1 0 972144278 177537024 28207 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43344 28207 301 301 0 43043 0 vsize: 173376 [startup+950.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59548 0 0 0 94899 140 0 0 25 0 1 0 972144278 177537024 28210 4294967295 134512640 135730672 3221224576 3221223008 134765753 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43344 28210 301 301 0 43043 0 vsize: 173376 [startup+960.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59573 0 0 0 95900 140 0 0 25 0 1 0 972144278 177537024 28235 4294967295 134512640 135730672 3221224576 3221222992 134748214 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43344 28235 301 301 0 43043 0 vsize: 173376 [startup+970.141 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59647 0 0 0 96900 141 0 0 25 0 1 0 972144278 177799168 28244 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43408 28244 301 301 0 43107 0 vsize: 173632 [startup+980.143 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60253 0 0 0 97899 142 0 0 25 0 1 0 972144278 177799168 28255 4294967295 134512640 135730672 3221224576 3221222864 134747908 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43408 28255 301 301 0 43107 0 vsize: 173632 [startup+990.143 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60257 0 0 0 98899 142 0 0 25 0 1 0 972144278 177799168 28259 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43408 28259 301 301 0 43107 0 vsize: 173632 [startup+1000.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60299 0 0 0 99899 142 0 0 25 0 1 0 972144278 177799168 28301 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43408 28301 301 301 0 43107 0 vsize: 173632 [startup+1010.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60305 0 0 0 100900 142 0 0 25 0 1 0 972144278 177799168 28307 4294967295 134512640 135730672 3221224576 3221223024 134734842 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43408 28307 301 301 0 43107 0 vsize: 173632 [startup+1020.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60309 0 0 0 101900 143 0 0 25 0 1 0 972144278 177799168 28311 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43408 28311 301 301 0 43107 0 vsize: 173632 [startup+1030.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60315 0 0 0 102900 143 0 0 25 0 1 0 972144278 177799168 28317 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43408 28317 301 301 0 43107 0 vsize: 173632 [startup+1040.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60341 0 0 0 103901 143 0 0 25 0 1 0 972144278 177799168 28343 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43408 28343 301 301 0 43107 0 vsize: 173632 [startup+1050.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60347 0 0 0 104901 143 0 0 25 0 1 0 972144278 177799168 28349 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43408 28349 301 301 0 43107 0 vsize: 173632 [startup+1060.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61035 0 0 0 105900 144 0 0 25 0 1 0 972144278 178061312 28377 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43472 28377 301 301 0 43171 0 vsize: 173888 [startup+1070.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61493 0 0 0 106899 145 0 0 25 0 1 0 972144278 179109888 28575 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43728 28575 301 301 0 43427 0 vsize: 174912 [startup+1080.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61526 0 0 0 107899 146 0 0 25 0 1 0 972144278 179109888 28608 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43728 28608 301 301 0 43427 0 vsize: 174912 [startup+1090.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61554 0 0 0 108900 146 0 0 25 0 1 0 972144278 179109888 28636 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43728 28636 301 301 0 43427 0 vsize: 174912 [startup+1100.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61559 0 0 0 109900 146 0 0 25 0 1 0 972144278 179109888 28641 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43728 28641 301 301 0 43427 0 vsize: 174912 [startup+1110.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61779 0 0 0 110900 146 0 0 25 0 1 0 972144278 179634176 28731 4294967295 134512640 135730672 3221224576 3221222864 134747925 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43856 28731 301 301 0 43555 0 vsize: 175424 [startup+1120.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61969 0 0 0 111900 146 0 0 25 0 1 0 972144278 180158464 28792 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43984 28792 301 301 0 43683 0 vsize: 175936 [startup+1130.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62026 0 0 0 112900 147 0 0 25 0 1 0 972144278 180158464 28849 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43984 28849 301 301 0 43683 0 vsize: 175936 [startup+1140.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62040 0 0 0 113900 147 0 0 25 0 1 0 972144278 180158464 28863 4294967295 134512640 135730672 3221224576 3221222864 134747636 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43984 28863 301 301 0 43683 0 vsize: 175936 [startup+1150.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62245 0 0 0 114900 147 0 0 25 0 1 0 972144278 180682752 28939 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44112 28939 301 301 0 43811 0 vsize: 176448 [startup+1160.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62841 0 0 0 115899 149 0 0 25 0 1 0 972144278 180682752 28940 4294967295 134512640 135730672 3221224576 3221223024 134748661 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44112 28940 301 301 0 43811 0 vsize: 176448 [startup+1170.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62842 0 0 0 116899 149 0 0 25 0 1 0 972144278 180682752 28941 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44112 28941 301 301 0 43811 0 vsize: 176448 [startup+1180.16 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62842 0 0 0 117900 149 0 0 25 0 1 0 972144278 180682752 28941 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44112 28941 301 301 0 43811 0 vsize: 176448 [startup+1190.16 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62843 0 0 0 118900 149 0 0 25 0 1 0 972144278 180682752 28942 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44112 28942 301 301 0 43811 0 vsize: 176448 [startup+1200.16 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23373 Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62844 0 0 0 119900 149 0 0 25 0 1 0 972144278 180682752 28943 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44112 28943 301 301 0 43811 0 vsize: 176448 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.91 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 23373 Raw data (stat): 23373 (pb2sat-v2) Z 23372 25568 25567 0 -1 12 62846 0 0 0 119969 155 0 0 25 0 1 0 972144278 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 10 Real time (s): 1200.91 CPU time (s): 1201.25 CPU user time (s): 1199.7 CPU system time (s): 1.55476 CPU usage (%): 100.029 Max. virtual memory (Kb): 176448 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 36224 #### END VERIFIER DATA ####