Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb |
MD5SUM | fae1fae180d772ad3ee6c1acfa1c8b4f |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 122 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 504 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 2000000 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 30041153 |
Number of bits of the biggest sum of numbers | 25 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 2124 |
Total number of constraints | 444 |
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 | 444 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 64 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-24 18:52:27 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18944 boxname=wulflinc11 idbench=1458 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: fae1fae180d772ad3ee6c1acfa1c8b4f /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-vpm2.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-vpm2.opb IDLAUNCH: 18944 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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.028 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: 536976 kB Buffers: 36752 kB Cached: 418628 kB SwapCached: 84 kB Active: 36252 kB Inactive: 435520 kB HighTotal: 131008 kB HighFree: 73332 kB LowTotal: 903652 kB LowFree: 463644 kB SwapTotal: 2097136 kB SwapFree: 2097048 kB Dirty: 312056 kB Writeback: 0 kB Mapped: 6876 kB Slab: 20032 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 19:12:29 (client local time) WITH STATUS 0 IN 1200.24 SECONDS stats: 18944 7 1200.24 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 2124 variables and 486 constraints. c After prepocess the problem consists of 1392 variables and 234 constraints. c preprocess terminated 47.631 s c Initial Lower Bound: 0 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. #### 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): 2.03 1.27 1.01 2/55 29565 Raw data (stat): 29565 (runsolver) R 29564 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774318431 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.001 s] Raw data (loadavg): 1.87 1.26 1.01 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 5777 0 0 0 982 15 0 0 25 0 1 0 774318431 27328512 5753 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6672 5753 1111 63 0 6609 0 vsize: 26688 [startup+20.0012 s] Raw data (loadavg): 1.74 1.25 1.01 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 5814 0 0 0 1982 16 0 0 25 0 1 0 774318431 27586560 5790 4294967295 134512640 134714540 3221224592 3221223264 134606848 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6735 5790 1111 63 0 6672 0 vsize: 26940 [startup+30.0025 s] Raw data (loadavg): 1.62 1.24 1.01 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 5814 0 0 0 2981 16 0 0 25 0 1 0 774318431 27586560 5790 4294967295 134512640 134714540 3221224592 3221223200 1076999584 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6735 5790 1111 63 0 6672 0 vsize: 26940 [startup+40.0036 s] Raw data (loadavg): 1.53 1.23 1.01 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 5814 0 0 0 3981 17 0 0 25 0 1 0 774318431 27586560 5790 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6735 5790 1111 63 0 6672 0 vsize: 26940 [startup+50.0045 s] Raw data (loadavg): 1.45 1.22 1.01 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 5830 0 0 0 4981 17 0 0 25 0 1 0 774318431 27586560 5806 4294967295 134512640 134714540 3221224592 3221223316 134556931 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6735 5806 1111 63 0 6672 0 vsize: 26940 [startup+60.0047 s] Raw data (loadavg): 1.38 1.22 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 6535 0 0 0 5977 21 0 0 25 0 1 0 774318431 30425088 6511 4294967295 134512640 134714540 3221224592 3221223120 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7428 6511 1111 63 0 7365 0 vsize: 29712 [startup+70.0055 s] Raw data (loadavg): 1.32 1.21 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 7355 0 0 0 6973 25 0 0 25 0 1 0 774318431 33792000 7331 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8250 7331 1111 63 0 8187 0 vsize: 33000 [startup+80.0058 s] Raw data (loadavg): 1.27 1.20 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 9004 0 0 0 7968 30 0 0 25 0 1 0 774318431 40558592 8980 4294967295 134512640 134714540 3221224592 3221223332 134623142 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9902 8980 1111 63 0 9839 0 vsize: 39608 [startup+90.0061 s] Raw data (loadavg): 1.23 1.19 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 11425 0 0 0 8962 37 0 0 25 0 1 0 774318431 50610176 11401 4294967295 134512640 134714540 3221224592 3221222752 134697408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12356 11401 1111 63 0 12293 0 vsize: 49424 [startup+100.007 s] Raw data (loadavg): 1.19 1.19 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 15327 0 0 0 9952 47 0 0 25 0 1 0 774318431 66940928 15275 4294967295 134512640 134714540 3221224592 3221223220 134696296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16343 15275 1111 63 0 16280 0 vsize: 65372 [startup+110.007 s] Raw data (loadavg): 1.16 1.18 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 16751 0 0 0 10947 52 0 0 25 0 1 0 774318431 72744960 16676 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17760 16676 1111 63 0 17697 0 vsize: 71040 [startup+120.007 s] Raw data (loadavg): 1.14 1.17 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 16751 0 0 0 11947 52 0 0 25 0 1 0 774318431 72744960 16676 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17760 16676 1111 63 0 17697 0 vsize: 71040 [startup+130.008 s] Raw data (loadavg): 1.11 1.17 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 16751 0 0 0 12947 52 0 0 25 0 1 0 774318431 72744960 16676 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17760 16676 1111 63 0 17697 0 vsize: 71040 [startup+140.007 s] Raw data (loadavg): 1.10 1.16 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 18095 0 0 0 13943 56 0 0 25 0 1 0 774318431 78761984 17989 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19229 17989 1111 63 0 19166 0 vsize: 76916 [startup+150.009 s] Raw data (loadavg): 1.08 1.16 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 21299 0 0 0 14934 65 0 0 25 0 1 0 774318431 91598848 21185 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22363 21185 1111 63 0 22300 0 vsize: 89452 [startup+160.01 s] Raw data (loadavg): 1.07 1.15 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 15929 70 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24799 23413 1111 63 0 24736 0 vsize: 99196 [startup+170.01 s] Raw data (loadavg): 1.06 1.14 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 16929 70 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24799 23413 1111 63 0 24736 0 vsize: 99196 [startup+180.01 s] Raw data (loadavg): 1.05 1.14 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 17929 70 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24799 23413 1111 63 0 24736 0 vsize: 99196 [startup+190.011 s] Raw data (loadavg): 1.04 1.13 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 18929 71 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24799 23413 1111 63 0 24736 0 vsize: 99196 [startup+200.011 s] Raw data (loadavg): 1.03 1.13 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 19928 71 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24799 23413 1111 63 0 24736 0 vsize: 99196 [startup+210.011 s] Raw data (loadavg): 1.03 1.12 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 20928 72 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24799 23413 1111 63 0 24736 0 vsize: 99196 [startup+220.012 s] Raw data (loadavg): 1.02 1.12 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 21928 72 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24799 23413 1111 63 0 24736 0 vsize: 99196 [startup+230.013 s] Raw data (loadavg): 1.02 1.12 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23638 0 0 0 22928 72 0 0 25 0 1 0 774318431 101711872 23453 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24832 23453 1111 63 0 24769 0 vsize: 99328 [startup+240.013 s] Raw data (loadavg): 1.02 1.11 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 23928 73 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24945 23529 1111 63 0 24882 0 vsize: 99780 [startup+250.014 s] Raw data (loadavg): 1.01 1.11 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 24928 73 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24945 23529 1111 63 0 24882 0 vsize: 99780 [startup+260.014 s] Raw data (loadavg): 1.01 1.10 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 25927 73 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24945 23529 1111 63 0 24882 0 vsize: 99780 [startup+270.014 s] Raw data (loadavg): 1.01 1.10 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 26927 73 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24945 23529 1111 63 0 24882 0 vsize: 99780 [startup+280.015 s] Raw data (loadavg): 1.01 1.10 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 27927 73 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24945 23529 1111 63 0 24882 0 vsize: 99780 [startup+290.015 s] Raw data (loadavg): 1.00 1.09 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 28927 74 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24945 23529 1111 63 0 24882 0 vsize: 99780 [startup+300.016 s] Raw data (loadavg): 1.00 1.09 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 29927 74 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24945 23529 1111 63 0 24882 0 vsize: 99780 [startup+310.017 s] Raw data (loadavg): 1.00 1.08 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 26752 0 0 0 30919 82 0 0 25 0 1 0 774318431 114507776 26563 4294967295 134512640 134714540 3221224592 3221223004 1077374048 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27956 26563 1111 63 0 27893 0 vsize: 111824 [startup+320.017 s] Raw data (loadavg): 1.00 1.08 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 31901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+330.018 s] Raw data (loadavg): 1.00 1.08 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 32901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+340.018 s] Raw data (loadavg): 1.00 1.08 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 33901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+350.018 s] Raw data (loadavg): 1.00 1.07 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 34901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+360.019 s] Raw data (loadavg): 1.00 1.07 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 35901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+370.019 s] Raw data (loadavg): 1.00 1.07 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 36901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+380.019 s] Raw data (loadavg): 1.00 1.06 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 37901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223376 134622506 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+390.019 s] Raw data (loadavg): 1.00 1.06 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 38901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+400.021 s] Raw data (loadavg): 1.00 1.06 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 39901 102 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+410.021 s] Raw data (loadavg): 1.00 1.06 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 40901 102 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+420.021 s] Raw data (loadavg): 1.00 1.05 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 41901 102 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+430.022 s] Raw data (loadavg): 1.00 1.05 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 42900 103 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+440.021 s] Raw data (loadavg): 1.00 1.05 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 43900 103 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+450.022 s] Raw data (loadavg): 1.00 1.05 1.00 2/54 29565 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 44900 103 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33781 1111 63 0 35390 0 vsize: 141812 [startup+460.024 s] Raw data (loadavg): 1.08 1.06 1.01 2/58 29611 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 45897 106 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35453 33782 1111 63 0 35390 0 vsize: 141812 [startup+470.023 s] Raw data (loadavg): 1.07 1.06 1.00 2/54 29618 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 46894 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33782 1111 63 0 35390 0 vsize: 141812 [startup+480.024 s] Raw data (loadavg): 1.06 1.06 1.00 2/54 29618 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 47895 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33782 1111 63 0 35390 0 vsize: 141812 [startup+490.024 s] Raw data (loadavg): 1.05 1.06 1.00 2/54 29618 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 48895 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33782 1111 63 0 35390 0 vsize: 141812 [startup+500.025 s] Raw data (loadavg): 1.04 1.05 1.00 2/54 29618 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 49895 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33782 1111 63 0 35390 0 vsize: 141812 [startup+510.025 s] Raw data (loadavg): 1.03 1.05 1.00 2/54 29618 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 50895 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33782 1111 63 0 35390 0 vsize: 141812 [startup+520.025 s] Raw data (loadavg): 1.03 1.05 1.00 2/54 29618 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 51895 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33782 1111 63 0 35390 0 vsize: 141812 [startup+530.025 s] Raw data (loadavg): 1.02 1.05 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 52896 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33782 1111 63 0 35390 0 vsize: 141812 [startup+540.025 s] Raw data (loadavg): 1.02 1.05 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 53896 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33782 1111 63 0 35390 0 vsize: 141812 [startup+550.026 s] Raw data (loadavg): 1.02 1.04 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 54896 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33782 1111 63 0 35390 0 vsize: 141812 [startup+560.026 s] Raw data (loadavg): 1.01 1.04 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 55896 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33782 1111 63 0 35390 0 vsize: 141812 [startup+570.027 s] Raw data (loadavg): 1.01 1.04 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 56896 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33782 1111 63 0 35390 0 vsize: 141812 [startup+580.027 s] Raw data (loadavg): 1.01 1.04 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 57897 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33782 1111 63 0 35390 0 vsize: 141812 [startup+590.027 s] Raw data (loadavg): 1.01 1.04 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 58897 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+600.028 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 59897 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+610.028 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 60897 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+620.028 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 61897 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+630.029 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 62898 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223380 134622497 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+640.029 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 63898 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+650.029 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 64898 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+660.03 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 65898 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+670.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 66898 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+680.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 67899 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+690.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 68899 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+700.031 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 69899 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+710.031 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 70899 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+720.031 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 71899 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33794 1111 63 0 35390 0 vsize: 141812 [startup+730.032 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 72900 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+740.031 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 73900 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223408 134622551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+750.033 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 74900 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+760.033 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29620 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 75900 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+770.034 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 76900 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+780.034 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 77901 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+790.033 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 78901 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+800.034 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 79901 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+810.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 80901 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+820.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 81901 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+830.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 82902 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223388 134558493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+840.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 83902 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+850.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 84902 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+860.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 85902 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33795 1111 63 0 35390 0 vsize: 141812 [startup+870.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 86902 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33796 1111 63 0 35390 0 vsize: 141812 [startup+880.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 87903 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33796 1111 63 0 35390 0 vsize: 141812 [startup+890.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 88903 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33796 1111 63 0 35390 0 vsize: 141812 [startup+900.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 89903 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223312 134622839 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33796 1111 63 0 35390 0 vsize: 141812 [startup+910.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 90903 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33796 1111 63 0 35390 0 vsize: 141812 [startup+920.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 91903 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33796 1111 63 0 35390 0 vsize: 141812 [startup+930.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 92903 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33796 1111 63 0 35390 0 vsize: 141812 [startup+940.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 93904 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33796 1111 63 0 35390 0 vsize: 141812 [startup+950.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 94904 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33796 1111 63 0 35390 0 vsize: 141812 [startup+960.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 95904 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33796 1111 63 0 35390 0 vsize: 141812 [startup+970.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 96904 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33796 1111 63 0 35390 0 vsize: 141812 [startup+980.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 97905 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33796 1111 63 0 35390 0 vsize: 141812 [startup+990.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 98905 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33796 1111 63 0 35390 0 vsize: 141812 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 99905 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 100905 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223304 134543130 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 101905 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 102906 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223384 134536897 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 103906 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 104906 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 105906 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 106906 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 107906 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 108907 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223320 134622755 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 109907 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 110907 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 111907 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223368 134542416 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 112907 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223396 134622592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 33800 1111 63 0 35390 0 vsize: 141812 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 113908 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35486 33804 1111 63 0 35423 0 vsize: 141944 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 114908 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35486 33804 1111 63 0 35423 0 vsize: 141944 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 115908 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35486 33804 1111 63 0 35423 0 vsize: 141944 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 116908 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35486 33804 1111 63 0 35423 0 vsize: 141944 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 117908 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35486 33804 1111 63 0 35423 0 vsize: 141944 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 118908 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35486 33804 1111 63 0 35423 0 vsize: 141944 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 29622 Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 119909 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35486 33804 1111 63 0 35423 0 vsize: 141944 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.11 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 29622 Raw data (stat): 29565 (bsolo_mis) Z 29564 25830 25829 0 -1 1036 34057 0 0 0 119909 115 0 0 25 0 1 0 774318431 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.11 CPU time (s): 1200.24 CPU user time (s): 1199.09 CPU system time (s): 1.15382 CPU usage (%): 100.012 Max. virtual memory (Kb): 141944 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####