Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb |
MD5SUM | cb52c3dd346b4d656b5e715b686fba39 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8401 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 9324 |
Biggest coefficient in the objective function | 213 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 909647 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1069 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 909647 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.27 |
Number of variables | 10724 |
Total number of constraints | 12778 |
Number of constraints which are clauses | 140 |
Number of constraints which are cardinality constraints (but not clauses) | 12255 |
Number of constraints which are nor clauses,nor cardinality constraints | 383 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-05-24 15:29:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13601 boxname=wulflinc17 idbench=1047 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: cb52c3dd346b4d656b5e715b686fba39 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-mitre.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-mitre.opb IDLAUNCH: 13601 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 894968 kB Buffers: 34368 kB Cached: 82724 kB SwapCached: 480 kB Active: 57884 kB Inactive: 61964 kB HighTotal: 131008 kB HighFree: 47012 kB LowTotal: 903652 kB LowFree: 847956 kB SwapTotal: 2097892 kB SwapFree: 2097148 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6040 kB Slab: 14276 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 15:48:41 (client local time) WITH STATUS 0 IN 1175.17 SECONDS stats: 13601 7 1175.17 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 10724 variables and 2045 constraints. c After prepocess the problem consists of 7047 variables and 1794 constraints. c preprocess terminated 863.296 s c Initial Lower Bound: -63593 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.02 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.92 0.98 0.99 2/54 8155 Raw data (stat): 8155 (runsolver) R 8154 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831335531 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 0.93 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 39205 0 0 0 921 77 0 0 25 0 1 0 831335531 174108672 39183 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42543 39189 1111 63 0 42480 0 vsize: 170028 [startup+20.0013 s] Raw data (loadavg): 0.94 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 66208 0 0 0 1874 125 0 0 25 0 1 0 831335531 284721152 66186 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69512 66186 1111 63 0 69449 0 vsize: 278048 [startup+30.001 s] Raw data (loadavg): 0.95 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 69599 0 0 0 2862 135 0 0 25 0 1 0 831335531 284434432 68466 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69442 68466 1111 63 0 69379 0 vsize: 277768 [startup+40.0013 s] Raw data (loadavg): 0.96 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 71832 0 0 0 3857 141 0 0 25 0 1 0 831335531 284434432 68466 4294967295 134512640 134714540 3221224592 3221223204 1077374149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69442 68466 1111 63 0 69379 0 vsize: 277768 [startup+50.0011 s] Raw data (loadavg): 0.96 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 74861 0 0 0 4850 148 0 0 25 0 1 0 831335531 289714176 69755 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70731 69755 1111 63 0 70668 0 vsize: 282924 [startup+60.0017 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 74861 0 0 0 5850 148 0 0 25 0 1 0 831335531 289714176 69755 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70731 69755 1111 63 0 70668 0 vsize: 282924 [startup+70.002 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 75154 0 0 0 6850 149 0 0 25 0 1 0 831335531 290914304 70048 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71024 70048 1111 63 0 70961 0 vsize: 284096 [startup+80.0019 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 75468 0 0 0 7849 150 0 0 25 0 1 0 831335531 292204544 70362 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71339 70362 1111 63 0 71276 0 vsize: 285356 [startup+90.0025 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 75468 0 0 0 8849 150 0 0 25 0 1 0 831335531 292204544 70362 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71339 70362 1111 63 0 71276 0 vsize: 285356 [startup+100.002 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 75814 0 0 0 9848 151 0 0 25 0 1 0 831335531 292716544 70488 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71464 70488 1111 63 0 71401 0 vsize: 285856 [startup+110.003 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 76446 0 0 0 10847 152 0 0 25 0 1 0 831335531 293789696 70750 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71726 70750 1111 63 0 71663 0 vsize: 286904 [startup+120.004 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 77122 0 0 0 11845 154 0 0 25 0 1 0 831335531 294346752 70886 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71862 70886 1111 63 0 71799 0 vsize: 287448 [startup+130.003 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 77612 0 0 0 12844 156 0 0 25 0 1 0 831335531 296148992 71326 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72302 71326 1111 63 0 72239 0 vsize: 289208 [startup+140.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 78632 0 0 0 13842 159 0 0 25 0 1 0 831335531 297996288 71776 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72753 71776 1111 63 0 72690 0 vsize: 291012 [startup+150.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 78822 0 0 0 14842 159 0 0 25 0 1 0 831335531 298254336 71840 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72816 71840 1111 63 0 72753 0 vsize: 291264 [startup+160.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 79137 0 0 0 15841 160 0 0 25 0 1 0 831335531 298254336 71840 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72816 71840 1111 63 0 72753 0 vsize: 291264 [startup+170.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 79317 0 0 0 16840 161 0 0 25 0 1 0 831335531 298254336 71840 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72816 71840 1111 63 0 72753 0 vsize: 291264 [startup+180.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 80020 0 0 0 17838 163 0 0 25 0 1 0 831335531 298594304 71923 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72899 71923 1111 63 0 72836 0 vsize: 291596 [startup+190.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 80020 0 0 0 18838 163 0 0 25 0 1 0 831335531 298594304 71923 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72899 71923 1111 63 0 72836 0 vsize: 291596 [startup+200.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 80983 0 0 0 19836 165 0 0 25 0 1 0 831335531 302501888 72876 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73853 72876 1111 63 0 73790 0 vsize: 295412 [startup+210.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 81299 0 0 0 20835 167 0 0 25 0 1 0 831335531 303058944 73012 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73989 73012 1111 63 0 73926 0 vsize: 295956 [startup+220.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 81299 0 0 0 21836 167 0 0 25 0 1 0 831335531 303058944 73012 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73989 73012 1111 63 0 73926 0 vsize: 295956 [startup+230.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 81493 0 0 0 22836 167 0 0 25 0 1 0 831335531 303357952 73086 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 74062 73086 1111 63 0 73999 0 vsize: 296248 [startup+240.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 81643 0 0 0 23835 167 0 0 25 0 1 0 831335531 303357952 73086 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 74062 73086 1111 63 0 73999 0 vsize: 296248 [startup+250.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 83193 0 0 0 24832 171 0 0 25 0 1 0 831335531 308809728 74416 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75393 74416 1111 63 0 75330 0 vsize: 301572 [startup+260.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 83193 0 0 0 25832 171 0 0 25 0 1 0 831335531 308809728 74416 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75393 74416 1111 63 0 75330 0 vsize: 301572 [startup+270.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 83193 0 0 0 26832 171 0 0 25 0 1 0 831335531 308809728 74416 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75393 74416 1111 63 0 75330 0 vsize: 301572 [startup+280.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 83193 0 0 0 27832 171 0 0 25 0 1 0 831335531 308809728 74416 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75393 74416 1111 63 0 75330 0 vsize: 301572 [startup+290.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 83193 0 0 0 28833 171 0 0 25 0 1 0 831335531 308809728 74416 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75393 74416 1111 63 0 75330 0 vsize: 301572 [startup+300.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 83193 0 0 0 29833 171 0 0 25 0 1 0 831335531 308809728 74416 4294967295 134512640 134714540 3221224592 3221223204 1077374149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75393 74416 1111 63 0 75330 0 vsize: 301572 [startup+310.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 83193 0 0 0 30833 171 0 0 25 0 1 0 831335531 308809728 74416 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75393 74416 1111 63 0 75330 0 vsize: 301572 [startup+320.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 83193 0 0 0 31833 171 0 0 25 0 1 0 831335531 308809728 74416 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75393 74416 1111 63 0 75330 0 vsize: 301572 [startup+330.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 83454 0 0 0 32833 172 0 0 25 0 1 0 831335531 308809728 74417 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75393 74417 1111 63 0 75330 0 vsize: 301572 [startup+340.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 84060 0 0 0 33831 174 0 0 25 0 1 0 831335531 309407744 74563 4294967295 134512640 134714540 3221224592 3221223016 1077377899 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75539 74563 1111 63 0 75476 0 vsize: 302156 [startup+350.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 84122 0 0 0 34831 174 0 0 25 0 1 0 831335531 309665792 74625 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75602 74625 1111 63 0 75539 0 vsize: 302408 [startup+360.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 84373 0 0 0 35831 175 0 0 25 0 1 0 831335531 309665792 74626 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75602 74626 1111 63 0 75539 0 vsize: 302408 [startup+370.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 84523 0 0 0 36830 175 0 0 25 0 1 0 831335531 309665792 74626 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75602 74626 1111 63 0 75539 0 vsize: 302408 [startup+380.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 84847 0 0 0 37830 176 0 0 25 0 1 0 831335531 310996992 74950 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75927 74950 1111 63 0 75864 0 vsize: 303708 [startup+390.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 84910 0 0 0 38830 176 0 0 25 0 1 0 831335531 311255040 75013 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75990 75013 1111 63 0 75927 0 vsize: 303960 [startup+400.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 84973 0 0 0 39830 176 0 0 25 0 1 0 831335531 311513088 75076 4294967295 134512640 134714540 3221224592 3221223200 134557221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76053 75076 1111 63 0 75990 0 vsize: 304212 [startup+410.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 85224 0 0 0 40829 177 0 0 25 0 1 0 831335531 312541184 75327 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76304 75327 1111 63 0 76241 0 vsize: 305216 [startup+420.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 85361 0 0 0 41829 177 0 0 25 0 1 0 831335531 313098240 75464 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76440 75464 1111 63 0 76377 0 vsize: 305760 [startup+430.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 85423 0 0 0 42829 177 0 0 25 0 1 0 831335531 313356288 75526 4294967295 134512640 134714540 3221224592 3221223300 134618239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76503 75526 1111 63 0 76440 0 vsize: 306012 [startup+440.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 85423 0 0 0 43830 177 0 0 25 0 1 0 831335531 313356288 75526 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76503 75526 1111 63 0 76440 0 vsize: 306012 [startup+450.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 85549 0 0 0 44829 177 0 0 25 0 1 0 831335531 313872384 75652 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76629 75652 1111 63 0 76566 0 vsize: 306516 [startup+460.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 85549 0 0 0 45830 177 0 0 25 0 1 0 831335531 313872384 75652 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76629 75652 1111 63 0 76566 0 vsize: 306516 [startup+470.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 85650 0 0 0 46829 178 0 0 25 0 1 0 831335531 313872384 75653 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76629 75653 1111 63 0 76566 0 vsize: 306516 [startup+480.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 85795 0 0 0 47829 178 0 0 25 0 1 0 831335531 314429440 75788 4294967295 134512640 134714540 3221224592 3221223168 1076999581 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76765 75788 1111 63 0 76702 0 vsize: 307060 [startup+490.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 86110 0 0 0 48828 179 0 0 25 0 1 0 831335531 315715584 76103 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77079 76103 1111 63 0 77016 0 vsize: 308316 [startup+500.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 86110 0 0 0 49829 179 0 0 25 0 1 0 831335531 315715584 76103 4294967295 134512640 134714540 3221224592 3221223316 134618349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77079 76103 1111 63 0 77016 0 vsize: 308316 [startup+510.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 86110 0 0 0 50829 179 0 0 25 0 1 0 831335531 315715584 76103 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77079 76103 1111 63 0 77016 0 vsize: 308316 [startup+520.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 86240 0 0 0 51829 180 0 0 25 0 1 0 831335531 315715584 76103 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77079 76103 1111 63 0 77016 0 vsize: 308316 [startup+530.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 87193 0 0 0 52827 182 0 0 25 0 1 0 831335531 319619072 77056 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78032 77056 1111 63 0 77969 0 vsize: 312128 [startup+540.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 87256 0 0 0 53827 182 0 0 25 0 1 0 831335531 319877120 77119 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78095 77119 1111 63 0 78032 0 vsize: 312380 [startup+550.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 87444 0 0 0 54826 183 0 0 25 0 1 0 831335531 320651264 77307 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78284 77307 1111 63 0 78221 0 vsize: 313136 [startup+560.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 87528 0 0 0 55826 183 0 0 25 0 1 0 831335531 320950272 77381 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78357 77381 1111 63 0 78294 0 vsize: 313428 [startup+570.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 87779 0 0 0 56826 184 0 0 25 0 1 0 831335531 321982464 77632 4294967295 134512640 134714540 3221224592 3221223232 1076648111 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78609 77632 1111 63 0 78546 0 vsize: 314436 [startup+580.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 87842 0 0 0 57826 184 0 0 25 0 1 0 831335531 322236416 77695 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78671 77695 1111 63 0 78608 0 vsize: 314684 [startup+590.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 87842 0 0 0 58826 184 0 0 25 0 1 0 831335531 322236416 77695 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78671 77695 1111 63 0 78608 0 vsize: 314684 [startup+600.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 88355 0 0 0 59824 186 0 0 25 0 1 0 831335531 322539520 77768 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78745 77768 1111 63 0 78682 0 vsize: 314980 [startup+610.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 88355 0 0 0 60824 186 0 0 25 0 1 0 831335531 322539520 77768 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78745 77768 1111 63 0 78682 0 vsize: 314980 [startup+620.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 88355 0 0 0 61825 186 0 0 25 0 1 0 831335531 322539520 77768 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78745 77768 1111 63 0 78682 0 vsize: 314980 [startup+630.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 88572 0 0 0 62824 187 0 0 25 0 1 0 831335531 323354624 77967 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78944 77967 1111 63 0 78881 0 vsize: 315776 [startup+640.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 88698 0 0 0 63824 187 0 0 25 0 1 0 831335531 323870720 78093 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 79070 78093 1111 63 0 79007 0 vsize: 316280 [startup+650.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 89704 0 0 0 64821 190 0 0 25 0 1 0 831335531 327987200 79099 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80075 79099 1111 63 0 80012 0 vsize: 320300 [startup+660.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 89704 0 0 0 65822 190 0 0 25 0 1 0 831335531 327987200 79099 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80075 79099 1111 63 0 80012 0 vsize: 320300 [startup+670.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 89704 0 0 0 66822 190 0 0 25 0 1 0 831335531 327987200 79099 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80075 79099 1111 63 0 80012 0 vsize: 320300 [startup+680.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 89704 0 0 0 67822 190 0 0 25 0 1 0 831335531 327987200 79099 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80075 79099 1111 63 0 80012 0 vsize: 320300 [startup+690.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 89704 0 0 0 68822 190 0 0 25 0 1 0 831335531 327987200 79099 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80075 79099 1111 63 0 80012 0 vsize: 320300 [startup+700.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 89704 0 0 0 69822 190 0 0 25 0 1 0 831335531 327987200 79099 4294967295 134512640 134714540 3221224592 3221223300 134618239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80075 79099 1111 63 0 80012 0 vsize: 320300 [startup+710.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 89704 0 0 0 70823 190 0 0 25 0 1 0 831335531 327987200 79099 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80075 79099 1111 63 0 80012 0 vsize: 320300 [startup+720.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 90290 0 0 0 71822 191 0 0 25 0 1 0 831335531 330391552 79685 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80662 79685 1111 63 0 80599 0 vsize: 322648 [startup+730.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 90290 0 0 0 72822 191 0 0 25 0 1 0 831335531 330391552 79685 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80662 79685 1111 63 0 80599 0 vsize: 322648 [startup+740.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 90290 0 0 0 73822 191 0 0 25 0 1 0 831335531 330391552 79685 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80662 79685 1111 63 0 80599 0 vsize: 322648 [startup+750.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 90290 0 0 0 74822 191 0 0 25 0 1 0 831335531 330391552 79685 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80662 79685 1111 63 0 80599 0 vsize: 322648 [startup+760.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 90290 0 0 0 75823 191 0 0 25 0 1 0 831335531 330391552 79685 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80662 79685 1111 63 0 80599 0 vsize: 322648 [startup+770.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 90426 0 0 0 76823 192 0 0 25 0 1 0 831335531 330948608 79821 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80798 79821 1111 63 0 80735 0 vsize: 323192 [startup+780.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 90426 0 0 0 77823 192 0 0 25 0 1 0 831335531 330948608 79821 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80798 79821 1111 63 0 80735 0 vsize: 323192 [startup+790.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 90426 0 0 0 78824 192 0 0 25 0 1 0 831335531 330948608 79821 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80798 79821 1111 63 0 80735 0 vsize: 323192 [startup+800.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 90426 0 0 0 79824 192 0 0 25 0 1 0 831335531 330948608 79821 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80798 79821 1111 63 0 80735 0 vsize: 323192 [startup+810.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 90827 0 0 0 80822 194 0 0 25 0 1 0 831335531 330948608 79822 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80798 79822 1111 63 0 80735 0 vsize: 323192 [startup+820.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 91617 0 0 0 81820 196 0 0 25 0 1 0 831335531 330948608 79822 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80798 79822 1111 63 0 80735 0 vsize: 323192 [startup+830.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 92417 0 0 0 82817 200 0 0 25 0 1 0 831335531 330948608 79822 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80798 79822 1111 63 0 80735 0 vsize: 323192 [startup+840.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93227 0 0 0 83814 202 0 0 25 0 1 0 831335531 330948608 79822 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80798 79822 1111 63 0 80735 0 vsize: 323192 [startup+850.046 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93440 0 0 0 84815 203 0 0 25 0 1 0 831335531 331247616 79895 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80871 79895 1111 63 0 80808 0 vsize: 323484 [startup+860.046 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93639 0 0 0 85814 203 0 0 25 0 1 0 831335531 332062720 80094 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80094 1111 63 0 81007 0 vsize: 324280 [startup+870.046 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93653 0 0 0 86814 203 0 0 25 0 1 0 831335531 332062720 80108 4294967295 134512640 134714540 3221224592 3221223292 134558630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81070 80108 1111 63 0 81007 0 vsize: 324280 [startup+880.046 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93654 0 0 0 87813 204 0 0 25 0 1 0 831335531 332062720 80109 4294967295 134512640 134714540 3221224592 3221223368 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80109 1111 63 0 81007 0 vsize: 324280 [startup+890.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93655 0 0 0 88813 204 0 0 25 0 1 0 831335531 332062720 80110 4294967295 134512640 134714540 3221224592 3221223328 134695300 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80110 1111 63 0 81007 0 vsize: 324280 [startup+900.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93656 0 0 0 89813 204 0 0 25 0 1 0 831335531 332062720 80111 4294967295 134512640 134714540 3221224592 3221223408 134611154 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80111 1111 63 0 81007 0 vsize: 324280 [startup+910.048 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93657 0 0 0 90813 205 0 0 25 0 1 0 831335531 332062720 80112 4294967295 134512640 134714540 3221224592 3221223328 134556562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80112 1111 63 0 81007 0 vsize: 324280 [startup+920.048 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93658 0 0 0 91813 205 0 0 25 0 1 0 831335531 332062720 80113 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80113 1111 63 0 81007 0 vsize: 324280 [startup+930.048 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 92813 205 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+940.048 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 93813 205 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223336 134543568 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+950.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 94813 206 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+960.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 95813 206 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+970.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 96813 206 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+980.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 97813 206 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+990.048 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 98813 206 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1000.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 99813 206 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223328 134695340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1010.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 100813 207 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223328 134695848 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1020.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 101813 207 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223328 134695351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1030.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 102813 207 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223328 134695289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1040.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 103813 207 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1050.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 104813 208 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223312 134556924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1060.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 105813 208 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223376 134558540 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1070.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 106812 208 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1080.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 107812 209 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1090.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 108812 209 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1100.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 109812 210 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1110.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 110811 210 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 111811 210 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223408 134610846 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 112811 211 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1140.07 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 113813 211 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1150.08 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 114815 211 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1160.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 115816 212 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223312 134556832 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1170.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 116815 212 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223328 134695206 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 324280 [startup+1174.99 s] Raw data (loadavg): 0.99 0.98 0.99 1/53 8155 Raw data (stat): 8155 (bsolo_mis) R 8154 7475 7474 0 -1 0 93659 0 0 0 116815 212 0 0 25 0 1 0 831335531 332062720 80114 4294967295 134512640 134714540 3221224592 3221223328 134695206 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81070 80114 1111 63 0 81007 0 vsize: 0 Child status: 0 Real time (s): 1174.99 CPU time (s): 1175.17 CPU user time (s): 1172.9 CPU system time (s): 2.27165 CPU usage (%): 100.015 Max. virtual memory (Kb): 324280 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####