Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ic.opb |
MD5SUM | e8862b41c9b4f49ec8d11d1df0495e74 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 12497 |
Biggest coefficient in the objective function | 1010107916 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 3093137085579 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 1010107916 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 3093137085579 |
Number of bits of the biggest sum of numbers | 42 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 11.8052 |
Number of variables | 12497 |
Total number of constraints | 13530 |
Number of constraints which are clauses | 41 |
Number of constraints which are cardinality constraints (but not clauses) | 13312 |
Number of constraints which are nor clauses,nor cardinality constraints | 177 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 6739 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-17 08:34:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20244 boxname=wulflinc31 idbench=1558 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: e8862b41c9b4f49ec8d11d1df0495e74 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ic.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ic.opb IDLAUNCH: 20244 /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: 713168 kB Buffers: 19580 kB Cached: 273820 kB SwapCached: 1040 kB Active: 83940 kB Inactive: 217428 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 712916 kB SwapTotal: 2097892 kB SwapFree: 2096060 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5380 kB Slab: 14324 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-17 08:53:46 (client local time) WITH STATUS 0 IN 1175.53 SECONDS stats: 20244 7 1175.53 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 12497 variables and 1033 constraints. c After prepocess the problem consists of 12497 variables and 1018 constraints. c preprocess terminated 468.169 s c Initial Lower Bound: 214277037 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.34 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.95 0.96 2/55 24532 Raw data (stat): 24532 (runsolver) R 24531 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 768327106 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.0005 s] Raw data (loadavg): 0.89 0.95 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 23840 0 0 0 944 52 0 0 25 0 1 0 768327106 111050752 23817 4294967295 134512640 134714540 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27112 23817 1111 63 0 27049 0 vsize: 108448 [startup+20.0014 s] Raw data (loadavg): 0.91 0.96 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 45189 0 0 0 1905 92 0 0 25 0 1 0 768327106 198545408 45166 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48473 45166 1111 63 0 48410 0 vsize: 193892 [startup+30.0024 s] Raw data (loadavg): 0.92 0.96 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 66315 0 0 0 2871 126 0 0 25 0 1 0 768327106 285159424 66292 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69619 66292 1111 63 0 69556 0 vsize: 278476 [startup+40.0025 s] Raw data (loadavg): 0.93 0.96 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 76825 0 0 0 3852 145 0 0 25 0 1 0 768327106 328187904 76802 4294967295 134512640 134714540 3221221776 3221220052 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 80124 76802 1111 63 0 80061 0 vsize: 320496 [startup+50.0042 s] Raw data (loadavg): 0.94 0.96 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 77223 0 0 0 4851 146 0 0 25 0 1 0 768327106 329854976 77196 4294967295 134512640 134714540 3221221776 3221220400 134524573 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 80531 77196 1111 63 0 80468 0 vsize: 322124 [startup+60.0052 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 77859 0 0 0 5849 148 0 0 25 0 1 0 768327106 332611584 77830 4294967295 134512640 134714540 3221221776 3221219416 1077360695 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 81204 77830 1111 63 0 81141 0 vsize: 324816 [startup+70.0061 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 78526 0 0 0 6846 151 0 0 25 0 1 0 768327106 335491072 78495 4294967295 134512640 134714540 3221221776 3221220052 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 81907 78495 1111 63 0 81844 0 vsize: 327628 [startup+80.007 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 79287 0 0 0 7844 153 0 0 25 0 1 0 768327106 338657280 79254 4294967295 134512640 134714540 3221221776 3221220048 134566629 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 82680 79254 1111 63 0 82617 0 vsize: 330720 [startup+90.007 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 80011 0 0 0 8841 156 0 0 25 0 1 0 768327106 341663744 79978 4294967295 134512640 134714540 3221221776 3221220052 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 83414 79978 1111 63 0 83351 0 vsize: 333656 [startup+100.008 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 80800 0 0 0 9840 157 0 0 25 0 1 0 768327106 344965120 80763 4294967295 134512640 134714540 3221221776 3221220280 1077379908 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84220 80763 1111 63 0 84157 0 vsize: 336880 [startup+110.009 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 81526 0 0 0 10837 160 0 0 25 0 1 0 768327106 348151808 81487 4294967295 134512640 134714540 3221221776 3221218252 1077198256 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84998 81487 1111 63 0 84935 0 vsize: 339992 [startup+120.009 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 11833 164 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+130.01 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 12833 165 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535952 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+140.01 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 13832 165 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 14832 166 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+160.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 15832 166 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220512 134630815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 16831 167 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134536828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+180.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 17831 167 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 18831 168 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 19830 168 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+210.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 20830 169 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+220.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 21829 169 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+230.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 22829 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134536769 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+240.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 23829 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+250.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 24829 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535891 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+260.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 25829 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220304 134542944 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 26829 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+280.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 27829 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+290.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 28830 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+300.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 29830 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+310.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 30830 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83009 1111 63 0 84185 0 vsize: 336992 [startup+320.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83118 0 0 0 31830 170 0 0 25 0 1 0 768327106 345079808 83010 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83010 1111 63 0 84185 0 vsize: 336992 [startup+330.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83119 0 0 0 32830 170 0 0 25 0 1 0 768327106 345079808 83011 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83011 1111 63 0 84185 0 vsize: 336992 [startup+340.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83119 0 0 0 33830 170 0 0 25 0 1 0 768327106 345079808 83011 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83011 1111 63 0 84185 0 vsize: 336992 [startup+350.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83120 0 0 0 34831 170 0 0 25 0 1 0 768327106 345079808 83012 4294967295 134512640 134714540 3221221776 3221220256 134543008 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83012 1111 63 0 84185 0 vsize: 336992 [startup+360.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83121 0 0 0 35831 170 0 0 25 0 1 0 768327106 345079808 83013 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83013 1111 63 0 84185 0 vsize: 336992 [startup+370.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83122 0 0 0 36831 170 0 0 25 0 1 0 768327106 345079808 83014 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83014 1111 63 0 84185 0 vsize: 336992 [startup+380.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83124 0 0 0 37831 171 0 0 25 0 1 0 768327106 345079808 83016 4294967295 134512640 134714540 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83016 1111 63 0 84185 0 vsize: 336992 [startup+390.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83128 0 0 0 38831 171 0 0 25 0 1 0 768327106 345079808 83020 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83020 1111 63 0 84185 0 vsize: 336992 [startup+400.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83131 0 0 0 39832 171 0 0 25 0 1 0 768327106 345079808 83023 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83023 1111 63 0 84185 0 vsize: 336992 [startup+410.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83132 0 0 0 40832 171 0 0 25 0 1 0 768327106 345079808 83024 4294967295 134512640 134714540 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83024 1111 63 0 84185 0 vsize: 336992 [startup+420.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83136 0 0 0 41832 171 0 0 25 0 1 0 768327106 345079808 83028 4294967295 134512640 134714540 3221221776 3221220220 134536771 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83028 1111 63 0 84185 0 vsize: 336992 [startup+430.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83138 0 0 0 42832 171 0 0 25 0 1 0 768327106 345079808 83030 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83030 1111 63 0 84185 0 vsize: 336992 [startup+440.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83140 0 0 0 43832 171 0 0 25 0 1 0 768327106 345079808 83032 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83032 1111 63 0 84185 0 vsize: 336992 [startup+450.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83145 0 0 0 44832 171 0 0 25 0 1 0 768327106 345079808 83037 4294967295 134512640 134714540 3221221776 3221220244 134543025 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83037 1111 63 0 84185 0 vsize: 336992 [startup+460.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83148 0 0 0 45833 171 0 0 25 0 1 0 768327106 345079808 83040 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84248 83040 1111 63 0 84185 0 vsize: 336992 [startup+470.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83530 0 0 0 46832 171 0 0 25 0 1 0 768327106 346607616 83422 4294967295 134512640 134714540 3221221776 3221220332 134536814 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84621 83422 1111 63 0 84558 0 vsize: 338484 [startup+480.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83538 0 0 0 47832 172 0 0 25 0 1 0 768327106 346607616 83430 4294967295 134512640 134714540 3221221776 3221220316 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84621 83430 1111 63 0 84558 0 vsize: 338484 [startup+490.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83548 0 0 0 48832 172 0 0 25 0 1 0 768327106 346742784 83440 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84654 83440 1111 63 0 84591 0 vsize: 338616 [startup+500.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83564 0 0 0 49832 172 0 0 25 0 1 0 768327106 346742784 83456 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84654 83456 1111 63 0 84591 0 vsize: 338616 [startup+510.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83574 0 0 0 50832 172 0 0 25 0 1 0 768327106 346742784 83466 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84654 83466 1111 63 0 84591 0 vsize: 338616 [startup+520.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83585 0 0 0 51832 172 0 0 25 0 1 0 768327106 346877952 83477 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84687 83477 1111 63 0 84624 0 vsize: 338748 [startup+530.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83598 0 0 0 52832 172 0 0 25 0 1 0 768327106 346877952 83490 4294967295 134512640 134714540 3221221776 3221220576 134622163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84687 83490 1111 63 0 84624 0 vsize: 338748 [startup+540.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83617 0 0 0 53833 172 0 0 25 0 1 0 768327106 347013120 83509 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84720 83509 1111 63 0 84657 0 vsize: 338880 [startup+550.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83637 0 0 0 54833 172 0 0 25 0 1 0 768327106 347013120 83529 4294967295 134512640 134714540 3221221776 3221220512 134695331 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84720 83529 1111 63 0 84657 0 vsize: 338880 [startup+560.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83657 0 0 0 55833 172 0 0 25 0 1 0 768327106 347148288 83549 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84753 83549 1111 63 0 84690 0 vsize: 339012 [startup+570.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83681 0 0 0 56833 173 0 0 25 0 1 0 768327106 347283456 83573 4294967295 134512640 134714540 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84786 83573 1111 63 0 84723 0 vsize: 339144 [startup+580.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83704 0 0 0 57833 173 0 0 25 0 1 0 768327106 347283456 83596 4294967295 134512640 134714540 3221221776 3221220332 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84786 83596 1111 63 0 84723 0 vsize: 339144 [startup+590.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83730 0 0 0 58833 173 0 0 25 0 1 0 768327106 347418624 83622 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84819 83622 1111 63 0 84756 0 vsize: 339276 [startup+600.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83751 0 0 0 59833 173 0 0 25 0 1 0 768327106 347553792 83643 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84852 83643 1111 63 0 84789 0 vsize: 339408 [startup+610.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83776 0 0 0 60833 173 0 0 25 0 1 0 768327106 347688960 83668 4294967295 134512640 134714540 3221221776 3221220496 134556763 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84885 83668 1111 63 0 84822 0 vsize: 339540 [startup+620.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83800 0 0 0 61833 173 0 0 25 0 1 0 768327106 347688960 83692 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84885 83692 1111 63 0 84822 0 vsize: 339540 [startup+630.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83836 0 0 0 62833 173 0 0 25 0 1 0 768327106 347824128 83728 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84918 83728 1111 63 0 84855 0 vsize: 339672 [startup+640.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83865 0 0 0 63833 173 0 0 25 0 1 0 768327106 347959296 83757 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84951 83757 1111 63 0 84888 0 vsize: 339804 [startup+650.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83902 0 0 0 64833 173 0 0 25 0 1 0 768327106 348094464 83794 4294967295 134512640 134714540 3221221776 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84984 83794 1111 63 0 84921 0 vsize: 339936 [startup+660.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83938 0 0 0 65833 174 0 0 25 0 1 0 768327106 348229632 83830 4294967295 134512640 134714540 3221221776 3221220316 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85017 83830 1111 63 0 84954 0 vsize: 340068 [startup+670.039 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83970 0 0 0 66833 174 0 0 25 0 1 0 768327106 348364800 83862 4294967295 134512640 134714540 3221221776 3221220316 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85050 83862 1111 63 0 84987 0 vsize: 340200 [startup+680.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84007 0 0 0 67834 174 0 0 25 0 1 0 768327106 348635136 83899 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85116 83899 1111 63 0 85053 0 vsize: 340464 [startup+690.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84046 0 0 0 68834 174 0 0 25 0 1 0 768327106 348770304 83938 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85149 83938 1111 63 0 85086 0 vsize: 340596 [startup+700.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84156 0 0 0 69833 175 0 0 25 0 1 0 768327106 349179904 84048 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85249 84048 1111 63 0 85186 0 vsize: 340996 [startup+710.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84200 0 0 0 70833 175 0 0 25 0 1 0 768327106 349315072 84092 4294967295 134512640 134714540 3221221776 3221220568 134543157 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85282 84092 1111 63 0 85219 0 vsize: 341128 [startup+720.042 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84239 0 0 0 71833 175 0 0 25 0 1 0 768327106 349585408 84131 4294967295 134512640 134714540 3221221776 3221220512 134695385 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85348 84131 1111 63 0 85285 0 vsize: 341392 [startup+730.042 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84283 0 0 0 72834 175 0 0 25 0 1 0 768327106 349720576 84175 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85381 84175 1111 63 0 85318 0 vsize: 341524 [startup+740.043 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84330 0 0 0 73834 175 0 0 25 0 1 0 768327106 349855744 84222 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85414 84222 1111 63 0 85351 0 vsize: 341656 [startup+750.044 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84368 0 0 0 74834 175 0 0 25 0 1 0 768327106 350126080 84260 4294967295 134512640 134714540 3221221776 3221220512 134695325 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85480 84260 1111 63 0 85417 0 vsize: 341920 [startup+760.044 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84414 0 0 0 75834 175 0 0 25 0 1 0 768327106 350261248 84306 4294967295 134512640 134714540 3221221776 3221220560 134558529 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85513 84306 1111 63 0 85450 0 vsize: 342052 [startup+770.044 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84501 0 0 0 76834 175 0 0 25 0 1 0 768327106 350670848 84393 4294967295 134512640 134714540 3221221776 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85613 84393 1111 63 0 85550 0 vsize: 342452 [startup+780.045 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84597 0 0 0 77834 176 0 0 25 0 1 0 768327106 350941184 84489 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85679 84489 1111 63 0 85616 0 vsize: 342716 [startup+790.045 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84688 0 0 0 78834 176 0 0 25 0 1 0 768327106 351350784 84580 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85779 84580 1111 63 0 85716 0 vsize: 343116 [startup+800.046 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84751 0 0 0 79834 176 0 0 25 0 1 0 768327106 351637504 84643 4294967295 134512640 134714540 3221221776 3221220560 134624869 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85849 84643 1111 63 0 85786 0 vsize: 343396 [startup+810.046 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84854 0 0 0 80834 176 0 0 25 0 1 0 768327106 352043008 84746 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85948 84746 1111 63 0 85885 0 vsize: 343792 [startup+820.047 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84909 0 0 0 81834 177 0 0 25 0 1 0 768327106 352313344 84801 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 86014 84801 1111 63 0 85951 0 vsize: 344056 [startup+830.048 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84994 0 0 0 82834 177 0 0 25 0 1 0 768327106 352718848 84886 4294967295 134512640 134714540 3221221776 3221220540 134543540 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 86113 84886 1111 63 0 86050 0 vsize: 344452 [startup+840.048 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85048 0 0 0 83834 177 0 0 25 0 1 0 768327106 352854016 84940 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 86146 84940 1111 63 0 86083 0 vsize: 344584 [startup+850.048 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85204 0 0 0 84834 177 0 0 25 0 1 0 768327106 353529856 85096 4294967295 134512640 134714540 3221221776 3221220568 134543179 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 86311 85096 1111 63 0 86248 0 vsize: 345244 [startup+860.048 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85269 0 0 0 85833 178 0 0 25 0 1 0 768327106 353800192 85161 4294967295 134512640 134714540 3221221776 3221220536 134556737 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 86377 85161 1111 63 0 86314 0 vsize: 345508 [startup+870.048 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85351 0 0 0 86833 178 0 0 25 0 1 0 768327106 354205696 85243 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 86476 85243 1111 63 0 86413 0 vsize: 345904 [startup+880.049 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85415 0 0 0 87833 178 0 0 25 0 1 0 768327106 354476032 85307 4294967295 134512640 134714540 3221221776 3221220560 134624869 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 86542 85307 1111 63 0 86479 0 vsize: 346168 [startup+890.049 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85532 0 0 0 88833 179 0 0 25 0 1 0 768327106 354889728 85424 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 86643 85424 1111 63 0 86580 0 vsize: 346572 [startup+900.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85631 0 0 0 89833 179 0 0 25 0 1 0 768327106 355295232 85522 4294967295 134512640 134714540 3221221776 3221220572 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 86742 85522 1111 63 0 86679 0 vsize: 346968 [startup+910.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85706 0 0 0 90833 179 0 0 25 0 1 0 768327106 355565568 85596 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 86808 85596 1111 63 0 86745 0 vsize: 347232 [startup+920.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85799 0 0 0 91833 179 0 0 25 0 1 0 768327106 355971072 85688 4294967295 134512640 134714540 3221221776 3221220536 134536921 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 86907 85688 1111 63 0 86844 0 vsize: 347628 [startup+930.051 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85994 0 0 0 92832 180 0 0 25 0 1 0 768327106 356782080 85883 4294967295 134512640 134714540 3221221776 3221220332 134536779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87105 85883 1111 63 0 87042 0 vsize: 348420 [startup+940.051 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86042 0 0 0 93833 180 0 0 25 0 1 0 768327106 357052416 85931 4294967295 134512640 134714540 3221221776 3221220576 134622182 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87171 85931 1111 63 0 87108 0 vsize: 348684 [startup+950.052 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86097 0 0 0 94833 180 0 0 25 0 1 0 768327106 357187584 85986 4294967295 134512640 134714540 3221221776 3221220576 134622182 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87204 85986 1111 63 0 87141 0 vsize: 348816 [startup+960.052 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86236 0 0 0 95832 181 0 0 25 0 1 0 768327106 357863424 86125 4294967295 134512640 134714540 3221221776 3221220672 134621504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87369 86125 1111 63 0 87306 0 vsize: 349476 [startup+970.052 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86304 0 0 0 96832 181 0 0 25 0 1 0 768327106 358133760 86193 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87435 86193 1111 63 0 87372 0 vsize: 349740 [startup+980.053 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86389 0 0 0 97833 181 0 0 25 0 1 0 768327106 358412288 86277 4294967295 134512640 134714540 3221221776 3221220652 134543588 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87503 86277 1111 63 0 87440 0 vsize: 350012 [startup+990.053 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86483 0 0 0 98832 181 0 0 25 0 1 0 768327106 358817792 86371 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87602 86371 1111 63 0 87539 0 vsize: 350408 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86560 0 0 0 99832 182 0 0 25 0 1 0 768327106 359088128 86448 4294967295 134512640 134714540 3221221776 3221220656 134621577 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87668 86448 1111 63 0 87605 0 vsize: 350672 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86616 0 0 0 100832 182 0 0 25 0 1 0 768327106 359358464 86504 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87734 86504 1111 63 0 87671 0 vsize: 350936 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86718 0 0 0 101832 182 0 0 25 0 1 0 768327106 359768064 86606 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87834 86606 1111 63 0 87771 0 vsize: 351336 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86787 0 0 0 102832 182 0 0 25 0 1 0 768327106 360038400 86675 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87900 86675 1111 63 0 87837 0 vsize: 351600 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86845 0 0 0 103832 182 0 0 25 0 1 0 768327106 360308736 86733 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87966 86733 1111 63 0 87903 0 vsize: 351864 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86955 0 0 0 104832 182 0 0 25 0 1 0 768327106 360714240 86843 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 88065 86843 1111 63 0 88002 0 vsize: 352260 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87128 0 0 0 105832 183 0 0 25 0 1 0 768327106 361525248 87016 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 88263 87016 1111 63 0 88200 0 vsize: 353052 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87290 0 0 0 106832 183 0 0 25 0 1 0 768327106 362205184 87178 4294967295 134512640 134714540 3221221776 3221220656 134621636 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 88429 87178 1111 63 0 88366 0 vsize: 353716 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87388 0 0 0 107832 183 0 0 25 0 1 0 768327106 362610688 87276 4294967295 134512640 134714540 3221221776 3221220512 134695328 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 88528 87276 1111 63 0 88465 0 vsize: 354112 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87475 0 0 0 108832 184 0 0 25 0 1 0 768327106 362881024 87363 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 88594 87363 1111 63 0 88531 0 vsize: 354376 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87571 0 0 0 109832 184 0 0 25 0 1 0 768327106 363290624 87459 4294967295 134512640 134714540 3221221776 3221220648 134536900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 88694 87459 1111 63 0 88631 0 vsize: 354776 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87655 0 0 0 110832 184 0 0 25 0 1 0 768327106 363696128 87543 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 88793 87543 1111 63 0 88730 0 vsize: 355172 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87744 0 0 0 111832 184 0 0 25 0 1 0 768327106 363966464 87632 4294967295 134512640 134714540 3221221776 3221220576 134622182 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 88859 87632 1111 63 0 88796 0 vsize: 355436 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87833 0 0 0 112831 185 0 0 25 0 1 0 768327106 364371968 87721 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 88958 87721 1111 63 0 88895 0 vsize: 355832 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87914 0 0 0 113831 185 0 0 25 0 1 0 768327106 364777472 87802 4294967295 134512640 134714540 3221221776 3221220540 134556736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 89057 87802 1111 63 0 88994 0 vsize: 356228 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87999 0 0 0 114831 185 0 0 25 0 1 0 768327106 365047808 87887 4294967295 134512640 134714540 3221221776 3221220648 134536901 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 89123 87887 1111 63 0 89060 0 vsize: 356492 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 88074 0 0 0 115831 185 0 0 25 0 1 0 768327106 365457408 87962 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 89223 87962 1111 63 0 89160 0 vsize: 356892 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 88148 0 0 0 116831 186 0 0 25 0 1 0 768327106 365727744 88036 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 89289 88036 1111 63 0 89226 0 vsize: 357156 [startup+1175.41 s] Raw data (loadavg): 0.99 0.97 0.96 1/54 24532 Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 88148 0 0 0 116831 186 0 0 25 0 1 0 768327106 365727744 88036 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 89289 88036 1111 63 0 89226 0 vsize: 0 Child status: 0 Real time (s): 1175.41 CPU time (s): 1175.53 CPU user time (s): 1173.5 CPU system time (s): 2.03069 CPU usage (%): 100.01 Max. virtual memory (Kb): 357156 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####