Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb |
MD5SUM | 388cec2ad329df6f021dfbdc92f512ad |
Bench Category | optimization, big integers (OPTBIGINT) |
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 | 3774 |
Biggest coefficient in the objective function | 3604480000000000 |
Number of bits for the biggest coefficient in the objective function | 52 |
Sum of the numbers in the objective function | 483609165299803395 |
Number of bits of the sum of numbers in the objective function | 59 |
Biggest number in a constraint | 3604480000000000 |
Number of bits of the biggest number in a constraint | 52 |
Biggest sum of numbers in a constraint | 483609165299803395 |
Number of bits of the biggest sum of numbers | 59 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.05999 |
Number of variables | 6363 |
Total number of constraints | 952 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 113 |
Number of constraints which are nor clauses,nor cardinality constraints | 839 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 141 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-05-24 15:49:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13094 boxname=wulflinc17 idbench=1008 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 388cec2ad329df6f021dfbdc92f512ad /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-timtab2.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-timtab2.opb IDLAUNCH: 13094 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 894596 kB Buffers: 34408 kB Cached: 83364 kB SwapCached: 480 kB Active: 58424 kB Inactive: 62116 kB HighTotal: 131008 kB HighFree: 46368 kB LowTotal: 903652 kB LowFree: 848228 kB SwapTotal: 2097892 kB SwapFree: 2097148 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6040 kB Slab: 14008 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 16:09:33 (client local time) WITH STATUS 0 IN 1200.76 SECONDS stats: 13094 7 1200.76 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 6363 variables and 1079 constraints. c After prepocess the problem consists of 6361 variables and 1079 constraints. c preprocess terminated 6.635 s c Initial Lower Bound: -3750 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. #### 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.87 0.95 0.98 2/54 8434 Raw data (stat): 8434 (runsolver) R 8433 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831457949 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99991 s] Raw data (loadavg): 0.89 0.95 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 8921 0 0 0 977 21 0 0 25 0 1 0 831457949 40251392 8874 4294967295 134512640 134714540 3221224592 3221223360 134624479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9827 8874 1111 63 0 9764 0 vsize: 39308 [startup+20.0008 s] Raw data (loadavg): 0.91 0.96 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 8938 0 0 0 1976 22 0 0 25 0 1 0 831457949 40386560 8891 4294967295 134512640 134714540 3221224592 3221223296 134556775 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9860 8891 1111 63 0 9797 0 vsize: 39440 [startup+30.0004 s] Raw data (loadavg): 0.92 0.96 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 9018 0 0 0 2976 23 0 0 25 0 1 0 831457949 40656896 8971 4294967295 134512640 134714540 3221224592 3221223328 134556388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9926 8971 1111 63 0 9863 0 vsize: 39704 [startup+40.0007 s] Raw data (loadavg): 0.93 0.96 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 9032 0 0 0 3976 23 0 0 25 0 1 0 831457949 40656896 8985 4294967295 134512640 134714540 3221224592 3221223328 134556887 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9926 8985 1111 63 0 9863 0 vsize: 39704 [startup+50.0006 s] Raw data (loadavg): 0.94 0.96 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 9169 0 0 0 4975 24 0 0 25 0 1 0 831457949 41332736 9122 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10091 9122 1111 63 0 10028 0 vsize: 40364 [startup+60.0002 s] Raw data (loadavg): 0.95 0.96 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 9644 0 0 0 5974 25 0 0 25 0 1 0 831457949 43225088 9597 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10553 9597 1111 63 0 10490 0 vsize: 42212 [startup+70.0006 s] Raw data (loadavg): 0.96 0.96 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 9925 0 0 0 6973 26 0 0 25 0 1 0 831457949 44310528 9878 4294967295 134512640 134714540 3221224592 3221223288 134558629 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10818 9878 1111 63 0 10755 0 vsize: 43272 [startup+80.0004 s] Raw data (loadavg): 0.96 0.96 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 10014 0 0 0 7971 27 0 0 25 0 1 0 831457949 44716032 9967 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10917 9967 1111 63 0 10854 0 vsize: 43668 [startup+90.001 s] Raw data (loadavg): 0.97 0.96 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 10027 0 0 0 8971 27 0 0 25 0 1 0 831457949 44851200 9980 4294967295 134512640 134714540 3221224592 3221223312 134556642 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10950 9980 1111 63 0 10887 0 vsize: 43800 [startup+100 s] Raw data (loadavg): 0.97 0.96 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 10050 0 0 0 9971 28 0 0 25 0 1 0 831457949 44851200 10003 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10950 10003 1111 63 0 10887 0 vsize: 43800 [startup+110 s] Raw data (loadavg): 0.98 0.96 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 10146 0 0 0 10970 29 0 0 25 0 1 0 831457949 45256704 10099 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11049 10099 1111 63 0 10986 0 vsize: 44196 [startup+120.001 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 10198 0 0 0 11970 30 0 0 25 0 1 0 831457949 45527040 10151 4294967295 134512640 134714540 3221224592 3221223336 134556383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11115 10151 1111 63 0 11052 0 vsize: 44460 [startup+130.006 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 10252 0 0 0 12970 30 0 0 25 0 1 0 831457949 45662208 10205 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11148 10205 1111 63 0 11085 0 vsize: 44592 [startup+140.016 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 10351 0 0 0 13970 31 0 0 25 0 1 0 831457949 46067712 10304 4294967295 134512640 134714540 3221224592 3221223432 134623277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11247 10304 1111 63 0 11184 0 vsize: 44988 [startup+150.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 11920 0 0 0 14967 35 0 0 25 0 1 0 831457949 52580352 11873 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12837 11873 1111 63 0 12774 0 vsize: 51348 [startup+160.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 13434 0 0 0 15964 38 0 0 25 0 1 0 831457949 58859520 13380 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14370 13380 1111 63 0 14307 0 vsize: 57480 [startup+170.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 14979 0 0 0 16959 42 0 0 25 0 1 0 831457949 65437696 14917 4294967295 134512640 134714540 3221224592 3221223424 134623286 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15976 14917 1111 63 0 15913 0 vsize: 63904 [startup+180.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 16401 0 0 0 17957 45 0 0 25 0 1 0 831457949 71196672 16333 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17382 16334 1111 63 0 17319 0 vsize: 69528 [startup+190.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 17204 0 0 0 18954 48 0 0 25 0 1 0 831457949 74862592 17113 4294967295 134512640 134714540 3221224592 3221223440 134623462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18277 17113 1111 63 0 18214 0 vsize: 73108 [startup+200.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 17625 0 0 0 19952 50 0 0 25 0 1 0 831457949 76914688 17516 4294967295 134512640 134714540 3221224592 3221223356 134556376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18778 17516 1111 63 0 18715 0 vsize: 75112 [startup+210.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 18374 0 0 0 20950 52 0 0 25 0 1 0 831457949 80261120 18237 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19595 18237 1111 63 0 19532 0 vsize: 78380 [startup+220.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 19780 0 0 0 21948 55 0 0 25 0 1 0 831457949 85827584 19639 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20954 19639 1111 63 0 20891 0 vsize: 83816 [startup+230.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 21179 0 0 0 22944 59 0 0 25 0 1 0 831457949 91369472 21036 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22307 21036 1111 63 0 22244 0 vsize: 89228 [startup+240.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 22583 0 0 0 23940 63 0 0 25 0 1 0 831457949 96911360 22440 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23660 22440 1111 63 0 23597 0 vsize: 94640 [startup+250.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 23999 0 0 0 24936 67 0 0 25 0 1 0 831457949 102780928 23834 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25093 23834 1111 63 0 25030 0 vsize: 100372 [startup+260.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 25893 0 0 0 25932 72 0 0 25 0 1 0 831457949 112263168 25548 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27408 25548 1111 63 0 27345 0 vsize: 109632 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27139 0 0 0 26928 76 0 0 25 0 1 0 831457949 117235712 26778 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28622 26778 1111 63 0 28559 0 vsize: 114488 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27824 0 0 0 27926 78 0 0 25 0 1 0 831457949 119939072 27463 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29282 27463 1111 63 0 29219 0 vsize: 117128 [startup+290.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27828 0 0 0 28926 78 0 0 25 0 1 0 831457949 119939072 27467 4294967295 134512640 134714540 3221224592 3221223216 134539516 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29282 27467 1111 63 0 29219 0 vsize: 117128 [startup+300.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27836 0 0 0 29926 78 0 0 25 0 1 0 831457949 120074240 27475 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27475 1111 63 0 29252 0 vsize: 117260 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27836 0 0 0 30927 78 0 0 25 0 1 0 831457949 120074240 27475 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27475 1111 63 0 29252 0 vsize: 117260 [startup+320.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27837 0 0 0 31927 78 0 0 25 0 1 0 831457949 120074240 27476 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27476 1111 63 0 29252 0 vsize: 117260 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27837 0 0 0 32927 78 0 0 25 0 1 0 831457949 120074240 27476 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27476 1111 63 0 29252 0 vsize: 117260 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27837 0 0 0 33927 78 0 0 25 0 1 0 831457949 120074240 27476 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27476 1111 63 0 29252 0 vsize: 117260 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27837 0 0 0 34927 78 0 0 25 0 1 0 831457949 120074240 27476 4294967295 134512640 134714540 3221224592 3221223312 134622732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27476 1111 63 0 29252 0 vsize: 117260 [startup+360.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27837 0 0 0 35928 78 0 0 25 0 1 0 831457949 120074240 27476 4294967295 134512640 134714540 3221224592 3221223312 134622732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27476 1111 63 0 29252 0 vsize: 117260 [startup+370.033 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27837 0 0 0 36929 78 0 0 25 0 1 0 831457949 120074240 27476 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27476 1111 63 0 29252 0 vsize: 117260 [startup+380.038 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27837 0 0 0 37930 78 0 0 25 0 1 0 831457949 120074240 27476 4294967295 134512640 134714540 3221224592 3221223408 134622547 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27476 1111 63 0 29252 0 vsize: 117260 [startup+390.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27842 0 0 0 38930 78 0 0 25 0 1 0 831457949 120074240 27481 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27481 1111 63 0 29252 0 vsize: 117260 [startup+400.048 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27842 0 0 0 39931 78 0 0 25 0 1 0 831457949 120074240 27481 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27481 1111 63 0 29252 0 vsize: 117260 [startup+410.051 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27842 0 0 0 40932 78 0 0 25 0 1 0 831457949 120074240 27481 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27481 1111 63 0 29252 0 vsize: 117260 [startup+420.062 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27842 0 0 0 41933 78 0 0 25 0 1 0 831457949 120074240 27481 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27481 1111 63 0 29252 0 vsize: 117260 [startup+430.063 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27842 0 0 0 42933 78 0 0 25 0 1 0 831457949 120074240 27481 4294967295 134512640 134714540 3221224592 3221223408 134622556 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27481 1111 63 0 29252 0 vsize: 117260 [startup+440.063 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27842 0 0 0 43933 78 0 0 25 0 1 0 831457949 120074240 27481 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27481 1111 63 0 29252 0 vsize: 117260 [startup+450.063 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27842 0 0 0 44933 79 0 0 25 0 1 0 831457949 120074240 27481 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27481 1111 63 0 29252 0 vsize: 117260 [startup+460.062 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27842 0 0 0 45933 79 0 0 25 0 1 0 831457949 120074240 27481 4294967295 134512640 134714540 3221224592 3221223408 134622464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27481 1111 63 0 29252 0 vsize: 117260 [startup+470.063 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 46933 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+480.063 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 47933 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+490.063 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 48933 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+500.063 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 49934 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+510.062 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 50934 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+520.063 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 51934 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+530.064 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 52934 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+540.07 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 53935 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223384 134536915 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+550.076 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 54936 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+560.083 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 55936 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223408 134622645 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+570.084 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 56937 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+580.084 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 57937 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+590.084 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 58937 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+600.085 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 59937 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+610.093 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 60938 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+620.093 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 61938 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+630.093 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8434 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 62939 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223396 134622629 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+640.106 s] Raw data (loadavg): 1.07 0.99 0.99 3/57 8475 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 63940 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+650.114 s] Raw data (loadavg): 1.14 1.00 0.99 2/54 8487 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 64941 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+660.113 s] Raw data (loadavg): 1.11 1.00 0.99 2/54 8487 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 65941 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+670.216 s] Raw data (loadavg): 1.10 1.00 0.99 2/54 8487 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 66952 79 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223392 134622574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+680.221 s] Raw data (loadavg): 1.08 1.00 0.99 2/54 8487 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 67952 80 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223392 134622574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+690.221 s] Raw data (loadavg): 1.07 1.00 0.99 2/54 8487 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 68952 80 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+700.221 s] Raw data (loadavg): 1.06 1.00 0.99 2/54 8487 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27852 0 0 0 69952 80 0 0 25 0 1 0 831457949 120074240 27491 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27491 1111 63 0 29252 0 vsize: 117260 [startup+710.22 s] Raw data (loadavg): 1.05 1.00 0.99 2/54 8487 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27854 0 0 0 70953 80 0 0 25 0 1 0 831457949 120074240 27493 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27493 1111 63 0 29252 0 vsize: 117260 [startup+720.221 s] Raw data (loadavg): 1.04 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27854 0 0 0 71953 80 0 0 25 0 1 0 831457949 120074240 27493 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27493 1111 63 0 29252 0 vsize: 117260 [startup+730.221 s] Raw data (loadavg): 1.03 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27854 0 0 0 72953 80 0 0 25 0 1 0 831457949 120074240 27493 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27493 1111 63 0 29252 0 vsize: 117260 [startup+740.221 s] Raw data (loadavg): 1.03 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27854 0 0 0 73953 80 0 0 25 0 1 0 831457949 120074240 27493 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27493 1111 63 0 29252 0 vsize: 117260 [startup+750.221 s] Raw data (loadavg): 1.02 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27855 0 0 0 74953 80 0 0 25 0 1 0 831457949 120074240 27494 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27494 1111 63 0 29252 0 vsize: 117260 [startup+760.221 s] Raw data (loadavg): 1.02 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27855 0 0 0 75953 80 0 0 25 0 1 0 831457949 120074240 27494 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27494 1111 63 0 29252 0 vsize: 117260 [startup+770.323 s] Raw data (loadavg): 1.02 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27855 0 0 0 76964 80 0 0 25 0 1 0 831457949 120074240 27494 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27494 1111 63 0 29252 0 vsize: 117260 [startup+780.322 s] Raw data (loadavg): 1.01 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27856 0 0 0 77964 80 0 0 25 0 1 0 831457949 120074240 27495 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27495 1111 63 0 29252 0 vsize: 117260 [startup+790.322 s] Raw data (loadavg): 1.01 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27856 0 0 0 78964 80 0 0 25 0 1 0 831457949 120074240 27495 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27495 1111 63 0 29252 0 vsize: 117260 [startup+800.322 s] Raw data (loadavg): 1.01 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27856 0 0 0 79964 80 0 0 25 0 1 0 831457949 120074240 27495 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27495 1111 63 0 29252 0 vsize: 117260 [startup+810.321 s] Raw data (loadavg): 1.01 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27856 0 0 0 80964 80 0 0 25 0 1 0 831457949 120074240 27495 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27495 1111 63 0 29252 0 vsize: 117260 [startup+820.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27858 0 0 0 81965 80 0 0 25 0 1 0 831457949 120074240 27497 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27497 1111 63 0 29252 0 vsize: 117260 [startup+830.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27858 0 0 0 82965 80 0 0 25 0 1 0 831457949 120074240 27497 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27497 1111 63 0 29252 0 vsize: 117260 [startup+840.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27858 0 0 0 83965 80 0 0 25 0 1 0 831457949 120074240 27497 4294967295 134512640 134714540 3221224592 3221223376 134622611 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27497 1111 63 0 29252 0 vsize: 117260 [startup+850.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27861 0 0 0 84965 80 0 0 25 0 1 0 831457949 120074240 27500 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27500 1111 63 0 29252 0 vsize: 117260 [startup+860.32 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27861 0 0 0 85965 80 0 0 25 0 1 0 831457949 120074240 27500 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27500 1111 63 0 29252 0 vsize: 117260 [startup+870.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27861 0 0 0 86965 80 0 0 25 0 1 0 831457949 120074240 27500 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27500 1111 63 0 29252 0 vsize: 117260 [startup+880.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27861 0 0 0 87965 80 0 0 25 0 1 0 831457949 120074240 27500 4294967295 134512640 134714540 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27500 1111 63 0 29252 0 vsize: 117260 [startup+890.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27861 0 0 0 88966 80 0 0 25 0 1 0 831457949 120074240 27500 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27500 1111 63 0 29252 0 vsize: 117260 [startup+900.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27861 0 0 0 89966 80 0 0 25 0 1 0 831457949 120074240 27500 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27500 1111 63 0 29252 0 vsize: 117260 [startup+910.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27861 0 0 0 90966 80 0 0 25 0 1 0 831457949 120074240 27500 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27500 1111 63 0 29252 0 vsize: 117260 [startup+920.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27861 0 0 0 91966 80 0 0 25 0 1 0 831457949 120074240 27500 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29315 27500 1111 63 0 29252 0 vsize: 117260 [startup+930.32 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 92966 80 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+940.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 93966 80 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+950.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 94966 80 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+960.32 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 95967 80 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+970.32 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 96967 80 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+980.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 97967 80 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+990.321 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8489 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 98967 80 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1000.32 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 99967 80 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1010.32 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 100968 80 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1020.32 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 101968 80 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1030.32 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 102968 80 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1040.32 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 103968 80 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1050.32 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 104968 81 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1060.33 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 105969 81 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1070.43 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 106979 81 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1080.43 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 107979 81 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1090.44 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 108980 81 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1100.44 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 109980 81 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1110.44 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 110980 81 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1120.46 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 111983 81 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1130.47 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 112984 82 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1140.48 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 113985 82 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1150.49 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 114986 82 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223396 134622516 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1160.49 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 115986 82 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1170.49 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 116986 82 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1180.49 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 117986 82 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223388 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1190.5 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 118988 82 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 [startup+1200.51 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 8491 Raw data (stat): 8434 (bsolo_mis) R 8433 7475 7474 0 -1 0 27908 0 0 0 119988 82 0 0 25 0 1 0 831457949 120344576 27547 4294967295 134512640 134714540 3221224592 3221223368 134542401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29381 27547 1111 63 0 29318 0 vsize: 117524 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.58 s] Raw data (loadavg): 1.00 1.00 0.99 1/54 8491 Raw data (stat): 8434 (bsolo_mis) Z 8433 7475 7474 0 -1 1036 27908 0 0 0 119988 87 0 0 24 0 1 0 831457949 0 0 4294967295 0 0 0 0 0 0 0 7 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.57 CPU time (s): 1200.76 CPU user time (s): 1199.89 CPU system time (s): 0.873867 CPU usage (%): 100.016 Max. virtual memory (Kb): 117524 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####