Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb |
MD5SUM | 99cab377899feaa32c19b4b5cf94d7d4 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 31 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.871866 |
Number of variables | 1305 |
Total number of constraints | 958 |
Number of constraints which are clauses | 899 |
Number of constraints which are cardinality constraints (but not clauses) | 59 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 15 |
Maximum length of a constraint | 30 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-02 22:21:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=417 boxname=wulflinc31 idbench=47 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 99cab377899feaa32c19b4b5cf94d7d4 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_29_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_29_sat_pb.cnf.cr.opb IDLAUNCH: 417 /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: 925528 kB Buffers: 38876 kB Cached: 48308 kB SwapCached: 944 kB Active: 73112 kB Inactive: 16488 kB HighTotal: 131008 kB HighFree: 81788 kB LowTotal: 903652 kB LowFree: 843740 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5536 kB Slab: 14084 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-02 22:41:06 (client local time) WITH STATUS 0 IN 1175.06 SECONDS stats: 417 7 1175.06 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: No cost function. Find solution and finish. c Initial problem consists of 1305 variables and 958 constraints. c After prepocess the problem consists of 1305 variables and 958 constraints. c preprocess terminated 1.846 s c Not 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.95 0.94 2/54 28821 Raw data (stat): 28821 (runsolver) R 28820 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 643676863 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0004 s] Raw data (loadavg): 0.93 0.96 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 1937 0 0 0 988 7 0 0 25 0 1 0 643676863 11563008 1912 4294967295 134512640 134714540 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2823 1912 1111 63 0 2760 0 vsize: 11292 [startup+20.0004 s] Raw data (loadavg): 0.94 0.96 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 2793 0 0 0 1983 12 0 0 25 0 1 0 643676863 15073280 2768 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3680 2768 1111 63 0 3617 0 vsize: 14720 [startup+30.0013 s] Raw data (loadavg): 0.95 0.96 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 3117 0 0 0 2982 14 0 0 25 0 1 0 643676863 16424960 3092 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4010 3092 1111 63 0 3947 0 vsize: 16040 [startup+40.0012 s] Raw data (loadavg): 0.96 0.96 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 3796 0 0 0 3978 18 0 0 25 0 1 0 643676863 19263488 3771 4294967295 134512640 134714540 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4703 3771 1111 63 0 4640 0 vsize: 18812 [startup+50.0011 s] Raw data (loadavg): 0.96 0.96 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 4064 0 0 0 4976 20 0 0 25 0 1 0 643676863 20344832 4039 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4967 4039 1111 63 0 4904 0 vsize: 19868 [startup+60.0011 s] Raw data (loadavg): 0.97 0.96 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 4788 0 0 0 5972 24 0 0 25 0 1 0 643676863 23314432 4763 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5692 4763 1111 63 0 5629 0 vsize: 22768 [startup+70.001 s] Raw data (loadavg): 0.97 0.96 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 5419 0 0 0 6969 27 0 0 25 0 1 0 643676863 25878528 5394 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6318 5394 1111 63 0 6255 0 vsize: 25272 [startup+80.002 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 5978 0 0 0 7965 31 0 0 25 0 1 0 643676863 28176384 5953 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6879 5953 1111 63 0 6816 0 vsize: 27516 [startup+90.0023 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 6650 0 0 0 8962 34 0 0 25 0 1 0 643676863 30879744 6625 4294967295 134512640 134714540 3221221776 3221220208 134697481 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7539 6625 1111 63 0 7476 0 vsize: 30156 [startup+100.002 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 6951 0 0 0 9959 37 0 0 25 0 1 0 643676863 32092160 6926 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7835 6926 1111 63 0 7772 0 vsize: 31340 [startup+110.003 s] Raw data (loadavg): 0.98 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 7415 0 0 0 10957 39 0 0 25 0 1 0 643676863 34119680 7390 4294967295 134512640 134714540 3221221776 3221220432 134536624 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8330 7390 1111 63 0 8267 0 vsize: 33320 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 7833 0 0 0 11955 42 0 0 25 0 1 0 643676863 35737600 7808 4294967295 134512640 134714540 3221221776 3221220352 134538956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8725 7808 1111 63 0 8662 0 vsize: 34900 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 8058 0 0 0 12954 43 0 0 25 0 1 0 643676863 36683776 8033 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8956 8033 1111 63 0 8893 0 vsize: 35824 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 8431 0 0 0 13952 45 0 0 25 0 1 0 643676863 38170624 8406 4294967295 134512640 134714540 3221221776 3221220476 134552682 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9319 8406 1111 63 0 9256 0 vsize: 37276 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 8895 0 0 0 14950 47 0 0 25 0 1 0 643676863 40062976 8870 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9781 8870 1111 63 0 9718 0 vsize: 39124 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 9403 0 0 0 15947 50 0 0 25 0 1 0 643676863 42221568 9378 4294967295 134512640 134714540 3221221776 3221220540 134552548 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10308 9378 1111 63 0 10245 0 vsize: 41232 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 9633 0 0 0 16945 52 0 0 25 0 1 0 643676863 43167744 9608 4294967295 134512640 134714540 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10539 9608 1111 63 0 10476 0 vsize: 42156 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 9757 0 0 0 17944 53 0 0 25 0 1 0 643676863 43700224 9732 4294967295 134512640 134714540 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10669 9732 1111 63 0 10606 0 vsize: 42676 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 9946 0 0 0 18943 54 0 0 25 0 1 0 643676863 44388352 9921 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10837 9921 1111 63 0 10774 0 vsize: 43348 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 10218 0 0 0 19942 56 0 0 25 0 1 0 643676863 45604864 10193 4294967295 134512640 134714540 3221221776 3221220356 134696296 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11134 10193 1111 63 0 11071 0 vsize: 44536 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 10537 0 0 0 20940 58 0 0 25 0 1 0 643676863 46817280 10512 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11430 10512 1111 63 0 11367 0 vsize: 45720 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 10905 0 0 0 21937 61 0 0 25 0 1 0 643676863 48304128 10880 4294967295 134512640 134714540 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11793 10880 1111 63 0 11730 0 vsize: 47172 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 11203 0 0 0 22936 63 0 0 25 0 1 0 643676863 49516544 11178 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12089 11178 1111 63 0 12026 0 vsize: 48356 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 11292 0 0 0 23935 63 0 0 25 0 1 0 643676863 49922048 11267 4294967295 134512640 134714540 3221221776 3221220376 134549515 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12188 11267 1111 63 0 12125 0 vsize: 48752 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 11598 0 0 0 24933 66 0 0 25 0 1 0 643676863 51134464 11573 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12484 11573 1111 63 0 12421 0 vsize: 49936 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 11989 0 0 0 25931 67 0 0 25 0 1 0 643676863 52756480 11964 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12880 11964 1111 63 0 12817 0 vsize: 51520 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 12415 0 0 0 26929 69 0 0 25 0 1 0 643676863 54513664 12390 4294967295 134512640 134714540 3221221776 3221220512 134523932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13309 12390 1111 63 0 13246 0 vsize: 53236 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 12716 0 0 0 27927 71 0 0 25 0 1 0 643676863 55726080 12691 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13605 12691 1111 63 0 13542 0 vsize: 54420 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 12745 0 0 0 28927 72 0 0 25 0 1 0 643676863 55861248 12720 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13638 12720 1111 63 0 13575 0 vsize: 54552 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 12942 0 0 0 29926 73 0 0 25 0 1 0 643676863 56672256 12917 4294967295 134512640 134714540 3221221776 3221220520 134587990 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13836 12917 1111 63 0 13773 0 vsize: 55344 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 13186 0 0 0 30925 75 0 0 25 0 1 0 643676863 57753600 13161 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14100 13161 1111 63 0 14037 0 vsize: 56400 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 13535 0 0 0 31923 77 0 0 25 0 1 0 643676863 59105280 13510 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14430 13510 1111 63 0 14367 0 vsize: 57720 [startup+330.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 13937 0 0 0 32921 78 0 0 25 0 1 0 643676863 60727296 13912 4294967295 134512640 134714540 3221221776 3221220384 134549302 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14826 13912 1111 63 0 14763 0 vsize: 59304 [startup+340.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 14364 0 0 0 33919 81 0 0 25 0 1 0 643676863 62484480 14339 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15255 14339 1111 63 0 15192 0 vsize: 61020 [startup+350.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 14448 0 0 0 34918 82 0 0 25 0 1 0 643676863 62889984 14423 4294967295 134512640 134714540 3221221776 3221220416 134613635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15354 14423 1111 63 0 15291 0 vsize: 61416 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 14797 0 0 0 35917 84 0 0 25 0 1 0 643676863 64376832 14772 4294967295 134512640 134714540 3221221776 3221220372 134543734 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15717 14772 1111 63 0 15654 0 vsize: 62868 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 14953 0 0 0 36914 86 0 0 25 0 1 0 643676863 64917504 14928 4294967295 134512640 134714540 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15849 14928 1111 63 0 15786 0 vsize: 63396 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 15327 0 0 0 37912 88 0 0 25 0 1 0 643676863 66527232 15302 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16242 15302 1111 63 0 16179 0 vsize: 64968 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 15578 0 0 0 38910 91 0 0 25 0 1 0 643676863 67473408 15553 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16473 15553 1111 63 0 16410 0 vsize: 65892 [startup+400.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 15826 0 0 0 39908 93 0 0 25 0 1 0 643676863 68554752 15801 4294967295 134512640 134714540 3221221776 3221220416 134523872 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16737 15801 1111 63 0 16674 0 vsize: 66948 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 16021 0 0 0 40906 95 0 0 25 0 1 0 643676863 69365760 15996 4294967295 134512640 134714540 3221221776 3221220312 134613753 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16935 15996 1111 63 0 16872 0 vsize: 67740 [startup+420.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 16133 0 0 0 41905 96 0 0 25 0 1 0 643676863 69771264 16108 4294967295 134512640 134714540 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17034 16108 1111 63 0 16971 0 vsize: 68136 [startup+430.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 16188 0 0 0 42904 97 0 0 25 0 1 0 643676863 70017024 16163 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17094 16163 1111 63 0 17031 0 vsize: 68376 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 16292 0 0 0 43903 98 0 0 25 0 1 0 643676863 70418432 16267 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17192 16267 1111 63 0 17129 0 vsize: 68768 [startup+450.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 16382 0 0 0 44902 100 0 0 25 0 1 0 643676863 70823936 16357 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17291 16357 1111 63 0 17228 0 vsize: 69164 [startup+460.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 16448 0 0 0 45900 102 0 0 25 0 1 0 643676863 71094272 16423 4294967295 134512640 134714540 3221221776 3221220432 134536627 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17357 16423 1111 63 0 17294 0 vsize: 69428 [startup+470.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 16543 0 0 0 46898 104 0 0 25 0 1 0 643676863 71499776 16518 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17456 16518 1111 63 0 17393 0 vsize: 69824 [startup+480.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 16755 0 0 0 47896 106 0 0 25 0 1 0 643676863 72290304 16730 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17649 16730 1111 63 0 17586 0 vsize: 70596 [startup+490.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 16900 0 0 0 48894 108 0 0 25 0 1 0 643676863 72966144 16875 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17814 16875 1111 63 0 17751 0 vsize: 71256 [startup+500.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17024 0 0 0 49893 110 0 0 25 0 1 0 643676863 73498624 16999 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17944 16999 1111 63 0 17881 0 vsize: 71776 [startup+510.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17159 0 0 0 50891 112 0 0 25 0 1 0 643676863 74022912 17134 4294967295 134512640 134714540 3221221776 3221220432 134543712 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18072 17134 1111 63 0 18009 0 vsize: 72288 [startup+520.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17233 0 0 0 51890 113 0 0 25 0 1 0 643676863 74293248 17208 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18138 17208 1111 63 0 18075 0 vsize: 72552 [startup+530.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17286 0 0 0 52889 114 0 0 25 0 1 0 643676863 74563584 17261 4294967295 134512640 134714540 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18204 17261 1111 63 0 18141 0 vsize: 72816 [startup+540.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17301 0 0 0 53888 116 0 0 25 0 1 0 643676863 74563584 17276 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18204 17276 1111 63 0 18141 0 vsize: 72816 [startup+550.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17348 0 0 0 54887 117 0 0 25 0 1 0 643676863 74727424 17323 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18244 17323 1111 63 0 18181 0 vsize: 72976 [startup+560.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17381 0 0 0 55885 118 0 0 25 0 1 0 643676863 74862592 17356 4294967295 134512640 134714540 3221221776 3221220368 134549745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18277 17356 1111 63 0 18214 0 vsize: 73108 [startup+570.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17430 0 0 0 56884 119 0 0 25 0 1 0 643676863 75132928 17405 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18343 17405 1111 63 0 18280 0 vsize: 73372 [startup+580.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17481 0 0 0 57883 121 0 0 25 0 1 0 643676863 75268096 17456 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18376 17456 1111 63 0 18313 0 vsize: 73504 [startup+590.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17518 0 0 0 58883 122 0 0 25 0 1 0 643676863 75403264 17493 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18409 17493 1111 63 0 18346 0 vsize: 73636 [startup+600.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17623 0 0 0 59881 123 0 0 25 0 1 0 643676863 75943936 17598 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18541 17598 1111 63 0 18478 0 vsize: 74164 [startup+610.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17723 0 0 0 60879 126 0 0 25 0 1 0 643676863 76337152 17698 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18637 17698 1111 63 0 18574 0 vsize: 74548 [startup+620.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17830 0 0 0 61878 126 0 0 25 0 1 0 643676863 76730368 17805 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18733 17805 1111 63 0 18670 0 vsize: 74932 [startup+630.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 17924 0 0 0 62877 128 0 0 25 0 1 0 643676863 77131776 17899 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18831 17899 1111 63 0 18768 0 vsize: 75324 [startup+640.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18010 0 0 0 63875 130 0 0 25 0 1 0 643676863 77516800 17985 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18925 17985 1111 63 0 18862 0 vsize: 75700 [startup+650.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18098 0 0 0 64874 131 0 0 25 0 1 0 643676863 77787136 18073 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18991 18073 1111 63 0 18928 0 vsize: 75964 [startup+660.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18136 0 0 0 65873 133 0 0 25 0 1 0 643676863 78057472 18111 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19057 18111 1111 63 0 18994 0 vsize: 76228 [startup+670.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18165 0 0 0 66871 134 0 0 25 0 1 0 643676863 78172160 18140 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19085 18140 1111 63 0 19022 0 vsize: 76340 [startup+680.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18180 0 0 0 67870 136 0 0 25 0 1 0 643676863 78172160 18155 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19085 18155 1111 63 0 19022 0 vsize: 76340 [startup+690.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18194 0 0 0 68869 137 0 0 25 0 1 0 643676863 78172160 18169 4294967295 134512640 134714540 3221221776 3221220172 1077379959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19085 18169 1111 63 0 19022 0 vsize: 76340 [startup+700.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18232 0 0 0 69868 138 0 0 25 0 1 0 643676863 78430208 18207 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19148 18207 1111 63 0 19085 0 vsize: 76592 [startup+710.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18296 0 0 0 70867 140 0 0 25 0 1 0 643676863 78700544 18271 4294967295 134512640 134714540 3221221776 3221220484 134528750 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19214 18271 1111 63 0 19151 0 vsize: 76856 [startup+720.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18424 0 0 0 71865 141 0 0 25 0 1 0 643676863 79216640 18399 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19340 18399 1111 63 0 19277 0 vsize: 77360 [startup+730.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18472 0 0 0 72864 143 0 0 25 0 1 0 643676863 79351808 18447 4294967295 134512640 134714540 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19373 18447 1111 63 0 19310 0 vsize: 77492 [startup+740.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18508 0 0 0 73863 144 0 0 25 0 1 0 643676863 79486976 18483 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19406 18483 1111 63 0 19343 0 vsize: 77624 [startup+750.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18536 0 0 0 74862 145 0 0 25 0 1 0 643676863 79622144 18511 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19439 18511 1111 63 0 19376 0 vsize: 77756 [startup+760.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18571 0 0 0 75861 147 0 0 25 0 1 0 643676863 79757312 18546 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19472 18546 1111 63 0 19409 0 vsize: 77888 [startup+770.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18577 0 0 0 76859 148 0 0 25 0 1 0 643676863 79757312 18552 4294967295 134512640 134714540 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19472 18552 1111 63 0 19409 0 vsize: 77888 [startup+780.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18583 0 0 0 77858 150 0 0 25 0 1 0 643676863 79892480 18558 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19505 18558 1111 63 0 19442 0 vsize: 78020 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18597 0 0 0 78856 152 0 0 25 0 1 0 643676863 79892480 18572 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19505 18572 1111 63 0 19442 0 vsize: 78020 [startup+800.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18606 0 0 0 79855 153 0 0 25 0 1 0 643676863 79892480 18581 4294967295 134512640 134714540 3221221776 3221220528 134592421 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19505 18581 1111 63 0 19442 0 vsize: 78020 [startup+810.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18606 0 0 0 80854 154 0 0 25 0 1 0 643676863 79892480 18581 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19505 18581 1111 63 0 19442 0 vsize: 78020 [startup+820.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18641 0 0 0 81853 156 0 0 25 0 1 0 643676863 80027648 18616 4294967295 134512640 134714540 3221221776 3221220464 134534089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19538 18616 1111 63 0 19475 0 vsize: 78152 [startup+830.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18657 0 0 0 82852 156 0 0 25 0 1 0 643676863 80162816 18632 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19571 18632 1111 63 0 19508 0 vsize: 78284 [startup+840.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18664 0 0 0 83851 158 0 0 25 0 1 0 643676863 80162816 18639 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19571 18639 1111 63 0 19508 0 vsize: 78284 [startup+850.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18665 0 0 0 84850 159 0 0 25 0 1 0 643676863 80162816 18640 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19571 18640 1111 63 0 19508 0 vsize: 78284 [startup+860.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18681 0 0 0 85849 160 0 0 25 0 1 0 643676863 80162816 18656 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19571 18656 1111 63 0 19508 0 vsize: 78284 [startup+870.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18718 0 0 0 86848 161 0 0 25 0 1 0 643676863 80433152 18693 4294967295 134512640 134714540 3221221776 3221220396 134613752 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19637 18693 1111 63 0 19574 0 vsize: 78548 [startup+880.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18742 0 0 0 87846 163 0 0 25 0 1 0 643676863 80433152 18717 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19637 18717 1111 63 0 19574 0 vsize: 78548 [startup+890.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18773 0 0 0 88846 164 0 0 25 0 1 0 643676863 80568320 18748 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19670 18748 1111 63 0 19607 0 vsize: 78680 [startup+900.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18780 0 0 0 89845 165 0 0 25 0 1 0 643676863 80568320 18755 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19670 18755 1111 63 0 19607 0 vsize: 78680 [startup+910.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18827 0 0 0 90844 166 0 0 25 0 1 0 643676863 80834560 18802 4294967295 134512640 134714540 3221221776 3221220464 134542851 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19735 18802 1111 63 0 19672 0 vsize: 78940 [startup+920.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18914 0 0 0 91844 167 0 0 25 0 1 0 643676863 81240064 18889 4294967295 134512640 134714540 3221221776 3221220504 134558807 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19834 18889 1111 63 0 19771 0 vsize: 79336 [startup+930.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18945 0 0 0 92843 168 0 0 25 0 1 0 643676863 81375232 18920 4294967295 134512640 134714540 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19867 18920 1111 63 0 19804 0 vsize: 79468 [startup+940.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 18979 0 0 0 93842 169 0 0 25 0 1 0 643676863 81510400 18954 4294967295 134512640 134714540 3221221776 3221220484 134535798 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19900 18954 1111 63 0 19837 0 vsize: 79600 [startup+950.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19013 0 0 0 94841 170 0 0 25 0 1 0 643676863 81645568 18988 4294967295 134512640 134714540 3221221776 3221220424 134539351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19933 18988 1111 63 0 19870 0 vsize: 79732 [startup+960.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19053 0 0 0 95839 172 0 0 25 0 1 0 643676863 81776640 19028 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19965 19028 1111 63 0 19902 0 vsize: 79860 [startup+970.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19088 0 0 0 96838 173 0 0 25 0 1 0 643676863 81891328 19063 4294967295 134512640 134714540 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19993 19063 1111 63 0 19930 0 vsize: 79972 [startup+980.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19134 0 0 0 97838 174 0 0 25 0 1 0 643676863 82026496 19109 4294967295 134512640 134714540 3221221776 3221220408 134696049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20026 19109 1111 63 0 19963 0 vsize: 80104 [startup+990.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19162 0 0 0 98837 175 0 0 25 0 1 0 643676863 82161664 19137 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20059 19137 1111 63 0 19996 0 vsize: 80236 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19171 0 0 0 99836 175 0 0 25 0 1 0 643676863 82296832 19146 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20092 19146 1111 63 0 20029 0 vsize: 80368 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19185 0 0 0 100835 177 0 0 25 0 1 0 643676863 82296832 19160 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20092 19160 1111 63 0 20029 0 vsize: 80368 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19194 0 0 0 101834 178 0 0 25 0 1 0 643676863 82296832 19169 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20092 19169 1111 63 0 20029 0 vsize: 80368 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19202 0 0 0 102833 179 0 0 25 0 1 0 643676863 82296832 19177 4294967295 134512640 134714540 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20092 19177 1111 63 0 20029 0 vsize: 80368 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19211 0 0 0 103832 180 0 0 25 0 1 0 643676863 82432000 19186 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20125 19186 1111 63 0 20062 0 vsize: 80500 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19231 0 0 0 104832 181 0 0 25 0 1 0 643676863 82432000 19206 4294967295 134512640 134714540 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20125 19206 1111 63 0 20062 0 vsize: 80500 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19243 0 0 0 105831 182 0 0 25 0 1 0 643676863 82567168 19218 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20158 19218 1111 63 0 20095 0 vsize: 80632 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19252 0 0 0 106830 183 0 0 25 0 1 0 643676863 82567168 19227 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20158 19227 1111 63 0 20095 0 vsize: 80632 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19274 0 0 0 107829 184 0 0 25 0 1 0 643676863 82702336 19249 4294967295 134512640 134714540 3221221776 3221220484 134535806 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20191 19249 1111 63 0 20128 0 vsize: 80764 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19294 0 0 0 108828 185 0 0 25 0 1 0 643676863 82702336 19269 4294967295 134512640 134714540 3221221776 3221220400 134549742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20191 19269 1111 63 0 20128 0 vsize: 80764 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19314 0 0 0 109828 186 0 0 25 0 1 0 643676863 82837504 19289 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20224 19289 1111 63 0 20161 0 vsize: 80896 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19330 0 0 0 110827 187 0 0 25 0 1 0 643676863 82837504 19305 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20224 19305 1111 63 0 20161 0 vsize: 80896 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19335 0 0 0 111826 188 0 0 25 0 1 0 643676863 82972672 19310 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20257 19310 1111 63 0 20194 0 vsize: 81028 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19360 0 0 0 112824 190 0 0 25 0 1 0 643676863 82972672 19335 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20257 19335 1111 63 0 20194 0 vsize: 81028 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19387 0 0 0 113823 191 0 0 25 0 1 0 643676863 83107840 19362 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20290 19362 1111 63 0 20227 0 vsize: 81160 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19420 0 0 0 114821 193 0 0 25 0 1 0 643676863 83193856 19395 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20311 19395 1111 63 0 20248 0 vsize: 81244 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19444 0 0 0 115820 195 0 0 25 0 1 0 643676863 83329024 19419 4294967295 134512640 134714540 3221221776 3221220484 134528400 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20344 19419 1111 63 0 20281 0 vsize: 81376 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19468 0 0 0 116818 197 0 0 25 0 1 0 643676863 83464192 19443 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20377 19443 1111 63 0 20314 0 vsize: 81508 [startup+1174.94 s] Raw data (loadavg): 0.99 0.97 0.94 1/53 28821 Raw data (stat): 28821 (bsolo_mis) R 28820 7876 7672 0 -1 0 19468 0 0 0 116818 197 0 0 25 0 1 0 643676863 83464192 19443 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20377 19443 1111 63 0 20314 0 vsize: 0 Child status: 0 Real time (s): 1174.94 CPU time (s): 1175.06 CPU user time (s): 1173.05 CPU system time (s): 2.01169 CPU usage (%): 100.011 Max. virtual memory (Kb): 81508 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####