Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sierra.opb |
MD5SUM | 0c242afd458949841d3ea7014466f311 |
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 | 31139 |
Biggest coefficient in the objective function | 5007894118400 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 89107300928876 |
Number of bits of the sum of numbers in the objective function | 47 |
Biggest number in a constraint | 5007894118400 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 89107300928876 |
Number of bits of the biggest sum of numbers | 47 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.282956 |
Number of variables | 32607 |
Total number of constraints | 3263 |
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 | 3263 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 426 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-23 14:27:27 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16474 boxname=wulflinc31 idbench=1268 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 0c242afd458949841d3ea7014466f311 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sierra.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sierra.opb IDLAUNCH: 16474 /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: 852484 kB Buffers: 21180 kB Cached: 137472 kB SwapCached: 944 kB Active: 110116 kB Inactive: 50660 kB HighTotal: 131008 kB HighFree: 1876 kB LowTotal: 903652 kB LowFree: 850608 kB SwapTotal: 2097892 kB SwapFree: 2095920 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5104 kB Slab: 15580 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-23 14:47:29 (client local time) WITH STATUS 0 IN 1200.35 SECONDS stats: 16474 7 1200.35 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 32607 variables and 3791 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.72 0.90 0.90 2/55 9139 Raw data (stat): 9139 (runsolver) R 9138 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 822292978 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.0004 s] Raw data (loadavg): 0.76 0.90 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 1208 0 0 0 992 4 0 0 25 0 1 0 822292978 18034688 1185 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4403 1185 1111 63 0 4340 0 vsize: 17612 [startup+20.0003 s] Raw data (loadavg): 0.80 0.90 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 1977 0 0 0 1990 7 0 0 25 0 1 0 822292978 21127168 1954 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5158 1954 1111 63 0 5095 0 vsize: 20632 [startup+30.002 s] Raw data (loadavg): 0.83 0.91 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 2689 0 0 0 2988 9 0 0 25 0 1 0 822292978 24104960 2666 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5885 2666 1111 63 0 5822 0 vsize: 23540 [startup+40.0022 s] Raw data (loadavg): 0.85 0.91 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 3647 0 0 0 3986 11 0 0 25 0 1 0 822292978 27963392 3624 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6827 3624 1111 63 0 6764 0 vsize: 27308 [startup+50.002 s] Raw data (loadavg): 0.88 0.91 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 4538 0 0 0 4985 12 0 0 25 0 1 0 822292978 31584256 4515 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7744 4516 1111 63 0 7681 0 vsize: 30844 [startup+60.0023 s] Raw data (loadavg): 0.89 0.91 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 5540 0 0 0 5983 15 0 0 25 0 1 0 822292978 35696640 5517 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8715 5517 1111 63 0 8652 0 vsize: 34860 [startup+70.0029 s] Raw data (loadavg): 0.91 0.92 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 6506 0 0 0 6982 16 0 0 25 0 1 0 822292978 39706624 6483 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9694 6483 1111 63 0 9631 0 vsize: 38776 [startup+80.0038 s] Raw data (loadavg): 0.92 0.92 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 7563 0 0 0 7979 19 0 0 25 0 1 0 822292978 44109824 7540 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10769 7540 1111 63 0 10706 0 vsize: 43076 [startup+90.0043 s] Raw data (loadavg): 0.93 0.92 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 8428 0 0 0 8977 21 0 0 25 0 1 0 822292978 47611904 8405 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11624 8405 1111 63 0 11561 0 vsize: 46496 [startup+100.004 s] Raw data (loadavg): 0.94 0.92 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 9557 0 0 0 9976 22 0 0 25 0 1 0 822292978 52289536 9534 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12766 9534 1111 63 0 12703 0 vsize: 51064 [startup+110.005 s] Raw data (loadavg): 0.95 0.92 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 10758 0 0 0 10974 25 0 0 25 0 1 0 822292978 57114624 10735 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13944 10735 1111 63 0 13881 0 vsize: 55776 [startup+120.005 s] Raw data (loadavg): 0.96 0.93 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 12185 0 0 0 11971 28 0 0 25 0 1 0 822292978 62976000 12162 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15375 12162 1111 63 0 15312 0 vsize: 61500 [startup+130.005 s] Raw data (loadavg): 0.96 0.93 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 13794 0 0 0 12969 30 0 0 25 0 1 0 822292978 69595136 13771 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16991 13771 1111 63 0 16928 0 vsize: 67964 [startup+140.005 s] Raw data (loadavg): 0.97 0.93 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 15239 0 0 0 13967 32 0 0 25 0 1 0 822292978 75550720 15216 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18445 15216 1111 63 0 18382 0 vsize: 73780 [startup+150.006 s] Raw data (loadavg): 0.97 0.93 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 16648 0 0 0 14965 35 0 0 25 0 1 0 822292978 81362944 16625 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19864 16625 1111 63 0 19801 0 vsize: 79456 [startup+160.006 s] Raw data (loadavg): 0.98 0.93 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 18142 0 0 0 15962 37 0 0 25 0 1 0 822292978 87437312 18119 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21347 18119 1111 63 0 21284 0 vsize: 85388 [startup+170.006 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 19743 0 0 0 16959 41 0 0 25 0 1 0 822292978 93921280 19720 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22930 19720 1111 63 0 22867 0 vsize: 91720 [startup+180.006 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 21548 0 0 0 17955 44 0 0 25 0 1 0 822292978 101351424 21525 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24744 21525 1111 63 0 24681 0 vsize: 98976 [startup+190.007 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 23537 0 0 0 18952 48 0 0 25 0 1 0 822292978 109481984 23514 4294967295 134512640 134714540 3221221776 3221219896 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26729 23519 1111 63 0 26666 0 vsize: 106916 [startup+200.007 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 25590 0 0 0 19947 53 0 0 25 0 1 0 822292978 117858304 25567 4294967295 134512640 134714540 3221221776 3221219644 1077271501 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28774 25567 1111 63 0 28711 0 vsize: 115096 [startup+210.007 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 30053 0 0 0 20937 63 0 0 25 0 1 0 822292978 136417280 30030 4294967295 134512640 134714540 3221221776 3221218340 1077358243 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33305 30030 1111 63 0 33242 0 vsize: 133220 [startup+220.008 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 91470 0 0 0 21796 203 0 0 25 0 1 0 822292978 377307136 90958 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92116 90958 1111 63 0 92053 0 vsize: 368464 [startup+230.009 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 92622 0 0 0 22793 206 0 0 25 0 1 0 822292978 377307136 90958 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92116 90958 1111 63 0 92053 0 vsize: 368464 [startup+240.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 93998 0 0 0 23790 210 0 0 25 0 1 0 822292978 377307136 90958 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92116 90958 1111 63 0 92053 0 vsize: 368464 [startup+250.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 95726 0 0 0 24785 214 0 0 25 0 1 0 822292978 377307136 90958 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92116 90958 1111 63 0 92053 0 vsize: 368464 [startup+260.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 25782 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+270.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 26782 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+280.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 27782 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+290.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 28783 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+300.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 29783 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+310.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 30783 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+320.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 31783 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+330.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 32784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+340.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 33784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+350.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 34784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+360.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 35784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+370.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 36784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+380.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97416 0 0 0 37784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+390.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97416 0 0 0 38784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+400.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97542 0 0 0 39784 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+410.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97542 0 0 0 40784 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+420.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97668 0 0 0 41784 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+430.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97668 0 0 0 42784 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+440.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97668 0 0 0 43785 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+450.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97668 0 0 0 44785 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+460.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97857 0 0 0 45785 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+470.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97857 0 0 0 46785 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92913 91755 1111 63 0 92850 0 vsize: 371652 [startup+480.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98111 0 0 0 47785 220 0 0 25 0 1 0 822292978 381353984 91946 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93104 91946 1111 63 0 93041 0 vsize: 372416 [startup+490.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98365 0 0 0 48784 220 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+500.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98365 0 0 0 49784 220 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+510.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98428 0 0 0 50784 220 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+520.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98428 0 0 0 51785 220 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+530.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 52785 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+540.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 53785 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 54785 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+560.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 55785 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+570.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 56785 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+580.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 57786 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+590.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 58786 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+600.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 59786 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 60786 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 61786 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+630.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 62786 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+640.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 63787 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+650.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 64787 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+660.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 65787 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+670.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 66787 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+680.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 67787 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+690.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 68787 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+700.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 69788 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+710.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 70788 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+720.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 71788 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+730.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 72788 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+740.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 73788 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+750.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 74789 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+760.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 75789 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+770.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 76789 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+780.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 77789 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+790.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 78789 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+800.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 79789 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+810.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 80790 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+820.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 81790 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+830.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 82790 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+840.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 83790 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+850.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 84790 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+860.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 85790 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+870.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 86791 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+880.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 87791 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+890.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 88791 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+900.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 89791 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+910.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 90791 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+920.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 91792 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+930.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 92792 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+940.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 93792 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+950.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 94792 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+960.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 95792 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+970.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 96792 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+980.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 97793 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+990.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 98793 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 99793 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 100793 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 101793 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 102793 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 103794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 104794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98554 0 0 0 105794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98554 0 0 0 106794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220484 134618239 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98617 0 0 0 107794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98617 0 0 0 108794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220484 134618239 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98680 0 0 0 109794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98680 0 0 0 110794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98743 0 0 0 111794 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98743 0 0 0 112795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 113795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 114795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 115795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 116795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 117795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 118795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9139 Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 119796 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93295 92137 1111 63 0 93232 0 vsize: 373180 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.21 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 9139 Raw data (stat): 9139 (bsolo_mis) Z 9138 7876 7672 0 -1 1036 98806 0 0 0 119796 239 0 0 25 0 1 0 822292978 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.21 CPU time (s): 1200.35 CPU user time (s): 1197.96 CPU system time (s): 2.39164 CPU usage (%): 100.012 Max. virtual memory (Kb): 373180 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####