Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb |
MD5SUM | 08a1ce7c6c4cc8e461ae1aeabdf15da0 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3289593 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8282 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 524133752 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 1048576 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 524133752 |
Number of bits of the biggest sum of numbers | 29 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.04 |
Number of variables | 9890 |
Total number of constraints | 978 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 378 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1072 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-22 11:15:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17540 boxname=wulflinc31 idbench=1350 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 08a1ce7c6c4cc8e461ae1aeabdf15da0 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fixnet6.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fixnet6.opb IDLAUNCH: 17540 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 644040 kB Buffers: 13692 kB Cached: 356520 kB SwapCached: 932 kB Active: 179008 kB Inactive: 193300 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 643788 kB SwapTotal: 2097892 kB SwapFree: 2095964 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5096 kB Slab: 12624 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-22 11:34:42 (client local time) WITH STATUS 0 IN 1175.06 SECONDS stats: 17540 7 1175.06 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 9890 variables and 700 constraints. c After prepocess the problem consists of 5883 variables and 595 constraints. c preprocess terminated 738.036 s c Initial Lower Bound: 69 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175 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.98 0.92 2/55 24345 Raw data (stat): 24345 (runsolver) R 24344 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 812497882 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0004 s] Raw data (loadavg): 0.92 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 14796 0 0 0 964 32 0 0 25 0 1 0 812497882 64520192 14739 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15752 14739 1111 63 0 15689 0 vsize: 63008 [startup+20.0013 s] Raw data (loadavg): 0.93 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17461 0 0 0 1958 39 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+30.0023 s] Raw data (loadavg): 0.94 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17497 0 0 0 2958 39 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+40.0032 s] Raw data (loadavg): 0.95 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17545 0 0 0 3957 40 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+50.0041 s] Raw data (loadavg): 0.96 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17611 0 0 0 4956 40 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+60.0041 s] Raw data (loadavg): 0.96 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17617 0 0 0 5956 41 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+70.005 s] Raw data (loadavg): 0.97 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17671 0 0 0 6956 41 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+80.006 s] Raw data (loadavg): 0.97 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17743 0 0 0 7955 42 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+90.0069 s] Raw data (loadavg): 0.98 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17773 0 0 0 8955 42 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+100.007 s] Raw data (loadavg): 0.98 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17821 0 0 0 9955 43 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+110.008 s] Raw data (loadavg): 0.98 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17899 0 0 0 10954 43 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+120.009 s] Raw data (loadavg): 0.98 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17977 0 0 0 11954 44 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+130.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18067 0 0 0 12953 44 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+140.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18157 0 0 0 13953 45 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220300 1076999581 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+150.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18187 0 0 0 14953 45 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+160.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18235 0 0 0 15952 46 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+170.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18319 0 0 0 16951 47 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+180.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18367 0 0 0 17951 47 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+190.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18451 0 0 0 18951 47 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+200.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18529 0 0 0 19950 48 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+210.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18595 0 0 0 20950 49 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+220.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18637 0 0 0 21949 49 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+230.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18709 0 0 0 22949 50 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+240.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18739 0 0 0 23948 50 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+250.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18799 0 0 0 24948 51 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+260.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18865 0 0 0 25947 51 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+270.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18943 0 0 0 26947 52 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+280.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18943 0 0 0 27947 53 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+290.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19003 0 0 0 28946 53 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+300.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19063 0 0 0 29946 53 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+310.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19111 0 0 0 30945 55 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+320.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19153 0 0 0 31944 55 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+330.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19225 0 0 0 32944 56 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+340.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19261 0 0 0 33943 56 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+350.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19303 0 0 0 34943 57 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+360.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19369 0 0 0 35943 57 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+370.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19471 0 0 0 36942 58 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+380.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19519 0 0 0 37942 58 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+390.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19579 0 0 0 38941 59 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+400.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19627 0 0 0 39941 60 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+410.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19687 0 0 0 40941 60 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+420.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19765 0 0 0 41940 61 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+430.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19807 0 0 0 42940 61 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+440.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19879 0 0 0 43939 62 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+450.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19975 0 0 0 44939 62 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+460.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20089 0 0 0 45938 63 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+470.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20191 0 0 0 46937 64 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+480.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20257 0 0 0 47937 64 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+490.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20311 0 0 0 48936 65 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+500.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20395 0 0 0 49936 66 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+510.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20425 0 0 0 50934 67 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+520.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20491 0 0 0 51934 68 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+530.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20539 0 0 0 52933 68 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+540.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20611 0 0 0 53933 69 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+550.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20671 0 0 0 54932 69 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+560.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20761 0 0 0 55932 70 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+570.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20815 0 0 0 56931 71 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+580.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20845 0 0 0 57931 71 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+590.034 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20947 0 0 0 58930 72 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+600.034 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20983 0 0 0 59929 74 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+610.035 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21037 0 0 0 60928 75 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18286 17314 1111 63 0 18223 0 vsize: 73144 [startup+620.035 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 61927 75 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17494 1111 63 0 18406 0 vsize: 73876 [startup+630.035 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 62927 75 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17494 1111 63 0 18406 0 vsize: 73876 [startup+640.036 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 63927 76 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17494 1111 63 0 18406 0 vsize: 73876 [startup+650.036 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 64926 76 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17494 1111 63 0 18406 0 vsize: 73876 [startup+660.036 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 65926 77 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17494 1111 63 0 18406 0 vsize: 73876 [startup+670.038 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 66925 78 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17494 1111 63 0 18406 0 vsize: 73876 [startup+680.038 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 67925 78 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17494 1111 63 0 18406 0 vsize: 73876 [startup+690.039 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 68925 78 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17494 1111 63 0 18406 0 vsize: 73876 [startup+700.039 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 69924 79 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17494 1111 63 0 18406 0 vsize: 73876 [startup+710.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 70924 79 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17494 1111 63 0 18406 0 vsize: 73876 [startup+720.041 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 71924 80 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17494 1111 63 0 18406 0 vsize: 73876 [startup+730.041 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 72923 80 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17494 1111 63 0 18406 0 vsize: 73876 [startup+740.043 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21231 0 0 0 73923 81 0 0 25 0 1 0 812497882 75649024 17508 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17508 1111 63 0 18406 0 vsize: 73876 [startup+750.042 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21233 0 0 0 74923 81 0 0 25 0 1 0 812497882 75649024 17510 4294967295 134512640 134714540 3221221776 3221220552 134543141 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17510 1111 63 0 18406 0 vsize: 73876 [startup+760.042 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21235 0 0 0 75922 82 0 0 25 0 1 0 812497882 75649024 17512 4294967295 134512640 134714540 3221221776 3221220512 134695392 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17512 1111 63 0 18406 0 vsize: 73876 [startup+770.042 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 76922 82 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+780.044 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 77921 83 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220560 134624731 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+790.045 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 78921 83 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+800.045 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 79920 85 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220528 134624445 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+810.045 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 80919 85 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220476 134558620 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+820.045 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 81919 86 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+830.045 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 82918 87 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220544 134624477 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+840.046 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 83918 88 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+850.047 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 84917 89 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+860.047 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 85916 90 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+870.047 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 86916 90 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220512 134556480 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+880.047 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 87916 90 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220512 134556385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+890.047 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 88916 90 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220536 134543144 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+900.047 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 89916 91 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220500 134556893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+910.048 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 90915 91 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+920.048 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 91915 92 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220548 134624779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+930.048 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 92915 92 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220624 134623467 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+940.049 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 93915 92 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+950.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 94915 93 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220512 134695292 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+960.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 95915 93 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+970.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 96914 93 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18469 17514 1111 63 0 18406 0 vsize: 73876 [startup+980.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21242 0 0 0 97914 94 0 0 25 0 1 0 812497882 75780096 17519 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18501 17519 1111 63 0 18438 0 vsize: 74004 [startup+990.051 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21331 0 0 0 98913 95 0 0 25 0 1 0 812497882 76046336 17608 4294967295 134512640 134714540 3221221776 3221220576 134622158 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18566 17608 1111 63 0 18503 0 vsize: 74264 [startup+1000.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21411 0 0 0 99913 96 0 0 25 0 1 0 812497882 76447744 17688 4294967295 134512640 134714540 3221221776 3221220568 134542445 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18664 17688 1111 63 0 18601 0 vsize: 74656 [startup+1010.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21495 0 0 0 100912 96 0 0 25 0 1 0 812497882 76718080 17772 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18730 17772 1111 63 0 18667 0 vsize: 74920 [startup+1020.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21561 0 0 0 101912 97 0 0 25 0 1 0 812497882 76984320 17838 4294967295 134512640 134714540 3221221776 3221220608 134623286 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18795 17838 1111 63 0 18732 0 vsize: 75180 [startup+1030.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21650 0 0 0 102911 98 0 0 25 0 1 0 812497882 77393920 17927 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18895 17927 1111 63 0 18832 0 vsize: 75580 [startup+1040.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21715 0 0 0 103910 99 0 0 25 0 1 0 812497882 77656064 17992 4294967295 134512640 134714540 3221221776 3221220480 134556515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18959 17992 1111 63 0 18896 0 vsize: 75836 [startup+1050.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21804 0 0 0 104910 99 0 0 25 0 1 0 812497882 78061568 18081 4294967295 134512640 134714540 3221221776 3221220512 134695334 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19058 18081 1111 63 0 18995 0 vsize: 76232 [startup+1060.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21874 0 0 0 105909 100 0 0 25 0 1 0 812497882 78331904 18151 4294967295 134512640 134714540 3221221776 3221220592 134610874 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19124 18151 1111 63 0 19061 0 vsize: 76496 [startup+1070.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21939 0 0 0 106909 101 0 0 25 0 1 0 812497882 78598144 18216 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19189 18216 1111 63 0 19126 0 vsize: 76756 [startup+1080.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22010 0 0 0 107908 101 0 0 25 0 1 0 812497882 78868480 18287 4294967295 134512640 134714540 3221221776 3221220480 134556515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19255 18287 1111 63 0 19192 0 vsize: 77020 [startup+1090.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22089 0 0 0 108908 102 0 0 25 0 1 0 812497882 79138816 18366 4294967295 134512640 134714540 3221221776 3221220516 134556384 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19321 18366 1111 63 0 19258 0 vsize: 77284 [startup+1100.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22263 0 0 0 109906 104 0 0 25 0 1 0 812497882 79949824 18540 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19519 18540 1111 63 0 19456 0 vsize: 78076 [startup+1110.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22400 0 0 0 110906 104 0 0 25 0 1 0 812497882 80482304 18677 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19649 18677 1111 63 0 19586 0 vsize: 78596 [startup+1120.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22515 0 0 0 111905 105 0 0 25 0 1 0 812497882 80879616 18792 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19746 18792 1111 63 0 19683 0 vsize: 78984 [startup+1130.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22604 0 0 0 112904 106 0 0 25 0 1 0 812497882 81281024 18881 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19844 18881 1111 63 0 19781 0 vsize: 79376 [startup+1140.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22698 0 0 0 113904 107 0 0 25 0 1 0 812497882 81661952 18975 4294967295 134512640 134714540 3221221776 3221220564 134625040 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19937 18975 1111 63 0 19874 0 vsize: 79748 [startup+1150.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22817 0 0 0 114903 108 0 0 25 0 1 0 812497882 82202624 19094 4294967295 134512640 134714540 3221221776 3221220496 134556843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20069 19094 1111 63 0 20006 0 vsize: 80276 [startup+1160.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 23182 0 0 0 115902 109 0 0 25 0 1 0 812497882 84365312 19459 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20597 19459 1111 63 0 20534 0 vsize: 82388 [startup+1170.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 23282 0 0 0 116901 110 0 0 25 0 1 0 812497882 84922368 19559 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20733 19559 1111 63 0 20670 0 vsize: 82932 [startup+1174.99 s] Raw data (loadavg): 0.99 0.98 0.92 1/54 24345 Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 23282 0 0 0 116901 110 0 0 25 0 1 0 812497882 84922368 19559 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20733 19559 1111 63 0 20670 0 vsize: 0 Child status: 0 Real time (s): 1174.99 CPU time (s): 1175.06 CPU user time (s): 1173.91 CPU system time (s): 1.14582 CPU usage (%): 100.006 Max. virtual memory (Kb): 82932 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####