Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb |
MD5SUM | 77c89bda49ebcdc0428e1292512864a9 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3080 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2792 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 1385986 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 1000 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 1385986 |
Number of bits of the biggest sum of numbers | 21 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.07184 |
Number of variables | 3300 |
Total number of constraints | 5284 |
Number of constraints which are clauses | 1364 |
Number of constraints which are cardinality constraints (but not clauses) | 3920 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 220 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-14 22:41:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3207 boxname=wulflinc31 idbench=357 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 77c89bda49ebcdc0428e1292512864a9 /oldhome/oroussel/tmp/wulflinc31/normalized-ws97-3.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ws97-3.opb IDLAUNCH: 3207 /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: 822776 kB Buffers: 39988 kB Cached: 150248 kB SwapCached: 1932 kB Active: 155500 kB Inactive: 37984 kB HighTotal: 131008 kB HighFree: 1680 kB LowTotal: 903652 kB LowFree: 821096 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 12816 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-14 23:01:17 (client local time) WITH STATUS 0 IN 1175.04 SECONDS stats: 3207 7 1175.04 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 3300 variables and 2573 constraints. c After prepocess the problem consists of 3299 variables and 2135 constraints. c preprocess terminated 1.76 s c Initial Lower Bound: 815 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.98 0.98 0.99 2/55 29053 Raw data (stat): 29053 (runsolver) R 29052 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 747489868 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0005 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1635 0 0 0 991 6 0 0 25 0 1 0 747489868 10448896 1604 4294967295 134512640 134714540 3221221792 3221220680 134621436 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2551 1604 1111 63 0 2488 0 vsize: 10204 [startup+20.0015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1700 0 0 0 1990 7 0 0 25 0 1 0 747489868 10719232 1669 4294967295 134512640 134714540 3221221792 3221220640 134623456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1669 1111 63 0 2554 0 vsize: 10468 [startup+30.0024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1702 0 0 0 2988 9 0 0 25 0 1 0 747489868 10719232 1671 4294967295 134512640 134714540 3221221792 3221220432 134542300 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1671 1111 63 0 2554 0 vsize: 10468 [startup+40.0024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1708 0 0 0 3987 10 0 0 25 0 1 0 747489868 10719232 1677 4294967295 134512640 134714540 3221221792 3221220540 134535623 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1677 1111 63 0 2554 0 vsize: 10468 [startup+50.0034 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1726 0 0 0 4985 12 0 0 25 0 1 0 747489868 10719232 1695 4294967295 134512640 134714540 3221221792 3221220584 134542458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1695 1111 63 0 2554 0 vsize: 10468 [startup+60.0034 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1726 0 0 0 5984 13 0 0 25 0 1 0 747489868 10719232 1695 4294967295 134512640 134714540 3221221792 3221220076 1077379843 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1695 1111 63 0 2554 0 vsize: 10468 [startup+70.0043 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1726 0 0 0 6983 14 0 0 25 0 1 0 747489868 10719232 1695 4294967295 134512640 134714540 3221221792 3221220512 134535448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1695 1111 63 0 2554 0 vsize: 10468 [startup+80.0053 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1726 0 0 0 7982 16 0 0 25 0 1 0 747489868 10719232 1695 4294967295 134512640 134714540 3221221792 3221220076 1077379843 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1695 1111 63 0 2554 0 vsize: 10468 [startup+90.0056 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1726 0 0 0 8981 16 0 0 25 0 1 0 747489868 10719232 1695 4294967295 134512640 134714540 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1695 1111 63 0 2554 0 vsize: 10468 [startup+100.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1726 0 0 0 9980 18 0 0 25 0 1 0 747489868 10719232 1695 4294967295 134512640 134714540 3221221792 3221220508 134553612 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1695 1111 63 0 2554 0 vsize: 10468 [startup+110.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1726 0 0 0 10979 19 0 0 25 0 1 0 747489868 10719232 1695 4294967295 134512640 134714540 3221221792 3221220576 134528883 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1695 1111 63 0 2554 0 vsize: 10468 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1726 0 0 0 11978 21 0 0 25 0 1 0 747489868 10719232 1695 4294967295 134512640 134714540 3221221792 3221220536 134558582 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1695 1111 63 0 2554 0 vsize: 10468 [startup+130.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1726 0 0 0 12977 22 0 0 25 0 1 0 747489868 10719232 1695 4294967295 134512640 134714540 3221221792 3221220416 134542598 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1695 1111 63 0 2554 0 vsize: 10468 [startup+140.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1726 0 0 0 13976 22 0 0 25 0 1 0 747489868 10719232 1695 4294967295 134512640 134714540 3221221792 3221220592 134611191 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1695 1111 63 0 2554 0 vsize: 10468 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1726 0 0 0 14974 24 0 0 25 0 1 0 747489868 10719232 1695 4294967295 134512640 134714540 3221221792 3221220536 134558587 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2617 1695 1111 63 0 2554 0 vsize: 10468 [startup+160.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1752 0 0 0 15973 26 0 0 25 0 1 0 747489868 10854400 1721 4294967295 134512640 134714540 3221221792 3221220508 134553168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2650 1721 1111 63 0 2587 0 vsize: 10600 [startup+170.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1761 0 0 0 16972 27 0 0 25 0 1 0 747489868 10854400 1730 4294967295 134512640 134714540 3221221792 3221220460 134538732 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2650 1730 1111 63 0 2587 0 vsize: 10600 [startup+180.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1780 0 0 0 17971 28 0 0 25 0 1 0 747489868 10911744 1744 4294967295 134512640 134714540 3221221792 3221220520 134532457 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2664 1744 1111 63 0 2601 0 vsize: 10656 [startup+190.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1785 0 0 0 18969 30 0 0 25 0 1 0 747489868 10911744 1744 4294967295 134512640 134714540 3221221792 3221220584 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2664 1744 1111 63 0 2601 0 vsize: 10656 [startup+200.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1785 0 0 0 19969 30 0 0 25 0 1 0 747489868 10911744 1744 4294967295 134512640 134714540 3221221792 3221220516 134556636 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2664 1744 1111 63 0 2601 0 vsize: 10656 [startup+210.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1796 0 0 0 20967 32 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220576 134534115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+220.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 21965 34 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220536 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+230.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 22964 35 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220076 1077379881 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+240.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 23963 37 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220472 134594352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+250.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 24963 37 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220512 134556725 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+260.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 25962 38 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220432 134696117 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+270.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 26961 39 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+280.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 27960 40 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220396 134535503 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+290.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 28958 42 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220488 134558621 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+300.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 29958 43 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220508 134539584 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+310.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 30956 44 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+320.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 31955 45 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220512 134556677 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+330.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 32954 47 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220512 134556783 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+340.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 33952 48 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220596 134622157 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+350.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 34951 50 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220528 134535032 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+360.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 35950 51 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220516 134613725 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+370.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 36949 52 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220480 134543674 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+380.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 37948 53 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220360 1077377254 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+390.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 38947 54 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+400.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 39947 55 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220528 134556523 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+410.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 40946 56 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220416 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+420.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 41945 57 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220352 134696609 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+430.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 42944 59 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220380 134542288 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+440.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 43943 59 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220560 134592137 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+450.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 44943 60 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220512 134556668 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+460.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 45942 61 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220528 134556630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+470.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 46941 62 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220536 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+480.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 47941 62 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220448 1077378566 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+490.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 48940 63 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220408 134613965 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+500.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 49940 64 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220528 134556392 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+510.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 50940 64 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220512 134535391 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+520.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 51939 64 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220540 134535667 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+530.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 52939 65 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+540.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 53938 66 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220396 134535631 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+550.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1799 0 0 0 54938 66 0 0 25 0 1 0 747489868 10944512 1752 4294967295 134512640 134714540 3221221792 3221220360 1077377725 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1752 1111 63 0 2609 0 vsize: 10688 [startup+560.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 55937 67 0 0 25 0 1 0 747489868 11051008 1759 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2698 1759 1111 63 0 2635 0 vsize: 10792 [startup+570.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 56937 68 0 0 25 0 1 0 747489868 10977280 1759 4294967295 134512640 134714540 3221221792 3221220584 134543168 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2680 1759 1111 63 0 2617 0 vsize: 10720 [startup+580.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 57936 69 0 0 25 0 1 0 747489868 10973184 1759 4294967295 134512640 134714540 3221221792 3221220640 134623464 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2679 1759 1111 63 0 2616 0 vsize: 10716 [startup+590.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 58935 70 0 0 25 0 1 0 747489868 10973184 1759 4294967295 134512640 134714540 3221221792 3221220448 134543681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2679 1759 1111 63 0 2616 0 vsize: 10716 [startup+600.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 59934 71 0 0 25 0 1 0 747489868 10973184 1759 4294967295 134512640 134714540 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2679 1759 1111 63 0 2616 0 vsize: 10716 [startup+610.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 60934 72 0 0 25 0 1 0 747489868 10973184 1759 4294967295 134512640 134714540 3221221792 3221220456 1077378412 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2679 1759 1111 63 0 2616 0 vsize: 10716 [startup+620.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 61933 73 0 0 25 0 1 0 747489868 10973184 1759 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2679 1759 1111 63 0 2616 0 vsize: 10716 [startup+630.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 62933 73 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+640.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 63932 74 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+650.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 64931 75 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220468 1077374550 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+660.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 65930 76 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220512 134556668 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+670.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 66929 77 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+680.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 67929 78 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220512 134556927 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+690.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 68928 79 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220664 134543614 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+700.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 69928 80 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220528 134558535 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+710.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 70927 80 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+720.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 71927 81 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220472 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+730.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 72926 82 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220608 134610903 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+740.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 73926 82 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220352 134539749 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+750.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 74925 83 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220596 134610666 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+760.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 75924 84 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220320 1076999584 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+770.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 76923 85 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+780.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 77923 86 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220076 1077379848 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+790.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1806 0 0 0 78922 87 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220360 134543589 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+800.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 79922 87 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+810.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 80921 88 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+820.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 81921 89 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220552 134543552 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+830.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 82921 89 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+840.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 83920 89 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+850.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 84919 90 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+860.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 85919 91 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220076 1077379918 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+870.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 86918 92 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220536 134672932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+880.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 87918 93 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220332 134539309 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+890.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 88917 94 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220496 134556515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+900.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 89916 94 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220432 134613422 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+910.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 90916 95 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220548 134592437 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+920.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 91916 95 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220528 134556385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+930.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 92915 96 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220532 134591823 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+940.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 93915 96 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220540 134535527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+950.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 94915 97 0 0 25 0 1 0 747489868 10969088 1758 4294967295 134512640 134714540 3221221792 3221220636 134623273 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2678 1758 1111 63 0 2615 0 vsize: 10712 [startup+960.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 95914 97 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220528 134556745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+970.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 96914 98 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220376 1076648078 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+980.041 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 97913 99 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220512 134556680 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+990.041 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1811 0 0 0 98912 100 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220528 134695294 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 99912 100 0 0 25 0 1 0 747489868 11087872 1759 4294967295 134512640 134714540 3221221792 3221220512 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2707 1759 1111 63 0 2644 0 vsize: 10828 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 100912 101 0 0 25 0 1 0 747489868 11087872 1759 4294967295 134512640 134714540 3221221792 3221220592 134610920 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2707 1759 1111 63 0 2644 0 vsize: 10828 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 101912 101 0 0 25 0 1 0 747489868 11087872 1759 4294967295 134512640 134714540 3221221792 3221220416 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2707 1759 1111 63 0 2644 0 vsize: 10828 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 102911 102 0 0 25 0 1 0 747489868 11087872 1759 4294967295 134512640 134714540 3221221792 3221220396 134535676 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2707 1759 1111 63 0 2644 0 vsize: 10828 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 103910 103 0 0 25 0 1 0 747489868 11087872 1759 4294967295 134512640 134714540 3221221792 3221220528 134556532 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2707 1759 1111 63 0 2644 0 vsize: 10828 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 104910 104 0 0 25 0 1 0 747489868 11087872 1759 4294967295 134512640 134714540 3221221792 3221220532 134523868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2707 1759 1111 63 0 2644 0 vsize: 10828 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 105909 105 0 0 25 0 1 0 747489868 11087872 1759 4294967295 134512640 134714540 3221221792 3221220608 134611108 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2707 1759 1111 63 0 2644 0 vsize: 10828 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 106908 105 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220520 1076647541 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+1080.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 107908 106 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220560 134524431 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+1090.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 108907 108 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220528 134695264 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+1100.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 29053 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 109906 108 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220584 134695713 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+1110.07 s] Raw data (loadavg): 1.07 1.00 1.00 3/58 29090 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 110907 109 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+1120.22 s] Raw data (loadavg): 1.22 1.03 1.01 3/58 29101 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 111921 110 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220396 134535506 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+1130.22 s] Raw data (loadavg): 1.18 1.03 1.01 2/55 29106 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 112921 111 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220608 134610880 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+1140.25 s] Raw data (loadavg): 1.23 1.05 1.01 2/55 29106 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 113923 112 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220504 134558576 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+1150.25 s] Raw data (loadavg): 1.19 1.04 1.01 2/55 29106 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 114923 113 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220416 134542598 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+1160.25 s] Raw data (loadavg): 1.16 1.04 1.01 2/55 29106 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 115922 113 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220432 134535032 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+1170.25 s] Raw data (loadavg): 1.14 1.04 1.01 2/55 29106 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 116922 114 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220416 134535388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 10696 [startup+1174.92 s] Raw data (loadavg): 1.13 1.04 1.01 1/54 29106 Raw data (stat): 29053 (bsolo_mis) R 29052 7876 7672 0 -1 0 1816 0 0 0 116922 114 0 0 25 0 1 0 747489868 10952704 1754 4294967295 134512640 134714540 3221221792 3221220416 134535388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1754 1111 63 0 2611 0 vsize: 0 Child status: 0 Real time (s): 1174.92 CPU time (s): 1175.04 CPU user time (s): 1173.89 CPU system time (s): 1.14882 CPU usage (%): 100.01 Max. virtual memory (Kb): 10828 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####