Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb |
MD5SUM | 154c7c542b6df7aab333fa859438b34f |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 65634210 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 4880 |
Biggest coefficient in the objective function | 10485760 |
Number of bits for the biggest coefficient in the objective function | 24 |
Sum of the numbers in the objective function | 1662757407 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 10485760 |
Number of bits of the biggest number in a constraint | 24 |
Biggest sum of numbers in a constraint | 1662757407 |
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 | 1252.14 |
Number of variables | 9680 |
Total number of constraints | 732 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 240 |
Number of constraints which are nor clauses,nor cardinality constraints | 492 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 420 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc27 THE 2005-05-24 20:05:14 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17995 boxname=wulflinc27 idbench=1385 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 154c7c542b6df7aab333fa859438b34f /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-set1ch.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-set1ch.opb IDLAUNCH: 17995 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 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: 898240 kB Buffers: 2212 kB Cached: 113088 kB SwapCached: 640 kB Active: 27804 kB Inactive: 89964 kB HighTotal: 131008 kB HighFree: 14504 kB LowTotal: 903652 kB LowFree: 883736 kB SwapTotal: 2097892 kB SwapFree: 2096760 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5644 kB Slab: 13124 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 20:24:50 (client local time) WITH STATUS 0 IN 1175.15 SECONDS stats: 17995 7 1175.15 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 9680 variables and 732 constraints. c After prepocess the problem consists of 7700 variables and 732 constraints. c preprocess terminated 5.658 s c Initial Lower Bound: 1722880 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.92 0.98 0.91 2/54 7277 Raw data (stat): 7277 (runsolver) R 7276 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832975093 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.0006 s] Raw data (loadavg): 0.93 0.98 0.91 2/54 7277 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 10345 0 0 0 973 25 0 0 25 0 1 0 832975093 46338048 10302 4294967295 134512640 134714540 3221224592 3221223312 134556924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11313 10302 1111 63 0 11250 0 vsize: 45252 [startup+20.0011 s] Raw data (loadavg): 0.94 0.98 0.91 2/54 7277 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 10347 0 0 0 1972 26 0 0 25 0 1 0 832975093 46338048 10304 4294967295 134512640 134714540 3221224592 3221223328 134556884 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11313 10304 1111 63 0 11250 0 vsize: 45252 [startup+30.0023 s] Raw data (loadavg): 0.95 0.98 0.91 2/54 7277 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 10348 0 0 0 2972 27 0 0 25 0 1 0 832975093 46338048 10305 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11313 10305 1111 63 0 11250 0 vsize: 45252 [startup+40.0021 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 7277 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 10350 0 0 0 3971 28 0 0 25 0 1 0 832975093 46338048 10307 4294967295 134512640 134714540 3221224592 3221223300 134556757 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11313 10307 1111 63 0 11250 0 vsize: 45252 [startup+50.0026 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 10546 0 0 0 4970 29 0 0 25 0 1 0 832975093 47177728 10503 4294967295 134512640 134714540 3221224592 3221223292 134558620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11518 10503 1111 63 0 11455 0 vsize: 46072 [startup+60.0028 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 10966 0 0 0 5969 31 0 0 25 0 1 0 832975093 48697344 10917 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11889 10917 1111 63 0 11826 0 vsize: 47556 [startup+70.0036 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 11594 0 0 0 6966 34 0 0 25 0 1 0 832975093 51290112 11545 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12522 11545 1111 63 0 12459 0 vsize: 50088 [startup+80.004 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 12220 0 0 0 7963 36 0 0 25 0 1 0 832975093 53862400 12171 4294967295 134512640 134714540 3221224592 3221223360 134624430 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13150 12171 1111 63 0 13087 0 vsize: 52600 [startup+90.0042 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 12969 0 0 0 8960 39 0 0 25 0 1 0 832975093 57176064 12920 4294967295 134512640 134714540 3221224592 3221223328 134556630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13959 12920 1111 63 0 13896 0 vsize: 55836 [startup+100.005 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 13564 0 0 0 9958 42 0 0 25 0 1 0 832975093 59473920 13515 4294967295 134512640 134714540 3221224592 3221223312 134556677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14520 13515 1111 63 0 14457 0 vsize: 58080 [startup+110.006 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 14153 0 0 0 10955 44 0 0 25 0 1 0 832975093 61906944 14104 4294967295 134512640 134714540 3221224592 3221223408 134611110 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15114 14104 1111 63 0 15051 0 vsize: 60456 [startup+120.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 14956 0 0 0 11952 48 0 0 25 0 1 0 832975093 65748992 14881 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16052 14881 1111 63 0 15989 0 vsize: 64208 [startup+130.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 15544 0 0 0 12951 49 0 0 25 0 1 0 832975093 68075520 15468 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16620 15468 1111 63 0 16557 0 vsize: 66480 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 16139 0 0 0 13949 51 0 0 25 0 1 0 832975093 70508544 16063 4294967295 134512640 134714540 3221224592 3221223368 134624425 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17214 16063 1111 63 0 17151 0 vsize: 68856 [startup+150.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 16742 0 0 0 14947 53 0 0 25 0 1 0 832975093 72806400 16664 4294967295 134512640 134714540 3221224592 3221223268 134553609 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17775 16664 1111 63 0 17712 0 vsize: 71100 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 17377 0 0 0 15944 56 0 0 25 0 1 0 832975093 75292672 17299 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18382 17299 1111 63 0 18319 0 vsize: 73528 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 17948 0 0 0 16942 58 0 0 25 0 1 0 832975093 77725696 17870 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18976 17870 1111 63 0 18913 0 vsize: 75904 [startup+180.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 18950 0 0 0 17939 62 0 0 25 0 1 0 832975093 82620416 18796 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20171 18796 1111 63 0 20108 0 vsize: 80684 [startup+190.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 19566 0 0 0 18936 65 0 0 25 0 1 0 832975093 85225472 19400 4294967295 134512640 134714540 3221224592 3221223264 134553605 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20807 19400 1111 63 0 20744 0 vsize: 83228 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 20145 0 0 0 19934 67 0 0 25 0 1 0 832975093 87523328 19979 4294967295 134512640 134714540 3221224592 3221223320 134528393 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21368 19979 1111 63 0 21305 0 vsize: 85472 [startup+210.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 20708 0 0 0 20932 69 0 0 25 0 1 0 832975093 89751552 20538 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21912 20538 1111 63 0 21849 0 vsize: 87648 [startup+220.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 21277 0 0 0 21931 71 0 0 25 0 1 0 832975093 92049408 21107 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22473 21107 1111 63 0 22410 0 vsize: 89892 [startup+230.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 21846 0 0 0 22929 73 0 0 25 0 1 0 832975093 94212096 21676 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23001 21676 1111 63 0 22938 0 vsize: 92004 [startup+240.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 22397 0 0 0 23927 74 0 0 25 0 1 0 832975093 96509952 22227 4294967295 134512640 134714540 3221224592 3221223340 134556731 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23562 22227 1111 63 0 23499 0 vsize: 94248 [startup+250.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 22984 0 0 0 24925 77 0 0 25 0 1 0 832975093 98906112 22809 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24147 22809 1111 63 0 24084 0 vsize: 96588 [startup+260.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 23552 0 0 0 25923 79 0 0 25 0 1 0 832975093 101068800 23377 4294967295 134512640 134714540 3221224592 3221223352 134543541 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24675 23377 1111 63 0 24612 0 vsize: 98700 [startup+270.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 24131 0 0 0 26922 80 0 0 25 0 1 0 832975093 103366656 23956 4294967295 134512640 134714540 3221224592 3221223264 134553177 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25236 23956 1111 63 0 25173 0 vsize: 100944 [startup+280.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 24688 0 0 0 27918 84 0 0 25 0 1 0 832975093 105529344 24513 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25764 24513 1111 63 0 25701 0 vsize: 103056 [startup+290.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 25365 0 0 0 28916 87 0 0 25 0 1 0 832975093 108199936 25190 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26416 25190 1111 63 0 26353 0 vsize: 105664 [startup+300.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 25937 0 0 0 29914 89 0 0 25 0 1 0 832975093 110497792 25762 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26977 25762 1111 63 0 26914 0 vsize: 107908 [startup+310.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 27394 0 0 0 30909 93 0 0 25 0 1 0 832975093 118571008 27085 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28948 27085 1111 63 0 28885 0 vsize: 115792 [startup+320.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 27820 0 0 0 31908 95 0 0 25 0 1 0 832975093 120492032 27484 4294967295 134512640 134714540 3221224592 3221223332 134556384 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29417 27484 1111 63 0 29354 0 vsize: 117668 [startup+330.026 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 28402 0 0 0 32906 96 0 0 25 0 1 0 832975093 122855424 28057 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29994 28057 1111 63 0 29931 0 vsize: 119976 [startup+340.027 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 28986 0 0 0 33904 99 0 0 25 0 1 0 832975093 125353984 28632 4294967295 134512640 134714540 3221224592 3221223308 134553168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30604 28632 1111 63 0 30541 0 vsize: 122416 [startup+350.028 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 29550 0 0 0 34901 102 0 0 25 0 1 0 832975093 127516672 29196 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31132 29196 1111 63 0 31069 0 vsize: 124528 [startup+360.028 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 30093 0 0 0 35899 104 0 0 25 0 1 0 832975093 129679360 29739 4294967295 134512640 134714540 3221224592 3221223312 134556783 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31660 29739 1111 63 0 31597 0 vsize: 126640 [startup+370.028 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 30625 0 0 0 36897 106 0 0 25 0 1 0 832975093 131907584 30262 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32204 30262 1111 63 0 32141 0 vsize: 128816 [startup+380.029 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 31181 0 0 0 37896 108 0 0 25 0 1 0 832975093 134070272 30818 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32732 30818 1111 63 0 32669 0 vsize: 130928 [startup+390.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 31715 0 0 0 38893 111 0 0 25 0 1 0 832975093 136232960 31352 4294967295 134512640 134714540 3221224592 3221223312 134556642 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33260 31352 1111 63 0 33197 0 vsize: 133040 [startup+400.031 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 32264 0 0 0 39891 113 0 0 25 0 1 0 832975093 138395648 31901 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33788 31901 1111 63 0 33725 0 vsize: 135152 [startup+410.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 32808 0 0 0 40889 115 0 0 25 0 1 0 832975093 140558336 32445 4294967295 134512640 134714540 3221224592 3221223304 134553169 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34316 32445 1111 63 0 34253 0 vsize: 137264 [startup+420.03 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 33353 0 0 0 41887 117 0 0 25 0 1 0 832975093 142721024 32990 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34844 32990 1111 63 0 34781 0 vsize: 139376 [startup+430.031 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 33883 0 0 0 42886 119 0 0 25 0 1 0 832975093 144883712 33520 4294967295 134512640 134714540 3221224592 3221223264 134553186 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35372 33520 1111 63 0 35309 0 vsize: 141488 [startup+440.031 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 34435 0 0 0 43884 120 0 0 25 0 1 0 832975093 147046400 34072 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35900 34072 1111 63 0 35837 0 vsize: 143600 [startup+450.031 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 35000 0 0 0 44882 122 0 0 25 0 1 0 832975093 149467136 34624 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36491 34624 1111 63 0 36428 0 vsize: 145964 [startup+460.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 35552 0 0 0 45880 125 0 0 25 0 1 0 832975093 151629824 35176 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37019 35176 1111 63 0 36956 0 vsize: 148076 [startup+470.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 36082 0 0 0 46878 127 0 0 25 0 1 0 832975093 153661440 35706 4294967295 134512640 134714540 3221224592 3221223296 134556770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37515 35706 1111 63 0 37452 0 vsize: 150060 [startup+480.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 36631 0 0 0 47877 128 0 0 25 0 1 0 832975093 155824128 36255 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38043 36255 1111 63 0 37980 0 vsize: 152172 [startup+490.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 37178 0 0 0 48875 130 0 0 25 0 1 0 832975093 157986816 36802 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38571 36802 1111 63 0 38508 0 vsize: 154284 [startup+500.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 37703 0 0 0 49873 132 0 0 25 0 1 0 832975093 160149504 37327 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39099 37327 1111 63 0 39036 0 vsize: 156396 [startup+510.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 38255 0 0 0 50872 134 0 0 25 0 1 0 832975093 162312192 37879 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39627 37879 1111 63 0 39564 0 vsize: 158508 [startup+520.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 38808 0 0 0 51870 136 0 0 25 0 1 0 832975093 164474880 38432 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40155 38432 1111 63 0 40092 0 vsize: 160620 [startup+530.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 39335 0 0 0 52869 137 0 0 25 0 1 0 832975093 166502400 38959 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40650 38959 1111 63 0 40587 0 vsize: 162600 [startup+540.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 39864 0 0 0 53867 140 0 0 25 0 1 0 832975093 168529920 39488 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41178 39489 1111 63 0 41115 0 vsize: 164580 [startup+550.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 40835 0 0 0 54864 143 0 0 25 0 1 0 832975093 171646976 40269 4294967295 134512640 134714540 3221224592 3221223312 134556783 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41906 40269 1111 63 0 41843 0 vsize: 167624 [startup+560.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 41392 0 0 0 55862 145 0 0 25 0 1 0 832975093 173809664 40826 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42434 40826 1111 63 0 42371 0 vsize: 169736 [startup+570.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 41949 0 0 0 56860 147 0 0 25 0 1 0 832975093 175972352 41383 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42962 41383 1111 63 0 42899 0 vsize: 171848 [startup+580.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 42483 0 0 0 57858 149 0 0 25 0 1 0 832975093 178135040 41917 4294967295 134512640 134714540 3221224592 3221223468 134543615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43490 41917 1111 63 0 43427 0 vsize: 173960 [startup+590.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 45452 0 0 0 58853 154 0 0 25 0 1 0 832975093 190914560 43287 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 46610 43287 1111 63 0 46547 0 vsize: 186440 [startup+600.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 46095 0 0 0 59852 156 0 0 25 0 1 0 832975093 193404928 43848 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47218 43848 1111 63 0 47155 0 vsize: 188872 [startup+610.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 46728 0 0 0 60850 158 0 0 25 0 1 0 832975093 195760128 44399 4294967295 134512640 134714540 3221224592 3221223340 134556731 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47793 44399 1111 63 0 47730 0 vsize: 191172 [startup+620.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 47279 0 0 0 61849 159 0 0 25 0 1 0 832975093 197922816 44950 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48321 44950 1111 63 0 48258 0 vsize: 193284 [startup+630.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 47840 0 0 0 62847 161 0 0 25 0 1 0 832975093 200085504 45511 4294967295 134512640 134714540 3221224592 3221223352 134543541 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48849 45511 1111 63 0 48786 0 vsize: 195396 [startup+640.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 48499 0 0 0 63845 164 0 0 25 0 1 0 832975093 202579968 46088 4294967295 134512640 134714540 3221224592 3221223376 134624391 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49458 46088 1111 63 0 49395 0 vsize: 197832 [startup+650.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 49033 0 0 0 64843 166 0 0 25 0 1 0 832975093 204742656 46622 4294967295 134512640 134714540 3221224592 3221223368 134624425 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49986 46622 1111 63 0 49923 0 vsize: 199944 [startup+660.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 49588 0 0 0 65841 168 0 0 25 0 1 0 832975093 206905344 47177 4294967295 134512640 134714540 3221224592 3221223420 134624368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50514 47177 1111 63 0 50451 0 vsize: 202056 [startup+670.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 50150 0 0 0 66839 170 0 0 25 0 1 0 832975093 209068032 47739 4294967295 134512640 134714540 3221224592 3221223376 134624498 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51042 47739 1111 63 0 50979 0 vsize: 204168 [startup+680.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 50680 0 0 0 67837 172 0 0 25 0 1 0 832975093 211230720 48269 4294967295 134512640 134714540 3221224592 3221223312 134556725 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51570 48269 1111 63 0 51507 0 vsize: 206280 [startup+690.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 51231 0 0 0 68835 174 0 0 25 0 1 0 832975093 213393408 48820 4294967295 134512640 134714540 3221224592 3221223312 134556680 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52098 48820 1111 63 0 52035 0 vsize: 208392 [startup+700.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 51788 0 0 0 69834 175 0 0 25 0 1 0 832975093 215343104 49295 4294967295 134512640 134714540 3221224592 3221223312 134556927 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52574 49295 1111 63 0 52511 0 vsize: 210296 [startup+710.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 52299 0 0 0 70833 177 0 0 25 0 1 0 832975093 217505792 49806 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53102 49806 1111 63 0 53039 0 vsize: 212408 [startup+720.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 52838 0 0 0 71831 179 0 0 25 0 1 0 832975093 219533312 50345 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53597 50345 1111 63 0 53534 0 vsize: 214388 [startup+730.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 53381 0 0 0 72830 180 0 0 25 0 1 0 832975093 221560832 50888 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 54092 50888 1111 63 0 54029 0 vsize: 216368 [startup+740.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 53917 0 0 0 73828 182 0 0 25 0 1 0 832975093 223723520 51424 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 54620 51424 1111 63 0 54557 0 vsize: 218480 [startup+750.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 54430 0 0 0 74827 183 0 0 25 0 1 0 832975093 225751040 51937 4294967295 134512640 134714540 3221224592 3221223336 134556743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 55115 51937 1111 63 0 55052 0 vsize: 220460 [startup+760.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 54972 0 0 0 75825 185 0 0 25 0 1 0 832975093 227782656 52479 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 55611 52479 1111 63 0 55548 0 vsize: 222444 [startup+770.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 55512 0 0 0 76823 187 0 0 25 0 1 0 832975093 229945344 53019 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 56139 53019 1111 63 0 56076 0 vsize: 224556 [startup+780.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 56023 0 0 0 77821 189 0 0 25 0 1 0 832975093 231972864 53530 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 56634 53530 1111 63 0 56571 0 vsize: 226536 [startup+790.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 56555 0 0 0 78820 191 0 0 25 0 1 0 832975093 234000384 54062 4294967295 134512640 134714540 3221224592 3221223408 134610886 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57129 54062 1111 63 0 57066 0 vsize: 228516 [startup+800.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 57094 0 0 0 79818 193 0 0 25 0 1 0 832975093 236163072 54601 4294967295 134512640 134714540 3221224592 3221223360 134624477 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57657 54601 1111 63 0 57594 0 vsize: 230628 [startup+810.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 57623 0 0 0 80816 195 0 0 25 0 1 0 832975093 238190592 55130 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58152 55130 1111 63 0 58089 0 vsize: 232608 [startup+820.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 58145 0 0 0 81815 197 0 0 25 0 1 0 832975093 240218112 55652 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58647 55652 1111 63 0 58584 0 vsize: 234588 [startup+830.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 58679 0 0 0 82813 199 0 0 25 0 1 0 832975093 242245632 56186 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 59142 56186 1111 63 0 59079 0 vsize: 236568 [startup+840.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 59222 0 0 0 83811 200 0 0 25 0 1 0 832975093 244408320 56729 4294967295 134512640 134714540 3221224592 3221223328 134556532 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 59670 56729 1111 63 0 59607 0 vsize: 238680 [startup+850.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 59732 0 0 0 84810 202 0 0 25 0 1 0 832975093 246435840 57239 4294967295 134512640 134714540 3221224592 3221223344 134624806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 60165 57239 1111 63 0 60102 0 vsize: 240660 [startup+860.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 60271 0 0 0 85808 204 0 0 25 0 1 0 832975093 248598528 57778 4294967295 134512640 134714540 3221224592 3221223376 134624869 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 60693 57778 1111 63 0 60630 0 vsize: 242772 [startup+870.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 60908 0 0 0 86806 206 0 0 25 0 1 0 832975093 251019264 58324 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 61284 58324 1111 63 0 61221 0 vsize: 245136 [startup+880.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 61420 0 0 0 87804 208 0 0 25 0 1 0 832975093 253046784 58836 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 61779 58836 1111 63 0 61716 0 vsize: 247116 [startup+890.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 61962 0 0 0 88804 209 0 0 25 0 1 0 832975093 255209472 59378 4294967295 134512640 134714540 3221224592 3221223344 134624488 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 62307 59378 1111 63 0 62244 0 vsize: 249228 [startup+900.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 62500 0 0 0 89803 210 0 0 25 0 1 0 832975093 257236992 59916 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 62802 59916 1111 63 0 62739 0 vsize: 251208 [startup+910.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 63016 0 0 0 90801 212 0 0 25 0 1 0 832975093 259399680 60432 4294967295 134512640 134714540 3221224592 3221223328 134556630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63330 60432 1111 63 0 63267 0 vsize: 253320 [startup+920.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 63553 0 0 0 91799 214 0 0 25 0 1 0 832975093 261427200 60969 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63825 60969 1111 63 0 63762 0 vsize: 255300 [startup+930.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 64093 0 0 0 92798 216 0 0 25 0 1 0 832975093 263454720 61509 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64320 61509 1111 63 0 64257 0 vsize: 257280 [startup+940.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 64631 0 0 0 93796 218 0 0 25 0 1 0 832975093 265617408 62047 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64848 62047 1111 63 0 64785 0 vsize: 259392 [startup+950.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 65144 0 0 0 94795 219 0 0 25 0 1 0 832975093 267644928 62560 4294967295 134512640 134714540 3221224592 3221223312 134556671 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65343 62560 1111 63 0 65280 0 vsize: 261372 [startup+960.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 65672 0 0 0 95793 221 0 0 25 0 1 0 832975093 269672448 63088 4294967295 134512640 134714540 3221224592 3221223352 134556737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65838 63088 1111 63 0 65775 0 vsize: 263352 [startup+970.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 66211 0 0 0 96792 223 0 0 25 0 1 0 832975093 271699968 63627 4294967295 134512640 134714540 3221224592 3221223348 134624799 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66333 63627 1111 63 0 66270 0 vsize: 265332 [startup+980.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 66724 0 0 0 97790 224 0 0 25 0 1 0 832975093 273862656 64140 4294967295 134512640 134714540 3221224592 3221223292 134558607 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66861 64140 1111 63 0 66798 0 vsize: 267444 [startup+990.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 67265 0 0 0 98789 226 0 0 25 0 1 0 832975093 275890176 64681 4294967295 134512640 134714540 3221224592 3221223296 134556515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67356 64681 1111 63 0 67293 0 vsize: 269424 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 67802 0 0 0 99788 227 0 0 25 0 1 0 832975093 277917696 65218 4294967295 134512640 134714540 3221224592 3221223328 134556487 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67851 65218 1111 63 0 67788 0 vsize: 271404 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 68315 0 0 0 100786 229 0 0 25 0 1 0 832975093 280080384 65731 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68379 65731 1111 63 0 68316 0 vsize: 273516 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 68855 0 0 0 101785 230 0 0 25 0 1 0 832975093 282107904 66271 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68874 66271 1111 63 0 68811 0 vsize: 275496 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 69394 0 0 0 102783 232 0 0 25 0 1 0 832975093 284270592 66810 4294967295 134512640 134714540 3221224592 3221223352 134543165 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69402 66810 1111 63 0 69339 0 vsize: 277608 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 69877 0 0 0 103782 234 0 0 25 0 1 0 832975093 286027776 67293 4294967295 134512640 134714540 3221224592 3221223360 134592128 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69831 67294 1111 63 0 69768 0 vsize: 279324 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 70395 0 0 0 104780 236 0 0 25 0 1 0 832975093 288190464 67811 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70359 67811 1111 63 0 70296 0 vsize: 281436 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 70936 0 0 0 105779 237 0 0 25 0 1 0 832975093 290217984 68352 4294967295 134512640 134714540 3221224592 3221223320 134558582 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70854 68352 1111 63 0 70791 0 vsize: 283416 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 71473 0 0 0 106777 239 0 0 25 0 1 0 832975093 292380672 68889 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 71382 68889 1111 63 0 71319 0 vsize: 285528 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 72894 0 0 0 107773 243 0 0 25 0 1 0 832975093 296275968 69854 4294967295 134512640 134714540 3221224592 3221223296 134556911 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72333 69854 1111 63 0 72270 0 vsize: 289332 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 73433 0 0 0 108771 246 0 0 25 0 1 0 832975093 298303488 70393 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72828 70393 1111 63 0 72765 0 vsize: 291312 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 73972 0 0 0 109769 247 0 0 25 0 1 0 832975093 300331008 70932 4294967295 134512640 134714540 3221224592 3221223312 134556725 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73323 70932 1111 63 0 73260 0 vsize: 293292 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 74485 0 0 0 110768 249 0 0 25 0 1 0 832975093 302493696 71445 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73851 71445 1111 63 0 73788 0 vsize: 295404 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 75023 0 0 0 111766 250 0 0 25 0 1 0 832975093 304521216 71983 4294967295 134512640 134714540 3221224592 3221223288 134558621 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74346 71983 1111 63 0 74283 0 vsize: 297384 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 75554 0 0 0 112765 252 0 0 25 0 1 0 832975093 306548736 72514 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74841 72514 1111 63 0 74778 0 vsize: 299364 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 76093 0 0 0 113764 253 0 0 25 0 1 0 832975093 308711424 73053 4294967295 134512640 134714540 3221224592 3221223272 134558621 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75369 73053 1111 63 0 75306 0 vsize: 301476 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 76607 0 0 0 114763 254 0 0 25 0 1 0 832975093 310738944 73567 4294967295 134512640 134714540 3221224592 3221223312 134556832 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75864 73567 1111 63 0 75801 0 vsize: 303456 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 82445 0 0 0 115755 263 0 0 25 0 1 0 832975093 332877824 75274 4294967295 134512640 134714540 3221224592 3221223308 134553168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81269 75274 1111 63 0 81206 0 vsize: 325076 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 83284 0 0 0 116752 266 0 0 25 0 1 0 832975093 335810560 75789 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81985 75789 1111 63 0 81922 0 vsize: 327940 [startup+1175.02 s] Raw data (loadavg): 1.00 1.00 0.92 1/53 7279 Raw data (stat): 7277 (bsolo_mis) R 7276 3394 3393 0 -1 0 83284 0 0 0 116752 266 0 0 25 0 1 0 832975093 335810560 75789 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81985 75789 1111 63 0 81922 0 vsize: 0 Child status: 0 Real time (s): 1175.02 CPU time (s): 1175.15 CPU user time (s): 1172.34 CPU system time (s): 2.80857 CPU usage (%): 100.011 Max. virtual memory (Kb): 327940 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####