Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran17x17.opb |
MD5SUM | 4afffa77a031423497a8b9b377dd0292 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 689314 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 6069 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 1576985250 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 1576985250 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.04 |
Number of variables | 6069 |
Total number of constraints | 323 |
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 | 323 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 340 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-05-24 17:30:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19321 boxname=wulflinc1 idbench=1487 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 4afffa77a031423497a8b9b377dd0292 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran17x17.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran17x17.opb IDLAUNCH: 19321 /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: 387568 kB Buffers: 38492 kB Cached: 577792 kB SwapCached: 0 kB Active: 84080 kB Inactive: 535292 kB HighTotal: 131008 kB HighFree: 23380 kB LowTotal: 903652 kB LowFree: 364188 kB SwapTotal: 2097136 kB SwapFree: 2096968 kB Dirty: 28 kB Writeback: 0 kB Mapped: 7144 kB Slab: 21920 kB Committed_AS: 92716 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 17:49:37 (client local time) WITH STATUS 0 IN 1175.02 SECONDS stats: 19321 7 1175.02 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 6069 variables and 357 constraints. c After prepocess the problem consists of 3411 variables and 357 constraints. c preprocess terminated 5.877 s c Initial Lower Bound: 40 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.95 0.97 2/55 10113 Raw data (stat): 10113 (runsolver) R 10112 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 716971380 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.0003 s] Raw data (loadavg): 0.93 0.95 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7306 0 0 0 981 17 0 0 25 0 1 0 716971380 33656832 7259 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8217 7259 1111 63 0 8154 0 vsize: 32868 [startup+20.001 s] Raw data (loadavg): 0.94 0.96 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7308 0 0 0 1981 17 0 0 25 0 1 0 716971380 33656832 7261 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8217 7261 1111 63 0 8154 0 vsize: 32868 [startup+30.0008 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7496 0 0 0 2980 18 0 0 25 0 1 0 716971380 34467840 7449 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8415 7449 1111 63 0 8352 0 vsize: 33660 [startup+40.0006 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7539 0 0 0 3980 19 0 0 25 0 1 0 716971380 34582528 7492 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8443 7492 1111 63 0 8380 0 vsize: 33772 [startup+50.0014 s] Raw data (loadavg): 0.96 0.96 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7579 0 0 0 4979 20 0 0 25 0 1 0 716971380 34717696 7532 4294967295 134512640 134714540 3221224592 3221223388 134543156 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8476 7532 1111 63 0 8413 0 vsize: 33904 [startup+60.0012 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7585 0 0 0 5978 20 0 0 25 0 1 0 716971380 34852864 7538 4294967295 134512640 134714540 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8509 7538 1111 63 0 8446 0 vsize: 34036 [startup+70.0019 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7590 0 0 0 6977 22 0 0 25 0 1 0 716971380 34832384 7543 4294967295 134512640 134714540 3221224592 3221223424 134623284 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8504 7543 1111 63 0 8441 0 vsize: 34016 [startup+80.0017 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7682 0 0 0 7976 23 0 0 25 0 1 0 716971380 35233792 7635 4294967295 134512640 134714540 3221224592 3221223356 134534160 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7635 1111 63 0 8539 0 vsize: 34408 [startup+90.0015 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7683 0 0 0 8976 24 0 0 25 0 1 0 716971380 35233792 7636 4294967295 134512640 134714540 3221224592 3221223220 134696296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7636 1111 63 0 8539 0 vsize: 34408 [startup+100.001 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7683 0 0 0 9975 25 0 0 25 0 1 0 716971380 35233792 7636 4294967295 134512640 134714540 3221224592 3221223160 1077377722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7636 1111 63 0 8539 0 vsize: 34408 [startup+110.001 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7683 0 0 0 10974 26 0 0 25 0 1 0 716971380 35233792 7636 4294967295 134512640 134714540 3221224592 3221223228 134543760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7636 1111 63 0 8539 0 vsize: 34408 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7683 0 0 0 11974 26 0 0 25 0 1 0 716971380 35233792 7636 4294967295 134512640 134714540 3221224592 3221223388 134695184 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7636 1111 63 0 8539 0 vsize: 34408 [startup+130.002 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7683 0 0 0 12973 27 0 0 25 0 1 0 716971380 35233792 7636 4294967295 134512640 134714540 3221224592 3221223428 134623280 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7636 1111 63 0 8539 0 vsize: 34408 [startup+140.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7683 0 0 0 13972 28 0 0 25 0 1 0 716971380 35233792 7636 4294967295 134512640 134714540 3221224592 3221223200 134523399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7636 1111 63 0 8539 0 vsize: 34408 [startup+150.002 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7683 0 0 0 14971 29 0 0 25 0 1 0 716971380 35233792 7636 4294967295 134512640 134714540 3221224592 3221223268 1077374469 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7636 1111 63 0 8539 0 vsize: 34408 [startup+160.002 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7683 0 0 0 15970 30 0 0 25 0 1 0 716971380 35233792 7636 4294967295 134512640 134714540 3221224592 3221223408 134610906 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7636 1111 63 0 8539 0 vsize: 34408 [startup+170.002 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7683 0 0 0 16969 32 0 0 25 0 1 0 716971380 35233792 7636 4294967295 134512640 134714540 3221224592 3221223296 134524573 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7636 1111 63 0 8539 0 vsize: 34408 [startup+180.002 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7683 0 0 0 17968 33 0 0 25 0 1 0 716971380 35233792 7636 4294967295 134512640 134714540 3221224592 3221223488 134621739 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7636 1111 63 0 8539 0 vsize: 34408 [startup+190.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7696 0 0 0 18967 34 0 0 25 0 1 0 716971380 35233792 7649 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7649 1111 63 0 8539 0 vsize: 34408 [startup+200.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7696 0 0 0 19967 34 0 0 25 0 1 0 716971380 35233792 7649 4294967295 134512640 134714540 3221224592 3221223228 134543664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7649 1111 63 0 8539 0 vsize: 34408 [startup+210.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7701 0 0 0 20967 35 0 0 25 0 1 0 716971380 35233792 7654 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7654 1111 63 0 8539 0 vsize: 34408 [startup+220.002 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7701 0 0 0 21966 36 0 0 25 0 1 0 716971380 35233792 7654 4294967295 134512640 134714540 3221224592 3221223276 134543615 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7654 1111 63 0 8539 0 vsize: 34408 [startup+230.002 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7701 0 0 0 22965 37 0 0 25 0 1 0 716971380 35233792 7654 4294967295 134512640 134714540 3221224592 3221223344 134592393 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7654 1111 63 0 8539 0 vsize: 34408 [startup+240.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7701 0 0 0 23964 38 0 0 25 0 1 0 716971380 35233792 7654 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7654 1111 63 0 8539 0 vsize: 34408 [startup+250.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7701 0 0 0 24963 39 0 0 25 0 1 0 716971380 35233792 7654 4294967295 134512640 134714540 3221224592 3221223272 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7654 1111 63 0 8539 0 vsize: 34408 [startup+260.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7706 0 0 0 25963 39 0 0 25 0 1 0 716971380 35233792 7659 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7659 1111 63 0 8539 0 vsize: 34408 [startup+270.002 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7706 0 0 0 26962 40 0 0 25 0 1 0 716971380 35233792 7659 4294967295 134512640 134714540 3221224592 3221223344 134592345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7659 1111 63 0 8539 0 vsize: 34408 [startup+280.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7706 0 0 0 27961 41 0 0 25 0 1 0 716971380 35233792 7659 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7659 1111 63 0 8539 0 vsize: 34408 [startup+290.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7706 0 0 0 28960 42 0 0 25 0 1 0 716971380 35233792 7659 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7659 1111 63 0 8539 0 vsize: 34408 [startup+300.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7706 0 0 0 29959 44 0 0 25 0 1 0 716971380 35233792 7659 4294967295 134512640 134714540 3221224592 3221223288 134558629 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7659 1111 63 0 8539 0 vsize: 34408 [startup+310.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7706 0 0 0 30958 45 0 0 25 0 1 0 716971380 35233792 7659 4294967295 134512640 134714540 3221224592 3221223232 134613431 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7659 1111 63 0 8539 0 vsize: 34408 [startup+320.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7706 0 0 0 31958 45 0 0 25 0 1 0 716971380 35233792 7659 4294967295 134512640 134714540 3221224592 3221223328 134695267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8602 7659 1111 63 0 8539 0 vsize: 34408 [startup+330.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7717 0 0 0 32957 47 0 0 25 0 1 0 716971380 35368960 7670 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8635 7670 1111 63 0 8572 0 vsize: 34540 [startup+340.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7717 0 0 0 33955 48 0 0 25 0 1 0 716971380 35368960 7670 4294967295 134512640 134714540 3221224592 3221223328 134695272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8635 7670 1111 63 0 8572 0 vsize: 34540 [startup+350.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7717 0 0 0 34955 49 0 0 25 0 1 0 716971380 35368960 7670 4294967295 134512640 134714540 3221224592 3221223280 134594343 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8635 7670 1111 63 0 8572 0 vsize: 34540 [startup+360.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7717 0 0 0 35954 50 0 0 25 0 1 0 716971380 35368960 7670 4294967295 134512640 134714540 3221224592 3221223424 134623284 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8635 7670 1111 63 0 8572 0 vsize: 34540 [startup+370.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7717 0 0 0 36953 51 0 0 25 0 1 0 716971380 35368960 7670 4294967295 134512640 134714540 3221224592 3221223232 134535032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8635 7670 1111 63 0 8572 0 vsize: 34540 [startup+380.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7717 0 0 0 37952 52 0 0 25 0 1 0 716971380 35368960 7670 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8635 7670 1111 63 0 8572 0 vsize: 34540 [startup+390 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7717 0 0 0 38952 53 0 0 25 0 1 0 716971380 35368960 7670 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8635 7670 1111 63 0 8572 0 vsize: 34540 [startup+400.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 39950 54 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223280 134594338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+410.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 40950 55 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223400 134558597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+420 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 41949 56 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+430 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 42947 58 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223312 134556501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+440 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 43946 59 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223216 134535411 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+450.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 44945 60 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223368 134543141 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+460.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 45944 62 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223340 134535506 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+470.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 46943 63 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+480.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 47942 64 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223236 134613657 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+490.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 48941 65 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+500.002 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 49940 66 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+510.002 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 50939 68 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+520.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 51937 70 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+530.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 52936 71 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+540.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 53935 72 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223272 134543589 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+550.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 54935 73 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+560.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 55934 74 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223360 134592513 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+570.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 56933 74 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223328 134695270 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+580.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 57932 76 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223408 134622128 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+590.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 58931 77 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+600.001 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 59930 78 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223288 134558561 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+610 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 60929 79 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+620 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 61928 80 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223052 1076647540 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+630 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 62928 80 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+640 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7828 0 0 0 63927 82 0 0 25 0 1 0 716971380 35741696 7781 4294967295 134512640 134714540 3221224592 3221223264 1077378560 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7781 1111 63 0 8663 0 vsize: 34904 [startup+650 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7830 0 0 0 64925 83 0 0 25 0 1 0 716971380 35741696 7783 4294967295 134512640 134714540 3221224592 3221222920 1077377398 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 7783 1111 63 0 8663 0 vsize: 34904 [startup+659.999 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7840 0 0 0 65924 85 0 0 25 0 1 0 716971380 35848192 7793 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7793 1111 63 0 8689 0 vsize: 35008 [startup+669.999 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7852 0 0 0 66923 86 0 0 25 0 1 0 716971380 35848192 7805 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7805 1111 63 0 8689 0 vsize: 35008 [startup+679.999 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7852 0 0 0 67922 87 0 0 25 0 1 0 716971380 35848192 7805 4294967295 134512640 134714540 3221224592 3221223312 134622764 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7805 1111 63 0 8689 0 vsize: 35008 [startup+689.999 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 68921 88 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223308 134558620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+699.999 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 69920 89 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223212 134613956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+709.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 70919 90 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223360 134592098 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+719.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 71918 92 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223408 134611145 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+729.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 72918 92 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223304 134591891 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+739.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 73916 94 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+749.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 74916 95 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223280 134524456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+759.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 75915 96 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223160 1077377790 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+769.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 76913 98 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223336 134672948 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+779.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 77912 98 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223256 134672944 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+789.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 78911 100 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+799.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 79910 101 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+809.997 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 80910 101 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221222936 1077377331 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+819.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 81909 103 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+829.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 82908 104 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223312 134556843 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+839.997 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 83907 105 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223336 134672948 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+849.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 84906 106 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+859.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 85905 107 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+869.999 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 86904 108 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+879.999 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 87903 110 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223232 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+889.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 88903 110 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223328 134556480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+899.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 89901 112 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223152 134540168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+909.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 90900 113 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223264 134594359 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+919.999 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 91899 114 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223360 134592449 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+929.999 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7858 0 0 0 92898 115 0 0 25 0 1 0 716971380 35848192 7811 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7811 1111 63 0 8689 0 vsize: 35008 [startup+939.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7863 0 0 0 93897 116 0 0 25 0 1 0 716971380 35983360 7816 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7816 1111 63 0 8722 0 vsize: 35140 [startup+949.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7863 0 0 0 94896 117 0 0 25 0 1 0 716971380 35983360 7816 4294967295 134512640 134714540 3221224592 3221223336 134672933 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7816 1111 63 0 8722 0 vsize: 35140 [startup+959.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 95896 118 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223336 134558485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+969.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 96895 118 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223360 134625016 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+979.998 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 97895 119 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+989.997 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 98893 121 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223232 134539518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+999.997 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 99892 122 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 100892 123 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223360 134592328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 101891 124 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223340 134535534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1030 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 102889 126 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223380 134624376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1040 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 103889 126 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1050 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 104888 127 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223232 134696126 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1060 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 105887 129 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223328 134591881 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1070 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 106886 129 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1080 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 107886 130 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223160 1077377790 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1090 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 108885 131 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223180 134542288 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1100 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 109884 132 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1110 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 110883 133 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223280 134594338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1120 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 111883 133 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1130 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 112882 135 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223356 134592362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1140 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 113881 135 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223312 134591885 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1150 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 114881 136 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1160 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 115880 137 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223328 134695306 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1170 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 116879 138 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 35140 [startup+1174.84 s] Raw data (loadavg): 0.99 0.97 0.97 1/54 10113 Raw data (stat): 10113 (bsolo_mis) R 10112 8378 8377 0 -1 0 7871 0 0 0 116879 138 0 0 25 0 1 0 716971380 35983360 7824 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7824 1111 63 0 8722 0 vsize: 0 Child status: 0 Real time (s): 1174.84 CPU time (s): 1175.02 CPU user time (s): 1173.62 CPU system time (s): 1.40779 CPU usage (%): 100.016 Max. virtual memory (Kb): 35140 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####