Name | normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb |
MD5SUM | 1ae5b04b2d0e1f5ab82e29e98b8350c0 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 43097 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 64 |
Biggest coefficient in the objective function | 4718592 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 14745570 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 4718592 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 14745570 |
Number of bits of the biggest sum of numbers | 24 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02384 |
Number of variables | 64 |
Total number of constraints | 6 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 64 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-18 06:44:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20374 boxname=wulflinc31 idbench=1568 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 1ae5b04b2d0e1f5ab82e29e98b8350c0 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-maros.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-maros.opb IDLAUNCH: 20374 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 843440 kB Buffers: 25184 kB Cached: 144360 kB SwapCached: 932 kB Active: 105412 kB Inactive: 67404 kB HighTotal: 131008 kB HighFree: 2408 kB LowTotal: 903652 kB LowFree: 841032 kB SwapTotal: 2097892 kB SwapFree: 2096072 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5380 kB Slab: 12812 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-18 07:03:45 (client local time) WITH STATUS 10 IN 1176.47 SECONDS stats: 20374 0 1176.47 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 64 variables and 6 constraints. c After prepocess the problem consists of 49 variables and 6 constraints. c preprocess terminated 0.018 s c Initial Lower Bound: 13 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. c NEW SOLUTION FOUND: 56320 @ 0.022 c NEW SOLUTION FOUND: 54272 @ 0.026 c NEW SOLUTION FOUND: 52992 @ 0.028 c NEW SOLUTION FOUND: 51968 @ 0.041 c NEW SOLUTION FOUND: 51584 @ 0.052 c NEW SOLUTION FOUND: 50304 @ 0.057 c NEW SOLUTION FOUND: 49024 @ 0.058 c NEW SOLUTION FOUND: 48000 @ 0.067 c NEW SOLUTION FOUND: 47360 @ 0.076 c NEW SOLUTION FOUND: 47232 @ 0.214 c NEW SOLUTION FOUND: 46720 @ 0.234 c NEW SOLUTION FOUND: 45696 @ 0.253 c NEW SOLUTION FOUND: 45568 @ 0.277 c NEW SOLUTION FOUND: 45056 @ 0.285 c NEW SOLUTION FOUND: 44416 @ 0.506 c NEW SOLUTION FOUND: 43904 @ 0.513 c NEW SOLUTION FOUND: 43648 @ 2.684 c NEW SOLUTION FOUND: 43328 @ 2.699 c NEW SOLUTION FOUND: 43232 @ 11.031 c NEW SOLUTION FOUND: 43152 @ 120.06 s SATISFIABLE v -VOL1_bit_7 -VOL1_bit_6 -VOL1_bit_5 -VOL1_bit_4 -VOL1_bit_3 -VOL1_bit_2 VOL1_bit_1 VOL1_bit0 VOL1_bit1 -VOL1_bit2 -VOL1_bit3 -VOL1_bit4 -VOL1_bit5 -VOL1_bit6 -VOL1_bit7 -VOL1_bit8 -VOL1_bit9 -VOL1_bit10 -VOL1_bit11 -VOL1_bit12 -VOL2_bit_7 -VOL2_bit_6 -VOL2_bit_5 -VOL2_bit_4 VOL2_bit_3 -VOL2_bit_2 -VOL2_bit_1 VOL2_bit0 -VOL2_bit1 VOL2_bit2 VOL2_bit3 -VOL2_bit4 -VOL2_bit5 -VOL2_bit6 -VOL2_bit7 -VOL2_bit8 -VOL2_bit9 -VOL2_bit10 -VOL2_bit11 -VOL2_bit12 -VOL3_bit_7 -VOL3_bit_6 -VOL3_bit_5 -VOL3_bit_4 -VOL3_bit_3 -VOL3_bit_2 -VOL3_bit_1 -VOL3_bit0 VOL3_bit1 VOL3_bit2 VOL3_bit3 VOL3_bit4 -VOL4_bit_7 -VOL4_bit_6 -VOL4_bit_5 -VOL4_bit_4 -VOL4_bit_3 -VOL4_bit_2 -VOL4_bit_1 -VOL4_bit0 -VOL4_bit1 -VOL4_bit2 -VOL4_bit3 -VOL4_bit4 c Exit Code: 10 c Total time: 1176.19 s #### 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 Raw data (loadavg): 0.87 0.93 0.95 2/55 4173 Raw data (stat): 4173 (runsolver) R 4172 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 776307829 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10 s] Raw data (loadavg): 0.89 0.93 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 12642 0 0 0 963 33 0 0 25 0 1 0 776307829 56795136 12470 4294967295 134512640 134714540 3221221776 3221220504 134622882 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13866 12470 1111 63 0 13803 0 vsize: 55464 [startup+20.001 s] Raw data (loadavg): 0.91 0.93 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 17616 0 0 0 1951 46 0 0 25 0 1 0 776307829 77058048 17411 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18813 17411 1111 63 0 18750 0 vsize: 75252 [startup+30.0023 s] Raw data (loadavg): 0.92 0.94 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 23028 0 0 0 2938 58 0 0 25 0 1 0 776307829 101036032 22642 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24667 22642 1111 63 0 24604 0 vsize: 98668 [startup+40.0018 s] Raw data (loadavg): 0.93 0.94 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 25837 0 0 0 3933 64 0 0 25 0 1 0 776307829 113164288 25352 4294967295 134512640 134714540 3221221776 3221220512 134622849 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27628 25352 1111 63 0 27565 0 vsize: 110512 [startup+50.0028 s] Raw data (loadavg): 0.94 0.94 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 27817 0 0 0 4928 69 0 0 25 0 1 0 776307829 121135104 27314 4294967295 134512640 134714540 3221221776 3221220368 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29574 27314 1111 63 0 29511 0 vsize: 118296 [startup+60.0031 s] Raw data (loadavg): 0.95 0.94 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 31596 0 0 0 5919 78 0 0 25 0 1 0 776307829 136241152 31080 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33262 31080 1111 63 0 33199 0 vsize: 133048 [startup+70.0055 s] Raw data (loadavg): 0.96 0.94 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 33183 0 0 0 6914 83 0 0 25 0 1 0 776307829 142610432 32665 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34817 32665 1111 63 0 34754 0 vsize: 139268 [startup+80.0064 s] Raw data (loadavg): 0.96 0.94 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 34721 0 0 0 7911 86 0 0 25 0 1 0 776307829 148176896 34063 4294967295 134512640 134714540 3221221776 3221220500 134622811 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36176 34063 1111 63 0 36113 0 vsize: 144704 [startup+90.0068 s] Raw data (loadavg): 0.97 0.94 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 35929 0 0 0 8908 89 0 0 25 0 1 0 776307829 152662016 35199 4294967295 134512640 134714540 3221221776 3221220488 134543133 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37271 35199 1111 63 0 37208 0 vsize: 149084 [startup+100.008 s] Raw data (loadavg): 0.97 0.95 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 37237 0 0 0 9904 93 0 0 25 0 1 0 776307829 157433856 36431 4294967295 134512640 134714540 3221221776 3221220568 134542419 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38436 36431 1111 63 0 38373 0 vsize: 153744 [startup+110.008 s] Raw data (loadavg): 0.98 0.95 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 37833 0 0 0 10903 94 0 0 25 0 1 0 776307829 159731712 37027 4294967295 134512640 134714540 3221221776 3221220568 134536900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38997 37027 1111 63 0 38934 0 vsize: 155988 [startup+120.009 s] Raw data (loadavg): 0.98 0.95 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 40684 0 0 0 11896 102 0 0 25 0 1 0 776307829 171028480 39869 4294967295 134512640 134714540 3221221776 3221220380 134542371 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41755 39869 1111 63 0 41692 0 vsize: 167020 [startup+130.009 s] Raw data (loadavg): 0.98 0.95 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 45372 0 0 0 12886 112 0 0 25 0 1 0 776307829 190193664 42986 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46434 42986 1111 63 0 46371 0 vsize: 185736 [startup+140.009 s] Raw data (loadavg): 0.98 0.95 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 46915 0 0 0 13883 115 0 0 25 0 1 0 776307829 196321280 44356 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47930 44356 1111 63 0 47867 0 vsize: 191720 [startup+150.01 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 49210 0 0 0 14879 119 0 0 25 0 1 0 776307829 205357056 46469 4294967295 134512640 134714540 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 50136 46469 1111 63 0 50073 0 vsize: 200544 [startup+160.01 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 50843 0 0 0 15875 122 0 0 25 0 1 0 776307829 212627456 47921 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51911 47921 1111 63 0 51848 0 vsize: 207644 [startup+170.011 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 50850 0 0 0 16876 123 0 0 25 0 1 0 776307829 212627456 47928 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51911 47928 1111 63 0 51848 0 vsize: 207644 [startup+180.011 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 52259 0 0 0 17872 126 0 0 25 0 1 0 776307829 218169344 49337 4294967295 134512640 134714540 3221221776 3221220056 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53264 49337 1111 63 0 53201 0 vsize: 213056 [startup+190.011 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 54708 0 0 0 18867 132 0 0 25 0 1 0 776307829 227655680 51618 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 55580 51618 1111 63 0 55517 0 vsize: 222320 [startup+200.011 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 55719 0 0 0 19864 135 0 0 25 0 1 0 776307829 231727104 52625 4294967295 134512640 134714540 3221221776 3221220496 134622889 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 56574 52625 1111 63 0 56511 0 vsize: 226296 [startup+210.011 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 56871 0 0 0 20861 138 0 0 25 0 1 0 776307829 236187648 53777 4294967295 134512640 134714540 3221221776 3221220384 134543110 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 57663 53777 1111 63 0 57600 0 vsize: 230652 [startup+220.012 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 57269 0 0 0 21860 139 0 0 25 0 1 0 776307829 237809664 54175 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58059 54175 1111 63 0 57996 0 vsize: 232236 [startup+230.011 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 58123 0 0 0 22858 141 0 0 25 0 1 0 776307829 241188864 55029 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58884 55029 1111 63 0 58821 0 vsize: 235536 [startup+240.012 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 59013 0 0 0 23856 143 0 0 25 0 1 0 776307829 244703232 55919 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59742 55919 1111 63 0 59679 0 vsize: 238968 [startup+250.012 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 59174 0 0 0 24856 144 0 0 25 0 1 0 776307829 245243904 56080 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59874 56080 1111 63 0 59811 0 vsize: 239496 [startup+260.012 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 61283 0 0 0 25852 148 0 0 25 0 1 0 776307829 253411328 58107 4294967295 134512640 134714540 3221221776 3221220500 134622859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 61868 58107 1111 63 0 61805 0 vsize: 247472 [startup+270.012 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 63765 0 0 0 26846 154 0 0 25 0 1 0 776307829 263143424 60589 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64244 60589 1111 63 0 64181 0 vsize: 256976 [startup+280.012 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 66279 0 0 0 27838 162 0 0 25 0 1 0 776307829 273010688 63103 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 66653 63103 1111 63 0 66590 0 vsize: 266612 [startup+290.012 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 69217 0 0 0 28831 169 0 0 25 0 1 0 776307829 283303936 65599 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 69166 65599 1111 63 0 69103 0 vsize: 276664 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 70665 0 0 0 29826 174 0 0 25 0 1 0 776307829 288481280 66903 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 70430 66903 1111 63 0 70367 0 vsize: 281720 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 71964 0 0 0 30823 177 0 0 25 0 1 0 776307829 293617664 68202 4294967295 134512640 134714540 3221221776 3221220592 134622477 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 71684 68202 1111 63 0 71621 0 vsize: 286736 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 74316 0 0 0 31817 183 0 0 25 0 1 0 776307829 302211072 70402 4294967295 134512640 134714540 3221221776 3221220568 134542409 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73782 70402 1111 63 0 73719 0 vsize: 295128 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 75414 0 0 0 32815 186 0 0 25 0 1 0 776307829 306401280 71500 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74805 71500 1111 63 0 74742 0 vsize: 299220 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 76535 0 0 0 33811 190 0 0 25 0 1 0 776307829 310861824 72621 4294967295 134512640 134714540 3221221776 3221220296 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75894 72621 1111 63 0 75831 0 vsize: 303576 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 78029 0 0 0 34807 194 0 0 25 0 1 0 776307829 316674048 74115 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 77313 74115 1111 63 0 77250 0 vsize: 309252 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 78907 0 0 0 35805 196 0 0 25 0 1 0 776307829 320053248 74993 4294967295 134512640 134714540 3221221776 3221220512 134622849 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 78138 74993 1111 63 0 78075 0 vsize: 312552 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 78907 0 0 0 36806 196 0 0 25 0 1 0 776307829 320053248 74993 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 78138 74993 1111 63 0 78075 0 vsize: 312552 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 78910 0 0 0 37806 196 0 0 25 0 1 0 776307829 320053248 74996 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 78138 74996 1111 63 0 78075 0 vsize: 312552 [startup+390.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 79363 0 0 0 38804 198 0 0 25 0 1 0 776307829 321810432 75449 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 78567 75449 1111 63 0 78504 0 vsize: 314268 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 80611 0 0 0 39801 201 0 0 25 0 1 0 776307829 326733824 76615 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 79769 76615 1111 63 0 79706 0 vsize: 319076 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 81481 0 0 0 40798 204 0 0 25 0 1 0 776307829 330113024 77485 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 80594 77485 1111 63 0 80531 0 vsize: 322376 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 82938 0 0 0 41795 207 0 0 25 0 1 0 776307829 335634432 78780 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 81942 78780 1111 63 0 81879 0 vsize: 327768 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 88505 0 0 0 42786 216 0 0 25 0 1 0 776307829 355741696 80860 4294967295 134512640 134714540 3221221776 3221220580 134622589 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 86851 80860 1111 63 0 86788 0 vsize: 347404 [startup+440.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 89335 0 0 0 43785 218 0 0 25 0 1 0 776307829 359120896 81690 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87676 81690 1111 63 0 87613 0 vsize: 350704 [startup+450.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 89337 0 0 0 44785 218 0 0 25 0 1 0 776307829 359120896 81692 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87676 81692 1111 63 0 87613 0 vsize: 350704 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 89338 0 0 0 45785 218 0 0 25 0 1 0 776307829 359120896 81693 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87676 81693 1111 63 0 87613 0 vsize: 350704 [startup+470.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 90422 0 0 0 46783 221 0 0 25 0 1 0 776307829 362999808 82453 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 88623 82453 1111 63 0 88560 0 vsize: 354492 [startup+480.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 90977 0 0 0 47781 223 0 0 25 0 1 0 776307829 365162496 83008 4294967295 134512640 134714540 3221221776 3221220568 134542419 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 89151 83008 1111 63 0 89088 0 vsize: 356604 [startup+490.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 91885 0 0 0 48779 225 0 0 25 0 1 0 776307829 368656384 83754 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 90004 83754 1111 63 0 89941 0 vsize: 360016 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 92547 0 0 0 49778 226 0 0 25 0 1 0 776307829 371068928 84254 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 90593 84254 1111 63 0 90530 0 vsize: 362372 [startup+510.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 93152 0 0 0 50776 228 0 0 25 0 1 0 776307829 373366784 84859 4294967295 134512640 134714540 3221221776 3221220648 134536900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 91154 84859 1111 63 0 91091 0 vsize: 364616 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 93702 0 0 0 51776 229 0 0 25 0 1 0 776307829 375529472 85409 4294967295 134512640 134714540 3221221776 3221220660 134621538 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 91682 85409 1111 63 0 91619 0 vsize: 366728 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 93733 0 0 0 52776 229 0 0 25 0 1 0 776307829 375664640 85440 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 91715 85440 1111 63 0 91652 0 vsize: 366860 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 93789 0 0 0 53776 229 0 0 25 0 1 0 776307829 375934976 85496 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 91781 85496 1111 63 0 91718 0 vsize: 367124 [startup+550.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 93940 0 0 0 54775 229 0 0 25 0 1 0 776307829 376541184 85638 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 91929 85638 1111 63 0 91866 0 vsize: 367716 [startup+560.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 94508 0 0 0 55774 231 0 0 25 0 1 0 776307829 378761216 86124 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92471 86124 1111 63 0 92408 0 vsize: 369884 [startup+570.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 94902 0 0 0 56774 231 0 0 25 0 1 0 776307829 380248064 86518 4294967295 134512640 134714540 3221221776 3221220488 134543157 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92834 86518 1111 63 0 92771 0 vsize: 371336 [startup+580.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 94902 0 0 0 57774 231 0 0 25 0 1 0 776307829 380248064 86518 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92834 86518 1111 63 0 92771 0 vsize: 371336 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 97364 0 0 0 58769 237 0 0 25 0 1 0 776307829 389689344 88816 4294967295 134512640 134714540 3221221776 3221220488 134558485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 95139 88816 1111 63 0 95076 0 vsize: 380556 [startup+600.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 99148 0 0 0 59765 241 0 0 25 0 1 0 776307829 396427264 90438 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96784 90438 1111 63 0 96721 0 vsize: 387136 [startup+610.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 101161 0 0 0 60762 244 0 0 25 0 1 0 776307829 405008384 91704 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 98879 91704 1111 63 0 98816 0 vsize: 395516 [startup+620.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 102526 0 0 0 61759 248 0 0 25 0 1 0 776307829 410279936 93069 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 100166 93069 1111 63 0 100103 0 vsize: 400664 [startup+630.023 s] Raw data (loadavg): 1.07 0.99 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 103613 0 0 0 62756 250 0 0 25 0 1 0 776307829 414449664 93994 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 101184 93994 1111 63 0 101121 0 vsize: 404736 [startup+640.023 s] Raw data (loadavg): 1.06 0.99 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 104625 0 0 0 63752 254 0 0 25 0 1 0 776307829 418504704 95006 4294967295 134512640 134714540 3221221776 3221220492 134543156 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102174 95006 1111 63 0 102111 0 vsize: 408696 [startup+650.024 s] Raw data (loadavg): 1.05 0.99 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 104829 0 0 0 64752 255 0 0 25 0 1 0 776307829 419180544 95210 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102339 95210 1111 63 0 102276 0 vsize: 409356 [startup+660.023 s] Raw data (loadavg): 1.12 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 105640 0 0 0 65751 256 0 0 25 0 1 0 776307829 422289408 96021 4294967295 134512640 134714540 3221221776 3221220488 134558485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103098 96021 1111 63 0 103035 0 vsize: 412392 [startup+670.024 s] Raw data (loadavg): 1.10 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 105675 0 0 0 66751 256 0 0 25 0 1 0 776307829 422424576 96056 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103131 96056 1111 63 0 103068 0 vsize: 412524 [startup+680.024 s] Raw data (loadavg): 1.08 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 107275 0 0 0 67748 260 0 0 25 0 1 0 776307829 428777472 97656 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104682 97656 1111 63 0 104619 0 vsize: 418728 [startup+690.024 s] Raw data (loadavg): 1.07 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 109452 0 0 0 68743 264 0 0 25 0 1 0 776307829 437002240 99671 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106690 99671 1111 63 0 106627 0 vsize: 426760 [startup+700.024 s] Raw data (loadavg): 1.06 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 110836 0 0 0 69739 268 0 0 25 0 1 0 776307829 442388480 100893 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 108005 100893 1111 63 0 107942 0 vsize: 432020 [startup+710.025 s] Raw data (loadavg): 1.05 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 110839 0 0 0 70740 268 0 0 25 0 1 0 776307829 442388480 100896 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 108005 100896 1111 63 0 107942 0 vsize: 432020 [startup+720.026 s] Raw data (loadavg): 1.04 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 112020 0 0 0 71737 271 0 0 25 0 1 0 776307829 446828544 101915 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109089 101916 1111 63 0 109026 0 vsize: 436356 [startup+730.026 s] Raw data (loadavg): 1.04 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 112773 0 0 0 72735 273 0 0 25 0 1 0 776307829 449802240 102668 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109815 102668 1111 63 0 109752 0 vsize: 439260 [startup+740.026 s] Raw data (loadavg): 1.03 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 113283 0 0 0 73734 274 0 0 25 0 1 0 776307829 451694592 103178 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 110277 103178 1111 63 0 110214 0 vsize: 441108 [startup+750.026 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 114345 0 0 0 74732 277 0 0 25 0 1 0 776307829 455884800 104240 4294967295 134512640 134714540 3221221776 3221220500 134622859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 111300 104240 1111 63 0 111237 0 vsize: 445200 [startup+760.026 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 114374 0 0 0 75732 277 0 0 25 0 1 0 776307829 456019968 104269 4294967295 134512640 134714540 3221221776 3221220512 134623136 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 111333 104269 1111 63 0 111270 0 vsize: 445332 [startup+770.027 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 114545 0 0 0 76732 277 0 0 25 0 1 0 776307829 456695808 104440 4294967295 134512640 134714540 3221221776 3221220504 134622854 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 111498 104440 1111 63 0 111435 0 vsize: 445992 [startup+780.028 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 115440 0 0 0 77731 279 0 0 25 0 1 0 776307829 460275712 105326 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112372 105326 1111 63 0 112309 0 vsize: 449488 [startup+790.027 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 115440 0 0 0 78731 279 0 0 25 0 1 0 776307829 460275712 105326 4294967295 134512640 134714540 3221221776 3221220492 134558493 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112372 105326 1111 63 0 112309 0 vsize: 449488 [startup+800.027 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 115441 0 0 0 79731 279 0 0 25 0 1 0 776307829 460275712 105327 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112372 105327 1111 63 0 112309 0 vsize: 449488 [startup+810.028 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 115446 0 0 0 80731 279 0 0 25 0 1 0 776307829 460275712 105332 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112372 105332 1111 63 0 112309 0 vsize: 449488 [startup+820.029 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 117137 0 0 0 81727 283 0 0 25 0 1 0 776307829 466898944 107023 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 113989 107023 1111 63 0 113926 0 vsize: 455956 [startup+830.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 118819 0 0 0 82722 288 0 0 25 0 1 0 776307829 473387008 108705 4294967295 134512640 134714540 3221221776 3221220488 134558490 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 115573 108705 1111 63 0 115510 0 vsize: 462292 [startup+840.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 119894 0 0 0 83719 291 0 0 25 0 1 0 776307829 477577216 109780 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 116596 109780 1111 63 0 116533 0 vsize: 466384 [startup+850.029 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 120630 0 0 0 84719 292 0 0 25 0 1 0 776307829 480550912 110516 4294967295 134512640 134714540 3221221776 3221220304 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 117322 110516 1111 63 0 117259 0 vsize: 469288 [startup+860.029 s] Raw data (loadavg): 1.00 1.00 0.96 3/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 122009 0 0 0 85715 296 0 0 25 0 1 0 776307829 485822464 111895 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 118609 111895 1111 63 0 118546 0 vsize: 474436 [startup+870.03 s] Raw data (loadavg): 1.08 1.02 0.97 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 122650 0 0 0 86713 298 0 0 25 0 1 0 776307829 488390656 112536 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 119236 112536 1111 63 0 119173 0 vsize: 476944 [startup+880.031 s] Raw data (loadavg): 1.07 1.02 0.97 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 123095 0 0 0 87712 300 0 0 25 0 1 0 776307829 490147840 112981 4294967295 134512640 134714540 3221221776 3221220568 134542409 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 119665 112981 1111 63 0 119602 0 vsize: 478660 [startup+890.031 s] Raw data (loadavg): 1.06 1.01 0.97 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 124426 0 0 0 88709 303 0 0 25 0 1 0 776307829 494972928 113988 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 120843 113988 1111 63 0 120780 0 vsize: 483372 [startup+900.031 s] Raw data (loadavg): 1.05 1.01 0.97 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 124427 0 0 0 89709 303 0 0 25 0 1 0 776307829 494972928 113989 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 120843 113989 1111 63 0 120780 0 vsize: 483372 [startup+910.031 s] Raw data (loadavg): 1.04 1.01 0.97 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 124427 0 0 0 90709 303 0 0 25 0 1 0 776307829 494972928 113989 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 120843 113989 1111 63 0 120780 0 vsize: 483372 [startup+920.032 s] Raw data (loadavg): 1.03 1.01 0.97 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 124429 0 0 0 91709 303 0 0 25 0 1 0 776307829 494972928 113991 4294967295 134512640 134714540 3221221776 3221220592 134622551 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 120843 113991 1111 63 0 120780 0 vsize: 483372 [startup+930.032 s] Raw data (loadavg): 1.03 1.01 0.97 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 125305 0 0 0 92707 305 0 0 25 0 1 0 776307829 498487296 114867 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 121701 114867 1111 63 0 121638 0 vsize: 486804 [startup+940.032 s] Raw data (loadavg): 1.02 1.01 0.97 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 126328 0 0 0 93705 307 0 0 25 0 1 0 776307829 502407168 115890 4294967295 134512640 134714540 3221221776 3221220296 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 122658 115890 1111 63 0 122595 0 vsize: 490632 [startup+950.032 s] Raw data (loadavg): 1.02 1.01 0.97 2/55 4173 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 127401 0 0 0 94703 310 0 0 25 0 1 0 776307829 506597376 116963 4294967295 134512640 134714540 3221221776 3221220576 134622520 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 123681 116963 1111 63 0 123618 0 vsize: 494724 [startup+960.033 s] Raw data (loadavg): 1.02 1.01 0.97 3/58 4208 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 127994 0 0 0 95702 311 0 0 25 0 1 0 776307829 508895232 117556 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 124242 117556 1111 63 0 124179 0 vsize: 496968 [startup+970.044 s] Raw data (loadavg): 1.17 1.04 0.98 2/55 4226 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 128880 0 0 0 96701 313 0 0 25 0 1 0 776307829 512409600 118442 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 125100 118442 1111 63 0 125037 0 vsize: 500400 [startup+980.072 s] Raw data (loadavg): 1.14 1.04 0.98 2/55 4226 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 128882 0 0 0 97704 313 0 0 25 0 1 0 776307829 512409600 118444 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 125100 118444 1111 63 0 125037 0 vsize: 500400 [startup+990.072 s] Raw data (loadavg): 1.12 1.04 0.98 2/55 4226 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 128883 0 0 0 98704 313 0 0 25 0 1 0 776307829 512409600 118445 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 125100 118445 1111 63 0 125037 0 vsize: 500400 [startup+1000.07 s] Raw data (loadavg): 1.10 1.03 0.98 2/55 4226 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 129369 0 0 0 99703 315 0 0 25 0 1 0 776307829 514301952 118931 4294967295 134512640 134714540 3221221776 3221220568 134536904 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 125562 118931 1111 63 0 125499 0 vsize: 502248 [startup+1010.07 s] Raw data (loadavg): 1.08 1.03 0.98 2/55 4226 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 130008 0 0 0 100701 316 0 0 25 0 1 0 776307829 516870144 119570 4294967295 134512640 134714540 3221221776 3221220556 134543569 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 126189 119570 1111 63 0 126126 0 vsize: 504756 [startup+1020.07 s] Raw data (loadavg): 1.07 1.03 0.98 2/55 4226 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 130992 0 0 0 101698 320 0 0 25 0 1 0 776307829 520654848 120554 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 127113 120554 1111 63 0 127050 0 vsize: 508452 [startup+1030.07 s] Raw data (loadavg): 1.06 1.03 0.98 2/55 4226 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 130992 0 0 0 102698 320 0 0 25 0 1 0 776307829 520654848 120554 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 127113 120554 1111 63 0 127050 0 vsize: 508452 [startup+1040.07 s] Raw data (loadavg): 1.05 1.03 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 131174 0 0 0 103698 320 0 0 25 0 1 0 776307829 521330688 120736 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 127278 120736 1111 63 0 127215 0 vsize: 509112 [startup+1050.07 s] Raw data (loadavg): 1.04 1.03 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 132033 0 0 0 104696 321 0 0 25 0 1 0 776307829 524775424 121586 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 128119 121586 1111 63 0 128056 0 vsize: 512476 [startup+1060.08 s] Raw data (loadavg): 1.04 1.03 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 132053 0 0 0 105697 321 0 0 25 0 1 0 776307829 524910592 121606 4294967295 134512640 134714540 3221221776 3221220568 134536921 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 128152 121606 1111 63 0 128089 0 vsize: 512608 [startup+1070.08 s] Raw data (loadavg): 1.03 1.02 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 132218 0 0 0 106697 322 0 0 25 0 1 0 776307829 525451264 121771 4294967295 134512640 134714540 3221221776 3221220568 134536921 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 128284 121771 1111 63 0 128221 0 vsize: 513136 [startup+1080.08 s] Raw data (loadavg): 1.02 1.02 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 132525 0 0 0 107696 323 0 0 25 0 1 0 776307829 526667776 122078 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 128581 122078 1111 63 0 128518 0 vsize: 514324 [startup+1090.08 s] Raw data (loadavg): 1.02 1.02 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 133063 0 0 0 108694 325 0 0 25 0 1 0 776307829 528695296 122616 4294967295 134512640 134714540 3221221776 3221220256 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 129076 122616 1111 63 0 129013 0 vsize: 516304 [startup+1100.08 s] Raw data (loadavg): 1.02 1.02 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 136665 0 0 0 109687 332 0 0 25 0 1 0 776307829 541556736 125782 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 132216 125783 1111 63 0 132153 0 vsize: 528864 [startup+1110.08 s] Raw data (loadavg): 1.01 1.02 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 139087 0 0 0 110681 338 0 0 25 0 1 0 776307829 549851136 127926 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 134241 127926 1111 63 0 134178 0 vsize: 536964 [startup+1120.08 s] Raw data (loadavg): 1.01 1.02 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 140338 0 0 0 111679 341 0 0 25 0 1 0 776307829 554852352 129177 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 135462 129177 1111 63 0 135399 0 vsize: 541848 [startup+1130.08 s] Raw data (loadavg): 1.01 1.02 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 142400 0 0 0 112673 346 0 0 25 0 1 0 776307829 561692672 130953 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 137132 130953 1111 63 0 137069 0 vsize: 548528 [startup+1140.08 s] Raw data (loadavg): 1.01 1.02 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 142970 0 0 0 113672 348 0 0 25 0 1 0 776307829 563990528 131523 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 137693 131523 1111 63 0 137630 0 vsize: 550772 [startup+1150.08 s] Raw data (loadavg): 1.01 1.02 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 143887 0 0 0 114670 350 0 0 25 0 1 0 776307829 567504896 132440 4294967295 134512640 134714540 3221221776 3221220496 134622817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 138551 132440 1111 63 0 138488 0 vsize: 554204 [startup+1160.08 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 143989 0 0 0 115670 350 0 0 25 0 1 0 776307829 567910400 132542 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 138650 132542 1111 63 0 138587 0 vsize: 554600 [startup+1170.08 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 146085 0 0 0 116666 355 0 0 25 0 1 0 776307829 576155648 134638 4294967295 134512640 134714540 3221221776 3221220496 134622889 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 140663 134638 1111 63 0 140600 0 vsize: 562652 [startup+1176.34 s] Raw data (loadavg): 1.00 1.01 0.98 1/54 4228 Raw data (stat): 4173 (bsolo_mis) R 4172 7876 7672 0 -1 0 146085 0 0 0 116666 355 0 0 25 0 1 0 776307829 576155648 134638 4294967295 134512640 134714540 3221221776 3221220496 134622889 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 140663 134638 1111 63 0 140600 0 vsize: 0 Child status: 10 Real time (s): 1176.34 CPU time (s): 1176.47 CPU user time (s): 1172.63 CPU system time (s): 3.83942 CPU usage (%): 100.011 Max. virtual memory (Kb): 562652 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 43152 #### END VERIFIER DATA ####