Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb |
MD5SUM | 980dd801f0823d520b47724b99fabded |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 45 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 45 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 22 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 67 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01984 |
Number of variables | 45 |
Total number of constraints | 376 |
Number of constraints which are clauses | 330 |
Number of constraints which are cardinality constraints (but not clauses) | 46 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 45 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-25 03:02:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12340 boxname=wulflinc2 idbench=950 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 980dd801f0823d520b47724b99fabded /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-stein45.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-stein45.opb IDLAUNCH: 12340 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 662248 kB Buffers: 13636 kB Cached: 338588 kB SwapCached: 696 kB Active: 21416 kB Inactive: 333196 kB HighTotal: 131008 kB HighFree: 23156 kB LowTotal: 903652 kB LowFree: 639092 kB SwapTotal: 2097136 kB SwapFree: 2095796 kB Dirty: 48 kB Writeback: 0 kB Mapped: 5616 kB Slab: 12008 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 03:21:57 (client local time) WITH STATUS 10 IN 1175.14 SECONDS stats: 12340 0 1175.14 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 45 variables and 331 constraints. c After prepocess the problem consists of 45 variables and 331 constraints. c preprocess terminated 0.103 s c Initial Lower Bound: 13 c Lower Bound Elapsed time: 0 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 37 @ 0.104 c NEW SOLUTION FOUND: 36 @ 0.105 c NEW SOLUTION FOUND: 35 @ 0.107 c NEW SOLUTION FOUND: 34 @ 0.112 c NEW SOLUTION FOUND: 33 @ 0.134 c NEW SOLUTION FOUND: 32 @ 0.16 c NEW SOLUTION FOUND: 31 @ 0.518 c NEW SOLUTION FOUND: 30 @ 3.926 s SATISFIABLE v -V0001_bit0 -V0002_bit0 V0003_bit0 V0004_bit0 V0005_bit0 -V0006_bit0 -V0007_bit0 V0008_bit0 V0009_bit0 V0010_bit0 V0011_bit0 V0012_bit0 -V0013_bit0 V0014_bit0 -V0015_bit0 V0016_bit0 V0017_bit0 V0018_bit0 -V0019_bit0 -V0020_bit0 V0021_bit0 V0022_bit0 -V0023_bit0 -V0024_bit0 V0025_bit0 V0026_bit0 -V0027_bit0 V0028_bit0 -V0029_bit0 V0030_bit0 V0031_bit0 V0032_bit0 V0033_bit0 V0034_bit0 V0035_bit0 V0036_bit0 V0037_bit0 V0038_bit0 -V0039_bit0 V0040_bit0 -V0041_bit0 V0042_bit0 V0043_bit0 -V0044_bit0 V0045_bit0 c Exit Code: 10 c Total time: 1175.07 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.93 0.97 0.93 2/54 7756 Raw data (stat): 7756 (runsolver) R 7755 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777265440 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): 0.94 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 3360 0 0 0 985 13 0 0 25 0 1 0 777265440 17338368 3336 4294967295 134512640 134714540 3221224592 3221223304 134552650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4233 3336 1111 63 0 4170 0 vsize: 16932 [startup+20.005 s] Raw data (loadavg): 0.95 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 4643 0 0 0 1980 18 0 0 25 0 1 0 777265440 22700032 4617 4294967295 134512640 134714540 3221224592 3221223100 134535978 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5542 4617 1111 63 0 5479 0 vsize: 22168 [startup+30.0047 s] Raw data (loadavg): 0.96 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 5622 0 0 0 2976 22 0 0 25 0 1 0 777265440 26759168 5596 4294967295 134512640 134714540 3221224592 3221223112 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6533 5596 1111 63 0 6470 0 vsize: 26132 [startup+40.0051 s] Raw data (loadavg): 0.96 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 6434 0 0 0 3972 27 0 0 25 0 1 0 777265440 30011392 6408 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7327 6408 1111 63 0 7264 0 vsize: 29308 [startup+50.0151 s] Raw data (loadavg): 0.97 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 7110 0 0 0 4970 30 0 0 25 0 1 0 777265440 32841728 7084 4294967295 134512640 134714540 3221224592 3221223216 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8018 7084 1111 63 0 7955 0 vsize: 32072 [startup+60.0158 s] Raw data (loadavg): 0.97 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 7634 0 0 0 5968 32 0 0 25 0 1 0 777265440 35024896 7608 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8551 7608 1111 63 0 8488 0 vsize: 34204 [startup+70.0162 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 8169 0 0 0 6966 34 0 0 25 0 1 0 777265440 37326848 8143 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9113 8143 1111 63 0 9050 0 vsize: 36452 [startup+80.0162 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 8666 0 0 0 7963 37 0 0 25 0 1 0 777265440 39383040 8640 4294967295 134512640 134714540 3221224592 3221223244 134552672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9615 8641 1111 63 0 9552 0 vsize: 38460 [startup+90.0169 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 9143 0 0 0 8962 38 0 0 25 0 1 0 777265440 41443328 9115 4294967295 134512640 134714540 3221224592 3221223200 134536635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10118 9115 1111 63 0 10055 0 vsize: 40472 [startup+100.016 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 9669 0 0 0 9960 41 0 0 25 0 1 0 777265440 43634688 9639 4294967295 134512640 134714540 3221224592 3221223184 134549600 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10653 9639 1111 63 0 10590 0 vsize: 42612 [startup+110.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 10081 0 0 0 10961 42 0 0 25 0 1 0 777265440 45301760 10051 4294967295 134512640 134714540 3221224592 3221223184 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11060 10051 1111 63 0 10997 0 vsize: 44240 [startup+120.105 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 10552 0 0 0 11967 44 0 0 25 0 1 0 777265440 47194112 10522 4294967295 134512640 134714540 3221224592 3221223316 134529109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11522 10522 1111 63 0 11459 0 vsize: 46088 [startup+130.104 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 10948 0 0 0 12965 46 0 0 25 0 1 0 777265440 48836608 10917 4294967295 134512640 134714540 3221224592 3221223228 134549858 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11923 10917 1111 63 0 11860 0 vsize: 47692 [startup+140.12 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 11295 0 0 0 13964 48 0 0 25 0 1 0 777265440 50356224 11264 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12294 11264 1111 63 0 12231 0 vsize: 49176 [startup+150.137 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 11637 0 0 0 14965 49 0 0 25 0 1 0 777265440 51707904 11606 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12624 11606 1111 63 0 12561 0 vsize: 50496 [startup+160.138 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 12011 0 0 0 15963 51 0 0 25 0 1 0 777265440 53235712 11979 4294967295 134512640 134714540 3221224592 3221223216 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12997 11979 1111 63 0 12934 0 vsize: 51988 [startup+170.137 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7756 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 12337 0 0 0 16962 53 0 0 25 0 1 0 777265440 54591488 12304 4294967295 134512640 134714540 3221224592 3221223312 134529279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13328 12304 1111 63 0 13265 0 vsize: 53312 [startup+180.149 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 12687 0 0 0 17961 55 0 0 25 0 1 0 777265440 56119296 12654 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13701 12654 1111 63 0 13638 0 vsize: 54804 [startup+190.159 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 13295 0 0 0 18960 57 0 0 25 0 1 0 777265440 58060800 13136 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14175 13136 1111 63 0 14112 0 vsize: 56700 [startup+200.158 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 13627 0 0 0 19959 58 0 0 25 0 1 0 777265440 59412480 13468 4294967295 134512640 134714540 3221224592 3221223308 134552682 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14505 13468 1111 63 0 14442 0 vsize: 58020 [startup+210.159 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 13903 0 0 0 20958 59 0 0 25 0 1 0 777265440 60493824 13744 4294967295 134512640 134714540 3221224592 3221223180 134535664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14769 13744 1111 63 0 14706 0 vsize: 59076 [startup+220.16 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 14162 0 0 0 21957 60 0 0 25 0 1 0 777265440 61632512 14001 4294967295 134512640 134714540 3221224592 3221223196 134536828 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15047 14001 1111 63 0 14984 0 vsize: 60188 [startup+230.159 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 14454 0 0 0 22956 62 0 0 25 0 1 0 777265440 62717952 14292 4294967295 134512640 134714540 3221224592 3221223136 134549754 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15312 14292 1111 63 0 15249 0 vsize: 61248 [startup+240.16 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 14787 0 0 0 23955 63 0 0 25 0 1 0 777265440 64217088 14625 4294967295 134512640 134714540 3221224592 3221223268 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15678 14625 1111 63 0 15615 0 vsize: 62712 [startup+250.16 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 15062 0 0 0 24953 65 0 0 25 0 1 0 777265440 65298432 14900 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15942 14900 1111 63 0 15879 0 vsize: 63768 [startup+260.161 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 15378 0 0 0 25951 67 0 0 25 0 1 0 777265440 66682880 15216 4294967295 134512640 134714540 3221224592 3221223168 134549802 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16280 15216 1111 63 0 16217 0 vsize: 65120 [startup+270.161 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 15678 0 0 0 26950 68 0 0 25 0 1 0 777265440 67969024 15515 4294967295 134512640 134714540 3221224592 3221223148 134535631 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16594 15515 1111 63 0 16531 0 vsize: 66376 [startup+280.16 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 15926 0 0 0 27949 70 0 0 25 0 1 0 777265440 69050368 15763 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16858 15763 1111 63 0 16795 0 vsize: 67432 [startup+290.161 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 16233 0 0 0 28949 70 0 0 25 0 1 0 777265440 70316032 16068 4294967295 134512640 134714540 3221224592 3221223224 134552678 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17167 16068 1111 63 0 17104 0 vsize: 68668 [startup+300.161 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 16555 0 0 0 29948 71 0 0 25 0 1 0 777265440 71684096 16390 4294967295 134512640 134714540 3221224592 3221223280 134536630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17501 16390 1111 63 0 17438 0 vsize: 70004 [startup+310.161 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 16847 0 0 0 30946 73 0 0 25 0 1 0 777265440 72949760 16681 4294967295 134512640 134714540 3221224592 3221223268 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17810 16681 1111 63 0 17747 0 vsize: 71240 [startup+320.161 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 17143 0 0 0 31945 74 0 0 25 0 1 0 777265440 74166272 16977 4294967295 134512640 134714540 3221224592 3221223184 134549686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18107 16977 1111 63 0 18044 0 vsize: 72428 [startup+330.161 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 17419 0 0 0 32944 75 0 0 25 0 1 0 777265440 75251712 17252 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18372 17252 1111 63 0 18309 0 vsize: 73488 [startup+340.161 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 17608 0 0 0 33944 76 0 0 25 0 1 0 777265440 75948032 17440 4294967295 134512640 134714540 3221224592 3221223288 134523854 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18542 17440 1111 63 0 18479 0 vsize: 74168 [startup+350.161 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 17862 0 0 0 34943 77 0 0 25 0 1 0 777265440 77029376 17694 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18806 17694 1111 63 0 18743 0 vsize: 75224 [startup+360.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 18101 0 0 0 35942 78 0 0 25 0 1 0 777265440 77975552 17933 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19037 17933 1111 63 0 18974 0 vsize: 76148 [startup+370.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 18304 0 0 0 36940 80 0 0 25 0 1 0 777265440 78868480 18136 4294967295 134512640 134714540 3221224592 3221223148 134535631 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19255 18136 1111 63 0 19192 0 vsize: 77020 [startup+380.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 18614 0 0 0 37939 81 0 0 25 0 1 0 777265440 80084992 18446 4294967295 134512640 134714540 3221224592 3221223224 134552673 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19552 18446 1111 63 0 19489 0 vsize: 78208 [startup+390.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 18855 0 0 0 38939 82 0 0 25 0 1 0 777265440 81166336 18687 4294967295 134512640 134714540 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19816 18687 1111 63 0 19753 0 vsize: 79264 [startup+400.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 19055 0 0 0 39938 83 0 0 25 0 1 0 777265440 81977344 18886 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20014 18886 1111 63 0 19951 0 vsize: 80056 [startup+410.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 19293 0 0 0 40937 84 0 0 25 0 1 0 777265440 82923520 19124 4294967295 134512640 134714540 3221224592 3221223268 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20245 19124 1111 63 0 20182 0 vsize: 80980 [startup+420.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 19528 0 0 0 41936 85 0 0 25 0 1 0 777265440 83869696 19359 4294967295 134512640 134714540 3221224592 3221223200 134549635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20476 19359 1111 63 0 20413 0 vsize: 81904 [startup+430.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 19723 0 0 0 42935 86 0 0 25 0 1 0 777265440 84746240 19553 4294967295 134512640 134714540 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20690 19553 1111 63 0 20627 0 vsize: 82760 [startup+440.164 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 19896 0 0 0 43935 87 0 0 25 0 1 0 777265440 85422080 19726 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20855 19726 1111 63 0 20792 0 vsize: 83420 [startup+450.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 20054 0 0 0 44934 88 0 0 25 0 1 0 777265440 85962752 19884 4294967295 134512640 134714540 3221224592 3221223280 134551897 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20987 19884 1111 63 0 20924 0 vsize: 83948 [startup+460.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 20244 0 0 0 45934 88 0 0 25 0 1 0 777265440 86773760 20074 4294967295 134512640 134714540 3221224592 3221223136 134549809 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21185 20074 1111 63 0 21122 0 vsize: 84740 [startup+470.164 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 20452 0 0 0 46934 89 0 0 25 0 1 0 777265440 87584768 20282 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21383 20282 1111 63 0 21320 0 vsize: 85532 [startup+480.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 20643 0 0 0 47933 90 0 0 25 0 1 0 777265440 88395776 20473 4294967295 134512640 134714540 3221224592 3221223088 134535471 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21581 20473 1111 63 0 21518 0 vsize: 86324 [startup+490.164 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 20879 0 0 0 48932 91 0 0 25 0 1 0 777265440 89341952 20709 4294967295 134512640 134714540 3221224592 3221223136 134549594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21812 20709 1111 63 0 21749 0 vsize: 87248 [startup+500.164 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 21114 0 0 0 49931 92 0 0 25 0 1 0 777265440 90288128 20944 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22043 20944 1111 63 0 21980 0 vsize: 88172 [startup+510.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 21327 0 0 0 50930 93 0 0 25 0 1 0 777265440 91234304 21156 4294967295 134512640 134714540 3221224592 3221223280 134536630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22274 21156 1111 63 0 22211 0 vsize: 89096 [startup+520.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 21590 0 0 0 51930 93 0 0 25 0 1 0 777265440 92336128 21415 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22543 21415 1111 63 0 22480 0 vsize: 90172 [startup+530.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 21831 0 0 0 52929 95 0 0 25 0 1 0 777265440 93372416 21654 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22796 21654 1111 63 0 22733 0 vsize: 91184 [startup+540.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 22040 0 0 0 53928 95 0 0 25 0 1 0 777265440 94183424 21863 4294967295 134512640 134714540 3221224592 3221223232 134551897 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22994 21863 1111 63 0 22931 0 vsize: 91976 [startup+550.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 22253 0 0 0 54928 96 0 0 25 0 1 0 777265440 95129600 22076 4294967295 134512640 134714540 3221224592 3221223088 134535442 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23225 22076 1111 63 0 23162 0 vsize: 92900 [startup+560.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 22456 0 0 0 55927 97 0 0 25 0 1 0 777265440 95940608 22279 4294967295 134512640 134714540 3221224592 3221223148 134535631 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23423 22279 1111 63 0 23360 0 vsize: 93692 [startup+570.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 22693 0 0 0 56926 98 0 0 25 0 1 0 777265440 96890880 22514 4294967295 134512640 134714540 3221224592 3221223216 134549686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23655 22514 1111 63 0 23592 0 vsize: 94620 [startup+580.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 22891 0 0 0 57925 100 0 0 25 0 1 0 777265440 97701888 22712 4294967295 134512640 134714540 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23853 22712 1111 63 0 23790 0 vsize: 95412 [startup+590.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 23129 0 0 0 58923 101 0 0 25 0 1 0 777265440 98648064 22950 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24084 22950 1111 63 0 24021 0 vsize: 96336 [startup+600.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 23373 0 0 0 59923 102 0 0 25 0 1 0 777265440 99594240 23194 4294967295 134512640 134714540 3221224592 3221223304 134552573 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24315 23194 1111 63 0 24252 0 vsize: 97260 [startup+610.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 23574 0 0 0 60922 102 0 0 25 0 1 0 777265440 100560896 23395 4294967295 134512640 134714540 3221224592 3221223148 134535664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24551 23395 1111 63 0 24488 0 vsize: 98204 [startup+620.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 23796 0 0 0 61922 103 0 0 25 0 1 0 777265440 101408768 23617 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24758 23617 1111 63 0 24695 0 vsize: 99032 [startup+630.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 23996 0 0 0 62921 104 0 0 25 0 1 0 777265440 102227968 23815 4294967295 134512640 134714540 3221224592 3221223216 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24958 23815 1111 63 0 24895 0 vsize: 99832 [startup+640.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 24238 0 0 0 63920 105 0 0 25 0 1 0 777265440 103374848 24048 4294967295 134512640 134714540 3221224592 3221223248 134528595 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25238 24048 1111 63 0 25175 0 vsize: 100952 [startup+650.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 24465 0 0 0 64919 106 0 0 25 0 1 0 777265440 104185856 24275 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25436 24275 1111 63 0 25373 0 vsize: 101744 [startup+660.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 24688 0 0 0 65919 107 0 0 25 0 1 0 777265440 105201664 24498 4294967295 134512640 134714540 3221224592 3221223280 134535742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25684 24498 1111 63 0 25621 0 vsize: 102736 [startup+670.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 24861 0 0 0 66918 108 0 0 25 0 1 0 777265440 105877504 24671 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25849 24671 1111 63 0 25786 0 vsize: 103396 [startup+680.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 25044 0 0 0 67917 108 0 0 25 0 1 0 777265440 106688512 24854 4294967295 134512640 134714540 3221224592 3221223184 134549533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26047 24854 1111 63 0 25984 0 vsize: 104188 [startup+690.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 25892 0 0 0 68915 111 0 0 25 0 1 0 777265440 108871680 25366 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26580 25366 1111 63 0 26517 0 vsize: 106320 [startup+700.162 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 26118 0 0 0 69915 112 0 0 25 0 1 0 777265440 109817856 25592 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26811 25592 1111 63 0 26748 0 vsize: 107244 [startup+710.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 26329 0 0 0 70914 112 0 0 25 0 1 0 777265440 110628864 25803 4294967295 134512640 134714540 3221224592 3221223308 134552548 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27009 25803 1111 63 0 26946 0 vsize: 108036 [startup+720.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 26522 0 0 0 71914 113 0 0 25 0 1 0 777265440 111304704 25996 4294967295 134512640 134714540 3221224592 3221223196 134536828 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27174 25996 1111 63 0 27111 0 vsize: 108696 [startup+730.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 26697 0 0 0 72913 114 0 0 25 0 1 0 777265440 112246784 26171 4294967295 134512640 134714540 3221224592 3221223232 134536650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27404 26171 1111 63 0 27341 0 vsize: 109616 [startup+740.163 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 26902 0 0 0 73912 115 0 0 25 0 1 0 777265440 113094656 26373 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27611 26373 1111 63 0 27548 0 vsize: 110444 [startup+750.164 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 27100 0 0 0 74912 115 0 0 25 0 1 0 777265440 113905664 26571 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27809 26571 1111 63 0 27746 0 vsize: 111236 [startup+760.164 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 27337 0 0 0 75911 116 0 0 25 0 1 0 777265440 114888704 26808 4294967295 134512640 134714540 3221224592 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28049 26808 1111 63 0 27986 0 vsize: 112196 [startup+770.164 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 27549 0 0 0 76911 117 0 0 25 0 1 0 777265440 115724288 27019 4294967295 134512640 134714540 3221224592 3221223156 134535880 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28253 27019 1111 63 0 28190 0 vsize: 113012 [startup+780.164 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 27720 0 0 0 77910 118 0 0 25 0 1 0 777265440 116400128 27190 4294967295 134512640 134714540 3221224592 3221223196 134549858 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28418 27190 1111 63 0 28355 0 vsize: 113672 [startup+790.165 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 27872 0 0 0 78910 118 0 0 25 0 1 0 777265440 117075968 27342 4294967295 134512640 134714540 3221224592 3221223120 134535448 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28583 27342 1111 63 0 28520 0 vsize: 114332 [startup+800.165 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 28050 0 0 0 79910 119 0 0 25 0 1 0 777265440 117751808 27520 4294967295 134512640 134714540 3221224592 3221223256 134552681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28748 27520 1111 63 0 28685 0 vsize: 114992 [startup+810.164 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 28206 0 0 0 80909 119 0 0 25 0 1 0 777265440 118427648 27676 4294967295 134512640 134714540 3221224592 3221223272 134552642 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28913 27676 1111 63 0 28850 0 vsize: 115652 [startup+820.165 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 28406 0 0 0 81908 120 0 0 25 0 1 0 777265440 119328768 27872 4294967295 134512640 134714540 3221224592 3221223176 134552681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29133 27872 1111 63 0 29070 0 vsize: 116532 [startup+830.165 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 28606 0 0 0 82907 121 0 0 25 0 1 0 777265440 120004608 28072 4294967295 134512640 134714540 3221224592 3221223000 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29298 28072 1111 63 0 29235 0 vsize: 117192 [startup+840.165 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 28792 0 0 0 83907 122 0 0 25 0 1 0 777265440 120922112 28255 4294967295 134512640 134714540 3221224592 3221223264 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29522 28255 1111 63 0 29459 0 vsize: 118088 [startup+850.166 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 28977 0 0 0 84906 123 0 0 25 0 1 0 777265440 121798656 28438 4294967295 134512640 134714540 3221224592 3221223168 134542773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29736 28438 1111 63 0 29673 0 vsize: 118944 [startup+860.166 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29156 0 0 0 85905 124 0 0 25 0 1 0 777265440 122474496 28617 4294967295 134512640 134714540 3221224592 3221223136 134549517 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29901 28617 1111 63 0 29838 0 vsize: 119604 [startup+870.166 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29299 0 0 0 86905 125 0 0 25 0 1 0 777265440 123236352 28759 4294967295 134512640 134714540 3221224592 3221223244 134536817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30087 28759 1111 63 0 30024 0 vsize: 120348 [startup+880.166 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29392 0 0 0 87904 126 0 0 25 0 1 0 777265440 123506688 28852 4294967295 134512640 134714540 3221224592 3221223148 134535652 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30153 28852 1111 63 0 30090 0 vsize: 120612 [startup+890.167 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29532 0 0 0 88904 126 0 0 25 0 1 0 777265440 124121088 28992 4294967295 134512640 134714540 3221224592 3221223184 134549527 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30303 28992 1111 63 0 30240 0 vsize: 121212 [startup+900.167 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29701 0 0 0 89903 127 0 0 25 0 1 0 777265440 124932096 29161 4294967295 134512640 134714540 3221224592 3221223260 134552672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30501 29161 1111 63 0 30438 0 vsize: 122004 [startup+910.166 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29838 0 0 0 90903 128 0 0 25 0 1 0 777265440 125472768 29298 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30633 29298 1111 63 0 30570 0 vsize: 122532 [startup+920.167 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29986 0 0 0 91902 129 0 0 25 0 1 0 777265440 126013440 29446 4294967295 134512640 134714540 3221224592 3221223148 134535903 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30765 29446 1111 63 0 30702 0 vsize: 123060 [startup+930.167 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 30108 0 0 0 92902 129 0 0 25 0 1 0 777265440 126554112 29568 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30897 29568 1111 63 0 30834 0 vsize: 123588 [startup+940.166 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 30242 0 0 0 93901 130 0 0 25 0 1 0 777265440 127156224 29702 4294967295 134512640 134714540 3221224592 3221223248 134536724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31044 29702 1111 63 0 30981 0 vsize: 124176 [startup+950.166 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 30403 0 0 0 94900 131 0 0 25 0 1 0 777265440 127877120 29859 4294967295 134512640 134714540 3221224592 3221223148 134535956 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31220 29859 1111 63 0 31157 0 vsize: 124880 [startup+960.167 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 30564 0 0 0 95900 131 0 0 25 0 1 0 777265440 128417792 30020 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31352 30020 1111 63 0 31289 0 vsize: 125408 [startup+970.167 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 30725 0 0 0 96900 132 0 0 25 0 1 0 777265440 129241088 30179 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31553 30179 1111 63 0 31490 0 vsize: 126212 [startup+980.167 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 30891 0 0 0 97899 133 0 0 25 0 1 0 777265440 129839104 30344 4294967295 134512640 134714540 3221224592 3221223088 134535448 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31699 30344 1111 63 0 31636 0 vsize: 126796 [startup+990.168 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31044 0 0 0 98898 134 0 0 25 0 1 0 777265440 130514944 30497 4294967295 134512640 134714540 3221224592 3221223216 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31864 30497 1111 63 0 31801 0 vsize: 127456 [startup+1000.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31205 0 0 0 99898 135 0 0 25 0 1 0 777265440 131194880 30658 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32030 30658 1111 63 0 31967 0 vsize: 128120 [startup+1010.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31360 0 0 0 100897 135 0 0 25 0 1 0 777265440 131735552 30813 4294967295 134512640 134714540 3221224592 3221223104 134535032 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32162 30813 1111 63 0 32099 0 vsize: 128648 [startup+1020.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31528 0 0 0 101897 136 0 0 25 0 1 0 777265440 132411392 30981 4294967295 134512640 134714540 3221224592 3221223216 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32327 30981 1111 63 0 32264 0 vsize: 129308 [startup+1030.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31676 0 0 0 102897 136 0 0 25 0 1 0 777265440 132968448 31129 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32463 31129 1111 63 0 32400 0 vsize: 129852 [startup+1040.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31851 0 0 0 103896 137 0 0 25 0 1 0 777265440 133844992 31304 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32677 31304 1111 63 0 32614 0 vsize: 130708 [startup+1050.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31949 0 0 0 104896 137 0 0 25 0 1 0 777265440 134250496 31402 4294967295 134512640 134714540 3221224592 3221223160 134535491 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32776 31402 1111 63 0 32713 0 vsize: 131104 [startup+1060.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 32095 0 0 0 105896 138 0 0 25 0 1 0 777265440 134991872 31546 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32957 31546 1111 63 0 32894 0 vsize: 131828 [startup+1070.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 32221 0 0 0 106895 138 0 0 25 0 1 0 777265440 135577600 31671 4294967295 134512640 134714540 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33100 31671 1111 63 0 33037 0 vsize: 132400 [startup+1080.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 32379 0 0 0 107895 139 0 0 25 0 1 0 777265440 136118272 31829 4294967295 134512640 134714540 3221224592 3221223124 134549630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33232 31829 1111 63 0 33169 0 vsize: 132928 [startup+1090.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 32573 0 0 0 108895 139 0 0 25 0 1 0 777265440 137068544 32022 4294967295 134512640 134714540 3221224592 3221223184 134549533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33464 32022 1111 63 0 33401 0 vsize: 133856 [startup+1100.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 32778 0 0 0 109894 140 0 0 25 0 1 0 777265440 137879552 32227 4294967295 134512640 134714540 3221224592 3221223188 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33662 32227 1111 63 0 33599 0 vsize: 134648 [startup+1110.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 32951 0 0 0 110893 141 0 0 25 0 1 0 777265440 138555392 32400 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33827 32400 1111 63 0 33764 0 vsize: 135308 [startup+1120.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 33112 0 0 0 111893 141 0 0 25 0 1 0 777265440 139231232 32561 4294967295 134512640 134714540 3221224592 3221223040 134535448 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33992 32561 1111 63 0 33929 0 vsize: 135968 [startup+1130.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 33274 0 0 0 112892 142 0 0 25 0 1 0 777265440 139771904 32723 4294967295 134512640 134714540 3221224592 3221223280 134523930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34124 32723 1111 63 0 34061 0 vsize: 136496 [startup+1140.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 33499 0 0 0 113890 144 0 0 25 0 1 0 777265440 140849152 32935 4294967295 134512640 134714540 3221224592 3221223296 134528625 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34387 32935 1111 63 0 34324 0 vsize: 137548 [startup+1150.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 33667 0 0 0 114889 146 0 0 25 0 1 0 777265440 141524992 33101 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34552 33101 1111 63 0 34489 0 vsize: 138208 [startup+1160.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 33866 0 0 0 115888 147 0 0 25 0 1 0 777265440 142336000 33300 4294967295 134512640 134714540 3221224592 3221223328 134529243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34750 33300 1111 63 0 34687 0 vsize: 139000 [startup+1170.17 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 34041 0 0 0 116887 148 0 0 25 0 1 0 777265440 143011840 33475 4294967295 134512640 134714540 3221224592 3221223040 134535457 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34915 33475 1111 63 0 34852 0 vsize: 139660 [startup+1174.95 s] Raw data (loadavg): 0.99 0.97 0.93 1/53 7758 Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 34041 0 0 0 116887 148 0 0 25 0 1 0 777265440 143011840 33475 4294967295 134512640 134714540 3221224592 3221223040 134535457 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34915 33475 1111 63 0 34852 0 vsize: 0 Child status: 10 Real time (s): 1174.95 CPU time (s): 1175.14 CPU user time (s): 1173.6 CPU system time (s): 1.54676 CPU usage (%): 100.016 Max. virtual memory (Kb): 139660 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 30 #### END VERIFIER DATA ####