Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb |
MD5SUM | eb0734273e24196dd14c6f237b52fa81 |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 8904 |
Biggest coefficient in the objective function | 2258 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 5135151 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 2258 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 5135151 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.12098 |
Number of variables | 8904 |
Total number of constraints | 9727 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 9727 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 368 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-05-24 16:50:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11651 boxname=wulflinc1 idbench=897 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: eb0734273e24196dd14c6f237b52fa81 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-air04.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-air04.opb IDLAUNCH: 11651 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 389732 kB Buffers: 38460 kB Cached: 575580 kB SwapCached: 0 kB Active: 85704 kB Inactive: 531416 kB HighTotal: 131008 kB HighFree: 25648 kB LowTotal: 903652 kB LowFree: 364084 kB SwapTotal: 2097136 kB SwapFree: 2096968 kB Dirty: 28 kB Writeback: 0 kB Mapped: 7144 kB Slab: 22144 kB Committed_AS: 92716 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 17:10:04 (client local time) WITH STATUS 0 IN 1175.16 SECONDS stats: 11651 7 1175.16 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 8904 variables and 1646 constraints. c After prepocess the problem consists of 7524 variables and 1232 constraints. c preprocess terminated 271.993 s c Initial Lower Bound: 19825 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.03 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.91 0.95 0.97 2/55 9868 Raw data (stat): 9868 (runsolver) R 9867 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 716734031 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.0006 s] Raw data (loadavg): 0.93 0.95 0.97 3/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 37628 0 0 0 931 67 0 0 25 0 1 0 716734031 167690240 37606 4294967295 134512640 134714540 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40940 37606 1111 63 0 40877 0 vsize: 163760 [startup+20.0014 s] Raw data (loadavg): 0.94 0.96 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 54937 0 0 0 1899 99 0 0 25 0 1 0 716734031 238616576 54915 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58256 54915 1111 63 0 58193 0 vsize: 233024 [startup+30.0012 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 55837 0 0 0 2896 101 0 0 25 0 1 0 716734031 242266112 55815 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59147 55815 1111 63 0 59084 0 vsize: 236588 [startup+40.001 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 56722 0 0 0 3893 104 0 0 25 0 1 0 716734031 245915648 56700 4294967295 134512640 134714540 3221224592 3221222876 1077399580 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 60038 56700 1111 63 0 59975 0 vsize: 240152 [startup+50.0026 s] Raw data (loadavg): 0.96 0.96 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58021 0 0 0 4889 108 0 0 25 0 1 0 716734031 241373184 57956 4294967295 134512640 134714540 3221224592 3221223100 134543615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58929 57956 1111 63 0 58866 0 vsize: 235716 [startup+60.0025 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58023 0 0 0 5888 108 0 0 25 0 1 0 716734031 241373184 57958 4294967295 134512640 134714540 3221224592 3221223084 134542372 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58929 57958 1111 63 0 58866 0 vsize: 235716 [startup+70.0033 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58027 0 0 0 6889 108 0 0 25 0 1 0 716734031 241508352 57962 4294967295 134512640 134714540 3221224592 3221222972 134539262 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58962 57962 1111 63 0 58899 0 vsize: 235848 [startup+80.0031 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58030 0 0 0 7889 108 0 0 25 0 1 0 716734031 241508352 57965 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58962 57965 1111 63 0 58899 0 vsize: 235848 [startup+90.0029 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58035 0 0 0 8889 108 0 0 25 0 1 0 716734031 241508352 57970 4294967295 134512640 134714540 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58962 57970 1111 63 0 58899 0 vsize: 235848 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58044 0 0 0 9889 108 0 0 25 0 1 0 716734031 241508352 57979 4294967295 134512640 134714540 3221224592 3221223136 134584734 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58962 57979 1111 63 0 58899 0 vsize: 235848 [startup+110.004 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58050 0 0 0 10889 108 0 0 25 0 1 0 716734031 241508352 57985 4294967295 134512640 134714540 3221224592 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58962 57985 1111 63 0 58899 0 vsize: 235848 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58057 0 0 0 11889 108 0 0 25 0 1 0 716734031 241508352 57992 4294967295 134512640 134714540 3221224592 3221223320 134672913 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58962 57992 1111 63 0 58899 0 vsize: 235848 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58065 0 0 0 12890 108 0 0 25 0 1 0 716734031 241643520 58000 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58995 58000 1111 63 0 58932 0 vsize: 235980 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58069 0 0 0 13890 108 0 0 25 0 1 0 716734031 241643520 58004 4294967295 134512640 134714540 3221224592 3221223084 134543615 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58995 58004 1111 63 0 58932 0 vsize: 235980 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58074 0 0 0 14890 108 0 0 25 0 1 0 716734031 241643520 58009 4294967295 134512640 134714540 3221224592 3221223072 134536630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58995 58009 1111 63 0 58932 0 vsize: 235980 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58078 0 0 0 15890 108 0 0 25 0 1 0 716734031 241643520 58013 4294967295 134512640 134714540 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58995 58013 1111 63 0 58932 0 vsize: 235980 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58087 0 0 0 16890 108 0 0 25 0 1 0 716734031 241643520 58022 4294967295 134512640 134714540 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58995 58022 1111 63 0 58932 0 vsize: 235980 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58092 0 0 0 17890 108 0 0 25 0 1 0 716734031 241778688 58027 4294967295 134512640 134714540 3221224592 3221223384 134617118 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59028 58027 1111 63 0 58965 0 vsize: 236112 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58097 0 0 0 18890 108 0 0 25 0 1 0 716734031 241778688 58032 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59028 58032 1111 63 0 58965 0 vsize: 236112 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58100 0 0 0 19891 108 0 0 25 0 1 0 716734031 241778688 58035 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59028 58035 1111 63 0 58965 0 vsize: 236112 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58104 0 0 0 20891 108 0 0 25 0 1 0 716734031 241778688 58039 4294967295 134512640 134714540 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59028 58039 1111 63 0 58965 0 vsize: 236112 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58112 0 0 0 21891 108 0 0 25 0 1 0 716734031 241778688 58047 4294967295 134512640 134714540 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59028 58047 1111 63 0 58965 0 vsize: 236112 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58117 0 0 0 22891 108 0 0 25 0 1 0 716734031 241778688 58052 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59028 58052 1111 63 0 58965 0 vsize: 236112 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58124 0 0 0 23891 109 0 0 25 0 1 0 716734031 241913856 58059 4294967295 134512640 134714540 3221224592 3221223212 134543776 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59061 58059 1111 63 0 58998 0 vsize: 236244 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58132 0 0 0 24891 109 0 0 25 0 1 0 716734031 241913856 58067 4294967295 134512640 134714540 3221224592 3221223056 134542344 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59061 58067 1111 63 0 58998 0 vsize: 236244 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58139 0 0 0 25892 109 0 0 25 0 1 0 716734031 241913856 58074 4294967295 134512640 134714540 3221224592 3221223080 134542370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59061 58074 1111 63 0 58998 0 vsize: 236244 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58145 0 0 0 26892 109 0 0 25 0 1 0 716734031 241913856 58080 4294967295 134512640 134714540 3221224592 3221223212 134536856 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59061 58080 1111 63 0 58998 0 vsize: 236244 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58545 0 0 0 27891 109 0 0 25 0 1 0 716734031 243601408 58480 4294967295 134512640 134714540 3221224592 3221223184 134696083 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 59473 58480 1111 63 0 59410 0 vsize: 237892 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58634 0 0 0 28890 110 0 0 25 0 1 0 716734031 244006912 58569 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59572 58569 1111 63 0 59509 0 vsize: 238288 [startup+300.008 s] Raw data (loadavg): 1.06 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58755 0 0 0 29890 110 0 0 25 0 1 0 716734031 244412416 58690 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59671 58690 1111 63 0 59608 0 vsize: 238684 [startup+310.009 s] Raw data (loadavg): 1.05 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58851 0 0 0 30890 110 0 0 25 0 1 0 716734031 244817920 58786 4294967295 134512640 134714540 3221224592 3221223336 134558587 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59770 58786 1111 63 0 59707 0 vsize: 239080 [startup+320.009 s] Raw data (loadavg): 1.04 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58980 0 0 0 31890 111 0 0 25 0 1 0 716734031 245358592 58915 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59902 58915 1111 63 0 59839 0 vsize: 239608 [startup+330.009 s] Raw data (loadavg): 1.04 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58980 0 0 0 32890 111 0 0 25 0 1 0 716734031 245358592 58915 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59902 58915 1111 63 0 59839 0 vsize: 239608 [startup+340.009 s] Raw data (loadavg): 1.03 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 58980 0 0 0 33890 111 0 0 25 0 1 0 716734031 245358592 58915 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59902 58915 1111 63 0 59839 0 vsize: 239608 [startup+350.009 s] Raw data (loadavg): 1.03 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 59115 0 0 0 34889 111 0 0 25 0 1 0 716734031 245899264 59050 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60034 59050 1111 63 0 59971 0 vsize: 240136 [startup+360.01 s] Raw data (loadavg): 1.02 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 59399 0 0 0 35889 112 0 0 25 0 1 0 716734031 247115776 59334 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60331 59334 1111 63 0 60268 0 vsize: 241324 [startup+370.01 s] Raw data (loadavg): 1.02 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 59403 0 0 0 36889 112 0 0 25 0 1 0 716734031 247115776 59338 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60331 59338 1111 63 0 60268 0 vsize: 241324 [startup+380.01 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 59554 0 0 0 37889 112 0 0 25 0 1 0 716734031 247656448 59489 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60463 59489 1111 63 0 60400 0 vsize: 241852 [startup+390.009 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 59633 0 0 0 38889 112 0 0 25 0 1 0 716734031 248061952 59568 4294967295 134512640 134714540 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60562 59568 1111 63 0 60499 0 vsize: 242248 [startup+400.009 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 59800 0 0 0 39889 113 0 0 25 0 1 0 716734031 248737792 59735 4294967295 134512640 134714540 3221224592 3221223304 134553169 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60727 59735 1111 63 0 60664 0 vsize: 242908 [startup+410.011 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 59897 0 0 0 40889 113 0 0 25 0 1 0 716734031 249143296 59832 4294967295 134512640 134714540 3221224592 3221223368 134543141 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60826 59832 1111 63 0 60763 0 vsize: 243304 [startup+420.011 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60002 0 0 0 41889 113 0 0 25 0 1 0 716734031 249548800 59937 4294967295 134512640 134714540 3221224592 3221223360 134592449 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60925 59937 1111 63 0 60862 0 vsize: 243700 [startup+430.011 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60179 0 0 0 42889 113 0 0 25 0 1 0 716734031 250224640 60114 4294967295 134512640 134714540 3221224592 3221223176 134543589 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61090 60114 1111 63 0 61027 0 vsize: 244360 [startup+440.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60287 0 0 0 43889 114 0 0 25 0 1 0 716734031 250765312 60222 4294967295 134512640 134714540 3221224592 3221223356 134543540 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61222 60222 1111 63 0 61159 0 vsize: 244888 [startup+450.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60394 0 0 0 44888 114 0 0 25 0 1 0 716734031 251170816 60329 4294967295 134512640 134714540 3221224592 3221223328 134523930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61321 60329 1111 63 0 61258 0 vsize: 245284 [startup+460.011 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60483 0 0 0 45889 114 0 0 25 0 1 0 716734031 251576320 60418 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61420 60418 1111 63 0 61357 0 vsize: 245680 [startup+470.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 46888 115 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+480.011 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 47888 115 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223232 134542848 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+490.011 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 48888 116 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+500.011 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 49888 116 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+510.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 50888 116 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223356 134556376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+520.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 51888 116 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+530.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 52888 116 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+540.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 53888 116 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223384 134542416 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+550.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 54888 117 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223328 134556562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+560.013 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 55888 117 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+570.014 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 9868 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 56888 117 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223360 134556610 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+580.013 s] Raw data (loadavg): 1.07 1.00 0.98 2/55 9921 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 57888 117 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223152 134542344 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+590.013 s] Raw data (loadavg): 1.06 1.00 0.98 2/55 9921 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 58887 118 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+600.013 s] Raw data (loadavg): 1.05 1.00 0.98 2/55 9921 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 59888 118 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+610.014 s] Raw data (loadavg): 1.04 1.00 0.98 2/55 9921 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 60888 118 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223312 134622761 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+620.013 s] Raw data (loadavg): 1.04 1.00 0.98 2/55 9921 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60736 0 0 0 61888 118 0 0 25 0 1 0 716734031 252522496 60671 4294967295 134512640 134714540 3221224592 3221223328 134622902 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61651 60671 1111 63 0 61588 0 vsize: 246604 [startup+630.013 s] Raw data (loadavg): 1.03 1.00 0.98 2/55 9921 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60748 0 0 0 62888 118 0 0 25 0 1 0 716734031 252657664 60683 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61684 60683 1111 63 0 61621 0 vsize: 246736 [startup+640.014 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 9923 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60819 0 0 0 63886 119 0 0 25 0 1 0 716734031 252919808 60754 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61748 60754 1111 63 0 61685 0 vsize: 246992 [startup+650.014 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60877 0 0 0 64886 119 0 0 25 0 1 0 716734031 253190144 60812 4294967295 134512640 134714540 3221224592 3221223336 134558593 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61814 60812 1111 63 0 61751 0 vsize: 247256 [startup+660.014 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 60957 0 0 0 65886 120 0 0 25 0 1 0 716734031 253460480 60892 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61880 60892 1111 63 0 61817 0 vsize: 247520 [startup+670.013 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61153 0 0 0 66885 121 0 0 25 0 1 0 716734031 254271488 61088 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62078 61088 1111 63 0 62015 0 vsize: 248312 [startup+680.013 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61153 0 0 0 67886 121 0 0 25 0 1 0 716734031 254271488 61088 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62078 61088 1111 63 0 62015 0 vsize: 248312 [startup+690.013 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61153 0 0 0 68886 121 0 0 25 0 1 0 716734031 254271488 61088 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62078 61088 1111 63 0 62015 0 vsize: 248312 [startup+700.013 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61175 0 0 0 69886 121 0 0 25 0 1 0 716734031 254406656 61110 4294967295 134512640 134714540 3221224592 3221223388 134536888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62111 61110 1111 63 0 62048 0 vsize: 248444 [startup+710.013 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61175 0 0 0 70886 121 0 0 25 0 1 0 716734031 254406656 61110 4294967295 134512640 134714540 3221224592 3221223260 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62111 61110 1111 63 0 62048 0 vsize: 248444 [startup+720.013 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61321 0 0 0 71885 121 0 0 25 0 1 0 716734031 254947328 61256 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62243 61256 1111 63 0 62180 0 vsize: 248972 [startup+730.013 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61325 0 0 0 72885 122 0 0 25 0 1 0 716734031 254947328 61260 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62243 61260 1111 63 0 62180 0 vsize: 248972 [startup+740.013 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61365 0 0 0 73885 122 0 0 25 0 1 0 716734031 255082496 61300 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62276 61300 1111 63 0 62213 0 vsize: 249104 [startup+750.013 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61390 0 0 0 74886 122 0 0 25 0 1 0 716734031 255217664 61325 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62309 61325 1111 63 0 62246 0 vsize: 249236 [startup+760.012 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61431 0 0 0 75886 122 0 0 25 0 1 0 716734031 255352832 61366 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62342 61366 1111 63 0 62279 0 vsize: 249368 [startup+770.012 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61469 0 0 0 76886 122 0 0 25 0 1 0 716734031 255623168 61404 4294967295 134512640 134714540 3221224592 3221223384 134543157 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62408 61404 1111 63 0 62345 0 vsize: 249632 [startup+780.013 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61528 0 0 0 77886 122 0 0 25 0 1 0 716734031 255758336 61463 4294967295 134512640 134714540 3221224592 3221223328 134622851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62441 61463 1111 63 0 62378 0 vsize: 249764 [startup+790.013 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61611 0 0 0 78886 122 0 0 25 0 1 0 716734031 256163840 61546 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62540 61546 1111 63 0 62477 0 vsize: 250160 [startup+800.012 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61654 0 0 0 79885 123 0 0 25 0 1 0 716734031 256299008 61589 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62573 61589 1111 63 0 62510 0 vsize: 250292 [startup+810.012 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61718 0 0 0 80885 123 0 0 25 0 1 0 716734031 256569344 61653 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62639 61653 1111 63 0 62576 0 vsize: 250556 [startup+820.013 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61796 0 0 0 81885 123 0 0 25 0 1 0 716734031 256839680 61731 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62705 61731 1111 63 0 62642 0 vsize: 250820 [startup+830.014 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61834 0 0 0 82885 123 0 0 25 0 1 0 716734031 257110016 61769 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62771 61769 1111 63 0 62708 0 vsize: 251084 [startup+840.014 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 61936 0 0 0 83885 124 0 0 25 0 1 0 716734031 257515520 61871 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62870 61871 1111 63 0 62807 0 vsize: 251480 [startup+850.014 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62023 0 0 0 84885 124 0 0 25 0 1 0 716734031 257785856 61958 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62936 61958 1111 63 0 62873 0 vsize: 251744 [startup+860.014 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62023 0 0 0 85885 124 0 0 25 0 1 0 716734031 257785856 61958 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62936 61958 1111 63 0 62873 0 vsize: 251744 [startup+870.014 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62069 0 0 0 86885 125 0 0 25 0 1 0 716734031 258056192 62004 4294967295 134512640 134714540 3221224592 3221223384 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63002 62004 1111 63 0 62939 0 vsize: 252008 [startup+880.013 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62107 0 0 0 87885 125 0 0 25 0 1 0 716734031 258191360 62042 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63035 62042 1111 63 0 62972 0 vsize: 252140 [startup+890.014 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62169 0 0 0 88885 125 0 0 25 0 1 0 716734031 258461696 62104 4294967295 134512640 134714540 3221224592 3221223408 134611225 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63101 62104 1111 63 0 63038 0 vsize: 252404 [startup+900.014 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62189 0 0 0 89885 125 0 0 25 0 1 0 716734031 258461696 62124 4294967295 134512640 134714540 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63101 62124 1111 63 0 63038 0 vsize: 252404 [startup+910.014 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9925 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62258 0 0 0 90884 126 0 0 25 0 1 0 716734031 258732032 62193 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63167 62193 1111 63 0 63104 0 vsize: 252668 [startup+920.014 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62386 0 0 0 91884 126 0 0 25 0 1 0 716734031 259272704 62321 4294967295 134512640 134714540 3221224592 3221223192 134542663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63299 62321 1111 63 0 63236 0 vsize: 253196 [startup+930.014 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62386 0 0 0 92884 127 0 0 25 0 1 0 716734031 259272704 62321 4294967295 134512640 134714540 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63299 62321 1111 63 0 63236 0 vsize: 253196 [startup+940.014 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62478 0 0 0 93884 127 0 0 25 0 1 0 716734031 259678208 62413 4294967295 134512640 134714540 3221224592 3221223352 134543541 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63398 62413 1111 63 0 63335 0 vsize: 253592 [startup+950.021 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62604 0 0 0 94884 128 0 0 25 0 1 0 716734031 260210688 62539 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63528 62539 1111 63 0 63465 0 vsize: 254112 [startup+960.026 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62604 0 0 0 95884 128 0 0 25 0 1 0 716734031 260210688 62539 4294967295 134512640 134714540 3221224592 3221223152 134542368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63528 62539 1111 63 0 63465 0 vsize: 254112 [startup+970.026 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62649 0 0 0 96884 128 0 0 25 0 1 0 716734031 260345856 62584 4294967295 134512640 134714540 3221224592 3221223392 134622271 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63561 62584 1111 63 0 63498 0 vsize: 254244 [startup+980.026 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62742 0 0 0 97884 129 0 0 25 0 1 0 716734031 260751360 62677 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63660 62677 1111 63 0 63597 0 vsize: 254640 [startup+990.027 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62763 0 0 0 98884 129 0 0 25 0 1 0 716734031 260886528 62698 4294967295 134512640 134714540 3221224592 3221223280 134556775 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63693 62698 1111 63 0 63630 0 vsize: 254772 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62815 0 0 0 99884 129 0 0 25 0 1 0 716734031 261021696 62750 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63726 62750 1111 63 0 63663 0 vsize: 254904 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62845 0 0 0 100884 129 0 0 25 0 1 0 716734031 261156864 62780 4294967295 134512640 134714540 3221224592 3221223240 134543665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63759 62780 1111 63 0 63696 0 vsize: 255036 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62855 0 0 0 101885 129 0 0 25 0 1 0 716734031 261292032 62790 4294967295 134512640 134714540 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63792 62790 1111 63 0 63729 0 vsize: 255168 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62894 0 0 0 102885 129 0 0 25 0 1 0 716734031 261427200 62829 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63825 62829 1111 63 0 63762 0 vsize: 255300 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62945 0 0 0 103885 129 0 0 25 0 1 0 716734031 261562368 62880 4294967295 134512640 134714540 3221224592 3221223148 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63858 62880 1111 63 0 63795 0 vsize: 255432 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 62978 0 0 0 104885 129 0 0 25 0 1 0 716734031 261697536 62913 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63891 62913 1111 63 0 63828 0 vsize: 255564 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 63017 0 0 0 105885 129 0 0 25 0 1 0 716734031 261832704 62952 4294967295 134512640 134714540 3221224592 3221223312 134556906 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63924 62952 1111 63 0 63861 0 vsize: 255696 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 63103 0 0 0 106885 129 0 0 25 0 1 0 716734031 262238208 63038 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64023 63038 1111 63 0 63960 0 vsize: 256092 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 63124 0 0 0 107885 130 0 0 25 0 1 0 716734031 262369280 63059 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64055 63059 1111 63 0 63992 0 vsize: 256220 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 63193 0 0 0 108885 130 0 0 25 0 1 0 716734031 262639616 63128 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64121 63128 1111 63 0 64058 0 vsize: 256484 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 63249 0 0 0 109885 130 0 0 25 0 1 0 716734031 262909952 63184 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64187 63184 1111 63 0 64124 0 vsize: 256748 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 63288 0 0 0 110885 130 0 0 25 0 1 0 716734031 263045120 63223 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64220 63223 1111 63 0 64157 0 vsize: 256880 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 63334 0 0 0 111885 131 0 0 25 0 1 0 716734031 263180288 63269 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64253 63269 1111 63 0 64190 0 vsize: 257012 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 63384 0 0 0 112884 131 0 0 25 0 1 0 716734031 263450624 63319 4294967295 134512640 134714540 3221224592 3221223464 134536915 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64319 63319 1111 63 0 64256 0 vsize: 257276 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 63449 0 0 0 113884 131 0 0 25 0 1 0 716734031 263720960 63384 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64385 63384 1111 63 0 64322 0 vsize: 257540 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 63517 0 0 0 114885 131 0 0 25 0 1 0 716734031 263991296 63452 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64451 63452 1111 63 0 64388 0 vsize: 257804 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 63517 0 0 0 115887 131 0 0 25 0 1 0 716734031 263991296 63452 4294967295 134512640 134714540 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64451 63452 1111 63 0 64388 0 vsize: 257804 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 63517 0 0 0 116886 132 0 0 25 0 1 0 716734031 263991296 63452 4294967295 134512640 134714540 3221224592 3221223132 134539273 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64451 63452 1111 63 0 64388 0 vsize: 257804 [startup+1175.06 s] Raw data (loadavg): 1.00 1.00 0.98 1/54 9927 Raw data (stat): 9868 (bsolo_mis) R 9867 8378 8377 0 -1 0 63517 0 0 0 116886 132 0 0 25 0 1 0 716734031 263991296 63452 4294967295 134512640 134714540 3221224592 3221223132 134539273 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64451 63452 1111 63 0 64388 0 vsize: 0 Child status: 0 Real time (s): 1175.06 CPU time (s): 1175.16 CPU user time (s): 1173.72 CPU system time (s): 1.43778 CPU usage (%): 100.008 Max. virtual memory (Kb): 257804 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####