Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3.opb |
MD5SUM | 3d08363a486acbc90a149ca8c58297b8 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 6352 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 6352 |
Total number of constraints | 13473 |
Number of constraints which are clauses | 13473 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-08 21:00:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1866 boxname=wulflinc31 idbench=208 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 3d08363a486acbc90a149ca8c58297b8 /oldhome/oroussel/tmp/wulflinc31/normalized-par32-3.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-par32-3.opb IDLAUNCH: 1866 /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: 137048 kB Buffers: 42364 kB Cached: 820796 kB SwapCached: 644 kB Active: 494728 kB Inactive: 370748 kB HighTotal: 131008 kB HighFree: 756 kB LowTotal: 903652 kB LowFree: 136292 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26592 kB Committed_AS: 63612 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-08 21:20:10 (client local time) WITH STATUS 0 IN 1200.25 SECONDS stats: 1866 7 1200.25 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 6352 variables and 13473 constraints. #### 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.86 0.97 0.99 2/54 17630 Raw data (stat): 17630 (runsolver) R 17629 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 695034446 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.88 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 24778 0 0 0 938 58 0 0 25 0 1 0 695034446 105029632 24698 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25642 24698 1111 63 0 25579 0 vsize: 102568 [startup+20.0018 s] Raw data (loadavg): 0.90 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 24778 0 0 0 1938 59 0 0 25 0 1 0 695034446 105029632 24698 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25642 24698 1111 63 0 25579 0 vsize: 102568 [startup+30.0027 s] Raw data (loadavg): 0.91 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 25006 0 0 0 2937 60 0 0 25 0 1 0 695034446 105766912 24871 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25822 24871 1111 63 0 25759 0 vsize: 103288 [startup+40.0032 s] Raw data (loadavg): 0.93 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 26097 0 0 0 3934 63 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+50.0046 s] Raw data (loadavg): 0.94 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 26097 0 0 0 4934 63 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+60.0041 s] Raw data (loadavg): 0.95 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 26097 0 0 0 5933 64 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+70.0051 s] Raw data (loadavg): 0.95 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 26097 0 0 0 6933 64 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+80.0055 s] Raw data (loadavg): 0.96 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 26097 0 0 0 7933 65 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+90.0064 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 26097 0 0 0 8933 65 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+100.007 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 26097 0 0 0 9932 66 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+110.007 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 26097 0 0 0 10932 66 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+120.008 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 27653 0 0 0 11928 71 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+130.008 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 27653 0 0 0 12928 71 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+140.009 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 27653 0 0 0 13928 71 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 29191 0 0 0 14924 75 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 33813 0 0 0 15912 87 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 33813 0 0 0 16912 87 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 33813 0 0 0 17912 87 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+190.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 38837 0 0 0 18900 100 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 39564 0 0 0 19897 103 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220520 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 40651 0 0 0 20894 106 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+220.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 50179 0 0 0 21871 130 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 56991 0 0 0 22854 147 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 64259 0 0 0 23837 164 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+250.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 75085 0 0 0 24810 191 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 85051 0 0 0 25785 216 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+270.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 95370 0 0 0 26761 241 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 108753 0 0 0 27728 273 0 0 25 0 1 0 695034446 110067712 25928 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26872 25928 1111 63 0 26809 0 vsize: 107488 [startup+290.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 119415 0 0 0 28703 299 0 0 25 0 1 0 695034446 111190016 26202 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27146 26202 1111 63 0 27083 0 vsize: 108584 [startup+300.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 121606 0 0 0 29697 305 0 0 25 0 1 0 695034446 111190016 26202 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27146 26202 1111 63 0 27083 0 vsize: 108584 [startup+310.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 125773 0 0 0 30687 315 0 0 25 0 1 0 695034446 111190016 26202 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27146 26202 1111 63 0 27083 0 vsize: 108584 [startup+320.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 130255 0 0 0 31677 326 0 0 25 0 1 0 695034446 111190016 26202 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27146 26202 1111 63 0 27083 0 vsize: 108584 [startup+330.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 135241 0 0 0 32665 338 0 0 25 0 1 0 695034446 111190016 26202 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27146 26202 1111 63 0 27083 0 vsize: 108584 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 143047 0 0 0 33647 356 0 0 25 0 1 0 695034446 112238592 26458 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27402 26458 1111 63 0 27339 0 vsize: 109608 [startup+350.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 143047 0 0 0 34647 356 0 0 25 0 1 0 695034446 112238592 26458 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27402 26458 1111 63 0 27339 0 vsize: 109608 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 143047 0 0 0 35648 356 0 0 25 0 1 0 695034446 112238592 26458 4294967295 134512640 134714540 3221221792 3221220464 134606691 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27402 26458 1111 63 0 27339 0 vsize: 109608 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 145791 0 0 0 36641 362 0 0 25 0 1 0 695034446 112238592 26458 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27402 26458 1111 63 0 27339 0 vsize: 109608 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 147394 0 0 0 37637 366 0 0 25 0 1 0 695034446 112238592 26458 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27402 26458 1111 63 0 27339 0 vsize: 109608 [startup+390.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 149849 0 0 0 38631 373 0 0 25 0 1 0 695034446 112238592 26458 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27402 26458 1111 63 0 27339 0 vsize: 109608 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 153959 0 0 0 39621 383 0 0 25 0 1 0 695034446 112238592 26458 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27402 26458 1111 63 0 27339 0 vsize: 109608 [startup+410.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 158201 0 0 0 40611 393 0 0 25 0 1 0 695034446 112238592 26458 4294967295 134512640 134714540 3221221792 3221220172 1077379908 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27402 26458 1111 63 0 27339 0 vsize: 109608 [startup+420.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 162716 0 0 0 41600 404 0 0 25 0 1 0 695034446 112238592 26458 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27402 26458 1111 63 0 27339 0 vsize: 109608 [startup+430.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 167738 0 0 0 42589 416 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 170023 0 0 0 43584 421 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+450.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 172771 0 0 0 44577 428 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 176128 0 0 0 45567 438 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+470.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 180603 0 0 0 46557 448 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+480.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 185118 0 0 0 47545 461 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+490.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 192074 0 0 0 48528 478 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+500.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 209078 0 0 0 49485 520 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+510.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 222196 0 0 0 50454 552 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+520.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 234920 0 0 0 51423 583 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+530.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 253231 0 0 0 52379 627 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+540.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 270318 0 0 0 53339 668 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+550.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 286971 0 0 0 54301 706 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+560.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 307274 0 0 0 55252 755 0 0 25 0 1 0 695034446 114049024 26887 4294967295 134512640 134714540 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27844 26887 1111 63 0 27781 0 vsize: 111376 [startup+570.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 326536 0 0 0 56204 804 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+580.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 346652 0 0 0 57158 850 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+590.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 368194 0 0 0 58103 905 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+600.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 391016 0 0 0 59050 958 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+610.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 413516 0 0 0 59995 1013 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+620.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 438472 0 0 0 60936 1073 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+630.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 463572 0 0 0 61873 1135 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+640.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 488876 0 0 0 62813 1196 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+650.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 515132 0 0 0 63749 1260 0 0 25 0 1 0 695034446 112676864 26565 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27509 26565 1111 63 0 27446 0 vsize: 110036 [startup+660.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 532100 0 0 0 64708 1301 0 0 25 0 1 0 695034446 114282496 26957 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27901 26957 1111 63 0 27838 0 vsize: 111604 [startup+670.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 546465 0 0 0 65673 1336 0 0 25 0 1 0 695034446 114282496 26957 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27901 26957 1111 63 0 27838 0 vsize: 111604 [startup+680.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 561614 0 0 0 66635 1374 0 0 25 0 1 0 695034446 114282496 26957 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27901 26957 1111 63 0 27838 0 vsize: 111604 [startup+690.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 578046 0 0 0 67597 1413 0 0 25 0 1 0 695034446 114282496 26957 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27901 26957 1111 63 0 27838 0 vsize: 111604 [startup+700.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 593592 0 0 0 68560 1450 0 0 25 0 1 0 695034446 114282496 26957 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27901 26957 1111 63 0 27838 0 vsize: 111604 [startup+710.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 607804 0 0 0 69527 1483 0 0 25 0 1 0 695034446 115789824 27325 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28269 27325 1111 63 0 28206 0 vsize: 113076 [startup+720.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 609262 0 0 0 70524 1486 0 0 25 0 1 0 695034446 115789824 27325 4294967295 134512640 134714540 3221221792 3221220520 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28269 27325 1111 63 0 28206 0 vsize: 113076 [startup+730.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 610928 0 0 0 71520 1490 0 0 25 0 1 0 695034446 115789824 27325 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28269 27325 1111 63 0 28206 0 vsize: 113076 [startup+740.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 615834 0 0 0 72507 1503 0 0 25 0 1 0 695034446 115789824 27325 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28269 27325 1111 63 0 28206 0 vsize: 113076 [startup+750.031 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 620357 0 0 0 73496 1515 0 0 25 0 1 0 695034446 115789824 27325 4294967295 134512640 134714540 3221221792 3221220448 134606122 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28269 27325 1111 63 0 28206 0 vsize: 113076 [startup+760.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 625310 0 0 0 74484 1526 0 0 25 0 1 0 695034446 116400128 27448 4294967295 134512640 134714540 3221221792 3221220464 134606691 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28418 27448 1111 63 0 28355 0 vsize: 113672 [startup+770.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 630761 0 0 0 75470 1540 0 0 25 0 1 0 695034446 116252672 27438 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28382 27438 1111 63 0 28319 0 vsize: 113528 [startup+780.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 634329 0 0 0 76462 1549 0 0 25 0 1 0 695034446 116252672 27438 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28382 27438 1111 63 0 28319 0 vsize: 113528 [startup+790.031 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 638285 0 0 0 77452 1559 0 0 25 0 1 0 695034446 116252672 27438 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28382 27438 1111 63 0 28319 0 vsize: 113528 [startup+800.031 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 642727 0 0 0 78441 1570 0 0 25 0 1 0 695034446 116252672 27438 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28382 27438 1111 63 0 28319 0 vsize: 113528 [startup+810.031 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 647542 0 0 0 79430 1581 0 0 25 0 1 0 695034446 116252672 27438 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28382 27438 1111 63 0 28319 0 vsize: 113528 [startup+820.032 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 652339 0 0 0 80419 1592 0 0 25 0 1 0 695034446 116252672 27438 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28382 27438 1111 63 0 28319 0 vsize: 113528 [startup+830.032 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 663291 0 0 0 81393 1618 0 0 25 0 1 0 695034446 116252672 27438 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28382 27438 1111 63 0 28319 0 vsize: 113528 [startup+840.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 666984 0 0 0 82385 1627 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+850.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 666984 0 0 0 83385 1627 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+860.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 667429 0 0 0 84384 1628 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+870.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 672824 0 0 0 85370 1642 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220524 134543540 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+880.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 672824 0 0 0 86370 1642 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+890.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 672824 0 0 0 87370 1642 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+900.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 673076 0 0 0 88370 1643 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+910.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 673076 0 0 0 89370 1643 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+920.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 673076 0 0 0 90370 1643 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+930.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 681766 0 0 0 91349 1664 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+940.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 684621 0 0 0 92342 1672 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+950.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 688018 0 0 0 93333 1680 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+960.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 698810 0 0 0 94307 1707 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220320 134553634 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+970.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 706152 0 0 0 95289 1725 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+980.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 713393 0 0 0 96271 1743 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+990.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 721292 0 0 0 97252 1763 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 729458 0 0 0 98231 1783 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 737846 0 0 0 99211 1804 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220508 1076647540 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 746852 0 0 0 100188 1827 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 755708 0 0 0 101166 1849 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 766280 0 0 0 102140 1876 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 776702 0 0 0 103117 1899 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 787267 0 0 0 104091 1925 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 799650 0 0 0 105063 1953 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 811744 0 0 0 106033 1983 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 824426 0 0 0 107002 2014 0 0 25 0 1 0 695034446 119717888 28258 4294967295 134512640 134714540 3221221792 3221220276 1077378756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 116912 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 840434 0 0 0 107962 2054 0 0 25 0 1 0 695034446 118345728 27949 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28893 27949 1111 63 0 28830 0 vsize: 115572 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 851379 0 0 0 108935 2081 0 0 25 0 1 0 695034446 119799808 28304 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29248 28304 1111 63 0 29185 0 vsize: 116992 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 853480 0 0 0 109930 2086 0 0 25 0 1 0 695034446 119799808 28304 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29248 28304 1111 63 0 29185 0 vsize: 116992 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 857121 0 0 0 110921 2096 0 0 25 0 1 0 695034446 119799808 28304 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29248 28304 1111 63 0 29185 0 vsize: 116992 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 860355 0 0 0 111914 2104 0 0 25 0 1 0 695034446 119799808 28304 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29248 28304 1111 63 0 29185 0 vsize: 116992 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 863855 0 0 0 112905 2112 0 0 25 0 1 0 695034446 119799808 28304 4294967295 134512640 134714540 3221221792 3221220216 1077377790 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29248 28304 1111 63 0 29185 0 vsize: 116992 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 870091 0 0 0 113891 2127 0 0 25 0 1 0 695034446 119799808 28304 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29248 28304 1111 63 0 29185 0 vsize: 116992 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 875713 0 0 0 114878 2140 0 0 25 0 1 0 695034446 119799808 28304 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29248 28304 1111 63 0 29185 0 vsize: 116992 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 881951 0 0 0 115862 2156 0 0 25 0 1 0 695034446 119799808 28304 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29248 28304 1111 63 0 29185 0 vsize: 116992 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 888682 0 0 0 116847 2172 0 0 25 0 1 0 695034446 119799808 28304 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29248 28304 1111 63 0 29185 0 vsize: 116992 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17630 Raw data (stat): 17630 (bsolo_mis) R 17629 7876 7672 0 -1 0 895563 0 0 0 117829 2190 0 0 25 0 1 0 695034446 119799808 28304 4294967295 134512640 134714540 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29248 28304 1111 63 0 29185 0 vsize: 116992 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 0.99 0.97 0.99 1/54 17630 Raw data (stat): 17630 (bsolo_mis) Z 17629 7876 7672 0 -1 1036 895563 0 0 0 117829 2195 0 0 25 0 1 0 695034446 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.1 CPU time (s): 1200.25 CPU user time (s): 1178.29 CPU system time (s): 21.9527 CPU usage (%): 100.012 Max. virtual memory (Kb): 116992 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####