Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb |
MD5SUM | a84a96a9314212f3d8ecd5227c500cef |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 91392 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 210 |
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 | 7516192761 |
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 | 7516192761 |
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 | 1202.31 |
Number of variables | 330 |
Total number of constraints | 67 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 54 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 150 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-16 12:14:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25815 boxname=wulflinc4 idbench=1115 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a84a96a9314212f3d8ecd5227c500cef /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-markshare2_1.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-markshare2_1.opb IDLAUNCH: 25815 /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: 668704 kB Buffers: 30108 kB Cached: 313796 kB SwapCached: 924 kB Active: 25388 kB Inactive: 320560 kB HighTotal: 131008 kB HighFree: 12348 kB LowTotal: 903652 kB LowFree: 656356 kB SwapTotal: 2097136 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 14020 kB Committed_AS: 71904 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 12:34:18 (client local time) WITH STATUS 0 IN 1202.31 SECONDS stats: 25815 0 1202.31 0 #### 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: 369147 c small objective detected c CONFLICT during preprocess c [startup+82.7079 s] setting bit 32 to 0 c CONFLICT during preprocess c [startup+88.3229 s] setting bit 31 to 0 c CONFLICT during preprocess c [startup+93.9401 s] setting bit 30 to 0 c CONFLICT during preprocess c [startup+99.5549 s] setting bit 29 to 0 c CONFLICT during preprocess c [startup+105.175 s] setting bit 28 to 0 c CONFLICT during preprocess c [startup+110.793 s] setting bit 27 to 0 c CONFLICT during preprocess c [startup+116.409 s] setting bit 26 to 0 c CONFLICT during preprocess c [startup+122.024 s] setting bit 25 to 0 c CONFLICT during preprocess c [startup+127.64 s] setting bit 24 to 0 c CONFLICT during preprocess c [startup+133.263 s] setting bit 23 to 0 c CONFLICT during preprocess c [startup+138.884 s] setting bit 22 to 0 c CONFLICT during preprocess c [startup+144.503 s] setting bit 21 to 0 c CONFLICT during preprocess c [startup+150.119 s] setting bit 20 to 0 c CONFLICT during preprocess c [startup+155.79 s] setting bit 19 to 0 c got solution with objective value: 91392 c [startup+467.178 s] setting bit 18 to 1 c CONFLICT during preprocess c [startup+472.826 s] setting bit 17 to 0 s 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 -s61_bit0 s61_bit1 -s61_bit10 -s61_bit11 -s61_bit12 -s61_bit13 -s61_bit14 -s61_bit15 -s61_bit16 -s61_bit17 -s61_bit18 -s61_bit19 s61_bit2 -s61_bit3 s61_bit4 -s61_bit5 -s61_bit6 -s61_bit7 -s61_bit8 -s61_bit9 -s61_bit_1 -s61_bit_10 -s61_bit_2 -s61_bit_3 -s61_bit_4 -s61_bit_5 -s61_bit_6 -s61_bit_7 -s61_bit_8 -s61_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 x50_bit0 x51_bit0 -x52_bit0 x53_bit0 x54_bit0 -x54_bit_1 -x54_bit_10 -x54_bit_2 -x54_bit_3 -x54_bit_4 -x54_bit_5 -x54_bit_6 -x54_bit_7 -x54_bit_8 -x54_bit_9 x55_bit0 -x55_bit_1 -x55_bit_10 -x55_bit_2 -x55_bit_3 -x55_bit_4 -x55_bit_5 -x55_bit_6 -x55_bit_7 -x55_bit_8 -x55_bit_9 x56_bit0 -x56_bit_1 -x56_bit_10 -x56_bit_2 -x56_bit_3 -x56_bit_4 -x56_bit_5 -x56_bit_6 -x56_bit_7 -x56_bit_8 -x56_bit_9 -x57_bit0 -x57_bit_1 -x57_bit_10 -x57_bit_2 -x57_bit_3 -x57_bit_4 -x57_bit_5 -x57_bit_6 -x57_bit_7 -x57_bit_8 -x57_bit_9 -x58_bit0 x58_bit_1 -x58_bit_10 x58_bit_2 -x58_bit_3 -x58_bit_4 -x58_bit_5 -x58_bit_6 -x58_bit_7 -x58_bit_8 -x58_bit_9 x59_bit0 -x59_bit_1 -x59_bit_10 -x59_bit_2 -x59_bit_3 -x59_bit_4 -x59_bit_5 -x59_bit_6 -x59_bit_7 -x59_bit_8 -x59_bit_9 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.91 0.95 0.90 2/54 25639 Raw data (stat): 25639 (runsolver) R 25638 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970669474 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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+10.0012 s] Raw data (loadavg): 0.92 0.95 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 27566 0 0 0 937 61 0 0 25 0 1 0 970669474 80478208 16429 4294967295 134512640 135730672 3221224576 3221194832 135282716 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 19648 16429 301 301 0 19347 0 vsize: 78592 [startup+20.0031 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 52974 0 0 0 1882 117 0 0 25 0 1 0 970669474 154304512 30877 4294967295 134512640 135730672 3221224576 3221193860 135292590 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 37672 30877 301 301 0 37371 0 vsize: 150688 [startup+30.0035 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 90751 0 0 0 2810 189 0 0 25 0 1 0 970669474 269754368 46982 4294967295 134512640 135730672 3221224576 3221175848 134606795 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65858 46982 301 301 0 65557 0 vsize: 263432 [startup+40.0039 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 103328 0 0 0 3781 218 0 0 25 0 1 0 970669474 303308800 59329 4294967295 134512640 135730672 3221224576 3221202700 134608033 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 74050 59329 301 301 0 73749 0 vsize: 296200 [startup+50.005 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 138445 0 0 0 4713 286 0 0 25 0 1 0 970669474 492146688 93543 4294967295 134512640 135730672 3221224576 3221195872 134775335 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 120153 93543 301 301 0 119852 0 vsize: 480612 [startup+60.0051 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 179655 0 0 0 5625 375 0 0 25 0 1 0 970669474 536506368 92311 4294967295 134512640 135730672 3221224576 3221208304 134549156 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 130983 92311 301 301 0 130682 0 vsize: 523932 [startup+70.0065 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 190359 0 0 0 6599 401 0 0 25 0 1 0 970669474 580718592 102867 4294967295 134512640 135730672 3221224576 3221222880 134768818 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 141777 102867 301 301 0 141476 0 vsize: 567108 [startup+80.0073 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 198185 0 0 0 7582 418 0 0 25 0 1 0 970669474 613031936 107537 4294967295 134512640 135730672 3221224576 3221222664 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 149666 107537 301 301 0 149365 0 vsize: 598664 [startup+90.0067 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 203411 0 0 0 8569 431 0 0 25 0 1 0 970669474 613031936 107553 4294967295 134512640 135730672 3221224576 3221222680 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 149666 107553 301 301 0 149365 0 vsize: 598664 [startup+100.007 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 206016 0 0 0 9563 437 0 0 25 0 1 0 970669474 602361856 104948 4294967295 134512640 135730672 3221224576 3221222944 134741558 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 147061 104948 301 301 0 146760 0 vsize: 588244 [startup+110.008 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 211226 0 0 0 10549 451 0 0 25 0 1 0 970669474 602361856 104948 4294967295 134512640 135730672 3221224576 3221223088 134739838 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 147061 104948 301 301 0 146760 0 vsize: 588244 [startup+120.009 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 216437 0 0 0 11536 464 0 0 25 0 1 0 970669474 602361856 104949 4294967295 134512640 135730672 3221224576 3221222944 134741730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 147061 104949 301 301 0 146760 0 vsize: 588244 [startup+130.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 221647 0 0 0 12524 476 0 0 25 0 1 0 970669474 613031936 107554 4294967295 134512640 135730672 3221224576 3221222664 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 149666 107554 301 301 0 149365 0 vsize: 598664 [startup+140.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 226857 0 0 0 13511 489 0 0 25 0 1 0 970669474 613031936 107554 4294967295 134512640 135730672 3221224576 3221222704 134769183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 149666 107554 301 301 0 149365 0 vsize: 598664 [startup+150.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 229462 0 0 0 14504 496 0 0 25 0 1 0 970669474 602361856 104949 4294967295 134512640 135730672 3221224576 3221223088 134739840 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 147061 104949 301 301 0 146760 0 vsize: 588244 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 234673 0 0 0 15491 509 0 0 25 0 1 0 970669474 602361856 104950 4294967295 134512640 135730672 3221224576 3221222912 134749640 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 147061 104950 301 301 0 146760 0 vsize: 588244 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 234887 0 0 0 16491 509 0 0 25 0 1 0 970669474 601038848 104841 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 146738 104841 301 301 0 146437 0 vsize: 586952 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 234890 0 0 0 17492 509 0 0 25 0 1 0 970669474 601038848 104844 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 146738 104844 301 301 0 146437 0 vsize: 586952 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 235360 0 0 0 18491 511 0 0 25 0 1 0 970669474 603148288 105217 4294967295 134512640 135730672 3221224576 3221222864 134747618 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 147253 105217 301 301 0 146952 0 vsize: 589012 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 236119 0 0 0 19489 512 0 0 25 0 1 0 970669474 606314496 105684 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 148026 105684 301 301 0 147725 0 vsize: 592104 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 238006 0 0 0 20485 516 0 0 25 0 1 0 970669474 611983360 106578 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 149410 106578 301 301 0 149109 0 vsize: 597640 [startup+220.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 239005 0 0 0 21484 518 0 0 25 0 1 0 970669474 614608896 106962 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 150051 106962 301 301 0 149750 0 vsize: 600204 [startup+230.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 241085 0 0 0 22481 521 0 0 25 0 1 0 970669474 620937216 107939 4294967295 134512640 135730672 3221224576 3221222992 134748108 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 151596 107939 301 301 0 151295 0 vsize: 606384 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 241798 0 0 0 23480 522 0 0 25 0 1 0 970669474 622776320 108264 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 152045 108264 301 301 0 151744 0 vsize: 608180 [startup+250.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 243903 0 0 0 24476 527 0 0 25 0 1 0 970669474 630677504 109530 4294967295 134512640 135730672 3221224576 3221222908 135301630 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 153974 109538 301 301 0 153673 0 vsize: 615896 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 245411 0 0 0 25472 530 0 0 25 0 1 0 970669474 634355712 110200 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 154872 110200 301 301 0 154571 0 vsize: 619488 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 246089 0 0 0 26471 531 0 0 25 0 1 0 970669474 635932672 110555 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 155257 110555 301 301 0 154956 0 vsize: 621028 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 246908 0 0 0 27470 533 0 0 25 0 1 0 970669474 638693376 110827 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 155931 110827 301 301 0 155630 0 vsize: 623724 [startup+290.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 247847 0 0 0 28468 535 0 0 25 0 1 0 970669474 641597440 111310 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 156640 111310 301 301 0 156339 0 vsize: 626560 [startup+300.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 247950 0 0 0 29468 535 0 0 25 0 1 0 970669474 642125824 111413 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 156769 111413 301 301 0 156468 0 vsize: 627076 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 248082 0 0 0 30468 536 0 0 25 0 1 0 970669474 642654208 111545 4294967295 134512640 135730672 3221224576 3221222960 134763576 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 156898 111545 301 301 0 156597 0 vsize: 627592 [startup+320.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 248086 0 0 0 31468 536 0 0 25 0 1 0 970669474 642654208 111549 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 156898 111549 301 301 0 156597 0 vsize: 627592 [startup+330.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 248261 0 0 0 32466 537 0 0 25 0 1 0 970669474 643710976 111724 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 157156 111724 301 301 0 156855 0 vsize: 628624 [startup+340.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 248395 0 0 0 33466 537 0 0 25 0 1 0 970669474 643973120 111793 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 157220 111793 301 301 0 156919 0 vsize: 628880 [startup+350.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 248607 0 0 0 34466 537 0 0 25 0 1 0 970669474 645029888 112005 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 157478 112005 301 301 0 157177 0 vsize: 629912 [startup+360.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 249054 0 0 0 35466 538 0 0 25 0 1 0 970669474 646606848 112194 4294967295 134512640 135730672 3221224576 3221222864 134747647 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 157863 112194 301 301 0 157562 0 vsize: 631452 [startup+370.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 249240 0 0 0 36466 538 0 0 25 0 1 0 970669474 647135232 112380 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 157992 112380 301 301 0 157691 0 vsize: 631968 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 250034 0 0 0 37464 540 0 0 25 0 1 0 970669474 649760768 112659 4294967295 134512640 135730672 3221224576 3221222864 134747942 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 158633 112659 301 301 0 158332 0 vsize: 634532 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 250403 0 0 0 38464 540 0 0 25 0 1 0 970669474 651079680 112963 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 158955 112963 301 301 0 158654 0 vsize: 635820 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 250494 0 0 0 39464 541 0 0 25 0 1 0 970669474 651608064 113054 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159084 113054 301 301 0 158783 0 vsize: 636336 [startup+410.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 250496 0 0 0 40464 541 0 0 25 0 1 0 970669474 651608064 113056 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159084 113056 301 301 0 158783 0 vsize: 636336 [startup+420.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 250498 0 0 0 41464 541 0 0 25 0 1 0 970669474 651608064 113058 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159084 113058 301 301 0 158783 0 vsize: 636336 [startup+430.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 250518 0 0 0 42464 541 0 0 25 0 1 0 970669474 651608064 113078 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159084 113078 301 301 0 158783 0 vsize: 636336 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 250716 0 0 0 43464 541 0 0 25 0 1 0 970669474 652132352 113147 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159212 113147 301 301 0 158911 0 vsize: 636848 [startup+450.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 250991 0 0 0 44464 542 0 0 25 0 1 0 970669474 653185024 113293 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159469 113293 301 301 0 159168 0 vsize: 637876 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 250997 0 0 0 45464 542 0 0 25 0 1 0 970669474 653185024 113299 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159469 113299 301 301 0 159168 0 vsize: 637876 [startup+470.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 253741 0 0 0 46457 548 0 0 25 0 1 0 970669474 664379392 115914 4294967295 134512640 135730672 3221224576 3221222664 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 162202 115914 301 301 0 161901 0 vsize: 648808 [startup+480.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256352 0 0 0 47450 555 0 0 25 0 1 0 970669474 653709312 113315 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159597 113315 301 301 0 159296 0 vsize: 638388 [startup+490.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256357 0 0 0 48450 555 0 0 25 0 1 0 970669474 653709312 113320 4294967295 134512640 135730672 3221224576 3221223056 134748549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159597 113320 301 301 0 159296 0 vsize: 638388 [startup+500.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256360 0 0 0 49450 556 0 0 25 0 1 0 970669474 653709312 113323 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159597 113323 301 301 0 159296 0 vsize: 638388 [startup+510.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256364 0 0 0 50450 556 0 0 25 0 1 0 970669474 653709312 113327 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159597 113327 301 301 0 159296 0 vsize: 638388 [startup+520.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256545 0 0 0 51450 556 0 0 25 0 1 0 970669474 654233600 113379 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159725 113379 301 301 0 159424 0 vsize: 638900 [startup+530.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256549 0 0 0 52450 556 0 0 25 0 1 0 970669474 654233600 113383 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159725 113383 301 301 0 159424 0 vsize: 638900 [startup+540.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256553 0 0 0 53450 556 0 0 25 0 1 0 970669474 654233600 113387 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159725 113387 301 301 0 159424 0 vsize: 638900 [startup+550.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256635 0 0 0 54450 556 0 0 25 0 1 0 970669474 654233600 113469 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159725 113469 301 301 0 159424 0 vsize: 638900 [startup+560.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256637 0 0 0 55450 556 0 0 25 0 1 0 970669474 654233600 113471 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159725 113471 301 301 0 159424 0 vsize: 638900 [startup+570.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256660 0 0 0 56450 556 0 0 25 0 1 0 970669474 654233600 113494 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159725 113494 301 301 0 159424 0 vsize: 638900 [startup+580.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256664 0 0 0 57450 556 0 0 25 0 1 0 970669474 654233600 113498 4294967295 134512640 135730672 3221224576 3221223056 134748549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159725 113498 301 301 0 159424 0 vsize: 638900 [startup+590.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256755 0 0 0 58450 557 0 0 25 0 1 0 970669474 654368768 113589 4294967295 134512640 135730672 3221224576 3221222992 134748176 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159758 113589 301 301 0 159457 0 vsize: 639032 [startup+600.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256801 0 0 0 59450 557 0 0 25 0 1 0 970669474 654368768 113635 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159758 113635 301 301 0 159457 0 vsize: 639032 [startup+610.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 256839 0 0 0 60450 557 0 0 25 0 1 0 970669474 654368768 113673 4294967295 134512640 135730672 3221224576 3221222616 135286123 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159758 113673 301 301 0 159457 0 vsize: 639032 [startup+620.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257771 0 0 0 61448 559 0 0 25 0 1 0 970669474 656474112 114151 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160272 114151 301 301 0 159971 0 vsize: 641088 [startup+630.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257772 0 0 0 62449 559 0 0 25 0 1 0 970669474 656474112 114152 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160272 114152 301 301 0 159971 0 vsize: 641088 [startup+640.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257774 0 0 0 63449 559 0 0 25 0 1 0 970669474 656474112 114154 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160272 114154 301 301 0 159971 0 vsize: 641088 [startup+650.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257796 0 0 0 64449 559 0 0 25 0 1 0 970669474 656474112 114176 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160272 114176 301 301 0 159971 0 vsize: 641088 [startup+660.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257797 0 0 0 65449 559 0 0 25 0 1 0 970669474 656474112 114177 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160272 114177 301 301 0 159971 0 vsize: 641088 [startup+670.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257799 0 0 0 66449 560 0 0 25 0 1 0 970669474 656474112 114179 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160272 114179 301 301 0 159971 0 vsize: 641088 [startup+680.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257830 0 0 0 67449 560 0 0 25 0 1 0 970669474 656474112 114210 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160272 114210 301 301 0 159971 0 vsize: 641088 [startup+690.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257870 0 0 0 68449 560 0 0 25 0 1 0 970669474 656605184 114217 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160304 114217 301 301 0 160003 0 vsize: 641216 [startup+700.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257873 0 0 0 69449 560 0 0 25 0 1 0 970669474 656605184 114220 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160304 114220 301 301 0 160003 0 vsize: 641216 [startup+710.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257876 0 0 0 70450 560 0 0 25 0 1 0 970669474 656605184 114223 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160304 114223 301 301 0 160003 0 vsize: 641216 [startup+720.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257878 0 0 0 71450 560 0 0 25 0 1 0 970669474 656605184 114225 4294967295 134512640 135730672 3221224576 3221222984 134748218 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160304 114225 301 301 0 160003 0 vsize: 641216 [startup+730.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257882 0 0 0 72450 560 0 0 25 0 1 0 970669474 656605184 114229 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160304 114229 301 301 0 160003 0 vsize: 641216 [startup+740.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257887 0 0 0 73450 560 0 0 25 0 1 0 970669474 656605184 114234 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160304 114234 301 301 0 160003 0 vsize: 641216 [startup+750.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257890 0 0 0 74450 560 0 0 25 0 1 0 970669474 656605184 114237 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160304 114237 301 301 0 160003 0 vsize: 641216 [startup+760.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 257910 0 0 0 75451 560 0 0 25 0 1 0 970669474 656605184 114257 4294967295 134512640 135730672 3221224576 3221222864 134747460 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160304 114257 301 301 0 160003 0 vsize: 641216 [startup+770.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258256 0 0 0 76450 561 0 0 25 0 1 0 970669474 657391616 114409 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160496 114409 301 301 0 160195 0 vsize: 641984 [startup+780.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258418 0 0 0 77450 561 0 0 25 0 1 0 970669474 657915904 114442 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114442 301 301 0 160323 0 vsize: 642496 [startup+790.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258459 0 0 0 78450 561 0 0 25 0 1 0 970669474 657915904 114483 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114483 301 301 0 160323 0 vsize: 642496 [startup+800.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258462 0 0 0 79450 561 0 0 25 0 1 0 970669474 657915904 114486 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114486 301 301 0 160323 0 vsize: 642496 [startup+810.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258480 0 0 0 80450 561 0 0 25 0 1 0 970669474 657915904 114504 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114504 301 301 0 160323 0 vsize: 642496 [startup+820.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258500 0 0 0 81450 561 0 0 25 0 1 0 970669474 657915904 114524 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114524 301 301 0 160323 0 vsize: 642496 [startup+830.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258577 0 0 0 82450 562 0 0 25 0 1 0 970669474 657915904 114601 4294967295 134512640 135730672 3221224576 3221223032 134748654 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114601 301 301 0 160323 0 vsize: 642496 [startup+840.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258579 0 0 0 83450 562 0 0 25 0 1 0 970669474 657915904 114603 4294967295 134512640 135730672 3221224576 3221222864 134747953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114603 301 301 0 160323 0 vsize: 642496 [startup+850.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258581 0 0 0 84450 562 0 0 25 0 1 0 970669474 657915904 114605 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114605 301 301 0 160323 0 vsize: 642496 [startup+860.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258594 0 0 0 85451 562 0 0 25 0 1 0 970669474 657915904 114618 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114618 301 301 0 160323 0 vsize: 642496 [startup+870.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258596 0 0 0 86451 562 0 0 25 0 1 0 970669474 657915904 114620 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114620 301 301 0 160323 0 vsize: 642496 [startup+880.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258598 0 0 0 87451 562 0 0 25 0 1 0 970669474 657915904 114622 4294967295 134512640 135730672 3221224576 3221223024 134734849 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114622 301 301 0 160323 0 vsize: 642496 [startup+890.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258601 0 0 0 88451 562 0 0 25 0 1 0 970669474 657915904 114625 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114625 301 301 0 160323 0 vsize: 642496 [startup+900.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258602 0 0 0 89451 562 0 0 25 0 1 0 970669474 657915904 114626 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114626 301 301 0 160323 0 vsize: 642496 [startup+910.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258604 0 0 0 90451 562 0 0 25 0 1 0 970669474 657915904 114628 4294967295 134512640 135730672 3221224576 3221222912 134740310 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114628 301 301 0 160323 0 vsize: 642496 [startup+920.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258605 0 0 0 91452 562 0 0 25 0 1 0 970669474 657915904 114629 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114629 301 301 0 160323 0 vsize: 642496 [startup+930.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258607 0 0 0 92452 562 0 0 25 0 1 0 970669474 657915904 114631 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160624 114631 301 301 0 160323 0 vsize: 642496 [startup+940.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258937 0 0 0 93452 563 0 0 25 0 1 0 970669474 658964480 114704 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160880 114704 301 301 0 160579 0 vsize: 643520 [startup+950.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258938 0 0 0 94452 563 0 0 25 0 1 0 970669474 658964480 114705 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160880 114705 301 301 0 160579 0 vsize: 643520 [startup+960.042 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258985 0 0 0 95452 563 0 0 25 0 1 0 970669474 658964480 114752 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160880 114752 301 301 0 160579 0 vsize: 643520 [startup+970.043 s] Raw data (loadavg): 1.14 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258986 0 0 0 96452 563 0 0 25 0 1 0 970669474 658964480 114753 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160880 114753 301 301 0 160579 0 vsize: 643520 [startup+980.043 s] Raw data (loadavg): 1.11 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 258987 0 0 0 97452 563 0 0 25 0 1 0 970669474 658964480 114754 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160880 114754 301 301 0 160579 0 vsize: 643520 [startup+990.042 s] Raw data (loadavg): 1.10 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 259387 0 0 0 98452 564 0 0 25 0 1 0 970669474 660013056 114896 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161136 114896 301 301 0 160835 0 vsize: 644544 [startup+1000.04 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 259413 0 0 0 99452 564 0 0 25 0 1 0 970669474 660013056 114922 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161136 114922 301 301 0 160835 0 vsize: 644544 [startup+1010.04 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 259576 0 0 0 100452 564 0 0 25 0 1 0 970669474 660537344 114956 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161264 114956 301 301 0 160963 0 vsize: 645056 [startup+1020.04 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 260094 0 0 0 101451 565 0 0 25 0 1 0 970669474 662110208 115088 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161648 115088 301 301 0 161347 0 vsize: 646592 [startup+1030.04 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 260163 0 0 0 102451 565 0 0 25 0 1 0 970669474 662110208 115157 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 161648 115157 301 301 0 161347 0 vsize: 646592 [startup+1040.05 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 260167 0 0 0 103450 565 0 0 25 0 1 0 970669474 662110208 115161 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161648 115161 301 301 0 161347 0 vsize: 646592 [startup+1050.05 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 260172 0 0 0 104451 565 0 0 25 0 1 0 970669474 662110208 115166 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161648 115166 301 301 0 161347 0 vsize: 646592 [startup+1060.05 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 260207 0 0 0 105451 566 0 0 25 0 1 0 970669474 662110208 115201 4294967295 134512640 135730672 3221224576 3221222440 135284832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161648 115201 301 301 0 161347 0 vsize: 646592 [startup+1070.05 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 260348 0 0 0 106450 566 0 0 25 0 1 0 970669474 662634496 115213 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161776 115213 301 301 0 161475 0 vsize: 647104 [startup+1080.05 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 260773 0 0 0 107450 566 0 0 25 0 1 0 970669474 663683072 115381 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 162032 115381 301 301 0 161731 0 vsize: 648128 [startup+1090.05 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 260830 0 0 0 108450 567 0 0 25 0 1 0 970669474 663683072 115438 4294967295 134512640 135730672 3221224576 3221222864 134747878 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 162032 115438 301 301 0 161731 0 vsize: 648128 [startup+1100.05 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 261713 0 0 0 109449 568 0 0 25 0 1 0 970669474 665927680 115898 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 162580 115898 301 301 0 162279 0 vsize: 650320 [startup+1110.05 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 261985 0 0 0 110449 569 0 0 25 0 1 0 970669474 666652672 116025 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 162757 116025 301 301 0 162456 0 vsize: 651028 [startup+1120.05 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 261987 0 0 0 111449 569 0 0 25 0 1 0 970669474 666652672 116027 4294967295 134512640 135730672 3221224576 3221222864 134747536 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 162757 116027 301 301 0 162456 0 vsize: 651028 [startup+1130.05 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 262075 0 0 0 112449 569 0 0 25 0 1 0 970669474 667185152 116115 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 162887 116115 301 301 0 162586 0 vsize: 651548 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 262635 0 0 0 113448 570 0 0 25 0 1 0 970669474 668626944 116319 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 163239 116319 301 301 0 162938 0 vsize: 652956 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 262673 0 0 0 114448 570 0 0 25 0 1 0 970669474 668626944 116357 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 163239 116357 301 301 0 162938 0 vsize: 652956 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 263081 0 0 0 115447 571 0 0 25 0 1 0 970669474 669675520 116508 4294967295 134512640 135730672 3221224576 3221222864 134747902 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 163495 116508 301 301 0 163194 0 vsize: 653980 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 263513 0 0 0 116446 572 0 0 25 0 1 0 970669474 670724096 116681 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 163751 116681 301 301 0 163450 0 vsize: 655004 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 263514 0 0 0 117447 572 0 0 25 0 1 0 970669474 670724096 116682 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 163751 116682 301 301 0 163450 0 vsize: 655004 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 263652 0 0 0 118446 572 0 0 25 0 1 0 970669474 670986240 116755 4294967295 134512640 135730672 3221224576 3221223040 134748644 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 163815 116755 301 301 0 163514 0 vsize: 655260 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 263821 0 0 0 119446 573 0 0 25 0 1 0 970669474 671776768 116859 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 164008 116859 301 301 0 163707 0 vsize: 656032 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.17 s] Raw data (loadavg): 1.00 1.00 0.92 1/53 25639 Raw data (stat): 25639 (pb2sat-v2) R 25638 21152 21151 0 -1 0 263821 0 0 0 119446 573 0 0 25 0 1 0 970669474 671776768 116859 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 164008 116859 301 301 0 163707 0 vsize: 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1202.17 CPU time (s): 1202.31 CPU user time (s): 1196.35 CPU system time (s): 5.96409 CPU usage (%): 100.012 Max. virtual memory (Kb): 656032 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 91392 #### END VERIFIER DATA ####