Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb |
MD5SUM | 8c361d02d5162bb0b133ab6ed38f9294 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02184 |
Number of variables | 201 |
Total number of constraints | 334 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 227 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 67 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc7 THE 2005-05-25 01:19:14 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13705 boxname=wulflinc7 idbench=1055 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 8c361d02d5162bb0b133ab6ed38f9294 /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-p0201.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-p0201.opb IDLAUNCH: 13705 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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: 894488 kB Buffers: 3520 kB Cached: 116608 kB SwapCached: 436 kB Active: 27248 kB Inactive: 95428 kB HighTotal: 131008 kB HighFree: 80920 kB LowTotal: 903652 kB LowFree: 813568 kB SwapTotal: 2097136 kB SwapFree: 2096244 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6060 kB Slab: 11916 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 01:39:16 (client local time) WITH STATUS 0 IN 1200.26 SECONDS stats: 13705 7 1200.26 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 201 variables and 133 constraints. c After prepocess the problem consists of 195 variables and 127 constraints. c preprocess terminated 0.225 s c Initial Lower Bound: 1100 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. c NEW SOLUTION FOUND: 2290 @ 0.243 c NEW SOLUTION FOUND: 2272 @ 0.247 c NEW SOLUTION FOUND: 2247 @ 0.248 c NEW SOLUTION FOUND: 2235 @ 0.251 c NEW SOLUTION FOUND: 2216 @ 0.256 c NEW SOLUTION FOUND: 2204 @ 0.257 c NEW SOLUTION FOUND: 2192 @ 0.262 c NEW SOLUTION FOUND: 2180 @ 0.262 c NEW SOLUTION FOUND: 2171 @ 0.275 c NEW SOLUTION FOUND: 2159 @ 0.276 c NEW SOLUTION FOUND: 2147 @ 0.292 c NEW SOLUTION FOUND: 2140 @ 0.357 c NEW SOLUTION FOUND: 2100 @ 0.497 c NEW SOLUTION FOUND: 2097 @ 0.605 c NEW SOLUTION FOUND: 2085 @ 0.606 c NEW SOLUTION FOUND: 2067 @ 1.157 c NEW SOLUTION FOUND: 2064 @ 1.225 c NEW SOLUTION FOUND: 2052 @ 1.335 c NEW SOLUTION FOUND: 2037 @ 1.475 c NEW SOLUTION FOUND: 2025 @ 1.48 c NEW SOLUTION FOUND: 2020 @ 15.036 c NEW SOLUTION FOUND: 2017 @ 15.039 c NEW SOLUTION FOUND: 2009 @ 15.452 c NEW SOLUTION FOUND: 1985 @ 15.671 c NEW SOLUTION FOUND: 1982 @ 22.849 c NEW SOLUTION FOUND: 1967 @ 66.183 c NEW SOLUTION FOUND: 1954 @ 66.509 c NEW SOLUTION FOUND: 1942 @ 66.581 c NEW SOLUTION FOUND: 1939 @ 339.771 c NEW SOLUTION FOUND: 1927 @ 339.777 c NEW SOLUTION FOUND: 1914 @ 340.035 c NEW SOLUTION FOUND: 1902 @ 340.128 c NEW SOLUTION FOUND: 1899 @ 703.811 c NEW SOLUTION FOUND: 1887 @ 703.881 #### 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.98 0.92 2/54 2943 Raw data (stat): 2943 (runsolver) R 2942 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776651494 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99986 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 4764 0 1 0 985 13 0 0 25 0 1 0 776651494 23314432 4741 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5692 4741 1111 63 0 5629 0 vsize: 22768 [startup+20 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 6285 0 1 0 1979 18 0 0 25 0 1 0 776651494 29540352 6260 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7212 6260 1111 63 0 7149 0 vsize: 28848 [startup+29.9996 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 12007 0 1 0 2965 32 0 0 25 0 1 0 776651494 53452800 11932 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13050 11932 1111 63 0 12987 0 vsize: 52200 [startup+40.0006 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 12007 0 1 0 3965 32 0 0 25 0 1 0 776651494 53452800 11932 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13050 11932 1111 63 0 12987 0 vsize: 52200 [startup+50.0009 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 12007 0 1 0 4966 32 0 0 25 0 1 0 776651494 53452800 11932 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13050 11932 1111 63 0 12987 0 vsize: 52200 [startup+60.0005 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 12007 0 1 0 5966 32 0 0 25 0 1 0 776651494 53452800 11932 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13050 11932 1111 63 0 12987 0 vsize: 52200 [startup+70.0011 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 16047 0 1 0 6957 40 0 0 25 0 1 0 776651494 70692864 15893 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17259 15893 1111 63 0 17196 0 vsize: 69036 [startup+80.0007 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 16902 0 1 0 7955 42 0 0 25 0 1 0 776651494 74260480 16739 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18130 16739 1111 63 0 18067 0 vsize: 72520 [startup+90.0004 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 16902 0 1 0 8955 42 0 0 25 0 1 0 776651494 74260480 16739 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18130 16739 1111 63 0 18067 0 vsize: 72520 [startup+100 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 16902 0 1 0 9955 42 0 0 25 0 1 0 776651494 74260480 16739 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18130 16739 1111 63 0 18067 0 vsize: 72520 [startup+110 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 16904 0 1 0 10955 42 0 0 25 0 1 0 776651494 74260480 16741 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18130 16741 1111 63 0 18067 0 vsize: 72520 [startup+120 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 16913 0 1 0 11955 42 0 0 25 0 1 0 776651494 74260480 16750 4294967295 134512640 134714540 3221224592 3221223168 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18130 16750 1111 63 0 18067 0 vsize: 72520 [startup+130 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 16932 0 1 0 12955 43 0 0 25 0 1 0 776651494 74395648 16769 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18163 16769 1111 63 0 18100 0 vsize: 72652 [startup+140.001 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 16938 0 1 0 13956 43 0 0 25 0 1 0 776651494 74395648 16775 4294967295 134512640 134714540 3221224592 3221223408 134622335 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18163 16775 1111 63 0 18100 0 vsize: 72652 [startup+150.001 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17022 0 1 0 14956 43 0 0 25 0 1 0 776651494 74665984 16859 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18229 16859 1111 63 0 18166 0 vsize: 72916 [startup+160.001 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17032 0 1 0 15956 43 0 0 25 0 1 0 776651494 74801152 16869 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16869 1111 63 0 18199 0 vsize: 73048 [startup+170.001 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17032 0 1 0 16956 43 0 0 25 0 1 0 776651494 74801152 16869 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16869 1111 63 0 18199 0 vsize: 73048 [startup+180.001 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17032 0 1 0 17956 43 0 0 25 0 1 0 776651494 74801152 16869 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16869 1111 63 0 18199 0 vsize: 73048 [startup+190.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17032 0 1 0 18957 43 0 0 25 0 1 0 776651494 74801152 16869 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16869 1111 63 0 18199 0 vsize: 73048 [startup+200.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17032 0 1 0 19957 43 0 0 25 0 1 0 776651494 74801152 16869 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16869 1111 63 0 18199 0 vsize: 73048 [startup+210.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17032 0 1 0 20957 43 0 0 25 0 1 0 776651494 74801152 16869 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16869 1111 63 0 18199 0 vsize: 73048 [startup+220.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17032 0 1 0 21957 43 0 0 25 0 1 0 776651494 74801152 16869 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16869 1111 63 0 18199 0 vsize: 73048 [startup+230.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17032 0 1 0 22957 44 0 0 25 0 1 0 776651494 74801152 16869 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16869 1111 63 0 18199 0 vsize: 73048 [startup+240.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17032 0 1 0 23957 44 0 0 25 0 1 0 776651494 74801152 16869 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16869 1111 63 0 18199 0 vsize: 73048 [startup+250.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17032 0 1 0 24957 44 0 0 25 0 1 0 776651494 74801152 16869 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16869 1111 63 0 18199 0 vsize: 73048 [startup+260.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17032 0 1 0 25957 44 0 0 25 0 1 0 776651494 74801152 16869 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16869 1111 63 0 18199 0 vsize: 73048 [startup+270.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17032 0 1 0 26957 44 0 0 25 0 1 0 776651494 74801152 16869 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16869 1111 63 0 18199 0 vsize: 73048 [startup+280.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17033 0 1 0 27957 44 0 0 25 0 1 0 776651494 74801152 16870 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16870 1111 63 0 18199 0 vsize: 73048 [startup+290.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17033 0 1 0 28957 44 0 0 25 0 1 0 776651494 74801152 16870 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16870 1111 63 0 18199 0 vsize: 73048 [startup+300.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17033 0 1 0 29958 44 0 0 25 0 1 0 776651494 74801152 16870 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16870 1111 63 0 18199 0 vsize: 73048 [startup+310.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 17033 0 1 0 30958 44 0 0 25 0 1 0 776651494 74801152 16870 4294967295 134512640 134714540 3221224592 3221223396 134622519 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18262 16870 1111 63 0 18199 0 vsize: 73048 [startup+320.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 20482 0 1 0 31950 52 0 0 25 0 1 0 776651494 88907776 20283 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21706 20283 1111 63 0 21643 0 vsize: 86824 [startup+330.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 20482 0 1 0 32950 52 0 0 25 0 1 0 776651494 88907776 20283 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21706 20283 1111 63 0 21643 0 vsize: 86824 [startup+340.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 20853 0 1 0 33949 53 0 0 25 0 1 0 776651494 90464256 20648 4294967295 134512640 134714540 3221224592 3221223296 134592082 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22086 20648 1111 63 0 22023 0 vsize: 88344 [startup+350.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26396 0 1 0 34936 66 0 0 25 0 1 0 776651494 114802688 26009 4294967295 134512640 134714540 3221224592 3221223320 134622780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28028 26009 1111 63 0 27965 0 vsize: 112112 [startup+360.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26396 0 1 0 35936 66 0 0 25 0 1 0 776651494 114802688 26009 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28028 26009 1111 63 0 27965 0 vsize: 112112 [startup+370.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26398 0 1 0 36936 66 0 0 25 0 1 0 776651494 114802688 26011 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28028 26011 1111 63 0 27965 0 vsize: 112112 [startup+380.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26409 0 1 0 37935 67 0 0 25 0 1 0 776651494 114802688 26022 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28028 26022 1111 63 0 27965 0 vsize: 112112 [startup+390.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26420 0 1 0 38935 67 0 0 25 0 1 0 776651494 114802688 26033 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28028 26033 1111 63 0 27965 0 vsize: 112112 [startup+400.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26480 0 1 0 39936 67 0 0 25 0 1 0 776651494 115138560 26089 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26089 1111 63 0 28047 0 vsize: 112440 [startup+410.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26481 0 1 0 40935 68 0 0 25 0 1 0 776651494 115138560 26090 4294967295 134512640 134714540 3221224592 3221223148 134536781 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26090 1111 63 0 28047 0 vsize: 112440 [startup+420.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26493 0 1 0 41935 68 0 0 25 0 1 0 776651494 115138560 26102 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26102 1111 63 0 28047 0 vsize: 112440 [startup+430.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26493 0 1 0 42935 68 0 0 25 0 1 0 776651494 115138560 26102 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26102 1111 63 0 28047 0 vsize: 112440 [startup+440.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26493 0 1 0 43935 69 0 0 25 0 1 0 776651494 115138560 26102 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26102 1111 63 0 28047 0 vsize: 112440 [startup+450.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26493 0 1 0 44935 69 0 0 25 0 1 0 776651494 115138560 26102 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26102 1111 63 0 28047 0 vsize: 112440 [startup+460.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26493 0 1 0 45934 69 0 0 25 0 1 0 776651494 115138560 26102 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26102 1111 63 0 28047 0 vsize: 112440 [startup+470.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26493 0 1 0 46934 69 0 0 25 0 1 0 776651494 115138560 26102 4294967295 134512640 134714540 3221224592 3221223396 134622516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26102 1111 63 0 28047 0 vsize: 112440 [startup+480.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26493 0 1 0 47935 69 0 0 25 0 1 0 776651494 115138560 26102 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26102 1111 63 0 28047 0 vsize: 112440 [startup+490.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26493 0 1 0 48934 70 0 0 25 0 1 0 776651494 115138560 26102 4294967295 134512640 134714540 3221224592 3221223304 134543133 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26102 1111 63 0 28047 0 vsize: 112440 [startup+500.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26493 0 1 0 49934 70 0 0 25 0 1 0 776651494 115138560 26102 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26102 1111 63 0 28047 0 vsize: 112440 [startup+510.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26493 0 1 0 50934 70 0 0 25 0 1 0 776651494 115138560 26102 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26102 1111 63 0 28047 0 vsize: 112440 [startup+520.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26495 0 1 0 51934 70 0 0 25 0 1 0 776651494 115138560 26104 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26104 1111 63 0 28047 0 vsize: 112440 [startup+530.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26495 0 1 0 52934 71 0 0 25 0 1 0 776651494 115138560 26104 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26104 1111 63 0 28047 0 vsize: 112440 [startup+540.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26495 0 1 0 53934 71 0 0 25 0 1 0 776651494 115138560 26104 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26104 1111 63 0 28047 0 vsize: 112440 [startup+550.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26495 0 1 0 54934 71 0 0 25 0 1 0 776651494 115138560 26104 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28110 26104 1111 63 0 28047 0 vsize: 112440 [startup+560.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26495 0 1 0 55934 71 0 0 25 0 1 0 776651494 115138560 26104 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28110 26104 1111 63 0 28047 0 vsize: 112440 [startup+570.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26495 0 1 0 56934 71 0 0 25 0 1 0 776651494 115138560 26104 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28110 26104 1111 63 0 28047 0 vsize: 112440 [startup+580.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26495 0 1 0 57934 71 0 0 25 0 1 0 776651494 115138560 26104 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28110 26104 1111 63 0 28047 0 vsize: 112440 [startup+590.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26495 0 1 0 58934 71 0 0 25 0 1 0 776651494 115138560 26104 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28110 26104 1111 63 0 28047 0 vsize: 112440 [startup+600.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26497 0 1 0 59934 71 0 0 25 0 1 0 776651494 115273728 26106 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28143 26106 1111 63 0 28080 0 vsize: 112572 [startup+610.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26498 0 1 0 60935 71 0 0 25 0 1 0 776651494 115273728 26107 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28143 26107 1111 63 0 28080 0 vsize: 112572 [startup+620.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26498 0 1 0 61935 71 0 0 25 0 1 0 776651494 115273728 26107 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28143 26107 1111 63 0 28080 0 vsize: 112572 [startup+630.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26499 0 1 0 62935 71 0 0 25 0 1 0 776651494 115273728 26108 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28143 26108 1111 63 0 28080 0 vsize: 112572 [startup+640.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26500 0 1 0 63935 71 0 0 25 0 1 0 776651494 115273728 26109 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28143 26109 1111 63 0 28080 0 vsize: 112572 [startup+650.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26505 0 1 0 64935 71 0 0 25 0 1 0 776651494 115273728 26114 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28143 26114 1111 63 0 28080 0 vsize: 112572 [startup+660.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26531 0 1 0 65935 72 0 0 25 0 1 0 776651494 115470336 26136 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28191 26136 1111 63 0 28128 0 vsize: 112764 [startup+670.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26531 0 1 0 66936 72 0 0 25 0 1 0 776651494 115470336 26136 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28191 26136 1111 63 0 28128 0 vsize: 112764 [startup+680.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26531 0 1 0 67936 72 0 0 25 0 1 0 776651494 115470336 26136 4294967295 134512640 134714540 3221224592 3221223328 134622801 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28191 26136 1111 63 0 28128 0 vsize: 112764 [startup+690.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26531 0 1 0 68936 72 0 0 25 0 1 0 776651494 115470336 26136 4294967295 134512640 134714540 3221224592 3221223320 134622806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28191 26136 1111 63 0 28128 0 vsize: 112764 [startup+700.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 26576 0 1 0 69936 72 0 0 25 0 1 0 776651494 115470336 26181 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28191 26181 1111 63 0 28128 0 vsize: 112764 [startup+710.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 32681 0 1 0 70922 85 0 0 25 0 1 0 776651494 140533760 32219 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34310 32219 1111 63 0 34247 0 vsize: 137240 [startup+720.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 71903 104 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+730.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 72903 104 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+740.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 73903 104 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+750.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 74904 104 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+760.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 75904 104 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+770.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 76904 104 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+780.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 77904 105 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+790.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 78904 105 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+800.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 79905 105 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+810.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 80904 105 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+820.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 81904 105 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+830.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 82904 105 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+840.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 83905 105 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+850.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 84905 105 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+860.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 85905 105 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+870.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 86905 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+880.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 87905 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223368 134542412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+890.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 88905 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+900.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 89905 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+910.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 90905 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+920.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 91906 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+930.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 92906 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223316 134622833 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+940.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 93906 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+950.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 94906 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+960.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 95906 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+970.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 96907 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+980.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 97907 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+990.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 98907 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+1000.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 99907 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+1010.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 100907 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+1020.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40758 0 1 0 101907 106 0 0 25 0 1 0 776651494 173654016 40192 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40192 1111 63 0 42333 0 vsize: 169584 [startup+1030.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 102908 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1040.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 103908 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1050.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 104908 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1060.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 105908 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1070.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 106908 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223336 134558593 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1080.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 107908 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1090.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 108909 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1100.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 109909 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1110.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 110909 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1120.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 111909 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1130.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 112909 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1140.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 113910 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1150.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 114910 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1160.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40771 0 1 0 115910 106 0 0 25 0 1 0 776651494 173654016 40205 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42396 40205 1111 63 0 42333 0 vsize: 169584 [startup+1170.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40790 0 1 0 116910 106 0 0 25 0 1 0 776651494 173797376 40223 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42431 40223 1111 63 0 42368 0 vsize: 169724 [startup+1180.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40790 0 1 0 117910 106 0 0 25 0 1 0 776651494 173797376 40223 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42431 40223 1111 63 0 42368 0 vsize: 169724 [startup+1190.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40790 0 1 0 118910 106 0 0 25 0 1 0 776651494 173797376 40223 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42431 40223 1111 63 0 42368 0 vsize: 169724 [startup+1200.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 2943 Raw data (stat): 2943 (bsolo_mis) R 2942 24300 24299 0 -1 0 40790 0 1 0 119911 106 0 0 25 0 1 0 776651494 173797376 40223 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42431 40223 1111 63 0 42368 0 vsize: 169724 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.09 s] Raw data (loadavg): 0.99 0.98 0.92 1/54 2943 Raw data (stat): 2943 (bsolo_mis) Z 2942 24300 24299 0 -1 1036 40790 0 1 0 119911 114 0 0 25 0 1 0 776651494 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.09 CPU time (s): 1200.26 CPU user time (s): 1199.11 CPU system time (s): 1.14383 CPU usage (%): 100.014 Max. virtual memory (Kb): 169724 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####