Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb |
MD5SUM | 575f632072d90cb1b2032661c3842261 |
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 | 70755 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 28224865138562973040640 |
Number of bits of the sum of numbers in the objective function | 75 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 28224967538562973040640 |
Number of bits of the biggest sum of numbers | 75 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.701893 |
Number of variables | 70755 |
Total number of constraints | 13995 |
Number of constraints which are clauses | 310 |
Number of constraints which are cardinality constraints (but not clauses) | 11776 |
Number of constraints which are nor clauses,nor cardinality constraints | 1909 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 70755 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-24 10:17:28 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15213 boxname=wulflinc31 idbench=1171 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 575f632072d90cb1b2032661c3842261 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-siena1.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-siena1.opb IDLAUNCH: 15213 /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: 715576 kB Buffers: 28256 kB Cached: 269660 kB SwapCached: 944 kB Active: 106596 kB Inactive: 193464 kB HighTotal: 131008 kB HighFree: 4116 kB LowTotal: 903652 kB LowFree: 711460 kB SwapTotal: 2097892 kB SwapFree: 2095920 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5104 kB Slab: 13148 kB Committed_AS: 63856 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 10:37:31 (client local time) WITH STATUS 0 IN 1200.38 SECONDS stats: 15213 7 1200.38 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.99 2/55 26948 Raw data (stat): 26948 (runsolver) R 26947 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 829433948 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0006 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 1850 0 0 0 992 5 0 0 25 0 1 0 829433948 19542016 1827 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4771 1827 1111 63 0 4708 0 vsize: 19084 [startup+20.0014 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 2986 0 0 0 1990 7 0 0 25 0 1 0 829433948 24170496 2963 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5901 2963 1111 63 0 5838 0 vsize: 23604 [startup+30.0023 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 4128 0 0 0 2988 9 0 0 25 0 1 0 829433948 28950528 4105 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7068 4105 1111 63 0 7005 0 vsize: 28272 [startup+40.0032 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 5276 0 0 0 3986 11 0 0 25 0 1 0 829433948 33574912 5253 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8197 5253 1111 63 0 8134 0 vsize: 32788 [startup+50.0034 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 6424 0 0 0 4983 15 0 0 25 0 1 0 829433948 38354944 6401 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9364 6401 1111 63 0 9301 0 vsize: 37456 [startup+60.0041 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 7575 0 0 0 5981 16 0 0 25 0 1 0 829433948 42967040 7552 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10490 7552 1111 63 0 10427 0 vsize: 41960 [startup+70.004 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 8729 0 0 0 6979 19 0 0 25 0 1 0 829433948 47747072 8706 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11657 8706 1111 63 0 11594 0 vsize: 46628 [startup+80.0049 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 9885 0 0 0 7977 21 0 0 25 0 1 0 829433948 52527104 9862 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12824 9862 1111 63 0 12761 0 vsize: 51296 [startup+90.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 11045 0 0 0 8975 23 0 0 25 0 1 0 829433948 57307136 11022 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13991 11022 1111 63 0 13928 0 vsize: 55964 [startup+100.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 12211 0 0 0 9973 25 0 0 25 0 1 0 829433948 62083072 12188 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15157 12188 1111 63 0 15094 0 vsize: 60628 [startup+110.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 13382 0 0 0 10971 27 0 0 25 0 1 0 829433948 66859008 13359 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16323 13359 1111 63 0 16260 0 vsize: 65292 [startup+120.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 14549 0 0 0 11968 31 0 0 25 0 1 0 829433948 71634944 14526 4294967295 134512640 134714540 3221221776 3221218492 1077195887 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17489 14526 1111 63 0 17426 0 vsize: 69956 [startup+130.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 15722 0 0 0 12967 32 0 0 25 0 1 0 829433948 76410880 15699 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18655 15699 1111 63 0 18592 0 vsize: 74620 [startup+140.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 16900 0 0 0 13965 34 0 0 25 0 1 0 829433948 81190912 16877 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19822 16877 1111 63 0 19759 0 vsize: 79288 [startup+150.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 18084 0 0 0 14963 36 0 0 25 0 1 0 829433948 86114304 18061 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21024 18061 1111 63 0 20961 0 vsize: 84096 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 19264 0 0 0 15961 38 0 0 25 0 1 0 829433948 90898432 19241 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22192 19241 1111 63 0 22129 0 vsize: 88768 [startup+170.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 20455 0 0 0 16959 41 0 0 25 0 1 0 829433948 95825920 20432 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23395 20432 1111 63 0 23332 0 vsize: 93580 [startup+180.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 21645 0 0 0 17958 42 0 0 25 0 1 0 829433948 100601856 21622 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24561 21622 1111 63 0 24498 0 vsize: 98244 [startup+190.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 22842 0 0 0 18956 44 0 0 25 0 1 0 829433948 105529344 22819 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25764 22819 1111 63 0 25701 0 vsize: 103056 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 24039 0 0 0 19954 47 0 0 25 0 1 0 829433948 110452736 24016 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26966 24016 1111 63 0 26903 0 vsize: 107864 [startup+210.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 25248 0 0 0 20952 49 0 0 25 0 1 0 829433948 115380224 25225 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28169 25225 1111 63 0 28106 0 vsize: 112676 [startup+220.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 26452 0 0 0 21949 52 0 0 25 0 1 0 829433948 120303616 26429 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29371 26429 1111 63 0 29308 0 vsize: 117484 [startup+230.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 27661 0 0 0 22947 54 0 0 25 0 1 0 829433948 125386752 27638 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30612 27638 1111 63 0 30549 0 vsize: 122448 [startup+240.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 28877 0 0 0 23945 56 0 0 25 0 1 0 829433948 130310144 28854 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31814 28854 1111 63 0 31751 0 vsize: 127256 [startup+250.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 30091 0 0 0 24943 58 0 0 25 0 1 0 829433948 135237632 30068 4294967295 134512640 134714540 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33017 30068 1111 63 0 32954 0 vsize: 132068 [startup+260.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 31313 0 0 0 25941 60 0 0 25 0 1 0 829433948 140312576 31290 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34256 31290 1111 63 0 34193 0 vsize: 137024 [startup+270.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 32540 0 0 0 26940 62 0 0 25 0 1 0 829433948 145240064 32517 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35459 32517 1111 63 0 35396 0 vsize: 141836 [startup+280.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 33769 0 0 0 27937 65 0 0 25 0 1 0 829433948 150319104 33746 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36699 33746 1111 63 0 36636 0 vsize: 146796 [startup+290.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 35003 0 0 0 28935 67 0 0 25 0 1 0 829433948 155394048 34980 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37938 34980 1111 63 0 37875 0 vsize: 151752 [startup+300.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 36236 0 0 0 29933 69 0 0 25 0 1 0 829433948 160468992 36213 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39177 36213 1111 63 0 39114 0 vsize: 156708 [startup+310.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 37476 0 0 0 30930 72 0 0 25 0 1 0 829433948 165543936 37453 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40416 37453 1111 63 0 40353 0 vsize: 161664 [startup+320.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 38721 0 0 0 31928 75 0 0 25 0 1 0 829433948 170622976 38698 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41656 38698 1111 63 0 41593 0 vsize: 166624 [startup+330.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 39967 0 0 0 32925 78 0 0 25 0 1 0 829433948 175702016 39944 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42896 39944 1111 63 0 42833 0 vsize: 171584 [startup+340.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 41219 0 0 0 33923 81 0 0 25 0 1 0 829433948 180776960 41196 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44135 41196 1111 63 0 44072 0 vsize: 176540 [startup+350.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 42477 0 0 0 34921 83 0 0 25 0 1 0 829433948 186003456 42454 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45411 42454 1111 63 0 45348 0 vsize: 181644 [startup+360.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 43740 0 0 0 35919 85 0 0 25 0 1 0 829433948 191225856 43717 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46686 43717 1111 63 0 46623 0 vsize: 186744 [startup+370.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 45003 0 0 0 36916 88 0 0 25 0 1 0 829433948 196300800 44980 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47925 44980 1111 63 0 47862 0 vsize: 191700 [startup+380.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 46274 0 0 0 37915 90 0 0 25 0 1 0 829433948 201531392 46251 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49202 46251 1111 63 0 49139 0 vsize: 196808 [startup+390.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 47544 0 0 0 38913 91 0 0 25 0 1 0 829433948 206753792 47521 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 50477 47521 1111 63 0 50414 0 vsize: 201908 [startup+400.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 48825 0 0 0 39912 92 0 0 25 0 1 0 829433948 211980288 48802 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51753 48802 1111 63 0 51690 0 vsize: 207012 [startup+410.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 50117 0 0 0 40910 94 0 0 25 0 1 0 829433948 217374720 50094 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53070 50094 1111 63 0 53007 0 vsize: 212280 [startup+420.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 51407 0 0 0 41908 97 0 0 25 0 1 0 829433948 222605312 51384 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 54347 51384 1111 63 0 54284 0 vsize: 217388 [startup+430.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 52695 0 0 0 42906 99 0 0 25 0 1 0 829433948 227827712 52672 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 55622 52672 1111 63 0 55559 0 vsize: 222488 [startup+440.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 53994 0 0 0 43905 101 0 0 25 0 1 0 829433948 233201664 53971 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 56934 53971 1111 63 0 56871 0 vsize: 227736 [startup+450.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 55294 0 0 0 44903 103 0 0 25 0 1 0 829433948 238575616 55271 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58246 55271 1111 63 0 58183 0 vsize: 232984 [startup+460.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 56602 0 0 0 45901 105 0 0 25 0 1 0 829433948 243953664 56579 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59559 56579 1111 63 0 59496 0 vsize: 238236 [startup+470.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 57909 0 0 0 46899 107 0 0 25 0 1 0 829433948 249327616 57886 4294967295 134512640 134714540 3221221776 3221219868 1077386340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 60871 57892 1111 63 0 60808 0 vsize: 243484 [startup+480.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 59227 0 0 0 47897 109 0 0 25 0 1 0 829433948 254701568 59204 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 62183 59204 1111 63 0 62120 0 vsize: 248732 [startup+490.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 60551 0 0 0 48895 112 0 0 25 0 1 0 829433948 260075520 60528 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63495 60528 1111 63 0 63432 0 vsize: 253980 [startup+500.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 61884 0 0 0 49892 115 0 0 25 0 1 0 829433948 265457664 61861 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64809 61861 1111 63 0 64746 0 vsize: 259236 [startup+510.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 63215 0 0 0 50890 117 0 0 25 0 1 0 829433948 270983168 63192 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66158 63192 1111 63 0 66095 0 vsize: 264632 [startup+520.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 64558 0 0 0 51887 120 0 0 25 0 1 0 829433948 276504576 64535 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 67506 64535 1111 63 0 67443 0 vsize: 270024 [startup+530.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 65903 0 0 0 52885 122 0 0 25 0 1 0 829433948 282038272 65880 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68857 65880 1111 63 0 68794 0 vsize: 275428 [startup+540.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 67251 0 0 0 53882 126 0 0 25 0 1 0 829433948 287559680 67228 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 70205 67228 1111 63 0 70142 0 vsize: 280820 [startup+550.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 68607 0 0 0 54879 128 0 0 25 0 1 0 829433948 293085184 68584 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71554 68584 1111 63 0 71491 0 vsize: 286216 [startup+560.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 69969 0 0 0 55877 130 0 0 25 0 1 0 829433948 298610688 69946 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72903 69946 1111 63 0 72840 0 vsize: 291612 [startup+570.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 71337 0 0 0 56875 133 0 0 25 0 1 0 829433948 304287744 71314 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 74289 71314 1111 63 0 74226 0 vsize: 297156 [startup+580.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 72352 0 0 0 57873 135 0 0 25 0 1 0 829433948 308322304 72329 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 75274 72329 1111 63 0 75211 0 vsize: 301096 [startup+590.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 72486 0 0 0 58873 135 0 0 25 0 1 0 829433948 308920320 72463 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 75420 72463 1111 63 0 75357 0 vsize: 301680 [startup+600.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 72618 0 0 0 59873 135 0 0 25 0 1 0 829433948 309522432 72595 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 75567 72595 1111 63 0 75504 0 vsize: 302268 [startup+610.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 72757 0 0 0 60873 136 0 0 25 0 1 0 829433948 310095872 72734 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 75707 72734 1111 63 0 75644 0 vsize: 302828 [startup+620.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 72881 0 0 0 61873 136 0 0 25 0 1 0 829433948 310538240 72858 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 75815 72858 1111 63 0 75752 0 vsize: 303260 [startup+630.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73015 0 0 0 62874 136 0 0 25 0 1 0 829433948 311140352 72992 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 75962 72992 1111 63 0 75899 0 vsize: 303848 [startup+640.035 s] Raw data (loadavg): 1.07 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73147 0 0 0 63874 136 0 0 25 0 1 0 829433948 311590912 73124 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 76072 73124 1111 63 0 76009 0 vsize: 304288 [startup+650.035 s] Raw data (loadavg): 1.06 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73279 0 0 0 64873 137 0 0 25 0 1 0 829433948 312193024 73256 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 76219 73256 1111 63 0 76156 0 vsize: 304876 [startup+660.036 s] Raw data (loadavg): 1.05 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73419 0 0 0 65873 137 0 0 25 0 1 0 829433948 312795136 73396 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 76366 73396 1111 63 0 76303 0 vsize: 305464 [startup+670.037 s] Raw data (loadavg): 1.04 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73543 0 0 0 66873 137 0 0 25 0 1 0 829433948 313237504 73520 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 76474 73520 1111 63 0 76411 0 vsize: 305896 [startup+680.038 s] Raw data (loadavg): 1.04 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73676 0 0 0 67873 138 0 0 25 0 1 0 829433948 313839616 73653 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 76621 73653 1111 63 0 76558 0 vsize: 306484 [startup+690.038 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73807 0 0 0 68873 138 0 0 25 0 1 0 829433948 314290176 73784 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 76731 73784 1111 63 0 76668 0 vsize: 306924 [startup+700.038 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 73940 0 0 0 69873 138 0 0 25 0 1 0 829433948 314888192 73917 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 76877 73917 1111 63 0 76814 0 vsize: 307508 [startup+710.039 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74079 0 0 0 70873 138 0 0 25 0 1 0 829433948 315490304 74056 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 77024 74056 1111 63 0 76961 0 vsize: 308096 [startup+720.04 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74217 0 0 0 71873 139 0 0 25 0 1 0 829433948 315936768 74194 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 77133 74194 1111 63 0 77070 0 vsize: 308532 [startup+730.04 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74350 0 0 0 72873 139 0 0 25 0 1 0 829433948 316538880 74327 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 77280 74327 1111 63 0 77217 0 vsize: 309120 [startup+740.041 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74509 0 0 0 73872 139 0 0 25 0 1 0 829433948 317296640 74486 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 77465 74486 1111 63 0 77402 0 vsize: 309860 [startup+750.041 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74647 0 0 0 74872 140 0 0 25 0 1 0 829433948 317898752 74624 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 77612 74624 1111 63 0 77549 0 vsize: 310448 [startup+760.042 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74786 0 0 0 75872 140 0 0 25 0 1 0 829433948 318500864 74763 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 77759 74763 1111 63 0 77696 0 vsize: 311036 [startup+770.043 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 74924 0 0 0 76872 140 0 0 25 0 1 0 829433948 318947328 74901 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 77868 74901 1111 63 0 77805 0 vsize: 311472 [startup+780.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75044 0 0 0 77873 140 0 0 25 0 1 0 829433948 319549440 75021 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78015 75021 1111 63 0 77952 0 vsize: 312060 [startup+790.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75191 0 0 0 78872 140 0 0 25 0 1 0 829433948 320147456 75168 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78161 75168 1111 63 0 78098 0 vsize: 312644 [startup+800.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75336 0 0 0 79872 141 0 0 25 0 1 0 829433948 320745472 75313 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78307 75313 1111 63 0 78244 0 vsize: 313228 [startup+810.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75484 0 0 0 80872 141 0 0 25 0 1 0 829433948 321347584 75461 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78454 75461 1111 63 0 78391 0 vsize: 313816 [startup+820.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75632 0 0 0 81872 141 0 0 25 0 1 0 829433948 321949696 75609 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78601 75609 1111 63 0 78538 0 vsize: 314404 [startup+830.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75777 0 0 0 82872 142 0 0 25 0 1 0 829433948 322543616 75754 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78746 75754 1111 63 0 78683 0 vsize: 314984 [startup+840.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 75925 0 0 0 83872 142 0 0 25 0 1 0 829433948 323145728 75902 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78893 75902 1111 63 0 78830 0 vsize: 315572 [startup+850.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76080 0 0 0 84871 143 0 0 25 0 1 0 829433948 323747840 76057 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 79040 76057 1111 63 0 78977 0 vsize: 316160 [startup+860.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76232 0 0 0 85871 143 0 0 25 0 1 0 829433948 324341760 76209 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 79185 76209 1111 63 0 79122 0 vsize: 316740 [startup+870.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76380 0 0 0 86871 144 0 0 25 0 1 0 829433948 324943872 76357 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 79332 76357 1111 63 0 79269 0 vsize: 317328 [startup+880.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76514 0 0 0 87871 144 0 0 25 0 1 0 829433948 325545984 76491 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 79479 76491 1111 63 0 79416 0 vsize: 317916 [startup+890.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76660 0 0 0 88870 145 0 0 25 0 1 0 829433948 326139904 76637 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 79624 76637 1111 63 0 79561 0 vsize: 318496 [startup+900.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76807 0 0 0 89870 145 0 0 25 0 1 0 829433948 326742016 76784 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 79771 76784 1111 63 0 79708 0 vsize: 319084 [startup+910.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 76955 0 0 0 90870 145 0 0 25 0 1 0 829433948 327344128 76932 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 79918 76932 1111 63 0 79855 0 vsize: 319672 [startup+920.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 77107 0 0 0 91870 146 0 0 25 0 1 0 829433948 327942144 77084 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 80064 77084 1111 63 0 80001 0 vsize: 320256 [startup+930.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 77262 0 0 0 92869 147 0 0 25 0 1 0 829433948 328540160 77239 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 80210 77239 1111 63 0 80147 0 vsize: 320840 [startup+940.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 77417 0 0 0 93869 147 0 0 25 0 1 0 829433948 329142272 77394 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 80357 77394 1111 63 0 80294 0 vsize: 321428 [startup+950.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 77571 0 0 0 94869 147 0 0 25 0 1 0 829433948 329740288 77548 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 80503 77548 1111 63 0 80440 0 vsize: 322012 [startup+960.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 77732 0 0 0 95869 148 0 0 25 0 1 0 829433948 330489856 77709 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 80686 77709 1111 63 0 80623 0 vsize: 322744 [startup+970.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 77895 0 0 0 96869 148 0 0 25 0 1 0 829433948 331091968 77872 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 80833 77872 1111 63 0 80770 0 vsize: 323332 [startup+980.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 78058 0 0 0 97869 148 0 0 25 0 1 0 829433948 331841536 78035 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 81016 78035 1111 63 0 80953 0 vsize: 324064 [startup+990.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 78224 0 0 0 98868 149 0 0 25 0 1 0 829433948 332435456 78201 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 81161 78201 1111 63 0 81098 0 vsize: 324644 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 78393 0 0 0 99868 149 0 0 25 0 1 0 829433948 333189120 78370 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 81345 78370 1111 63 0 81282 0 vsize: 325380 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 78557 0 0 0 100868 149 0 0 25 0 1 0 829433948 333791232 78534 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 81492 78534 1111 63 0 81429 0 vsize: 325968 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 78711 0 0 0 101868 150 0 0 25 0 1 0 829433948 334385152 78688 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 81637 78688 1111 63 0 81574 0 vsize: 326548 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 78864 0 0 0 102868 150 0 0 25 0 1 0 829433948 335134720 78841 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 81820 78841 1111 63 0 81757 0 vsize: 327280 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79027 0 0 0 103868 150 0 0 25 0 1 0 829433948 335736832 79004 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 81967 79004 1111 63 0 81904 0 vsize: 327868 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79188 0 0 0 104868 150 0 0 25 0 1 0 829433948 336338944 79165 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 82114 79165 1111 63 0 82051 0 vsize: 328456 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79341 0 0 0 105868 150 0 0 25 0 1 0 829433948 337084416 79318 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 82296 79318 1111 63 0 82233 0 vsize: 329184 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79497 0 0 0 106868 151 0 0 25 0 1 0 829433948 337686528 79474 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 82443 79474 1111 63 0 82380 0 vsize: 329772 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79659 0 0 0 107868 151 0 0 25 0 1 0 829433948 338288640 79636 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 82590 79636 1111 63 0 82527 0 vsize: 330360 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79828 0 0 0 108867 152 0 0 25 0 1 0 829433948 339038208 79805 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 82773 79805 1111 63 0 82710 0 vsize: 331092 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 79981 0 0 0 109867 152 0 0 25 0 1 0 829433948 339632128 79958 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 82918 79958 1111 63 0 82855 0 vsize: 331672 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 80143 0 0 0 110867 152 0 0 25 0 1 0 829433948 340234240 80120 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 83065 80120 1111 63 0 83002 0 vsize: 332260 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 80305 0 0 0 111867 153 0 0 25 0 1 0 829433948 340987904 80282 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 83249 80282 1111 63 0 83186 0 vsize: 332996 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 80458 0 0 0 112867 153 0 0 25 0 1 0 829433948 341581824 80435 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 83394 80435 1111 63 0 83331 0 vsize: 333576 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 80620 0 0 0 113866 154 0 0 25 0 1 0 829433948 342183936 80597 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 83541 80597 1111 63 0 83478 0 vsize: 334164 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 80790 0 0 0 114867 154 0 0 25 0 1 0 829433948 342933504 80767 4294967295 134512640 134714540 3221221776 3221220004 1077414393 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 83724 80767 1111 63 0 83661 0 vsize: 334896 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 80952 0 0 0 115867 154 0 0 25 0 1 0 829433948 343535616 80929 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 83871 80929 1111 63 0 83808 0 vsize: 335484 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 81120 0 0 0 116866 154 0 0 25 0 1 0 829433948 344281088 81097 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84053 81097 1111 63 0 83990 0 vsize: 336212 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 81290 0 0 0 117866 155 0 0 25 0 1 0 829433948 345030656 81267 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84236 81267 1111 63 0 84173 0 vsize: 336944 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 81465 0 0 0 118866 155 0 0 25 0 1 0 829433948 345632768 81442 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84383 81442 1111 63 0 84320 0 vsize: 337532 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 26948 Raw data (stat): 26948 (bsolo_mis) R 26947 7876 7672 0 -1 0 81643 0 0 0 119866 155 0 0 25 0 1 0 829433948 346382336 81620 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84566 81620 1111 63 0 84503 0 vsize: 338264 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.22 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 26948 Raw data (stat): 26948 (bsolo_mis) Z 26947 7876 7672 0 -1 1036 81643 0 0 0 119866 171 0 0 25 0 1 0 829433948 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.22 CPU time (s): 1200.38 CPU user time (s): 1198.66 CPU system time (s): 1.71174 CPU usage (%): 100.013 Max. virtual memory (Kb): 338264 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####