Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3701.opb |
MD5SUM | c5e85fef75cd61b11166b8854f4a9cf3 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
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 | 105000 |
Biggest coefficient in the objective function | 4194304 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 39244285251 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 4194304 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 39244285251 |
Number of bits of the biggest sum of numbers | 36 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.963853 |
Number of variables | 105000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 2000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-21 00:31:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19009 boxname=wulflinc31 idbench=1463 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: c5e85fef75cd61b11166b8854f4a9cf3 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3701.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3701.opb IDLAUNCH: 19009 /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: 586824 kB Buffers: 34052 kB Cached: 392564 kB SwapCached: 1172 kB Active: 295476 kB Inactive: 133504 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 586572 kB SwapTotal: 2097892 kB SwapFree: 2095980 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5356 kB Slab: 13220 kB Committed_AS: 63844 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-21 00:51:21 (client local time) WITH STATUS 0 IN 1200.27 SECONDS stats: 19009 7 1200.27 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### 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.91 2/55 3580 Raw data (stat): 3580 (runsolver) R 3579 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 799993590 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.0006 s] Raw data (loadavg): 0.94 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 1003 0 0 0 992 4 0 0 25 0 1 0 799993590 16048128 980 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3918 980 1111 63 0 3855 0 vsize: 15672 [startup+20.0014 s] Raw data (loadavg): 0.95 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 1249 0 0 0 1992 5 0 0 25 0 1 0 799993590 17027072 1226 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4157 1226 1111 63 0 4094 0 vsize: 16628 [startup+30.0013 s] Raw data (loadavg): 0.95 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 1500 0 0 0 2991 5 0 0 25 0 1 0 799993590 18026496 1477 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4401 1477 1111 63 0 4338 0 vsize: 17604 [startup+40.0013 s] Raw data (loadavg): 0.96 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 1748 0 0 0 3991 6 0 0 25 0 1 0 799993590 19013632 1725 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4642 1725 1111 63 0 4579 0 vsize: 18568 [startup+50.0025 s] Raw data (loadavg): 0.97 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 1996 0 0 0 4991 6 0 0 25 0 1 0 799993590 20140032 1973 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4917 1973 1111 63 0 4854 0 vsize: 19668 [startup+60.0021 s] Raw data (loadavg): 0.97 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 2249 0 0 0 5990 7 0 0 25 0 1 0 799993590 21123072 2226 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5157 2226 1111 63 0 5094 0 vsize: 20628 [startup+70.0031 s] Raw data (loadavg): 0.97 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 2496 0 0 0 6990 7 0 0 25 0 1 0 799993590 22110208 2473 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5398 2473 1111 63 0 5335 0 vsize: 21592 [startup+80.004 s] Raw data (loadavg): 0.98 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 2750 0 0 0 7990 8 0 0 25 0 1 0 799993590 23232512 2727 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5672 2727 1111 63 0 5609 0 vsize: 22688 [startup+90.0039 s] Raw data (loadavg): 0.98 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 2998 0 0 0 8989 9 0 0 25 0 1 0 799993590 24215552 2975 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5912 2975 1111 63 0 5849 0 vsize: 23648 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 3252 0 0 0 9989 9 0 0 25 0 1 0 799993590 25206784 3229 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6154 3229 1111 63 0 6091 0 vsize: 24616 [startup+110.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 3500 0 0 0 10988 10 0 0 25 0 1 0 799993590 26189824 3477 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6394 3477 1111 63 0 6331 0 vsize: 25576 [startup+120.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 3756 0 0 0 11988 10 0 0 25 0 1 0 799993590 27336704 3733 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6674 3733 1111 63 0 6611 0 vsize: 26696 [startup+130.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 4010 0 0 0 12988 10 0 0 25 0 1 0 799993590 28323840 3987 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6915 3987 1111 63 0 6852 0 vsize: 27660 [startup+140.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 4266 0 0 0 13987 11 0 0 25 0 1 0 799993590 29450240 4243 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7190 4243 1111 63 0 7127 0 vsize: 28760 [startup+150.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 4513 0 0 0 14987 12 0 0 25 0 1 0 799993590 30433280 4490 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7430 4490 1111 63 0 7367 0 vsize: 29720 [startup+160.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 4768 0 0 0 15986 13 0 0 25 0 1 0 799993590 31416320 4745 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7670 4745 1111 63 0 7607 0 vsize: 30680 [startup+170.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 5023 0 0 0 16986 14 0 0 25 0 1 0 799993590 32546816 5000 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7946 5000 1111 63 0 7883 0 vsize: 31784 [startup+180.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 5278 0 0 0 17985 15 0 0 25 0 1 0 799993590 33533952 5255 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8187 5255 1111 63 0 8124 0 vsize: 32748 [startup+190.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 5533 0 0 0 18985 15 0 0 25 0 1 0 799993590 34516992 5510 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8427 5510 1111 63 0 8364 0 vsize: 33708 [startup+200.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 5782 0 0 0 19984 16 0 0 25 0 1 0 799993590 35643392 5759 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8702 5759 1111 63 0 8639 0 vsize: 34808 [startup+210.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 6042 0 0 0 20984 16 0 0 25 0 1 0 799993590 36634624 6019 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8944 6019 1111 63 0 8881 0 vsize: 35776 [startup+220.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 6307 0 0 0 21983 17 0 0 25 0 1 0 799993590 37801984 6284 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9229 6284 1111 63 0 9166 0 vsize: 36916 [startup+230.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 6561 0 0 0 22983 17 0 0 25 0 1 0 799993590 38780928 6538 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9468 6538 1111 63 0 9405 0 vsize: 37872 [startup+240.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 6816 0 0 0 23983 18 0 0 25 0 1 0 799993590 39907328 6793 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9743 6793 1111 63 0 9680 0 vsize: 38972 [startup+250.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 7072 0 0 0 24983 18 0 0 25 0 1 0 799993590 40894464 7049 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9984 7049 1111 63 0 9921 0 vsize: 39936 [startup+260.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 7334 0 0 0 25982 18 0 0 25 0 1 0 799993590 42020864 7311 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10259 7311 1111 63 0 10196 0 vsize: 41036 [startup+270.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 7589 0 0 0 26982 19 0 0 25 0 1 0 799993590 43008000 7566 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10500 7566 1111 63 0 10437 0 vsize: 42000 [startup+280.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 7845 0 0 0 27982 19 0 0 25 0 1 0 799993590 44134400 7822 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10775 7822 1111 63 0 10712 0 vsize: 43100 [startup+290.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 8107 0 0 0 28981 20 0 0 25 0 1 0 799993590 45121536 8084 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11016 8084 1111 63 0 10953 0 vsize: 44064 [startup+300.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 8369 0 0 0 29981 21 0 0 25 0 1 0 799993590 46247936 8346 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11291 8346 1111 63 0 11228 0 vsize: 45164 [startup+310.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 8630 0 0 0 30981 21 0 0 25 0 1 0 799993590 47226880 8607 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11530 8607 1111 63 0 11467 0 vsize: 46120 [startup+320.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 8885 0 0 0 31981 21 0 0 25 0 1 0 799993590 48353280 8862 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11805 8862 1111 63 0 11742 0 vsize: 47220 [startup+330.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 9147 0 0 0 32980 22 0 0 25 0 1 0 799993590 49340416 9124 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12046 9124 1111 63 0 11983 0 vsize: 48184 [startup+340.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 9409 0 0 0 33980 23 0 0 25 0 1 0 799993590 50466816 9386 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12321 9386 1111 63 0 12258 0 vsize: 49284 [startup+350.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 9671 0 0 0 34980 23 0 0 25 0 1 0 799993590 51597312 9648 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12597 9648 1111 63 0 12534 0 vsize: 50388 [startup+360.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 9933 0 0 0 35980 23 0 0 25 0 1 0 799993590 52580352 9910 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12837 9910 1111 63 0 12774 0 vsize: 51348 [startup+370.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 10196 0 0 0 36980 24 0 0 25 0 1 0 799993590 53706752 10173 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13112 10173 1111 63 0 13049 0 vsize: 52448 [startup+380.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 10464 0 0 0 37979 24 0 0 25 0 1 0 799993590 54833152 10441 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13387 10441 1111 63 0 13324 0 vsize: 53548 [startup+390.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 10727 0 0 0 38979 25 0 0 25 0 1 0 799993590 55816192 10704 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13627 10704 1111 63 0 13564 0 vsize: 54508 [startup+400.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 10987 0 0 0 39979 25 0 0 25 0 1 0 799993590 56942592 10964 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13902 10964 1111 63 0 13839 0 vsize: 55608 [startup+410.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 11249 0 0 0 40978 26 0 0 25 0 1 0 799993590 57929728 11226 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14143 11226 1111 63 0 14080 0 vsize: 56572 [startup+420.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 11517 0 0 0 41978 26 0 0 25 0 1 0 799993590 59056128 11494 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14418 11494 1111 63 0 14355 0 vsize: 57672 [startup+430.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 11785 0 0 0 42977 27 0 0 25 0 1 0 799993590 60182528 11762 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14693 11762 1111 63 0 14630 0 vsize: 58772 [startup+440.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 12065 0 0 0 43977 28 0 0 25 0 1 0 799993590 61419520 12042 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14995 12042 1111 63 0 14932 0 vsize: 59980 [startup+450.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 12333 0 0 0 44976 28 0 0 25 0 1 0 799993590 62545920 12310 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15270 12310 1111 63 0 15207 0 vsize: 61080 [startup+460.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 12603 0 0 0 45976 29 0 0 25 0 1 0 799993590 63672320 12580 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15545 12580 1111 63 0 15482 0 vsize: 62180 [startup+470.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 12865 0 0 0 46976 29 0 0 25 0 1 0 799993590 64655360 12842 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15785 12842 1111 63 0 15722 0 vsize: 63140 [startup+480.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 13140 0 0 0 47975 30 0 0 25 0 1 0 799993590 65785856 13117 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16061 13117 1111 63 0 15998 0 vsize: 64244 [startup+490.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 13410 0 0 0 48974 31 0 0 25 0 1 0 799993590 66912256 13387 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16336 13387 1111 63 0 16273 0 vsize: 65344 [startup+500.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 13679 0 0 0 49974 32 0 0 25 0 1 0 799993590 68030464 13656 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16609 13656 1111 63 0 16546 0 vsize: 66436 [startup+510.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 13954 0 0 0 50974 32 0 0 25 0 1 0 799993590 69156864 13931 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16884 13931 1111 63 0 16821 0 vsize: 67536 [startup+520.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 14229 0 0 0 51973 33 0 0 25 0 1 0 799993590 70283264 14206 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17159 14206 1111 63 0 17096 0 vsize: 68636 [startup+530.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 14511 0 0 0 52973 33 0 0 25 0 1 0 799993590 71413760 14488 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17435 14488 1111 63 0 17372 0 vsize: 69740 [startup+540.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 14788 0 0 0 53972 34 0 0 25 0 1 0 799993590 72540160 14765 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17710 14765 1111 63 0 17647 0 vsize: 70840 [startup+550.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 15071 0 0 0 54972 35 0 0 25 0 1 0 799993590 73666560 15048 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17985 15048 1111 63 0 17922 0 vsize: 71940 [startup+560.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 15347 0 0 0 55971 36 0 0 25 0 1 0 799993590 74792960 15324 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18260 15324 1111 63 0 18197 0 vsize: 73040 [startup+570.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 15629 0 0 0 56971 36 0 0 25 0 1 0 799993590 76058624 15606 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18569 15606 1111 63 0 18506 0 vsize: 74276 [startup+580.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 15912 0 0 0 57970 37 0 0 25 0 1 0 799993590 77185024 15889 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18844 15889 1111 63 0 18781 0 vsize: 75376 [startup+590.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 16194 0 0 0 58970 38 0 0 25 0 1 0 799993590 78315520 16171 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19120 16171 1111 63 0 19057 0 vsize: 76480 [startup+600.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 16477 0 0 0 59970 38 0 0 25 0 1 0 799993590 79441920 16454 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19395 16454 1111 63 0 19332 0 vsize: 77580 [startup+610.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 16760 0 0 0 60970 38 0 0 25 0 1 0 799993590 80568320 16737 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19670 16737 1111 63 0 19607 0 vsize: 78680 [startup+620.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 17043 0 0 0 61969 39 0 0 25 0 1 0 799993590 81833984 17020 4294967295 134512640 134714540 3221221776 3221220008 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19979 17020 1111 63 0 19916 0 vsize: 79916 [startup+630.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 17332 0 0 0 62969 39 0 0 25 0 1 0 799993590 82960384 17309 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20254 17309 1111 63 0 20191 0 vsize: 81016 [startup+640.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 17615 0 0 0 63969 40 0 0 25 0 1 0 799993590 84086784 17592 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20529 17592 1111 63 0 20466 0 vsize: 82116 [startup+650.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 17898 0 0 0 64968 40 0 0 25 0 1 0 799993590 85213184 17875 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20804 17875 1111 63 0 20741 0 vsize: 83216 [startup+660.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 18188 0 0 0 65967 41 0 0 25 0 1 0 799993590 86482944 18165 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21114 18165 1111 63 0 21051 0 vsize: 84456 [startup+670.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 18476 0 0 0 66967 42 0 0 25 0 1 0 799993590 87609344 18453 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21389 18453 1111 63 0 21326 0 vsize: 85556 [startup+680.028 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 18761 0 0 0 67967 43 0 0 25 0 1 0 799993590 88735744 18738 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21664 18738 1111 63 0 21601 0 vsize: 86656 [startup+690.028 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 19049 0 0 0 68966 43 0 0 25 0 1 0 799993590 90001408 19026 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21973 19026 1111 63 0 21910 0 vsize: 87892 [startup+700.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 19333 0 0 0 69966 44 0 0 25 0 1 0 799993590 91127808 19310 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22248 19310 1111 63 0 22185 0 vsize: 88992 [startup+710.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 19622 0 0 0 70966 44 0 0 25 0 1 0 799993590 92254208 19599 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22523 19599 1111 63 0 22460 0 vsize: 90092 [startup+720.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 19911 0 0 0 71965 45 0 0 25 0 1 0 799993590 93523968 19888 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22833 19888 1111 63 0 22770 0 vsize: 91332 [startup+730.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 20202 0 0 0 72965 45 0 0 25 0 1 0 799993590 94650368 20179 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23108 20179 1111 63 0 23045 0 vsize: 92432 [startup+740.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 20490 0 0 0 73964 46 0 0 25 0 1 0 799993590 95916032 20467 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23417 20467 1111 63 0 23354 0 vsize: 93668 [startup+750.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 20780 0 0 0 74964 47 0 0 25 0 1 0 799993590 97042432 20757 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23692 20757 1111 63 0 23629 0 vsize: 94768 [startup+760.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 21070 0 0 0 75962 48 0 0 25 0 1 0 799993590 98168832 21047 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23967 21047 1111 63 0 23904 0 vsize: 95868 [startup+770.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 21359 0 0 0 76962 49 0 0 25 0 1 0 799993590 99434496 21336 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24276 21336 1111 63 0 24213 0 vsize: 97104 [startup+780.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 21650 0 0 0 77961 50 0 0 25 0 1 0 799993590 100564992 21627 4294967295 134512640 134714540 3221221776 3221220432 134527948 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24552 21627 1111 63 0 24489 0 vsize: 98208 [startup+790.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 21945 0 0 0 78960 51 0 0 25 0 1 0 799993590 101830656 21922 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24861 21922 1111 63 0 24798 0 vsize: 99444 [startup+800.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 22241 0 0 0 79960 51 0 0 25 0 1 0 799993590 102957056 22218 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25136 22218 1111 63 0 25073 0 vsize: 100544 [startup+810.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 22530 0 0 0 80960 52 0 0 25 0 1 0 799993590 104222720 22507 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25445 22507 1111 63 0 25382 0 vsize: 101780 [startup+820.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 22820 0 0 0 81959 52 0 0 25 0 1 0 799993590 105349120 22797 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25720 22797 1111 63 0 25657 0 vsize: 102880 [startup+830.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 23149 0 0 0 82959 53 0 0 25 0 1 0 799993590 106979328 23126 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26118 23126 1111 63 0 26055 0 vsize: 104472 [startup+840.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 23445 0 0 0 83959 53 0 0 25 0 1 0 799993590 108244992 23422 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26427 23422 1111 63 0 26364 0 vsize: 105708 [startup+850.037 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 23748 0 0 0 84958 54 0 0 25 0 1 0 799993590 109371392 23725 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26702 23725 1111 63 0 26639 0 vsize: 106808 [startup+860.037 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 24038 0 0 0 85958 55 0 0 25 0 1 0 799993590 110637056 24015 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27011 24015 1111 63 0 26948 0 vsize: 108044 [startup+870.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 24342 0 0 0 86957 55 0 0 25 0 1 0 799993590 111902720 24319 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27320 24319 1111 63 0 27257 0 vsize: 109280 [startup+880.039 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 24644 0 0 0 87957 56 0 0 25 0 1 0 799993590 113029120 24621 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27595 24621 1111 63 0 27532 0 vsize: 110380 [startup+890.039 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 24941 0 0 0 88956 57 0 0 25 0 1 0 799993590 114298880 24918 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27905 24918 1111 63 0 27842 0 vsize: 111620 [startup+900.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 25238 0 0 0 89956 57 0 0 25 0 1 0 799993590 115564544 25215 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28214 25215 1111 63 0 28151 0 vsize: 112856 [startup+910.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 25541 0 0 0 90955 58 0 0 25 0 1 0 799993590 116690944 25518 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28489 25518 1111 63 0 28426 0 vsize: 113956 [startup+920.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 25844 0 0 0 91955 58 0 0 25 0 1 0 799993590 117960704 25821 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28799 25821 1111 63 0 28736 0 vsize: 115196 [startup+930.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 26147 0 0 0 92955 59 0 0 25 0 1 0 799993590 119226368 26124 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29108 26124 1111 63 0 29045 0 vsize: 116432 [startup+940.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 26451 0 0 0 93954 60 0 0 25 0 1 0 799993590 120492032 26428 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29417 26428 1111 63 0 29354 0 vsize: 117668 [startup+950.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 26754 0 0 0 94954 61 0 0 25 0 1 0 799993590 121757696 26731 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29726 26731 1111 63 0 29663 0 vsize: 118904 [startup+960.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 27058 0 0 0 95953 61 0 0 25 0 1 0 799993590 122884096 27035 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30001 27035 1111 63 0 29938 0 vsize: 120004 [startup+970.042 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 27361 0 0 0 96953 62 0 0 25 0 1 0 799993590 124153856 27338 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30311 27338 1111 63 0 30248 0 vsize: 121244 [startup+980.042 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 27671 0 0 0 97952 62 0 0 25 0 1 0 799993590 125419520 27648 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30620 27648 1111 63 0 30557 0 vsize: 122480 [startup+990.042 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 27975 0 0 0 98952 63 0 0 25 0 1 0 799993590 126685184 27952 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30929 27952 1111 63 0 30866 0 vsize: 123716 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 28284 0 0 0 99952 63 0 0 25 0 1 0 799993590 127954944 28261 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31239 28261 1111 63 0 31176 0 vsize: 124956 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 28589 0 0 0 100951 64 0 0 25 0 1 0 799993590 129220608 28566 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31548 28566 1111 63 0 31485 0 vsize: 126192 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 28904 0 0 0 101951 64 0 0 25 0 1 0 799993590 130486272 28881 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31857 28881 1111 63 0 31794 0 vsize: 127428 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 29209 0 0 0 102951 65 0 0 25 0 1 0 799993590 131756032 29186 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32167 29186 1111 63 0 32104 0 vsize: 128668 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 29524 0 0 0 103950 66 0 0 25 0 1 0 799993590 133021696 29501 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32476 29501 1111 63 0 32413 0 vsize: 129904 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 29829 0 0 0 104949 67 0 0 25 0 1 0 799993590 134287360 29806 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32785 29806 1111 63 0 32722 0 vsize: 131140 [startup+1060.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 30144 0 0 0 105949 67 0 0 25 0 1 0 799993590 135553024 30121 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33094 30121 1111 63 0 33031 0 vsize: 132376 [startup+1070.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 30454 0 0 0 106949 67 0 0 25 0 1 0 799993590 136822784 30431 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33404 30431 1111 63 0 33341 0 vsize: 133616 [startup+1080.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 30767 0 0 0 107949 68 0 0 25 0 1 0 799993590 138088448 30744 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33713 30744 1111 63 0 33650 0 vsize: 134852 [startup+1090.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 31083 0 0 0 108949 68 0 0 25 0 1 0 799993590 139362304 31060 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34024 31060 1111 63 0 33961 0 vsize: 136096 [startup+1100.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 31401 0 0 0 109948 69 0 0 25 0 1 0 799993590 140627968 31378 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34333 31378 1111 63 0 34270 0 vsize: 137332 [startup+1110.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 31716 0 0 0 110948 70 0 0 25 0 1 0 799993590 142032896 31693 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34676 31693 1111 63 0 34613 0 vsize: 138704 [startup+1120.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 32028 0 0 0 111947 70 0 0 25 0 1 0 799993590 143302656 32005 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34986 32005 1111 63 0 34923 0 vsize: 139944 [startup+1130.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 32344 0 0 0 112947 71 0 0 25 0 1 0 799993590 144568320 32321 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35295 32321 1111 63 0 35232 0 vsize: 141180 [startup+1140.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 32656 0 0 0 113946 72 0 0 25 0 1 0 799993590 145838080 32633 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35605 32633 1111 63 0 35542 0 vsize: 142420 [startup+1150.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 32979 0 0 0 114946 72 0 0 25 0 1 0 799993590 147103744 32956 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35914 32956 1111 63 0 35851 0 vsize: 143656 [startup+1160.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 33297 0 0 0 115945 73 0 0 25 0 1 0 799993590 148369408 33274 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36223 33274 1111 63 0 36160 0 vsize: 144892 [startup+1170.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 33613 0 0 0 116945 74 0 0 25 0 1 0 799993590 149778432 33590 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36567 33590 1111 63 0 36504 0 vsize: 146268 [startup+1180.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 33930 0 0 0 117944 75 0 0 25 0 1 0 799993590 151044096 33907 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36876 33907 1111 63 0 36813 0 vsize: 147504 [startup+1190.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 34254 0 0 0 118944 75 0 0 25 0 1 0 799993590 152309760 34231 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37185 34231 1111 63 0 37122 0 vsize: 148740 [startup+1200.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 3580 Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 34570 0 0 0 119944 76 0 0 25 0 1 0 799993590 153575424 34547 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37494 34547 1111 63 0 37431 0 vsize: 149976 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.12 s] Raw data (loadavg): 0.99 0.98 0.91 1/55 3580 Raw data (stat): 3580 (bsolo_mis) Z 3579 7876 7672 0 -1 1036 34570 0 0 0 119944 82 0 0 25 0 1 0 799993590 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 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.12 CPU time (s): 1200.27 CPU user time (s): 1199.44 CPU system time (s): 0.825874 CPU usage (%): 100.012 Max. virtual memory (Kb): 149976 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####