Name | normalized-opb/submitted/manquinho/ttp/normalized-circ8_3.opb |
MD5SUM | 2ea3853c4fb57dccc00d289069858df9 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 172 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 1024 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 24 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 1024 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.06 |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-10 10:17:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2325 boxname=wulflinc31 idbench=259 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 2ea3853c4fb57dccc00d289069858df9 /oldhome/oroussel/tmp/wulflinc31/normalized-circ8_3.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-circ8_3.opb IDLAUNCH: 2325 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 295136 kB Buffers: 46436 kB Cached: 659032 kB SwapCached: 644 kB Active: 308832 kB Inactive: 398956 kB HighTotal: 131008 kB HighFree: 31584 kB LowTotal: 903652 kB LowFree: 263552 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 25972 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-10 10:37:10 (client local time) WITH STATUS 0 IN 1175.07 SECONDS stats: 2325 7 1175.07 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 1344 variables and 16376 constraints. c After prepocess the problem consists of 1344 variables and 15368 constraints. c preprocess terminated 41.254 s c Initial Lower Bound: 16 c Lower Bound Elapsed time: 0 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.01 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): 1.14 1.02 1.01 2/54 9531 Raw data (stat): 9531 (runsolver) R 9530 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 708460679 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0016 s] Raw data (loadavg): 1.11 1.01 1.01 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 14097 0 0 0 955 41 0 0 25 0 1 0 708460679 24014848 4934 4294967295 134512640 134714540 3221221792 3221220344 134535770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5863 4934 1111 63 0 5800 0 vsize: 23452 [startup+20.0021 s] Raw data (loadavg): 1.10 1.01 1.01 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 14567 0 0 0 1954 43 0 0 25 0 1 0 708460679 25460736 5295 4294967295 134512640 134714540 3221221792 3221220256 134542365 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6216 5295 1111 63 0 6153 0 vsize: 24864 [startup+30.0021 s] Raw data (loadavg): 1.08 1.01 1.01 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 14822 0 0 0 2953 44 0 0 25 0 1 0 708460679 26546176 5550 4294967295 134512640 134714540 3221221792 3221220256 134542368 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6481 5550 1111 63 0 6418 0 vsize: 25924 [startup+40.0027 s] Raw data (loadavg): 1.07 1.01 1.01 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15117 0 0 0 3952 45 0 0 25 0 1 0 708460679 27049984 5665 4294967295 134512640 134714540 3221221792 3221220648 134542412 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6604 5665 1111 63 0 6541 0 vsize: 26416 [startup+50.0031 s] Raw data (loadavg): 1.06 1.01 1.01 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15131 0 0 0 4952 45 0 0 25 0 1 0 708460679 27049984 5679 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6604 5679 1111 63 0 6541 0 vsize: 26416 [startup+60.0039 s] Raw data (loadavg): 1.05 1.01 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15132 0 0 0 5951 46 0 0 25 0 1 0 708460679 27049984 5680 4294967295 134512640 134714540 3221221792 3221220432 134539518 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6604 5680 1111 63 0 6541 0 vsize: 26416 [startup+70.0053 s] Raw data (loadavg): 1.04 1.01 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15201 0 0 0 6950 47 0 0 25 0 1 0 708460679 27320320 5749 4294967295 134512640 134714540 3221221792 3221220332 134539296 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6670 5749 1111 63 0 6607 0 vsize: 26680 [startup+80.0059 s] Raw data (loadavg): 1.03 1.01 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15418 0 0 0 7949 49 0 0 25 0 1 0 708460679 28131328 5966 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6868 5966 1111 63 0 6805 0 vsize: 27472 [startup+90.0059 s] Raw data (loadavg): 1.03 1.01 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15680 0 0 0 8948 50 0 0 25 0 1 0 708460679 29212672 6228 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7132 6228 1111 63 0 7069 0 vsize: 28528 [startup+100.006 s] Raw data (loadavg): 1.02 1.01 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15842 0 0 0 9947 51 0 0 25 0 1 0 708460679 29888512 6390 4294967295 134512640 134714540 3221221792 3221220332 134539265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7297 6390 1111 63 0 7234 0 vsize: 29188 [startup+110.008 s] Raw data (loadavg): 1.02 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 16063 0 0 0 10946 53 0 0 25 0 1 0 708460679 30834688 6611 4294967295 134512640 134714540 3221221792 3221220448 134536643 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7528 6611 1111 63 0 7465 0 vsize: 30112 [startup+120.009 s] Raw data (loadavg): 1.02 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 16289 0 0 0 11944 54 0 0 25 0 1 0 708460679 31780864 6837 4294967295 134512640 134714540 3221221792 3221220456 134543614 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7759 6837 1111 63 0 7696 0 vsize: 31036 [startup+130.009 s] Raw data (loadavg): 1.01 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 16518 0 0 0 12943 56 0 0 25 0 1 0 708460679 32727040 7066 4294967295 134512640 134714540 3221221792 3221220456 134543057 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7990 7066 1111 63 0 7927 0 vsize: 31960 [startup+140.01 s] Raw data (loadavg): 1.01 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 16738 0 0 0 13941 58 0 0 25 0 1 0 708460679 33538048 7286 4294967295 134512640 134714540 3221221792 3221220332 134539262 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8188 7286 1111 63 0 8125 0 vsize: 32752 [startup+150.01 s] Raw data (loadavg): 1.01 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 16957 0 0 0 14940 59 0 0 25 0 1 0 708460679 34484224 7505 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8419 7505 1111 63 0 8356 0 vsize: 33676 [startup+160.011 s] Raw data (loadavg): 1.01 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 17184 0 0 0 15939 60 0 0 25 0 1 0 708460679 35430400 7732 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8650 7732 1111 63 0 8587 0 vsize: 34600 [startup+170.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 17423 0 0 0 16938 62 0 0 25 0 1 0 708460679 36376576 7971 4294967295 134512640 134714540 3221221792 3221220424 134543665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8881 7971 1111 63 0 8818 0 vsize: 35524 [startup+180.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 17609 0 0 0 17937 63 0 0 25 0 1 0 708460679 37187584 8157 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9079 8157 1111 63 0 9016 0 vsize: 36316 [startup+190.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 17845 0 0 0 18936 65 0 0 25 0 1 0 708460679 38133760 8393 4294967295 134512640 134714540 3221221792 3221220432 134539385 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9310 8393 1111 63 0 9247 0 vsize: 37240 [startup+200.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 18063 0 0 0 19934 66 0 0 25 0 1 0 708460679 38944768 8611 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9508 8611 1111 63 0 9445 0 vsize: 38032 [startup+210.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 18276 0 0 0 20933 67 0 0 25 0 1 0 708460679 39895040 8824 4294967295 134512640 134714540 3221221792 3221220416 134542365 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9740 8824 1111 63 0 9677 0 vsize: 38960 [startup+220.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 18460 0 0 0 21932 69 0 0 25 0 1 0 708460679 40570880 9008 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9905 9008 1111 63 0 9842 0 vsize: 39620 [startup+230.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 18631 0 0 0 22931 70 0 0 25 0 1 0 708460679 41381888 9179 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10103 9179 1111 63 0 10040 0 vsize: 40412 [startup+240.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 18775 0 0 0 23930 71 0 0 25 0 1 0 708460679 41922560 9323 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10235 9323 1111 63 0 10172 0 vsize: 40940 [startup+250.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 18935 0 0 0 24929 72 0 0 25 0 1 0 708460679 42598400 9483 4294967295 134512640 134714540 3221221792 3221220564 134529375 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10400 9483 1111 63 0 10337 0 vsize: 41600 [startup+260.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 19086 0 0 0 25928 73 0 0 25 0 1 0 708460679 43143168 9634 4294967295 134512640 134714540 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10533 9634 1111 63 0 10470 0 vsize: 42132 [startup+270.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 19225 0 0 0 26927 75 0 0 25 0 1 0 708460679 43823104 9773 4294967295 134512640 134714540 3221221792 3221220116 134697375 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10699 9773 1111 63 0 10636 0 vsize: 42796 [startup+280.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 19392 0 0 0 27926 76 0 0 25 0 1 0 708460679 44498944 9940 4294967295 134512640 134714540 3221221792 3221220380 134543615 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10864 9940 1111 63 0 10801 0 vsize: 43456 [startup+290.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 19562 0 0 0 28925 77 0 0 25 0 1 0 708460679 45174784 10110 4294967295 134512640 134714540 3221221792 3221220512 134535795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11029 10110 1111 63 0 10966 0 vsize: 44116 [startup+300.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 19725 0 0 0 29924 78 0 0 25 0 1 0 708460679 45850624 10273 4294967295 134512640 134714540 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11194 10273 1111 63 0 11131 0 vsize: 44776 [startup+310.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 19896 0 0 0 30923 79 0 0 25 0 1 0 708460679 46526464 10444 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11359 10444 1111 63 0 11296 0 vsize: 45436 [startup+320.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20024 0 0 0 31923 80 0 0 25 0 1 0 708460679 47067136 10572 4294967295 134512640 134714540 3221221792 3221220384 134543684 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11491 10572 1111 63 0 11428 0 vsize: 45964 [startup+330.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20191 0 0 0 32922 81 0 0 25 0 1 0 708460679 47742976 10739 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11656 10739 1111 63 0 11593 0 vsize: 46624 [startup+340.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20334 0 0 0 33922 81 0 0 25 0 1 0 708460679 48418816 10882 4294967295 134512640 134714540 3221221792 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11821 10882 1111 63 0 11758 0 vsize: 47284 [startup+350.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20506 0 0 0 34921 83 0 0 25 0 1 0 708460679 49098752 11054 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11987 11054 1111 63 0 11924 0 vsize: 47948 [startup+360.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20662 0 0 0 35920 84 0 0 25 0 1 0 708460679 49639424 11210 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12119 11210 1111 63 0 12056 0 vsize: 48476 [startup+370.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20791 0 0 0 36919 85 0 0 25 0 1 0 708460679 50176000 11339 4294967295 134512640 134714540 3221221792 3221220380 134543653 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12250 11339 1111 63 0 12187 0 vsize: 49000 [startup+380.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20905 0 0 0 37918 86 0 0 25 0 1 0 708460679 50716672 11453 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12382 11453 1111 63 0 12319 0 vsize: 49528 [startup+390.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21055 0 0 0 38917 87 0 0 25 0 1 0 708460679 51257344 11603 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12514 11603 1111 63 0 12451 0 vsize: 50056 [startup+400.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21195 0 0 0 39916 88 0 0 25 0 1 0 708460679 51933184 11743 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12679 11743 1111 63 0 12616 0 vsize: 50716 [startup+410.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21328 0 0 0 40915 89 0 0 25 0 1 0 708460679 52473856 11876 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12811 11876 1111 63 0 12748 0 vsize: 51244 [startup+420.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21418 0 0 0 41915 90 0 0 25 0 1 0 708460679 52752384 11966 4294967295 134512640 134714540 3221221792 3221220560 134592128 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12879 11966 1111 63 0 12816 0 vsize: 51516 [startup+430.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21571 0 0 0 42914 91 0 0 25 0 1 0 708460679 53428224 12119 4294967295 134512640 134714540 3221221792 3221220480 134528712 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13044 12119 1111 63 0 12981 0 vsize: 52176 [startup+440.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21700 0 0 0 43913 92 0 0 25 0 1 0 708460679 53968896 12248 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13176 12248 1111 63 0 13113 0 vsize: 52704 [startup+450.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21826 0 0 0 44912 93 0 0 25 0 1 0 708460679 54509568 12374 4294967295 134512640 134714540 3221221792 3221220432 134535026 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13308 12374 1111 63 0 13245 0 vsize: 53232 [startup+460.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21983 0 0 0 45910 95 0 0 25 0 1 0 708460679 55050240 12531 4294967295 134512640 134714540 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13440 12531 1111 63 0 13377 0 vsize: 53760 [startup+470.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22109 0 0 0 46909 96 0 0 25 0 1 0 708460679 55590912 12657 4294967295 134512640 134714540 3221221792 3221220384 134543686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13572 12657 1111 63 0 13509 0 vsize: 54288 [startup+480.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22215 0 0 0 47909 97 0 0 25 0 1 0 708460679 55996416 12763 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13671 12763 1111 63 0 13608 0 vsize: 54684 [startup+490.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22323 0 0 0 48908 98 0 0 25 0 1 0 708460679 56537088 12871 4294967295 134512640 134714540 3221221792 3221220472 134542961 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13803 12871 1111 63 0 13740 0 vsize: 55212 [startup+500.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22419 0 0 0 49907 99 0 0 25 0 1 0 708460679 56942592 12967 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13902 12967 1111 63 0 13839 0 vsize: 55608 [startup+510.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22543 0 0 0 50906 100 0 0 25 0 1 0 708460679 57483264 13091 4294967295 134512640 134714540 3221221792 3221220300 134535903 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14034 13091 1111 63 0 13971 0 vsize: 56136 [startup+520.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22676 0 0 0 51905 101 0 0 25 0 1 0 708460679 58023936 13224 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14166 13224 1111 63 0 14103 0 vsize: 56664 [startup+530.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22819 0 0 0 52904 102 0 0 25 0 1 0 708460679 58564608 13367 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14298 13367 1111 63 0 14235 0 vsize: 57192 [startup+540.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22942 0 0 0 53903 104 0 0 25 0 1 0 708460679 59105280 13490 4294967295 134512640 134714540 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14430 13490 1111 63 0 14367 0 vsize: 57720 [startup+550.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23068 0 0 0 54902 105 0 0 25 0 1 0 708460679 59510784 13616 4294967295 134512640 134714540 3221221792 3221220460 134543616 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14529 13616 1111 63 0 14466 0 vsize: 58116 [startup+560.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23184 0 0 0 55901 107 0 0 25 0 1 0 708460679 60051456 13732 4294967295 134512640 134714540 3221221792 3221220384 134549651 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14661 13732 1111 63 0 14598 0 vsize: 58644 [startup+570.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23310 0 0 0 56899 108 0 0 25 0 1 0 708460679 60592128 13858 4294967295 134512640 134714540 3221221792 3221220420 134696296 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14793 13858 1111 63 0 14730 0 vsize: 59172 [startup+580.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23409 0 0 0 57899 109 0 0 25 0 1 0 708460679 61001728 13957 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14893 13957 1111 63 0 14830 0 vsize: 59572 [startup+590.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23527 0 0 0 58898 110 0 0 25 0 1 0 708460679 61407232 14074 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14992 14074 1111 63 0 14929 0 vsize: 59968 [startup+600.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23611 0 0 0 59896 111 0 0 25 0 1 0 708460679 61812736 14158 4294967295 134512640 134714540 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15091 14158 1111 63 0 15028 0 vsize: 60364 [startup+610.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23689 0 0 0 60896 112 0 0 25 0 1 0 708460679 62083072 14236 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15157 14236 1111 63 0 15094 0 vsize: 60628 [startup+620.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23790 0 0 0 61895 113 0 0 25 0 1 0 708460679 62488576 14337 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15256 14337 1111 63 0 15193 0 vsize: 61024 [startup+630.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23889 0 0 0 62895 114 0 0 25 0 1 0 708460679 62894080 14436 4294967295 134512640 134714540 3221221792 3221220416 134542312 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15355 14436 1111 63 0 15292 0 vsize: 61420 [startup+640.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23982 0 0 0 63894 114 0 0 25 0 1 0 708460679 63299584 14529 4294967295 134512640 134714540 3221221792 3221220376 134543589 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15454 14529 1111 63 0 15391 0 vsize: 61816 [startup+650.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24079 0 0 0 64894 115 0 0 25 0 1 0 708460679 63705088 14626 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15553 14626 1111 63 0 15490 0 vsize: 62212 [startup+660.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24176 0 0 0 65893 116 0 0 25 0 1 0 708460679 64110592 14723 4294967295 134512640 134714540 3221221792 3221220556 134552548 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15652 14723 1111 63 0 15589 0 vsize: 62608 [startup+670.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24297 0 0 0 66892 118 0 0 25 0 1 0 708460679 64643072 14844 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15782 14844 1111 63 0 15719 0 vsize: 63128 [startup+680.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24416 0 0 0 67891 119 0 0 25 0 1 0 708460679 65187840 14963 4294967295 134512640 134714540 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15915 14963 1111 63 0 15852 0 vsize: 63660 [startup+690.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24570 0 0 0 68890 120 0 0 25 0 1 0 708460679 65744896 15117 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16051 15117 1111 63 0 15988 0 vsize: 64204 [startup+700.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24703 0 0 0 69889 120 0 0 25 0 1 0 708460679 66285568 15250 4294967295 134512640 134714540 3221221792 3221220384 134543740 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16183 15250 1111 63 0 16120 0 vsize: 64732 [startup+710.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24852 0 0 0 70888 122 0 0 25 0 1 0 708460679 66961408 15399 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16348 15399 1111 63 0 16285 0 vsize: 65392 [startup+720.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25002 0 0 0 71888 122 0 0 25 0 1 0 708460679 67502080 15549 4294967295 134512640 134714540 3221221792 3221220384 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16480 15549 1111 63 0 16417 0 vsize: 65920 [startup+730.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25122 0 0 0 72887 123 0 0 25 0 1 0 708460679 68042752 15669 4294967295 134512640 134714540 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16612 15669 1111 63 0 16549 0 vsize: 66448 [startup+740.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25239 0 0 0 73886 124 0 0 25 0 1 0 708460679 68448256 15786 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16711 15786 1111 63 0 16648 0 vsize: 66844 [startup+750.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25335 0 0 0 74886 125 0 0 25 0 1 0 708460679 68853760 15882 4294967295 134512640 134714540 3221221792 3221220300 134535895 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16810 15882 1111 63 0 16747 0 vsize: 67240 [startup+760.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25418 0 0 0 75885 126 0 0 25 0 1 0 708460679 69259264 15965 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16909 15965 1111 63 0 16846 0 vsize: 67636 [startup+770.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25575 0 0 0 76884 127 0 0 25 0 1 0 708460679 69931008 16122 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17073 16122 1111 63 0 17010 0 vsize: 68292 [startup+780.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25695 0 0 0 77883 128 0 0 25 0 1 0 708460679 70336512 16242 4294967295 134512640 134714540 3221221792 3221220424 134543090 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17172 16242 1111 63 0 17109 0 vsize: 68688 [startup+790.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25825 0 0 0 78882 130 0 0 25 0 1 0 708460679 70877184 16372 4294967295 134512640 134714540 3221221792 3221220560 134529138 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17304 16372 1111 63 0 17241 0 vsize: 69216 [startup+800.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25973 0 0 0 79881 131 0 0 25 0 1 0 708460679 71561216 16519 4294967295 134512640 134714540 3221221792 3221220496 134528735 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17471 16519 1111 63 0 17408 0 vsize: 69884 [startup+810.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26089 0 0 0 80881 131 0 0 25 0 1 0 708460679 71966720 16635 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17570 16635 1111 63 0 17507 0 vsize: 70280 [startup+820.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26182 0 0 0 81880 132 0 0 25 0 1 0 708460679 72384512 16728 4294967295 134512640 134714540 3221221792 3221220432 134539518 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17672 16728 1111 63 0 17609 0 vsize: 70688 [startup+830.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26317 0 0 0 82880 132 0 0 25 0 1 0 708460679 72925184 16863 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17804 16863 1111 63 0 17741 0 vsize: 71216 [startup+840.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26438 0 0 0 83880 133 0 0 25 0 1 0 708460679 73465856 16984 4294967295 134512640 134714540 3221221792 3221220460 134696428 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17936 16984 1111 63 0 17873 0 vsize: 71744 [startup+850.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26560 0 0 0 84879 133 0 0 25 0 1 0 708460679 74006528 17106 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18068 17106 1111 63 0 18005 0 vsize: 72272 [startup+860.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26699 0 0 0 85879 134 0 0 25 0 1 0 708460679 74579968 17245 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18208 17245 1111 63 0 18145 0 vsize: 72832 [startup+870.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26855 0 0 0 86877 135 0 0 25 0 1 0 708460679 75272192 17401 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18377 17401 1111 63 0 18314 0 vsize: 73508 [startup+880.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26973 0 0 0 87877 135 0 0 25 0 1 0 708460679 75677696 17519 4294967295 134512640 134714540 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18476 17519 1111 63 0 18413 0 vsize: 73904 [startup+890.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27058 0 0 0 88877 136 0 0 25 0 1 0 708460679 76083200 17604 4294967295 134512640 134714540 3221221792 3221220576 134529177 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18575 17604 1111 63 0 18512 0 vsize: 74300 [startup+900.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27191 0 0 0 89877 136 0 0 25 0 1 0 708460679 76636160 17735 4294967295 134512640 134714540 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18710 17735 1111 63 0 18647 0 vsize: 74840 [startup+910.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27333 0 0 0 90877 136 0 0 25 0 1 0 708460679 77172736 17877 4294967295 134512640 134714540 3221221792 3221220332 134539265 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18841 17877 1111 63 0 18778 0 vsize: 75364 [startup+920.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27448 0 0 0 91876 137 0 0 25 0 1 0 708460679 77713408 17992 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18973 17992 1111 63 0 18910 0 vsize: 75892 [startup+930.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27544 0 0 0 92876 138 0 0 25 0 1 0 708460679 77983744 18088 4294967295 134512640 134714540 3221221792 3221220496 134528617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19039 18088 1111 63 0 18976 0 vsize: 76156 [startup+940.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27646 0 0 0 93875 138 0 0 25 0 1 0 708460679 78524416 18189 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19171 18189 1111 63 0 19108 0 vsize: 76684 [startup+950.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27764 0 0 0 94875 139 0 0 25 0 1 0 708460679 78950400 18307 4294967295 134512640 134714540 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19275 18307 1111 63 0 19212 0 vsize: 77100 [startup+960.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27870 0 0 0 95875 139 0 0 25 0 1 0 708460679 79355904 18413 4294967295 134512640 134714540 3221221792 3221220552 134543589 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19374 18413 1111 63 0 19311 0 vsize: 77496 [startup+970.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28001 0 0 0 96874 140 0 0 25 0 1 0 708460679 79896576 18544 4294967295 134512640 134714540 3221221792 3221220432 134536650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19506 18544 1111 63 0 19443 0 vsize: 78024 [startup+980.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28101 0 0 0 97874 140 0 0 25 0 1 0 708460679 80334848 18644 4294967295 134512640 134714540 3221221792 3221220376 134543589 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19613 18644 1111 63 0 19550 0 vsize: 78452 [startup+990.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28234 0 0 0 98874 141 0 0 25 0 1 0 708460679 80875520 18777 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19745 18777 1111 63 0 19682 0 vsize: 78980 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28370 0 0 0 99873 141 0 0 25 0 1 0 708460679 81412096 18913 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19876 18913 1111 63 0 19813 0 vsize: 79504 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28478 0 0 0 100873 142 0 0 25 0 1 0 708460679 81973248 19020 4294967295 134512640 134714540 3221221792 3221220464 134543686 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20013 19020 1111 63 0 19950 0 vsize: 80052 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28607 0 0 0 101873 142 0 0 25 0 1 0 708460679 82378752 19149 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20112 19149 1111 63 0 20049 0 vsize: 80448 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28727 0 0 0 102872 143 0 0 25 0 1 0 708460679 82915328 19269 4294967295 134512640 134714540 3221221792 3221220408 134543606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20243 19269 1111 63 0 20180 0 vsize: 80972 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28843 0 0 0 103872 144 0 0 25 0 1 0 708460679 83456000 19385 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20375 19385 1111 63 0 20312 0 vsize: 81500 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28992 0 0 0 104871 144 0 0 25 0 1 0 708460679 84131840 19534 4294967295 134512640 134714540 3221221792 3221220432 134539385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20540 19534 1111 63 0 20477 0 vsize: 82160 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29127 0 0 0 105870 145 0 0 25 0 1 0 708460679 84672512 19669 4294967295 134512640 134714540 3221221792 3221220384 134549585 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20672 19669 1111 63 0 20609 0 vsize: 82688 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29232 0 0 0 106870 146 0 0 25 0 1 0 708460679 85078016 19774 4294967295 134512640 134714540 3221221792 3221220448 134536849 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20771 19774 1111 63 0 20708 0 vsize: 83084 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29346 0 0 0 107870 146 0 0 25 0 1 0 708460679 85483520 19888 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20870 19888 1111 63 0 20807 0 vsize: 83480 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29478 0 0 0 108869 147 0 0 25 0 1 0 708460679 86024192 20020 4294967295 134512640 134714540 3221221792 3221220460 134543653 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21002 20020 1111 63 0 20939 0 vsize: 84008 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29618 0 0 0 109869 147 0 0 25 0 1 0 708460679 86564864 20160 4294967295 134512640 134714540 3221221792 3221220444 134536779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21134 20160 1111 63 0 21071 0 vsize: 84536 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29758 0 0 0 110868 148 0 0 25 0 1 0 708460679 87257088 20300 4294967295 134512640 134714540 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21303 20300 1111 63 0 21240 0 vsize: 85212 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29855 0 0 0 111868 149 0 0 25 0 1 0 708460679 87670784 20397 4294967295 134512640 134714540 3221221792 3221220416 134542300 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21404 20397 1111 63 0 21341 0 vsize: 85616 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29931 0 0 0 112868 149 0 0 25 0 1 0 708460679 87941120 20473 4294967295 134512640 134714540 3221221792 3221220388 134542821 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21470 20473 1111 63 0 21407 0 vsize: 85880 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 30005 0 0 0 113867 150 0 0 25 0 1 0 708460679 88211456 20547 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21536 20547 1111 63 0 21473 0 vsize: 86144 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 30075 0 0 0 114867 150 0 0 25 0 1 0 708460679 88481792 20617 4294967295 134512640 134714540 3221221792 3221220500 134535806 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21602 20617 1111 63 0 21539 0 vsize: 86408 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 30135 0 0 0 115867 151 0 0 25 0 1 0 708460679 88752128 20677 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21668 20677 1111 63 0 21605 0 vsize: 86672 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 30210 0 0 0 116867 151 0 0 25 0 1 0 708460679 89182208 20752 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21773 20752 1111 63 0 21710 0 vsize: 87092 [startup+1174.93 s] Raw data (loadavg): 1.00 1.00 1.00 1/53 9531 Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 30210 0 0 0 116867 151 0 0 25 0 1 0 708460679 89182208 20752 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21773 20752 1111 63 0 21710 0 vsize: 0 Child status: 0 Real time (s): 1174.93 CPU time (s): 1175.07 CPU user time (s): 1173.51 CPU system time (s): 1.55776 CPU usage (%): 100.011 Max. virtual memory (Kb): 87092 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####