Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb |
MD5SUM | 2cb05b3a6451c60276a625949666f14e |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
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 | 51 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.12498 |
Number of variables | 4000 |
Total number of constraints | 180 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 50 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-01 18:23:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=165 boxname=wulflinc31 idbench=19 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 2cb05b3a6451c60276a625949666f14e /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_50_pb.cnf.cr.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_50_pb.cnf.cr.opb IDLAUNCH: 165 /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: 930364 kB Buffers: 36544 kB Cached: 45824 kB SwapCached: 864 kB Active: 70928 kB Inactive: 13808 kB HighTotal: 131008 kB HighFree: 84112 kB LowTotal: 903652 kB LowFree: 846252 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5504 kB Slab: 13892 kB Committed_AS: 63616 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-01 18:42:57 (client local time) WITH STATUS 0 IN 1175.04 SECONDS stats: 165 7 1175.04 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: No cost function. Find solution and finish. c Initial problem consists of 4000 variables and 180 constraints. c After prepocess the problem consists of 4000 variables and 180 constraints. c preprocess terminated 1.766 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.93 0.98 0.92 2/54 13858 Raw data (stat): 13858 (runsolver) R 13857 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 633606837 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0009 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1438 0 0 0 988 8 0 0 25 0 1 0 633606837 9601024 1413 4294967295 134512640 134714540 3221221776 3221220560 134529390 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2344 1413 1111 63 0 2281 0 vsize: 9376 [startup+20.0016 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1472 0 0 0 1985 11 0 0 25 0 1 0 633606837 9736192 1447 4294967295 134512640 134714540 3221221776 3221220520 134672936 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2377 1447 1111 63 0 2314 0 vsize: 9508 [startup+30.0015 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1528 0 0 0 2984 13 0 0 25 0 1 0 633606837 9981952 1503 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2437 1503 1111 63 0 2374 0 vsize: 9748 [startup+40.0015 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1549 0 0 0 3981 16 0 0 25 0 1 0 633606837 10117120 1524 4294967295 134512640 134714540 3221221776 3221220432 134536635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2470 1524 1111 63 0 2407 0 vsize: 9880 [startup+50.0014 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1563 0 0 0 4980 17 0 0 25 0 1 0 633606837 10117120 1538 4294967295 134512640 134714540 3221221776 3221220480 134528538 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2470 1538 1111 63 0 2407 0 vsize: 9880 [startup+60.0013 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1580 0 0 0 5979 19 0 0 25 0 1 0 633606837 10252288 1555 4294967295 134512640 134714540 3221221776 3221220236 134697116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2503 1555 1111 63 0 2440 0 vsize: 10012 [startup+70.0013 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1597 0 0 0 6977 20 0 0 25 0 1 0 633606837 10252288 1572 4294967295 134512640 134714540 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2503 1572 1111 63 0 2440 0 vsize: 10012 [startup+80.0012 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1609 0 0 0 7975 23 0 0 25 0 1 0 633606837 10387456 1584 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2536 1584 1111 63 0 2473 0 vsize: 10144 [startup+90.0014 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1627 0 0 0 8974 24 0 0 25 0 1 0 633606837 10387456 1602 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2536 1602 1111 63 0 2473 0 vsize: 10144 [startup+100.001 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1637 0 0 0 9973 25 0 0 25 0 1 0 633606837 10522624 1612 4294967295 134512640 134714540 3221221776 3221220344 1077377765 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2569 1612 1111 63 0 2506 0 vsize: 10276 [startup+110.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1659 0 0 0 10971 27 0 0 25 0 1 0 633606837 10522624 1634 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2569 1634 1111 63 0 2506 0 vsize: 10276 [startup+120.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1659 0 0 0 11969 29 0 0 25 0 1 0 633606837 10522624 1634 4294967295 134512640 134714540 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2569 1634 1111 63 0 2506 0 vsize: 10276 [startup+130.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1669 0 0 0 12967 31 0 0 25 0 1 0 633606837 10657792 1644 4294967295 134512640 134714540 3221221776 3221220520 134551624 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2602 1644 1111 63 0 2539 0 vsize: 10408 [startup+140.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1711 0 0 0 13966 33 0 0 25 0 1 0 633606837 10792960 1686 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2635 1686 1111 63 0 2572 0 vsize: 10540 [startup+150.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1732 0 0 0 14964 35 0 0 25 0 1 0 633606837 10792960 1707 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2635 1707 1111 63 0 2572 0 vsize: 10540 [startup+160.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1749 0 0 0 15963 37 0 0 25 0 1 0 633606837 10924032 1724 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2667 1724 1111 63 0 2604 0 vsize: 10668 [startup+170.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1759 0 0 0 16961 39 0 0 25 0 1 0 633606837 10924032 1734 4294967295 134512640 134714540 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2667 1734 1111 63 0 2604 0 vsize: 10668 [startup+180.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1778 0 0 0 17959 40 0 0 25 0 1 0 633606837 11059200 1753 4294967295 134512640 134714540 3221221776 3221220416 134523872 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2700 1753 1111 63 0 2637 0 vsize: 10800 [startup+190.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1782 0 0 0 18958 42 0 0 25 0 1 0 633606837 11059200 1757 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2700 1757 1111 63 0 2637 0 vsize: 10800 [startup+200.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1793 0 0 0 19956 43 0 0 25 0 1 0 633606837 11059200 1768 4294967295 134512640 134714540 3221221776 3221220520 134558497 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2700 1768 1111 63 0 2637 0 vsize: 10800 [startup+210.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1816 0 0 0 20955 45 0 0 25 0 1 0 633606837 11194368 1791 4294967295 134512640 134714540 3221221776 3221220528 134592340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2733 1791 1111 63 0 2670 0 vsize: 10932 [startup+220.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1816 0 0 0 21954 47 0 0 25 0 1 0 633606837 11194368 1791 4294967295 134512640 134714540 3221221776 3221220336 134696576 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2733 1791 1111 63 0 2670 0 vsize: 10932 [startup+230.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1820 0 0 0 22952 49 0 0 25 0 1 0 633606837 11194368 1795 4294967295 134512640 134714540 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2733 1795 1111 63 0 2670 0 vsize: 10932 [startup+240.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1824 0 0 0 23950 51 0 0 25 0 1 0 633606837 11194368 1799 4294967295 134512640 134714540 3221221776 3221220416 134539531 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2733 1799 1111 63 0 2670 0 vsize: 10932 [startup+250.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1825 0 0 0 24948 52 0 0 25 0 1 0 633606837 11194368 1800 4294967295 134512640 134714540 3221221776 3221220448 134542968 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2733 1800 1111 63 0 2670 0 vsize: 10932 [startup+260.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1842 0 0 0 25947 54 0 0 25 0 1 0 633606837 11329536 1817 4294967295 134512640 134714540 3221221776 3221220536 134600317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2766 1817 1111 63 0 2703 0 vsize: 11064 [startup+270.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1842 0 0 0 26945 56 0 0 25 0 1 0 633606837 11329536 1817 4294967295 134512640 134714540 3221221776 3221220524 134558496 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2766 1817 1111 63 0 2703 0 vsize: 11064 [startup+280.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1843 0 0 0 27943 58 0 0 25 0 1 0 633606837 11329536 1818 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2766 1818 1111 63 0 2703 0 vsize: 11064 [startup+290.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1847 0 0 0 28942 60 0 0 25 0 1 0 633606837 11329536 1822 4294967295 134512640 134714540 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2766 1822 1111 63 0 2703 0 vsize: 11064 [startup+300.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1870 0 0 0 29939 63 0 0 25 0 1 0 633606837 11464704 1845 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2799 1845 1111 63 0 2736 0 vsize: 11196 [startup+310.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1905 0 0 0 30937 64 0 0 25 0 1 0 633606837 11579392 1880 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2827 1880 1111 63 0 2764 0 vsize: 11308 [startup+320.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1918 0 0 0 31936 66 0 0 25 0 1 0 633606837 11579392 1893 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2827 1893 1111 63 0 2764 0 vsize: 11308 [startup+330.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1934 0 0 0 32935 67 0 0 25 0 1 0 633606837 11698176 1909 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2856 1909 1111 63 0 2793 0 vsize: 11424 [startup+340.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1990 0 0 0 33933 69 0 0 25 0 1 0 633606837 11939840 1965 4294967295 134512640 134714540 3221221776 3221220520 134558477 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2915 1965 1111 63 0 2852 0 vsize: 11660 [startup+350.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1990 0 0 0 34932 71 0 0 25 0 1 0 633606837 11939840 1965 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2915 1965 1111 63 0 2852 0 vsize: 11660 [startup+360.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1990 0 0 0 35930 73 0 0 25 0 1 0 633606837 11939840 1965 4294967295 134512640 134714540 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2915 1965 1111 63 0 2852 0 vsize: 11660 [startup+370.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1990 0 0 0 36929 74 0 0 25 0 1 0 633606837 11939840 1965 4294967295 134512640 134714540 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2915 1965 1111 63 0 2852 0 vsize: 11660 [startup+380.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 1990 0 0 0 37927 76 0 0 25 0 1 0 633606837 11939840 1965 4294967295 134512640 134714540 3221221776 3221220396 134613752 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2915 1965 1111 63 0 2852 0 vsize: 11660 [startup+390.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2005 0 0 0 38925 78 0 0 25 0 1 0 633606837 11939840 1980 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2915 1980 1111 63 0 2852 0 vsize: 11660 [startup+400.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2043 0 0 0 39925 79 0 0 25 0 1 0 633606837 12075008 2018 4294967295 134512640 134714540 3221221776 3221220368 134549585 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2948 2018 1111 63 0 2885 0 vsize: 11792 [startup+410.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2064 0 0 0 40923 80 0 0 25 0 1 0 633606837 12210176 2039 4294967295 134512640 134714540 3221221776 3221220516 134534151 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2981 2039 1111 63 0 2918 0 vsize: 11924 [startup+420.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2089 0 0 0 41922 82 0 0 25 0 1 0 633606837 12345344 2064 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3014 2064 1111 63 0 2951 0 vsize: 12056 [startup+430.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2093 0 0 0 42921 83 0 0 25 0 1 0 633606837 12345344 2068 4294967295 134512640 134714540 3221221776 3221220272 134697141 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3014 2068 1111 63 0 2951 0 vsize: 12056 [startup+440.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2098 0 0 0 43919 85 0 0 25 0 1 0 633606837 12345344 2073 4294967295 134512640 134714540 3221221776 3221220404 1077374082 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3014 2073 1111 63 0 2951 0 vsize: 12056 [startup+450.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2105 0 0 0 44917 87 0 0 25 0 1 0 633606837 12345344 2080 4294967295 134512640 134714540 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3014 2080 1111 63 0 2951 0 vsize: 12056 [startup+460.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2124 0 0 0 45916 88 0 0 25 0 1 0 633606837 12480512 2099 4294967295 134512640 134714540 3221221776 3221220544 134529381 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3047 2099 1111 63 0 2984 0 vsize: 12188 [startup+470.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2124 0 0 0 46914 91 0 0 25 0 1 0 633606837 12480512 2099 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3047 2099 1111 63 0 2984 0 vsize: 12188 [startup+480.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2131 0 0 0 47912 93 0 0 25 0 1 0 633606837 12480512 2106 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3047 2106 1111 63 0 2984 0 vsize: 12188 [startup+490.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2131 0 0 0 48911 94 0 0 25 0 1 0 633606837 12480512 2106 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3047 2106 1111 63 0 2984 0 vsize: 12188 [startup+500.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2153 0 0 0 49909 96 0 0 25 0 1 0 633606837 12615680 2128 4294967295 134512640 134714540 3221221776 3221220520 134672948 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3080 2128 1111 63 0 3017 0 vsize: 12320 [startup+510.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2165 0 0 0 50907 98 0 0 25 0 1 0 633606837 12595200 2140 4294967295 134512640 134714540 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3075 2140 1111 63 0 3012 0 vsize: 12300 [startup+520.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2212 0 0 0 51907 99 0 0 25 0 1 0 633606837 12865536 2187 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2187 1111 63 0 3078 0 vsize: 12564 [startup+530.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2212 0 0 0 52905 101 0 0 25 0 1 0 633606837 12865536 2187 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2187 1111 63 0 3078 0 vsize: 12564 [startup+540.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2212 0 0 0 53903 103 0 0 25 0 1 0 633606837 12865536 2187 4294967295 134512640 134714540 3221221776 3221220536 134592337 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2187 1111 63 0 3078 0 vsize: 12564 [startup+550.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2212 0 0 0 54901 104 0 0 25 0 1 0 633606837 12865536 2187 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2187 1111 63 0 3078 0 vsize: 12564 [startup+560.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2213 0 0 0 55900 106 0 0 25 0 1 0 633606837 12865536 2188 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2188 1111 63 0 3078 0 vsize: 12564 [startup+570.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2213 0 0 0 56898 108 0 0 25 0 1 0 633606837 12865536 2188 4294967295 134512640 134714540 3221221776 3221220384 134549398 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2188 1111 63 0 3078 0 vsize: 12564 [startup+580.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2213 0 0 0 57897 109 0 0 25 0 1 0 633606837 12865536 2188 4294967295 134512640 134714540 3221221776 3221220408 134696348 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2188 1111 63 0 3078 0 vsize: 12564 [startup+590.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2217 0 0 0 58896 110 0 0 25 0 1 0 633606837 12865536 2192 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2192 1111 63 0 3078 0 vsize: 12564 [startup+600.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2217 0 0 0 59894 113 0 0 25 0 1 0 633606837 12865536 2192 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2192 1111 63 0 3078 0 vsize: 12564 [startup+610.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2217 0 0 0 60892 115 0 0 25 0 1 0 633606837 12865536 2192 4294967295 134512640 134714540 3221221776 3221220520 134672921 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2192 1111 63 0 3078 0 vsize: 12564 [startup+620.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2222 0 0 0 61891 116 0 0 25 0 1 0 633606837 12865536 2197 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2197 1111 63 0 3078 0 vsize: 12564 [startup+630.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2222 0 0 0 62889 118 0 0 25 0 1 0 633606837 12865536 2197 4294967295 134512640 134714540 3221221776 3221220404 134696293 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2197 1111 63 0 3078 0 vsize: 12564 [startup+640.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2228 0 0 0 63888 119 0 0 25 0 1 0 633606837 12865536 2203 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2203 1111 63 0 3078 0 vsize: 12564 [startup+650.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2228 0 0 0 64887 121 0 0 25 0 1 0 633606837 12865536 2203 4294967295 134512640 134714540 3221221776 3221220464 134534089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2203 1111 63 0 3078 0 vsize: 12564 [startup+660.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2232 0 0 0 65885 123 0 0 25 0 1 0 633606837 12865536 2207 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2207 1111 63 0 3078 0 vsize: 12564 [startup+670.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2233 0 0 0 66884 124 0 0 25 0 1 0 633606837 12865536 2208 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2208 1111 63 0 3078 0 vsize: 12564 [startup+680.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2246 0 0 0 67883 125 0 0 25 0 1 0 633606837 12951552 2221 4294967295 134512640 134714540 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3162 2221 1111 63 0 3099 0 vsize: 12648 [startup+690.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2246 0 0 0 68881 127 0 0 25 0 1 0 633606837 12951552 2221 4294967295 134512640 134714540 3221221776 3221220512 134528668 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3162 2221 1111 63 0 3099 0 vsize: 12648 [startup+700.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2280 0 0 0 69879 129 0 0 25 0 1 0 633606837 13086720 2255 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3195 2255 1111 63 0 3132 0 vsize: 12780 [startup+710.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2293 0 0 0 70878 131 0 0 25 0 1 0 633606837 13086720 2268 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3195 2268 1111 63 0 3132 0 vsize: 12780 [startup+720.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2306 0 0 0 71877 132 0 0 25 0 1 0 633606837 13221888 2281 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3228 2281 1111 63 0 3165 0 vsize: 12912 [startup+730.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2313 0 0 0 72876 133 0 0 25 0 1 0 633606837 13213696 2288 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3226 2288 1111 63 0 3163 0 vsize: 12904 [startup+740.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2321 0 0 0 73875 135 0 0 25 0 1 0 633606837 13213696 2296 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3226 2296 1111 63 0 3163 0 vsize: 12904 [startup+750.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2378 0 0 0 74873 136 0 0 25 0 1 0 633606837 13484032 2353 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3292 2353 1111 63 0 3229 0 vsize: 13168 [startup+760.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2378 0 0 0 75872 137 0 0 25 0 1 0 633606837 13484032 2353 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3292 2353 1111 63 0 3229 0 vsize: 13168 [startup+770.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2383 0 0 0 76871 139 0 0 25 0 1 0 633606837 13484032 2358 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3292 2358 1111 63 0 3229 0 vsize: 13168 [startup+780.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2404 0 0 0 77870 140 0 0 25 0 1 0 633606837 13619200 2379 4294967295 134512640 134714540 3221221776 3221220372 134548566 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3325 2379 1111 63 0 3262 0 vsize: 13300 [startup+790.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2404 0 0 0 78868 142 0 0 25 0 1 0 633606837 13619200 2379 4294967295 134512640 134714540 3221221776 3221220396 134549859 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3325 2379 1111 63 0 3262 0 vsize: 13300 [startup+800.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2404 0 0 0 79867 144 0 0 25 0 1 0 633606837 13619200 2379 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3325 2379 1111 63 0 3262 0 vsize: 13300 [startup+810.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2407 0 0 0 80865 146 0 0 25 0 1 0 633606837 13619200 2382 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3325 2382 1111 63 0 3262 0 vsize: 13300 [startup+820.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2413 0 0 0 81864 147 0 0 25 0 1 0 633606837 13619200 2388 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3325 2388 1111 63 0 3262 0 vsize: 13300 [startup+830.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2413 0 0 0 82863 148 0 0 25 0 1 0 633606837 13619200 2388 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3325 2388 1111 63 0 3262 0 vsize: 13300 [startup+840.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2415 0 0 0 83862 149 0 0 25 0 1 0 633606837 13619200 2390 4294967295 134512640 134714540 3221221776 3221220504 134591837 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3325 2390 1111 63 0 3262 0 vsize: 13300 [startup+850.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2415 0 0 0 84860 151 0 0 25 0 1 0 633606837 13619200 2390 4294967295 134512640 134714540 3221221776 3221220248 134613965 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3325 2390 1111 63 0 3262 0 vsize: 13300 [startup+860.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2417 0 0 0 85859 153 0 0 25 0 1 0 633606837 13619200 2392 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3325 2392 1111 63 0 3262 0 vsize: 13300 [startup+870.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2429 0 0 0 86857 154 0 0 25 0 1 0 633606837 13729792 2404 4294967295 134512640 134714540 3221221776 3221220484 134591892 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3352 2404 1111 63 0 3289 0 vsize: 13408 [startup+880.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2429 0 0 0 87856 156 0 0 25 0 1 0 633606837 13729792 2404 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3352 2404 1111 63 0 3289 0 vsize: 13408 [startup+890.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2430 0 0 0 88854 158 0 0 25 0 1 0 633606837 13729792 2405 4294967295 134512640 134714540 3221221776 3221220368 134549818 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3352 2405 1111 63 0 3289 0 vsize: 13408 [startup+900.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2430 0 0 0 89853 159 0 0 25 0 1 0 633606837 13729792 2405 4294967295 134512640 134714540 3221221776 3221220384 134549488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3352 2405 1111 63 0 3289 0 vsize: 13408 [startup+910.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2432 0 0 0 90852 161 0 0 25 0 1 0 633606837 13729792 2407 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3352 2407 1111 63 0 3289 0 vsize: 13408 [startup+920.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2432 0 0 0 91850 162 0 0 25 0 1 0 633606837 13729792 2407 4294967295 134512640 134714540 3221221776 3221220336 134696578 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3352 2407 1111 63 0 3289 0 vsize: 13408 [startup+930.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2456 0 0 0 92849 164 0 0 25 0 1 0 633606837 13864960 2431 4294967295 134512640 134714540 3221221776 3221220584 134558593 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3385 2431 1111 63 0 3322 0 vsize: 13540 [startup+940.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2456 0 0 0 93848 164 0 0 25 0 1 0 633606837 13864960 2431 4294967295 134512640 134714540 3221221776 3221220320 134696501 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3385 2431 1111 63 0 3322 0 vsize: 13540 [startup+950.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2456 0 0 0 94847 166 0 0 25 0 1 0 633606837 13864960 2431 4294967295 134512640 134714540 3221221776 3221220408 134696049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3385 2431 1111 63 0 3322 0 vsize: 13540 [startup+960.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2456 0 0 0 95846 167 0 0 25 0 1 0 633606837 13864960 2431 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3385 2431 1111 63 0 3322 0 vsize: 13540 [startup+970.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2468 0 0 0 96844 169 0 0 25 0 1 0 633606837 13864960 2443 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3385 2443 1111 63 0 3322 0 vsize: 13540 [startup+980.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2485 0 0 0 97843 171 0 0 25 0 1 0 633606837 14000128 2460 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3418 2460 1111 63 0 3355 0 vsize: 13672 [startup+990.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2491 0 0 0 98841 172 0 0 25 0 1 0 633606837 14000128 2466 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3418 2466 1111 63 0 3355 0 vsize: 13672 [startup+1000.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2491 0 0 0 99840 173 0 0 25 0 1 0 633606837 14000128 2466 4294967295 134512640 134714540 3221221776 3221220404 1077374142 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3418 2466 1111 63 0 3355 0 vsize: 13672 [startup+1010.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2548 0 0 0 100839 175 0 0 25 0 1 0 633606837 14135296 2523 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3451 2523 1111 63 0 3388 0 vsize: 13804 [startup+1020.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2548 0 0 0 101838 176 0 0 25 0 1 0 633606837 14135296 2523 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3451 2523 1111 63 0 3388 0 vsize: 13804 [startup+1030.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2548 0 0 0 102837 178 0 0 25 0 1 0 633606837 14135296 2523 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3451 2523 1111 63 0 3388 0 vsize: 13804 [startup+1040.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2548 0 0 0 103835 180 0 0 25 0 1 0 633606837 14135296 2523 4294967295 134512640 134714540 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3451 2523 1111 63 0 3388 0 vsize: 13804 [startup+1050.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2548 0 0 0 104833 181 0 0 25 0 1 0 633606837 14135296 2523 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3451 2523 1111 63 0 3388 0 vsize: 13804 [startup+1060.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2548 0 0 0 105832 183 0 0 25 0 1 0 633606837 14135296 2523 4294967295 134512640 134714540 3221221776 3221220368 134549773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3451 2523 1111 63 0 3388 0 vsize: 13804 [startup+1070.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2548 0 0 0 106831 184 0 0 25 0 1 0 633606837 14135296 2523 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3451 2523 1111 63 0 3388 0 vsize: 13804 [startup+1080.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2553 0 0 0 107829 186 0 0 25 0 1 0 633606837 14270464 2528 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3484 2528 1111 63 0 3421 0 vsize: 13936 [startup+1090.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2559 0 0 0 108827 189 0 0 25 0 1 0 633606837 14270464 2534 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3484 2534 1111 63 0 3421 0 vsize: 13936 [startup+1100.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2559 0 0 0 109825 191 0 0 25 0 1 0 633606837 14270464 2534 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3484 2534 1111 63 0 3421 0 vsize: 13936 [startup+1110.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2571 0 0 0 110823 192 0 0 25 0 1 0 633606837 14270464 2546 4294967295 134512640 134714540 3221221776 3221220560 134529174 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3484 2546 1111 63 0 3421 0 vsize: 13936 [startup+1120.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2571 0 0 0 111822 194 0 0 25 0 1 0 633606837 14270464 2546 4294967295 134512640 134714540 3221221776 3221220288 134535026 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3484 2546 1111 63 0 3421 0 vsize: 13936 [startup+1130.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2577 0 0 0 112821 195 0 0 25 0 1 0 633606837 14270464 2552 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3484 2552 1111 63 0 3421 0 vsize: 13936 [startup+1140.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2584 0 0 0 113819 197 0 0 25 0 1 0 633606837 14385152 2559 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3512 2559 1111 63 0 3449 0 vsize: 14048 [startup+1150.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2589 0 0 0 114819 198 0 0 25 0 1 0 633606837 14385152 2564 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3512 2564 1111 63 0 3449 0 vsize: 14048 [startup+1160.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2589 0 0 0 115818 199 0 0 25 0 1 0 633606837 14385152 2564 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3512 2564 1111 63 0 3449 0 vsize: 14048 [startup+1170.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2589 0 0 0 116816 201 0 0 25 0 1 0 633606837 14385152 2564 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3512 2564 1111 63 0 3449 0 vsize: 14048 [startup+1174.88 s] Raw data (loadavg): 0.99 0.98 0.92 1/53 13858 Raw data (stat): 13858 (bsolo_mis) R 13857 7876 7672 0 -1 0 2589 0 0 0 116816 201 0 0 25 0 1 0 633606837 14385152 2564 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3512 2564 1111 63 0 3449 0 vsize: 0 Child status: 0 Real time (s): 1174.88 CPU time (s): 1175.04 CPU user time (s): 1173.01 CPU system time (s): 2.03069 CPU usage (%): 100.013 Max. virtual memory (Kb): 14048 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####