Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb |
MD5SUM | 1d23f02bf686681d1b293e114d3bb612 |
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 | 39177236543 |
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 | 39177236543 |
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 | 1.03484 |
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 wulflinc25 THE 2005-05-24 18:21:33 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19022 boxname=wulflinc25 idbench=1464 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 1d23f02bf686681d1b293e114d3bb612 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-n3702.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-n3702.opb IDLAUNCH: 19022 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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.220 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: 861552 kB Buffers: 35668 kB Cached: 115840 kB SwapCached: 812 kB Active: 70804 kB Inactive: 83136 kB HighTotal: 131008 kB HighFree: 14532 kB LowTotal: 903652 kB LowFree: 847020 kB SwapTotal: 2097892 kB SwapFree: 2096616 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5600 kB Slab: 13520 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 18:41:36 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 19022 7 1200.28 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.98 2/54 3025 Raw data (stat): 3025 (runsolver) R 3024 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832372770 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+10.0003 s] Raw data (loadavg): 0.94 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 1002 0 0 0 996 2 0 0 25 0 1 0 832372770 16048128 980 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3918 980 1111 63 0 3855 0 vsize: 15672 [startup+19.9998 s] Raw data (loadavg): 0.95 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 1249 0 0 0 1996 3 0 0 25 0 1 0 832372770 17027072 1227 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4157 1227 1111 63 0 4094 0 vsize: 16628 [startup+29.9997 s] Raw data (loadavg): 0.95 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 1499 0 0 0 2996 3 0 0 25 0 1 0 832372770 18026496 1477 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4401 1477 1111 63 0 4338 0 vsize: 17604 [startup+40 s] Raw data (loadavg): 0.96 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 1747 0 0 0 3995 4 0 0 25 0 1 0 832372770 19013632 1725 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4642 1725 1111 63 0 4579 0 vsize: 18568 [startup+49.9999 s] Raw data (loadavg): 0.97 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 1995 0 0 0 4995 4 0 0 25 0 1 0 832372770 20140032 1973 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4917 1973 1111 63 0 4854 0 vsize: 19668 [startup+60.0005 s] Raw data (loadavg): 0.97 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 2254 0 0 0 5994 5 0 0 25 0 1 0 832372770 21123072 2232 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5157 2232 1111 63 0 5094 0 vsize: 20628 [startup+69.9998 s] Raw data (loadavg): 0.97 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 2502 0 0 0 6994 5 0 0 25 0 1 0 832372770 22110208 2480 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5398 2480 1111 63 0 5335 0 vsize: 21592 [startup+79.9994 s] Raw data (loadavg): 0.98 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 2749 0 0 0 7994 6 0 0 25 0 1 0 832372770 23232512 2727 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5672 2727 1111 63 0 5609 0 vsize: 22688 [startup+89.9993 s] Raw data (loadavg): 0.98 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 3003 0 0 0 8993 6 0 0 25 0 1 0 832372770 24215552 2981 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5912 2981 1111 63 0 5849 0 vsize: 23648 [startup+99.9986 s] Raw data (loadavg): 0.98 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 3252 0 0 0 9993 7 0 0 25 0 1 0 832372770 25206784 3230 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6154 3230 1111 63 0 6091 0 vsize: 24616 [startup+109.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 3506 0 0 0 10993 7 0 0 25 0 1 0 832372770 26333184 3484 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6429 3484 1111 63 0 6366 0 vsize: 25716 [startup+119.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 3762 0 0 0 11992 8 0 0 25 0 1 0 832372770 27336704 3740 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6674 3740 1111 63 0 6611 0 vsize: 26696 [startup+129.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 4016 0 0 0 12992 8 0 0 25 0 1 0 832372770 28323840 3994 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6915 3994 1111 63 0 6852 0 vsize: 27660 [startup+139.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 4271 0 0 0 13993 8 0 0 25 0 1 0 832372770 29450240 4249 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7190 4249 1111 63 0 7127 0 vsize: 28760 [startup+149.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 4525 0 0 0 14992 8 0 0 25 0 1 0 832372770 30433280 4503 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7430 4503 1111 63 0 7367 0 vsize: 29720 [startup+159.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 4774 0 0 0 15992 9 0 0 25 0 1 0 832372770 31416320 4752 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7670 4752 1111 63 0 7607 0 vsize: 30680 [startup+169.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 5029 0 0 0 16992 10 0 0 25 0 1 0 832372770 32546816 5007 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7946 5007 1111 63 0 7883 0 vsize: 31784 [startup+179.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 5285 0 0 0 17991 10 0 0 25 0 1 0 832372770 33533952 5263 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8187 5263 1111 63 0 8124 0 vsize: 32748 [startup+189.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 5545 0 0 0 18991 11 0 0 25 0 1 0 832372770 34660352 5523 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8462 5523 1111 63 0 8399 0 vsize: 33848 [startup+199.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 5794 0 0 0 19990 11 0 0 25 0 1 0 832372770 35643392 5772 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8702 5772 1111 63 0 8639 0 vsize: 34808 [startup+209.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 6055 0 0 0 20990 12 0 0 25 0 1 0 832372770 36773888 6033 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8978 6033 1111 63 0 8915 0 vsize: 35912 [startup+219.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 6320 0 0 0 21990 12 0 0 25 0 1 0 832372770 37801984 6298 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9229 6298 1111 63 0 9166 0 vsize: 36916 [startup+229.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 6574 0 0 0 22989 13 0 0 25 0 1 0 832372770 38920192 6552 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9502 6552 1111 63 0 9439 0 vsize: 38008 [startup+239.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 6835 0 0 0 23989 13 0 0 25 0 1 0 832372770 39907328 6813 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9743 6813 1111 63 0 9680 0 vsize: 38972 [startup+249.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 7091 0 0 0 24989 14 0 0 25 0 1 0 832372770 41033728 7069 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10018 7069 1111 63 0 9955 0 vsize: 40072 [startup+259.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 7353 0 0 0 25988 15 0 0 25 0 1 0 832372770 42020864 7331 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10259 7331 1111 63 0 10196 0 vsize: 41036 [startup+269.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 7609 0 0 0 26988 15 0 0 25 0 1 0 832372770 43147264 7587 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10534 7587 1111 63 0 10471 0 vsize: 42136 [startup+279.997 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 7872 0 0 0 27987 16 0 0 25 0 1 0 832372770 44134400 7850 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10775 7850 1111 63 0 10712 0 vsize: 43100 [startup+289.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 8133 0 0 0 28987 17 0 0 25 0 1 0 832372770 45260800 8111 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11050 8111 1111 63 0 10987 0 vsize: 44200 [startup+299.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 8395 0 0 0 29986 18 0 0 25 0 1 0 832372770 46387200 8373 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11325 8373 1111 63 0 11262 0 vsize: 45300 [startup+309.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 8658 0 0 0 30986 18 0 0 25 0 1 0 832372770 47370240 8636 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11565 8636 1111 63 0 11502 0 vsize: 46260 [startup+319.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 8917 0 0 0 31985 19 0 0 25 0 1 0 832372770 48496640 8895 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11840 8895 1111 63 0 11777 0 vsize: 47360 [startup+330 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 9180 0 0 0 32985 20 0 0 25 0 1 0 832372770 49479680 9158 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12080 9158 1111 63 0 12017 0 vsize: 48320 [startup+340 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 9442 0 0 0 33984 20 0 0 25 0 1 0 832372770 50606080 9420 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12355 9420 1111 63 0 12292 0 vsize: 49420 [startup+350 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 9704 0 0 0 34984 21 0 0 25 0 1 0 832372770 51732480 9682 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12630 9682 1111 63 0 12567 0 vsize: 50520 [startup+360 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 9967 0 0 0 35984 21 0 0 25 0 1 0 832372770 52723712 9945 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12872 9945 1111 63 0 12809 0 vsize: 51488 [startup+370 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 10235 0 0 0 36983 22 0 0 25 0 1 0 832372770 53850112 10213 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13147 10213 1111 63 0 13084 0 vsize: 52588 [startup+379.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 10498 0 0 0 37983 22 0 0 25 0 1 0 832372770 54976512 10476 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13422 10476 1111 63 0 13359 0 vsize: 53688 [startup+389.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 10767 0 0 0 38983 23 0 0 25 0 1 0 832372770 55959552 10745 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13662 10745 1111 63 0 13599 0 vsize: 54648 [startup+399.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 11029 0 0 0 39982 23 0 0 25 0 1 0 832372770 57090048 11007 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13938 11007 1111 63 0 13875 0 vsize: 55752 [startup+410 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 11296 0 0 0 40982 24 0 0 25 0 1 0 832372770 58208256 11274 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14211 11274 1111 63 0 14148 0 vsize: 56844 [startup+419.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 11564 0 0 0 41982 24 0 0 25 0 1 0 832372770 59334656 11542 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14486 11542 1111 63 0 14423 0 vsize: 57944 [startup+429.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 11844 0 0 0 42982 24 0 0 25 0 1 0 832372770 60579840 11822 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14790 11822 1111 63 0 14727 0 vsize: 59160 [startup+439.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 12112 0 0 0 43982 25 0 0 25 0 1 0 832372770 61698048 12090 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15063 12090 1111 63 0 15000 0 vsize: 60252 [startup+449.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 12381 0 0 0 44981 25 0 0 25 0 1 0 832372770 62685184 12359 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15304 12359 1111 63 0 15241 0 vsize: 61216 [startup+459.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 12650 0 0 0 45980 26 0 0 25 0 1 0 832372770 63811584 12628 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15579 12628 1111 63 0 15516 0 vsize: 62316 [startup+469.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 12918 0 0 0 46980 27 0 0 25 0 1 0 832372770 64937984 12896 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15854 12896 1111 63 0 15791 0 vsize: 63416 [startup+479.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 13194 0 0 0 47979 28 0 0 25 0 1 0 832372770 66064384 13172 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16129 13172 1111 63 0 16066 0 vsize: 64516 [startup+489.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 13463 0 0 0 48979 28 0 0 25 0 1 0 832372770 67190784 13441 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16404 13441 1111 63 0 16341 0 vsize: 65616 [startup+499.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 13733 0 0 0 49978 29 0 0 25 0 1 0 832372770 68317184 13711 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16679 13711 1111 63 0 16616 0 vsize: 66716 [startup+509.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 14009 0 0 0 50978 29 0 0 25 0 1 0 832372770 69443584 13987 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16954 13987 1111 63 0 16891 0 vsize: 67816 [startup+519.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 14277 0 0 0 51978 30 0 0 25 0 1 0 832372770 70426624 14255 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17194 14255 1111 63 0 17131 0 vsize: 68776 [startup+529.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 14553 0 0 0 52978 30 0 0 25 0 1 0 832372770 71553024 14531 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17469 14531 1111 63 0 17406 0 vsize: 69876 [startup+539.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 14821 0 0 0 53978 30 0 0 25 0 1 0 832372770 72679424 14799 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17744 14799 1111 63 0 17681 0 vsize: 70976 [startup+549.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 15097 0 0 0 54977 31 0 0 25 0 1 0 832372770 73805824 15075 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18019 15075 1111 63 0 17956 0 vsize: 72076 [startup+559.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 15373 0 0 0 55977 31 0 0 25 0 1 0 832372770 74932224 15351 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18294 15351 1111 63 0 18231 0 vsize: 73176 [startup+569.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 15648 0 0 0 56977 31 0 0 25 0 1 0 832372770 76058624 15626 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18569 15626 1111 63 0 18506 0 vsize: 74276 [startup+579.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 15925 0 0 0 57977 32 0 0 25 0 1 0 832372770 77185024 15903 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18844 15903 1111 63 0 18781 0 vsize: 75376 [startup+589.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 16201 0 0 0 58976 32 0 0 25 0 1 0 832372770 78315520 16179 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19120 16179 1111 63 0 19057 0 vsize: 76480 [startup+599.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 16477 0 0 0 59976 33 0 0 25 0 1 0 832372770 79441920 16455 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19395 16455 1111 63 0 19332 0 vsize: 77580 [startup+609.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 16759 0 0 0 60976 34 0 0 25 0 1 0 832372770 80568320 16737 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19670 16737 1111 63 0 19607 0 vsize: 78680 [startup+619.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 17035 0 0 0 61975 34 0 0 25 0 1 0 832372770 81694720 17013 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19945 17013 1111 63 0 19882 0 vsize: 79780 [startup+629.997 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 17317 0 0 0 62975 35 0 0 25 0 1 0 832372770 82960384 17295 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20254 17295 1111 63 0 20191 0 vsize: 81016 [startup+639.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 17594 0 0 0 63974 36 0 0 25 0 1 0 832372770 84086784 17572 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20529 17572 1111 63 0 20466 0 vsize: 82116 [startup+649.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 17876 0 0 0 64974 36 0 0 25 0 1 0 832372770 85213184 17854 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20804 17854 1111 63 0 20741 0 vsize: 83216 [startup+659.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 18159 0 0 0 65973 37 0 0 25 0 1 0 832372770 86339584 18137 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21079 18137 1111 63 0 21016 0 vsize: 84316 [startup+669.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 18435 0 0 0 66973 37 0 0 25 0 1 0 832372770 87465984 18413 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21354 18413 1111 63 0 21291 0 vsize: 85416 [startup+679.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 18725 0 0 0 67973 38 0 0 25 0 1 0 832372770 88592384 18703 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21629 18703 1111 63 0 21566 0 vsize: 86516 [startup+689.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 19001 0 0 0 68972 39 0 0 25 0 1 0 832372770 89718784 18979 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21904 18979 1111 63 0 21841 0 vsize: 87616 [startup+699.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 19290 0 0 0 69972 39 0 0 25 0 1 0 832372770 90988544 19268 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22214 19268 1111 63 0 22151 0 vsize: 88856 [startup+709.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 19567 0 0 0 70971 40 0 0 25 0 1 0 832372770 92114944 19545 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22489 19545 1111 63 0 22426 0 vsize: 89956 [startup+719.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 19855 0 0 0 71971 41 0 0 25 0 1 0 832372770 93237248 19833 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22763 19833 1111 63 0 22700 0 vsize: 91052 [startup+729.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 20145 0 0 0 72970 42 0 0 25 0 1 0 832372770 94507008 20123 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23073 20123 1111 63 0 23010 0 vsize: 92292 [startup+739.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 20426 0 0 0 73970 42 0 0 25 0 1 0 832372770 95629312 20404 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23347 20404 1111 63 0 23284 0 vsize: 93388 [startup+749.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 20709 0 0 0 74969 42 0 0 25 0 1 0 832372770 96755712 20687 4294967295 134512640 134714540 3221224592 3221222460 1077270623 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23622 20687 1111 63 0 23559 0 vsize: 94488 [startup+759.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 20999 0 0 0 75969 43 0 0 25 0 1 0 832372770 97882112 20977 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23897 20977 1111 63 0 23834 0 vsize: 95588 [startup+769.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 21288 0 0 0 76968 44 0 0 25 0 1 0 832372770 99151872 21266 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24207 21266 1111 63 0 24144 0 vsize: 96828 [startup+779.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 21578 0 0 0 77968 44 0 0 25 0 1 0 832372770 100278272 21556 4294967295 134512640 134714540 3221224592 3221222300 1077246305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24482 21556 1111 63 0 24419 0 vsize: 97928 [startup+789.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 21867 0 0 0 78968 45 0 0 25 0 1 0 832372770 101543936 21845 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24791 21845 1111 63 0 24728 0 vsize: 99164 [startup+799.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 22157 0 0 0 79967 46 0 0 25 0 1 0 832372770 102670336 22135 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25066 22135 1111 63 0 25003 0 vsize: 100264 [startup+809.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 22446 0 0 0 80967 46 0 0 25 0 1 0 832372770 103796736 22424 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25341 22424 1111 63 0 25278 0 vsize: 101364 [startup+819.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 22735 0 0 0 81967 46 0 0 25 0 1 0 832372770 105062400 22713 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25650 22713 1111 63 0 25587 0 vsize: 102600 [startup+829.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 23057 0 0 0 82967 47 0 0 25 0 1 0 832372770 106549248 23035 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26013 23035 1111 63 0 25950 0 vsize: 104052 [startup+839.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 23352 0 0 0 83967 47 0 0 25 0 1 0 832372770 107819008 23330 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26323 23330 1111 63 0 26260 0 vsize: 105292 [startup+849.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 23644 0 0 0 84966 48 0 0 25 0 1 0 832372770 108945408 23622 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26598 23622 1111 63 0 26535 0 vsize: 106392 [startup+859.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 23939 0 0 0 85966 48 0 0 25 0 1 0 832372770 110211072 23917 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26907 23917 1111 63 0 26844 0 vsize: 107628 [startup+869.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 24236 0 0 0 86965 49 0 0 25 0 1 0 832372770 111476736 24214 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27216 24214 1111 63 0 27153 0 vsize: 108864 [startup+879.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 24532 0 0 0 87965 49 0 0 25 0 1 0 832372770 112607232 24510 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27492 24510 1111 63 0 27429 0 vsize: 109968 [startup+889.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 24829 0 0 0 88965 50 0 0 25 0 1 0 832372770 113872896 24807 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27801 24807 1111 63 0 27738 0 vsize: 111204 [startup+899.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 25125 0 0 0 89964 51 0 0 25 0 1 0 832372770 114999296 25103 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28076 25103 1111 63 0 28013 0 vsize: 112304 [startup+909.999 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 25421 0 0 0 90963 52 0 0 25 0 1 0 832372770 116264960 25399 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28385 25399 1111 63 0 28322 0 vsize: 113540 [startup+919.998 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 25719 0 0 0 91963 52 0 0 25 0 1 0 832372770 117530624 25697 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28694 25697 1111 63 0 28631 0 vsize: 114776 [startup+929.997 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 26021 0 0 0 92963 53 0 0 25 0 1 0 832372770 118657024 25999 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28969 25999 1111 63 0 28906 0 vsize: 115876 [startup+939.997 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 26324 0 0 0 93962 53 0 0 25 0 1 0 832372770 119926784 26302 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29279 26302 1111 63 0 29216 0 vsize: 117116 [startup+949.997 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 26621 0 0 0 94962 54 0 0 25 0 1 0 832372770 121192448 26599 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29588 26599 1111 63 0 29525 0 vsize: 118352 [startup+959.997 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 26917 0 0 0 95961 55 0 0 25 0 1 0 832372770 122318848 26895 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29863 26895 1111 63 0 29800 0 vsize: 119452 [startup+969.997 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 27222 0 0 0 96961 55 0 0 25 0 1 0 832372770 123588608 27200 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30173 27200 1111 63 0 30110 0 vsize: 120692 [startup+979.996 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 27526 0 0 0 97960 56 0 0 25 0 1 0 832372770 124854272 27504 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30482 27504 1111 63 0 30419 0 vsize: 121928 [startup+989.996 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 27830 0 0 0 98960 57 0 0 25 0 1 0 832372770 126128128 27808 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30793 27808 1111 63 0 30730 0 vsize: 123172 [startup+999.996 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 28133 0 0 0 99959 57 0 0 25 0 1 0 832372770 127393792 28111 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31102 28111 1111 63 0 31039 0 vsize: 124408 [startup+1010 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 28437 0 0 0 100959 58 0 0 25 0 1 0 832372770 128512000 28415 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31375 28415 1111 63 0 31312 0 vsize: 125500 [startup+1020 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 28740 0 0 0 101959 59 0 0 25 0 1 0 832372770 129785856 28718 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31686 28718 1111 63 0 31623 0 vsize: 126744 [startup+1030 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 29049 0 0 0 102958 59 0 0 25 0 1 0 832372770 131051520 29027 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31995 29027 1111 63 0 31932 0 vsize: 127980 [startup+1040 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 29360 0 0 0 103958 60 0 0 25 0 1 0 832372770 132321280 29338 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32305 29338 1111 63 0 32242 0 vsize: 129220 [startup+1050 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 29662 0 0 0 104957 61 0 0 25 0 1 0 832372770 133586944 29640 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32614 29640 1111 63 0 32551 0 vsize: 130456 [startup+1060 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 29973 0 0 0 105957 61 0 0 25 0 1 0 832372770 134856704 29951 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32924 29951 1111 63 0 32861 0 vsize: 131696 [startup+1070 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 30282 0 0 0 106957 62 0 0 25 0 1 0 832372770 136122368 30260 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33233 30260 1111 63 0 33170 0 vsize: 132932 [startup+1080 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 30593 0 0 0 107956 63 0 0 25 0 1 0 832372770 137388032 30571 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33542 30571 1111 63 0 33479 0 vsize: 134168 [startup+1090 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 30902 0 0 0 108956 63 0 0 25 0 1 0 832372770 138653696 30880 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33851 30880 1111 63 0 33788 0 vsize: 135404 [startup+1100 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 31214 0 0 0 109956 63 0 0 25 0 1 0 832372770 139923456 31192 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34161 31192 1111 63 0 34098 0 vsize: 136644 [startup+1110 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 31523 0 0 0 110955 64 0 0 25 0 1 0 832372770 141189120 31501 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34470 31501 1111 63 0 34407 0 vsize: 137880 [startup+1120.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 31839 0 0 0 111955 64 0 0 25 0 1 0 832372770 142454784 31817 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34779 31817 1111 63 0 34716 0 vsize: 139116 [startup+1130 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 32150 0 0 0 112955 65 0 0 25 0 1 0 832372770 143720448 32128 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35088 32128 1111 63 0 35025 0 vsize: 140352 [startup+1140.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 32460 0 0 0 113955 65 0 0 25 0 1 0 832372770 144990208 32438 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35398 32438 1111 63 0 35335 0 vsize: 141592 [startup+1150.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 32778 0 0 0 114955 65 0 0 25 0 1 0 832372770 146255872 32756 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35707 32756 1111 63 0 35644 0 vsize: 142828 [startup+1160.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 33094 0 0 0 115954 66 0 0 25 0 1 0 832372770 147660800 33072 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36050 33072 1111 63 0 35987 0 vsize: 144200 [startup+1170.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 33414 0 0 0 116954 67 0 0 25 0 1 0 832372770 148930560 33392 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36360 33392 1111 63 0 36297 0 vsize: 145440 [startup+1180 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 33730 0 0 0 117953 67 0 0 25 0 1 0 832372770 150204416 33708 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36671 33708 1111 63 0 36608 0 vsize: 146684 [startup+1190.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 34048 0 0 0 118953 68 0 0 25 0 1 0 832372770 151470080 34026 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36980 34026 1111 63 0 36917 0 vsize: 147920 [startup+1200 s] Raw data (loadavg): 0.99 0.98 0.98 2/54 3025 Raw data (stat): 3025 (bsolo_mis) R 3024 1586 1585 0 -1 0 34364 0 0 0 119953 68 0 0 25 0 1 0 832372770 152735744 34342 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37289 34342 1111 63 0 37226 0 vsize: 149156 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.07 s] Raw data (loadavg): 0.99 0.98 0.98 1/54 3025 Raw data (stat): 3025 (bsolo_mis) Z 3024 1586 1585 0 -1 1036 34364 0 0 0 119953 74 0 0 25 0 1 0 832372770 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.07 CPU time (s): 1200.28 CPU user time (s): 1199.53 CPU system time (s): 0.748886 CPU usage (%): 100.018 Max. virtual memory (Kb): 149156 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####