Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb |
MD5SUM | 6a4305210f653cc893fd9d3ee7862505 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 185520 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 6640019433432 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 193273528320 |
Number of bits of the biggest number in a constraint | 38 |
Biggest sum of numbers in a constraint | 11024119093221 |
Number of bits of the biggest sum of numbers | 44 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.68674 |
Number of variables | 185520 |
Total number of constraints | 404 |
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 | 404 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 185520 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc12 THE 2005-05-25 04:27:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=10676 boxname=wulflinc12 idbench=822 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 6a4305210f653cc893fd9d3ee7862505 /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-d6cube.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-d6cube.opb IDLAUNCH: 10676 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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: 422640 kB Buffers: 38156 kB Cached: 552060 kB SwapCached: 568 kB Active: 144924 kB Inactive: 447764 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 422388 kB SwapTotal: 2097136 kB SwapFree: 2096076 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5676 kB Slab: 13572 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 04:47:10 (client local time) WITH STATUS 0 IN 1200.24 SECONDS stats: 10676 7 1200.24 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### 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.75 0.91 0.93 2/54 8105 Raw data (stat): 8105 (runsolver) R 8104 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777764232 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.0007 s] Raw data (loadavg): 0.79 0.92 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1242 0 0 0 994 4 0 0 25 0 1 0 777764232 15355904 1220 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3749 1220 1111 63 0 3686 0 vsize: 14996 [startup+20.0015 s] Raw data (loadavg): 0.82 0.92 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1332 0 0 0 1994 5 0 0 25 0 1 0 777764232 15810560 1310 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3860 1310 1111 63 0 3797 0 vsize: 15440 [startup+30.0021 s] Raw data (loadavg): 0.85 0.92 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1426 0 0 0 2994 5 0 0 25 0 1 0 777764232 16109568 1404 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3933 1404 1111 63 0 3870 0 vsize: 15732 [startup+40.0022 s] Raw data (loadavg): 0.87 0.92 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1521 0 0 0 3993 5 0 0 25 0 1 0 777764232 16551936 1499 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4041 1499 1111 63 0 3978 0 vsize: 16164 [startup+50.011 s] Raw data (loadavg): 0.89 0.92 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1617 0 0 0 4994 6 0 0 25 0 1 0 777764232 16977920 1595 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 1595 1111 63 0 4082 0 vsize: 16580 [startup+60.0123 s] Raw data (loadavg): 0.90 0.93 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1714 0 0 0 5994 6 0 0 25 0 1 0 777764232 17403904 1692 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4249 1692 1111 63 0 4186 0 vsize: 16996 [startup+70.0127 s] Raw data (loadavg): 0.92 0.93 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1810 0 0 0 6993 7 0 0 25 0 1 0 777764232 17711104 1788 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4324 1788 1111 63 0 4261 0 vsize: 17296 [startup+80.0125 s] Raw data (loadavg): 0.93 0.93 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1904 0 0 0 7993 8 0 0 25 0 1 0 777764232 18157568 1882 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4433 1882 1111 63 0 4370 0 vsize: 17732 [startup+90.0131 s] Raw data (loadavg): 0.94 0.93 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1994 0 0 0 8992 9 0 0 25 0 1 0 777764232 18456576 1972 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4506 1972 1111 63 0 4443 0 vsize: 18024 [startup+100.013 s] Raw data (loadavg): 0.95 0.93 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2095 0 0 0 9992 9 0 0 25 0 1 0 777764232 18907136 2073 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4616 2073 1111 63 0 4553 0 vsize: 18464 [startup+110.014 s] Raw data (loadavg): 0.96 0.94 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2188 0 0 0 10992 9 0 0 25 0 1 0 777764232 19345408 2166 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4723 2166 1111 63 0 4660 0 vsize: 18892 [startup+120.014 s] Raw data (loadavg): 0.96 0.94 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2290 0 0 0 11991 10 0 0 25 0 1 0 777764232 19771392 2268 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4827 2268 1111 63 0 4764 0 vsize: 19308 [startup+130.014 s] Raw data (loadavg): 0.97 0.94 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2379 0 0 0 12991 10 0 0 25 0 1 0 777764232 20066304 2357 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4899 2357 1111 63 0 4836 0 vsize: 19596 [startup+140.015 s] Raw data (loadavg): 0.97 0.94 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2481 0 0 0 13991 11 0 0 25 0 1 0 777764232 20520960 2459 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5010 2459 1111 63 0 4947 0 vsize: 20040 [startup+150.015 s] Raw data (loadavg): 0.98 0.94 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2570 0 0 0 14991 11 0 0 25 0 1 0 777764232 20819968 2548 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5083 2548 1111 63 0 5020 0 vsize: 20332 [startup+160.015 s] Raw data (loadavg): 0.98 0.94 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2672 0 0 0 15990 12 0 0 25 0 1 0 777764232 21270528 2650 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5193 2650 1111 63 0 5130 0 vsize: 20772 [startup+170.016 s] Raw data (loadavg): 0.98 0.94 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2760 0 0 0 16990 12 0 0 25 0 1 0 777764232 21569536 2738 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5266 2738 1111 63 0 5203 0 vsize: 21064 [startup+180.016 s] Raw data (loadavg): 0.98 0.95 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2861 0 0 0 17989 13 0 0 25 0 1 0 777764232 22016000 2839 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5375 2839 1111 63 0 5312 0 vsize: 21500 [startup+190.017 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2951 0 0 0 18989 13 0 0 25 0 1 0 777764232 22470656 2929 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5486 2929 1111 63 0 5423 0 vsize: 21944 [startup+200.017 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3051 0 0 0 19989 14 0 0 25 0 1 0 777764232 22765568 3029 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5558 3029 1111 63 0 5495 0 vsize: 22232 [startup+210.018 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3148 0 0 0 20988 14 0 0 25 0 1 0 777764232 23216128 3126 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5668 3126 1111 63 0 5605 0 vsize: 22672 [startup+220.018 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3249 0 0 0 21988 15 0 0 25 0 1 0 777764232 23654400 3227 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5775 3227 1111 63 0 5712 0 vsize: 23100 [startup+230.018 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3339 0 0 0 22987 16 0 0 25 0 1 0 777764232 23953408 3317 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5848 3317 1111 63 0 5785 0 vsize: 23392 [startup+240.018 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3439 0 0 0 23987 17 0 0 25 0 1 0 777764232 24408064 3417 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5959 3417 1111 63 0 5896 0 vsize: 23836 [startup+250.018 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3529 0 0 0 24986 17 0 0 25 0 1 0 777764232 24850432 3507 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6067 3507 1111 63 0 6004 0 vsize: 24268 [startup+260.019 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3632 0 0 0 25986 18 0 0 25 0 1 0 777764232 25276416 3610 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6171 3610 1111 63 0 6108 0 vsize: 24684 [startup+270.03 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3726 0 0 0 26986 18 0 0 25 0 1 0 777764232 25571328 3704 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6243 3704 1111 63 0 6180 0 vsize: 24972 [startup+280.029 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3823 0 0 0 27986 19 0 0 25 0 1 0 777764232 26025984 3801 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6354 3801 1111 63 0 6291 0 vsize: 25416 [startup+290.03 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3917 0 0 0 28986 19 0 0 25 0 1 0 777764232 26324992 3895 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6427 3895 1111 63 0 6364 0 vsize: 25708 [startup+300.03 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4014 0 0 0 29985 20 0 0 25 0 1 0 777764232 26775552 3992 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6537 3992 1111 63 0 6474 0 vsize: 26148 [startup+310.031 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4110 0 0 0 30985 21 0 0 25 0 1 0 777764232 27222016 4088 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6646 4088 1111 63 0 6583 0 vsize: 26584 [startup+320.032 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4206 0 0 0 31985 21 0 0 25 0 1 0 777764232 27521024 4184 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6719 4184 1111 63 0 6656 0 vsize: 26876 [startup+330.032 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4301 0 0 0 32984 22 0 0 25 0 1 0 777764232 27971584 4279 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6829 4279 1111 63 0 6766 0 vsize: 27316 [startup+340.032 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4395 0 0 0 33984 22 0 0 25 0 1 0 777764232 28270592 4373 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6902 4373 1111 63 0 6839 0 vsize: 27608 [startup+350.032 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4499 0 0 0 34983 23 0 0 25 0 1 0 777764232 28725248 4477 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7013 4477 1111 63 0 6950 0 vsize: 28052 [startup+360.033 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4587 0 0 0 35983 23 0 0 25 0 1 0 777764232 29171712 4565 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7122 4565 1111 63 0 7059 0 vsize: 28488 [startup+370.034 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4689 0 0 0 36983 24 0 0 25 0 1 0 777764232 29474816 4667 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7196 4667 1111 63 0 7133 0 vsize: 28784 [startup+380.034 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4784 0 0 0 37982 25 0 0 25 0 1 0 777764232 29921280 4762 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7305 4762 1111 63 0 7242 0 vsize: 29220 [startup+390.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4880 0 0 0 38982 25 0 0 25 0 1 0 777764232 30371840 4858 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7415 4858 1111 63 0 7352 0 vsize: 29660 [startup+400.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4975 0 0 0 39982 26 0 0 25 0 1 0 777764232 30670848 4953 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7488 4953 1111 63 0 7425 0 vsize: 29952 [startup+410.039 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5088 0 0 0 40981 26 0 0 25 0 1 0 777764232 31277056 5066 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7636 5066 1111 63 0 7573 0 vsize: 30544 [startup+420.039 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5183 0 0 0 41981 26 0 0 25 0 1 0 777764232 31580160 5161 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7710 5161 1111 63 0 7647 0 vsize: 30840 [startup+430.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5278 0 0 0 42981 27 0 0 25 0 1 0 777764232 32022528 5256 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7818 5256 1111 63 0 7755 0 vsize: 31272 [startup+440.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5375 0 0 0 43980 28 0 0 25 0 1 0 777764232 32329728 5353 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7893 5353 1111 63 0 7830 0 vsize: 31572 [startup+450.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5470 0 0 0 44979 29 0 0 25 0 1 0 777764232 32776192 5448 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8002 5448 1111 63 0 7939 0 vsize: 32008 [startup+460.042 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5567 0 0 0 45979 29 0 0 25 0 1 0 777764232 33226752 5545 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8112 5545 1111 63 0 8049 0 vsize: 32448 [startup+470.042 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5668 0 0 0 46979 29 0 0 25 0 1 0 777764232 33525760 5646 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8185 5646 1111 63 0 8122 0 vsize: 32740 [startup+480.042 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5765 0 0 0 47979 30 0 0 25 0 1 0 777764232 33972224 5743 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8294 5743 1111 63 0 8231 0 vsize: 33176 [startup+490.042 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5860 0 0 0 48979 30 0 0 25 0 1 0 777764232 34422784 5838 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8404 5838 1111 63 0 8341 0 vsize: 33616 [startup+500.043 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5961 0 0 0 49979 30 0 0 25 0 1 0 777764232 34721792 5939 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8477 5939 1111 63 0 8414 0 vsize: 33908 [startup+510.044 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6058 0 0 0 50979 30 0 0 25 0 1 0 777764232 35176448 6036 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8588 6036 1111 63 0 8525 0 vsize: 34352 [startup+520.044 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6153 0 0 0 51978 31 0 0 25 0 1 0 777764232 35622912 6131 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8697 6131 1111 63 0 8634 0 vsize: 34788 [startup+530.044 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6250 0 0 0 52978 32 0 0 25 0 1 0 777764232 35926016 6228 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8771 6228 1111 63 0 8708 0 vsize: 35084 [startup+540.044 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6345 0 0 0 53977 32 0 0 25 0 1 0 777764232 36372480 6323 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8880 6323 1111 63 0 8817 0 vsize: 35520 [startup+550.044 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6448 0 0 0 54977 33 0 0 25 0 1 0 777764232 36823040 6426 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8990 6426 1111 63 0 8927 0 vsize: 35960 [startup+560.045 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6543 0 0 0 55976 33 0 0 25 0 1 0 777764232 37122048 6521 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9063 6521 1111 63 0 9000 0 vsize: 36252 [startup+570.046 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6638 0 0 0 56977 33 0 0 25 0 1 0 777764232 37572608 6616 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9173 6616 1111 63 0 9110 0 vsize: 36692 [startup+580.045 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6740 0 0 0 57976 34 0 0 25 0 1 0 777764232 38023168 6718 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9283 6718 1111 63 0 9220 0 vsize: 37132 [startup+590.045 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6835 0 0 0 58976 34 0 0 25 0 1 0 777764232 38318080 6813 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9355 6813 1111 63 0 9292 0 vsize: 37420 [startup+600.045 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6933 0 0 0 59976 34 0 0 25 0 1 0 777764232 38772736 6911 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9466 6911 1111 63 0 9403 0 vsize: 37864 [startup+610.046 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7033 0 0 0 60975 35 0 0 25 0 1 0 777764232 39219200 7011 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9575 7011 1111 63 0 9512 0 vsize: 38300 [startup+620.046 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7131 0 0 0 61975 36 0 0 25 0 1 0 777764232 39522304 7109 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9649 7109 1111 63 0 9586 0 vsize: 38596 [startup+630.046 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7226 0 0 0 62975 36 0 0 25 0 1 0 777764232 39972864 7204 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9759 7204 1111 63 0 9696 0 vsize: 39036 [startup+640.047 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7328 0 0 0 63975 36 0 0 25 0 1 0 777764232 40423424 7306 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9869 7306 1111 63 0 9806 0 vsize: 39476 [startup+650.046 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7424 0 0 0 64974 36 0 0 25 0 1 0 777764232 40722432 7402 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9942 7402 1111 63 0 9879 0 vsize: 39768 [startup+660.047 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7519 0 0 0 65974 36 0 0 25 0 1 0 777764232 41168896 7497 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10051 7497 1111 63 0 9988 0 vsize: 40204 [startup+670.048 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7623 0 0 0 66974 37 0 0 25 0 1 0 777764232 41619456 7601 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10161 7601 1111 63 0 10098 0 vsize: 40644 [startup+680.048 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7724 0 0 0 67973 38 0 0 25 0 1 0 777764232 41918464 7702 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10234 7702 1111 63 0 10171 0 vsize: 40936 [startup+690.048 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7820 0 0 0 68973 38 0 0 25 0 1 0 777764232 42373120 7798 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10345 7798 1111 63 0 10282 0 vsize: 41380 [startup+700.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7917 0 0 0 69973 39 0 0 25 0 1 0 777764232 42815488 7895 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10453 7895 1111 63 0 10390 0 vsize: 41812 [startup+710.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8019 0 0 0 70973 39 0 0 25 0 1 0 777764232 43122688 7997 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10528 7997 1111 63 0 10465 0 vsize: 42112 [startup+720.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8115 0 0 0 71973 40 0 0 25 0 1 0 777764232 43569152 8093 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10637 8093 1111 63 0 10574 0 vsize: 42548 [startup+730.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8212 0 0 0 72972 40 0 0 25 0 1 0 777764232 44019712 8190 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10747 8190 1111 63 0 10684 0 vsize: 42988 [startup+740.053 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8313 0 0 0 73972 41 0 0 25 0 1 0 777764232 44318720 8291 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10820 8291 1111 63 0 10757 0 vsize: 43280 [startup+750.053 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8415 0 0 0 74971 41 0 0 25 0 1 0 777764232 44765184 8393 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10929 8393 1111 63 0 10866 0 vsize: 43716 [startup+760.054 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8511 0 0 0 75971 42 0 0 25 0 1 0 777764232 45215744 8489 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11039 8489 1111 63 0 10976 0 vsize: 44156 [startup+770.054 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8607 0 0 0 76971 42 0 0 25 0 1 0 777764232 45514752 8585 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11112 8585 1111 63 0 11049 0 vsize: 44448 [startup+780.054 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8709 0 0 0 77971 42 0 0 25 0 1 0 777764232 45969408 8687 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11223 8687 1111 63 0 11160 0 vsize: 44892 [startup+790.054 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8810 0 0 0 78970 43 0 0 25 0 1 0 777764232 46415872 8788 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11332 8788 1111 63 0 11269 0 vsize: 45328 [startup+800.054 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8907 0 0 0 79970 43 0 0 25 0 1 0 777764232 46870528 8885 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11443 8885 1111 63 0 11380 0 vsize: 45772 [startup+810.055 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9029 0 0 0 80970 43 0 0 25 0 1 0 777764232 47357952 9007 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11562 9007 1111 63 0 11499 0 vsize: 46248 [startup+820.056 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9125 0 0 0 81970 43 0 0 25 0 1 0 777764232 47808512 9103 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11672 9103 1111 63 0 11609 0 vsize: 46688 [startup+830.055 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9226 0 0 0 82969 44 0 0 25 0 1 0 777764232 48259072 9204 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11782 9204 1111 63 0 11719 0 vsize: 47128 [startup+840.056 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9323 0 0 0 83969 45 0 0 25 0 1 0 777764232 48558080 9301 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11855 9301 1111 63 0 11792 0 vsize: 47420 [startup+850.056 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9418 0 0 0 84969 45 0 0 25 0 1 0 777764232 49008640 9396 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11965 9396 1111 63 0 11902 0 vsize: 47860 [startup+860.057 s] Raw data (loadavg): 1.06 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9520 0 0 0 85969 45 0 0 25 0 1 0 777764232 49455104 9498 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12074 9498 1111 63 0 12011 0 vsize: 48296 [startup+870.057 s] Raw data (loadavg): 1.05 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9617 0 0 0 86968 46 0 0 25 0 1 0 777764232 49758208 9595 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12148 9595 1111 63 0 12085 0 vsize: 48592 [startup+880.058 s] Raw data (loadavg): 1.04 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9718 0 0 0 87969 46 0 0 25 0 1 0 777764232 50204672 9696 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12257 9696 1111 63 0 12194 0 vsize: 49028 [startup+890.058 s] Raw data (loadavg): 1.04 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9815 0 0 0 88969 46 0 0 25 0 1 0 777764232 50659328 9793 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12368 9793 1111 63 0 12305 0 vsize: 49472 [startup+900.058 s] Raw data (loadavg): 1.03 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9916 0 0 0 89969 46 0 0 25 0 1 0 777764232 51105792 9894 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12477 9894 1111 63 0 12414 0 vsize: 49908 [startup+910.059 s] Raw data (loadavg): 1.03 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10013 0 0 0 90969 46 0 0 25 0 1 0 777764232 51408896 9991 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12551 9991 1111 63 0 12488 0 vsize: 50204 [startup+920.059 s] Raw data (loadavg): 1.02 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10110 0 0 0 91969 47 0 0 25 0 1 0 777764232 51855360 10088 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12660 10088 1111 63 0 12597 0 vsize: 50640 [startup+930.059 s] Raw data (loadavg): 1.02 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10212 0 0 0 92969 47 0 0 25 0 1 0 777764232 52305920 10190 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12770 10190 1111 63 0 12707 0 vsize: 51080 [startup+940.06 s] Raw data (loadavg): 1.01 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10313 0 0 0 93969 47 0 0 25 0 1 0 777764232 52604928 10291 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12843 10291 1111 63 0 12780 0 vsize: 51372 [startup+950.06 s] Raw data (loadavg): 1.01 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10408 0 0 0 94969 47 0 0 25 0 1 0 777764232 53051392 10386 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12952 10386 1111 63 0 12889 0 vsize: 51808 [startup+960.06 s] Raw data (loadavg): 1.01 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10505 0 0 0 95969 47 0 0 25 0 1 0 777764232 53506048 10483 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13063 10483 1111 63 0 13000 0 vsize: 52252 [startup+970.06 s] Raw data (loadavg): 1.01 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10607 0 0 0 96969 47 0 0 25 0 1 0 777764232 53800960 10585 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13135 10585 1111 63 0 13072 0 vsize: 52540 [startup+980.06 s] Raw data (loadavg): 1.01 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10710 0 0 0 97969 48 0 0 25 0 1 0 777764232 54255616 10688 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13246 10688 1111 63 0 13183 0 vsize: 52984 [startup+990.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10805 0 0 0 98969 48 0 0 25 0 1 0 777764232 54702080 10783 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13355 10783 1111 63 0 13292 0 vsize: 53420 [startup+1000.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10902 0 0 0 99969 48 0 0 25 0 1 0 777764232 55005184 10880 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13429 10880 1111 63 0 13366 0 vsize: 53716 [startup+1010.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11004 0 0 0 100969 48 0 0 25 0 1 0 777764232 55455744 10982 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13539 10982 1111 63 0 13476 0 vsize: 54156 [startup+1020.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11108 0 0 0 101969 48 0 0 25 0 1 0 777764232 55906304 11086 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13649 11086 1111 63 0 13586 0 vsize: 54596 [startup+1030.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11203 0 0 0 102969 48 0 0 25 0 1 0 777764232 56352768 11181 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13758 11181 1111 63 0 13695 0 vsize: 55032 [startup+1040.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11304 0 0 0 103969 48 0 0 25 0 1 0 777764232 56651776 11282 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13831 11282 1111 63 0 13768 0 vsize: 55324 [startup+1050.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11401 0 0 0 104969 48 0 0 25 0 1 0 777764232 57102336 11379 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13941 11379 1111 63 0 13878 0 vsize: 55764 [startup+1060.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11503 0 0 0 105969 48 0 0 25 0 1 0 777764232 57548800 11481 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14050 11481 1111 63 0 13987 0 vsize: 56200 [startup+1070.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11606 0 0 0 106970 48 0 0 25 0 1 0 777764232 57974784 11584 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14154 11584 1111 63 0 14091 0 vsize: 56616 [startup+1080.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11702 0 0 0 107969 49 0 0 25 0 1 0 777764232 58269696 11680 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14226 11680 1111 63 0 14163 0 vsize: 56904 [startup+1090.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11805 0 0 0 108969 49 0 0 25 0 1 0 777764232 58724352 11783 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14337 11783 1111 63 0 14274 0 vsize: 57348 [startup+1100.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11900 0 0 0 109969 49 0 0 25 0 1 0 777764232 59170816 11878 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14446 11878 1111 63 0 14383 0 vsize: 57784 [startup+1110.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12004 0 0 0 110969 50 0 0 25 0 1 0 777764232 59621376 11982 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14556 11982 1111 63 0 14493 0 vsize: 58224 [startup+1120.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12106 0 0 0 111969 50 0 0 25 0 1 0 777764232 59920384 12084 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14629 12084 1111 63 0 14566 0 vsize: 58516 [startup+1130.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12209 0 0 0 112969 50 0 0 25 0 1 0 777764232 60366848 12187 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14738 12187 1111 63 0 14675 0 vsize: 58952 [startup+1140.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12305 0 0 0 113969 51 0 0 25 0 1 0 777764232 60817408 12283 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14848 12283 1111 63 0 14785 0 vsize: 59392 [startup+1150.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12406 0 0 0 114969 51 0 0 25 0 1 0 777764232 61267968 12384 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14958 12384 1111 63 0 14895 0 vsize: 59832 [startup+1160.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12504 0 0 0 115969 51 0 0 25 0 1 0 777764232 61571072 12482 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15032 12482 1111 63 0 14969 0 vsize: 60128 [startup+1170.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12605 0 0 0 116968 52 0 0 25 0 1 0 777764232 62017536 12583 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15141 12583 1111 63 0 15078 0 vsize: 60564 [startup+1180.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12709 0 0 0 117968 52 0 0 25 0 1 0 777764232 62472192 12687 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15252 12687 1111 63 0 15189 0 vsize: 61008 [startup+1190.07 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12811 0 0 0 118968 52 0 0 25 0 1 0 777764232 62914560 12789 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15360 12789 1111 63 0 15297 0 vsize: 61440 [startup+1200.07 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 8105 Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12908 0 0 0 119968 52 0 0 25 0 1 0 777764232 63217664 12886 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15434 12886 1111 63 0 15371 0 vsize: 61736 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.09 s] Raw data (loadavg): 1.00 0.99 0.93 1/54 8105 Raw data (stat): 8105 (bsolo_mis) Z 8104 32284 32283 0 -1 1036 12908 0 0 0 119968 55 0 0 25 0 1 0 777764232 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.09 CPU time (s): 1200.24 CPU user time (s): 1199.69 CPU system time (s): 0.552915 CPU usage (%): 100.012 Max. virtual memory (Kb): 61736 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####