Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb |
MD5SUM | 530cef6af13bdf9c6dc1bddf1879e0d7 |
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 | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29705729356859 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29705729356859 |
Number of bits of the biggest sum of numbers | 45 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.42678 |
Number of variables | 155000 |
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 | 31 |
Maximum length of a constraint | 3000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-24 14:58:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14108 boxname=wulflinc31 idbench=1086 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 530cef6af13bdf9c6dc1bddf1879e0d7 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-n3708.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-n3708.opb IDLAUNCH: 14108 /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: 476616 kB Buffers: 33640 kB Cached: 502720 kB SwapCached: 1248 kB Active: 196596 kB Inactive: 342292 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 476364 kB SwapTotal: 2097892 kB SwapFree: 2096040 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5336 kB Slab: 13452 kB Committed_AS: 63808 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 15:18:50 (client local time) WITH STATUS 0 IN 1200.27 SECONDS stats: 14108 7 1200.27 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.82 0.95 0.77 2/55 30173 Raw data (stat): 30173 (runsolver) R 30172 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831122048 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.0008 s] Raw data (loadavg): 0.85 0.95 0.77 2/55 30175 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1140 0 0 0 995 3 0 0 25 0 1 0 831122048 15507456 1118 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3786 1118 1111 63 0 3723 0 vsize: 15144 [startup+20.0012 s] Raw data (loadavg): 0.87 0.95 0.77 2/55 30175 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1250 0 0 0 1995 4 0 0 25 0 1 0 831122048 15958016 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3896 1228 1111 63 0 3833 0 vsize: 15584 [startup+30.0025 s] Raw data (loadavg): 0.89 0.95 0.77 2/55 30175 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1359 0 0 0 2995 4 0 0 25 0 1 0 831122048 16404480 1337 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4005 1337 1111 63 0 3942 0 vsize: 16020 [startup+40.0031 s] Raw data (loadavg): 0.91 0.96 0.78 2/55 30175 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1469 0 0 0 3995 4 0 0 25 0 1 0 831122048 16830464 1447 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4109 1447 1111 63 0 4046 0 vsize: 16436 [startup+50.003 s] Raw data (loadavg): 0.92 0.96 0.78 2/55 30175 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1575 0 0 0 4995 5 0 0 25 0 1 0 831122048 17256448 1553 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4213 1553 1111 63 0 4150 0 vsize: 16852 [startup+60.0032 s] Raw data (loadavg): 0.93 0.96 0.78 2/55 30175 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1691 0 0 0 5995 5 0 0 25 0 1 0 831122048 17711104 1669 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4324 1669 1111 63 0 4261 0 vsize: 17296 [startup+70.0029 s] Raw data (loadavg): 0.94 0.96 0.78 2/55 30177 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1794 0 0 0 6995 5 0 0 25 0 1 0 831122048 18157568 1772 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4433 1772 1111 63 0 4370 0 vsize: 17732 [startup+80.0691 s] Raw data (loadavg): 0.95 0.96 0.78 3/57 30230 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1904 0 0 0 8001 5 0 0 25 0 1 0 831122048 18608128 1882 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4543 1882 1111 63 0 4480 0 vsize: 18172 [startup+90.0697 s] Raw data (loadavg): 0.96 0.96 0.79 2/55 30230 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2020 0 0 0 9001 6 0 0 25 0 1 0 831122048 19058688 1998 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4653 1998 1111 63 0 4590 0 vsize: 18612 [startup+100.07 s] Raw data (loadavg): 0.96 0.96 0.79 2/55 30230 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2129 0 0 0 10000 7 0 0 25 0 1 0 831122048 19480576 2107 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4756 2107 1111 63 0 4693 0 vsize: 19024 [startup+110.071 s] Raw data (loadavg): 0.97 0.96 0.79 2/55 30230 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2238 0 0 0 10999 8 0 0 25 0 1 0 831122048 19922944 2216 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4864 2216 1111 63 0 4801 0 vsize: 19456 [startup+120.071 s] Raw data (loadavg): 0.97 0.96 0.79 2/55 30230 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2349 0 0 0 11999 8 0 0 25 0 1 0 831122048 20373504 2327 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4974 2327 1111 63 0 4911 0 vsize: 19896 [startup+130.071 s] Raw data (loadavg): 0.98 0.96 0.79 2/55 30232 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2458 0 0 0 12999 9 0 0 25 0 1 0 831122048 20819968 2436 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5083 2436 1111 63 0 5020 0 vsize: 20332 [startup+140.071 s] Raw data (loadavg): 0.98 0.97 0.80 2/55 30232 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2562 0 0 0 13998 9 0 0 25 0 1 0 831122048 21270528 2540 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5193 2540 1111 63 0 5130 0 vsize: 20772 [startup+150.071 s] Raw data (loadavg): 0.98 0.97 0.80 2/55 30234 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2677 0 0 0 14997 10 0 0 25 0 1 0 831122048 21721088 2655 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5303 2655 1111 63 0 5240 0 vsize: 21212 [startup+160.071 s] Raw data (loadavg): 0.98 0.97 0.80 2/55 30234 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2782 0 0 0 15997 11 0 0 25 0 1 0 831122048 22171648 2760 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5413 2760 1111 63 0 5350 0 vsize: 21652 [startup+170.071 s] Raw data (loadavg): 0.99 0.97 0.80 2/55 30234 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2897 0 0 0 16996 11 0 0 25 0 1 0 831122048 22618112 2875 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5522 2875 1111 63 0 5459 0 vsize: 22088 [startup+180.072 s] Raw data (loadavg): 0.99 0.97 0.80 2/55 30234 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3010 0 0 0 17996 12 0 0 25 0 1 0 831122048 23068672 2988 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5632 2988 1111 63 0 5569 0 vsize: 22528 [startup+190.072 s] Raw data (loadavg): 0.99 0.97 0.81 2/55 30236 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3117 0 0 0 18995 12 0 0 25 0 1 0 831122048 23506944 3095 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5739 3095 1111 63 0 5676 0 vsize: 22956 [startup+200.072 s] Raw data (loadavg): 0.99 0.97 0.81 2/55 30236 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3227 0 0 0 19995 13 0 0 25 0 1 0 831122048 23953408 3205 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5848 3205 1111 63 0 5785 0 vsize: 23392 [startup+210.073 s] Raw data (loadavg): 0.99 0.97 0.81 2/55 30236 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3336 0 0 0 20995 13 0 0 25 0 1 0 831122048 24408064 3314 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5959 3314 1111 63 0 5896 0 vsize: 23836 [startup+220.074 s] Raw data (loadavg): 0.99 0.97 0.81 2/55 30236 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3447 0 0 0 21995 13 0 0 25 0 1 0 831122048 24850432 3425 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6067 3425 1111 63 0 6004 0 vsize: 24268 [startup+230.074 s] Raw data (loadavg): 0.99 0.97 0.81 2/55 30236 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3551 0 0 0 22994 13 0 0 25 0 1 0 831122048 25276416 3529 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6171 3529 1111 63 0 6108 0 vsize: 24684 [startup+240.074 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 30236 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3668 0 0 0 23994 14 0 0 25 0 1 0 831122048 25874432 3646 4294967295 134512640 134714540 3221224592 3221221308 1077191619 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6317 3646 1111 63 0 6254 0 vsize: 25268 [startup+250.074 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 30238 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3771 0 0 0 24994 14 0 0 25 0 1 0 831122048 26173440 3749 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6390 3749 1111 63 0 6327 0 vsize: 25560 [startup+260.077 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 30238 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3888 0 0 0 25995 14 0 0 25 0 1 0 831122048 26775552 3866 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6537 3866 1111 63 0 6474 0 vsize: 26148 [startup+270.076 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 30238 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3992 0 0 0 26994 14 0 0 25 0 1 0 831122048 27074560 3970 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6610 3970 1111 63 0 6547 0 vsize: 26440 [startup+280.076 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 30238 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4102 0 0 0 27995 14 0 0 25 0 1 0 831122048 27521024 4080 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6719 4080 1111 63 0 6656 0 vsize: 26876 [startup+290.077 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 30238 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4211 0 0 0 28994 15 0 0 25 0 1 0 831122048 27971584 4189 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6829 4189 1111 63 0 6766 0 vsize: 27316 [startup+300.078 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 30238 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4322 0 0 0 29993 15 0 0 25 0 1 0 831122048 28422144 4300 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6939 4300 1111 63 0 6876 0 vsize: 27756 [startup+310.078 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 30240 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4432 0 0 0 30992 16 0 0 25 0 1 0 831122048 28872704 4410 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7049 4410 1111 63 0 6986 0 vsize: 28196 [startup+320.078 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 30240 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4543 0 0 0 31992 16 0 0 25 0 1 0 831122048 29319168 4521 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7158 4521 1111 63 0 7095 0 vsize: 28632 [startup+330.078 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 30240 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4652 0 0 0 32992 16 0 0 25 0 1 0 831122048 29769728 4630 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7268 4630 1111 63 0 7205 0 vsize: 29072 [startup+340.078 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 30240 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4762 0 0 0 33992 16 0 0 25 0 1 0 831122048 30220288 4740 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7378 4740 1111 63 0 7315 0 vsize: 29512 [startup+350.078 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 30240 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4871 0 0 0 34992 17 0 0 25 0 1 0 831122048 30670848 4849 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7488 4849 1111 63 0 7425 0 vsize: 29952 [startup+360.079 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 30240 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4993 0 0 0 35992 17 0 0 25 0 1 0 831122048 31277056 4971 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7636 4971 1111 63 0 7573 0 vsize: 30544 [startup+370.079 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 30242 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5102 0 0 0 36992 18 0 0 25 0 1 0 831122048 31727616 5080 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7746 5080 1111 63 0 7683 0 vsize: 30984 [startup+380.079 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 30242 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5219 0 0 0 37991 18 0 0 25 0 1 0 831122048 32174080 5197 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7855 5197 1111 63 0 7792 0 vsize: 31420 [startup+390.08 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 30242 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5323 0 0 0 38991 19 0 0 25 0 1 0 831122048 32624640 5301 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7965 5301 1111 63 0 7902 0 vsize: 31860 [startup+400.08 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 30242 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5440 0 0 0 39991 19 0 0 25 0 1 0 831122048 33075200 5418 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8075 5418 1111 63 0 8012 0 vsize: 32300 [startup+410.079 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 30244 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5544 0 0 0 40990 19 0 0 25 0 1 0 831122048 33525760 5522 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8185 5522 1111 63 0 8122 0 vsize: 32740 [startup+420.08 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 30244 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5661 0 0 0 41990 19 0 0 25 0 1 0 831122048 33972224 5639 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8294 5639 1111 63 0 8231 0 vsize: 33176 [startup+430.079 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 30246 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5771 0 0 0 42990 19 0 0 25 0 1 0 831122048 34422784 5749 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8404 5749 1111 63 0 8341 0 vsize: 33616 [startup+440.079 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 30246 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5882 0 0 0 43990 20 0 0 25 0 1 0 831122048 34873344 5860 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8514 5860 1111 63 0 8451 0 vsize: 34056 [startup+450.079 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 30246 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5992 0 0 0 44990 20 0 0 25 0 1 0 831122048 35323904 5970 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8624 5970 1111 63 0 8561 0 vsize: 34496 [startup+460.08 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 30246 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6103 0 0 0 45990 20 0 0 25 0 1 0 831122048 35770368 6081 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8733 6081 1111 63 0 8670 0 vsize: 34932 [startup+470.08 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 30246 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6218 0 0 0 46990 20 0 0 25 0 1 0 831122048 36225024 6196 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8844 6196 1111 63 0 8781 0 vsize: 35376 [startup+480.081 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 30246 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6323 0 0 0 47990 21 0 0 25 0 1 0 831122048 36671488 6301 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8953 6301 1111 63 0 8890 0 vsize: 35812 [startup+490.081 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 30248 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6439 0 0 0 48990 21 0 0 25 0 1 0 831122048 37122048 6417 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9063 6417 1111 63 0 9000 0 vsize: 36252 [startup+500.081 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 30248 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6550 0 0 0 49990 21 0 0 25 0 1 0 831122048 37572608 6528 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9173 6528 1111 63 0 9110 0 vsize: 36692 [startup+510.081 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 30248 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6659 0 0 0 50990 22 0 0 25 0 1 0 831122048 38023168 6637 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9283 6637 1111 63 0 9220 0 vsize: 37132 [startup+520.081 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 30248 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6777 0 0 0 51990 22 0 0 25 0 1 0 831122048 38625280 6755 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9430 6755 1111 63 0 9367 0 vsize: 37720 [startup+530.081 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 30248 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6880 0 0 0 52990 22 0 0 25 0 1 0 831122048 38920192 6858 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9502 6858 1111 63 0 9439 0 vsize: 38008 [startup+540.082 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 30248 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6998 0 0 0 53989 23 0 0 25 0 1 0 831122048 39522304 6976 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9649 6976 1111 63 0 9586 0 vsize: 38596 [startup+550.082 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 30250 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7107 0 0 0 54989 23 0 0 25 0 1 0 831122048 39972864 7085 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9759 7085 1111 63 0 9696 0 vsize: 39036 [startup+560.082 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 30250 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7218 0 0 0 55989 23 0 0 25 0 1 0 831122048 40423424 7196 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9869 7196 1111 63 0 9806 0 vsize: 39476 [startup+570.082 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 30250 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7335 0 0 0 56988 24 0 0 25 0 1 0 831122048 40869888 7313 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9978 7313 1111 63 0 9915 0 vsize: 39912 [startup+580.082 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 30250 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7446 0 0 0 57988 24 0 0 25 0 1 0 831122048 41320448 7424 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10088 7424 1111 63 0 10025 0 vsize: 40352 [startup+590.082 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 30250 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7556 0 0 0 58989 24 0 0 25 0 1 0 831122048 41771008 7534 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10198 7534 1111 63 0 10135 0 vsize: 40792 [startup+600.082 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 30250 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7673 0 0 0 59989 24 0 0 25 0 1 0 831122048 42221568 7651 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10308 7651 1111 63 0 10245 0 vsize: 41232 [startup+610.083 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 30252 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7783 0 0 0 60989 24 0 0 25 0 1 0 831122048 42668032 7761 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10417 7761 1111 63 0 10354 0 vsize: 41668 [startup+620.083 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 30252 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7894 0 0 0 61989 24 0 0 25 0 1 0 831122048 43122688 7872 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10528 7872 1111 63 0 10465 0 vsize: 42112 [startup+630.083 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 30252 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8011 0 0 0 62989 24 0 0 25 0 1 0 831122048 43569152 7989 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10637 7989 1111 63 0 10574 0 vsize: 42548 [startup+640.083 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 30252 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8122 0 0 0 63989 25 0 0 25 0 1 0 831122048 44019712 8100 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10747 8100 1111 63 0 10684 0 vsize: 42988 [startup+650.083 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 30252 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8231 0 0 0 64988 25 0 0 25 0 1 0 831122048 44470272 8209 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10857 8209 1111 63 0 10794 0 vsize: 43428 [startup+660.083 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 30252 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8349 0 0 0 65988 25 0 0 25 0 1 0 831122048 44920832 8327 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10967 8327 1111 63 0 10904 0 vsize: 43868 [startup+670.084 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 30254 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8459 0 0 0 66988 26 0 0 25 0 1 0 831122048 45367296 8437 4294967295 134512640 134714540 3221224592 3221222460 1077246233 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11076 8437 1111 63 0 11013 0 vsize: 44304 [startup+680.084 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 30254 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8570 0 0 0 67988 26 0 0 25 0 1 0 831122048 45817856 8548 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11186 8548 1111 63 0 11123 0 vsize: 44744 [startup+690.084 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 30254 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8686 0 0 0 68988 26 0 0 25 0 1 0 831122048 46415872 8664 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11332 8664 1111 63 0 11269 0 vsize: 45328 [startup+700.084 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 30254 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8803 0 0 0 69988 27 0 0 25 0 1 0 831122048 46870528 8781 4294967295 134512640 134714540 3221224592 3221222820 1077414418 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11443 8781 1111 63 0 11380 0 vsize: 45772 [startup+710.084 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 30254 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8931 0 0 0 70988 27 0 0 25 0 1 0 831122048 47509504 8909 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11599 8909 1111 63 0 11536 0 vsize: 46396 [startup+720.085 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 30254 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9043 0 0 0 71988 27 0 0 25 0 1 0 831122048 47960064 9021 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11709 9021 1111 63 0 11646 0 vsize: 46836 [startup+730.085 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 30256 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9159 0 0 0 72988 27 0 0 25 0 1 0 831122048 48406528 9137 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11818 9137 1111 63 0 11755 0 vsize: 47272 [startup+740.085 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 30256 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9276 0 0 0 73987 28 0 0 25 0 1 0 831122048 48861184 9254 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11929 9254 1111 63 0 11866 0 vsize: 47716 [startup+750.085 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 30256 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9386 0 0 0 74987 28 0 0 25 0 1 0 831122048 49303552 9364 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12037 9364 1111 63 0 11974 0 vsize: 48148 [startup+760.085 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 30256 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9499 0 0 0 75987 28 0 0 25 0 1 0 831122048 49758208 9477 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12148 9477 1111 63 0 12085 0 vsize: 48592 [startup+770.085 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 30256 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9615 0 0 0 76987 28 0 0 25 0 1 0 831122048 50204672 9593 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12257 9593 1111 63 0 12194 0 vsize: 49028 [startup+780.085 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 30256 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9732 0 0 0 77987 29 0 0 25 0 1 0 831122048 50806784 9710 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12404 9710 1111 63 0 12341 0 vsize: 49616 [startup+790.086 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 30258 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9842 0 0 0 78987 29 0 0 25 0 1 0 831122048 51253248 9820 4294967295 134512640 134714540 3221224592 3221223248 134527944 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12513 9820 1111 63 0 12450 0 vsize: 50052 [startup+800.086 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 30258 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9960 0 0 0 79987 29 0 0 25 0 1 0 831122048 51703808 9938 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12623 9938 1111 63 0 12560 0 vsize: 50492 [startup+810.087 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 30258 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10071 0 0 0 80987 30 0 0 25 0 1 0 831122048 52154368 10049 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12733 10049 1111 63 0 12670 0 vsize: 50932 [startup+820.087 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 30258 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10188 0 0 0 81987 30 0 0 25 0 1 0 831122048 52604928 10166 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12843 10166 1111 63 0 12780 0 vsize: 51372 [startup+830.087 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 30258 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10304 0 0 0 82986 31 0 0 25 0 1 0 831122048 53051392 10282 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12952 10282 1111 63 0 12889 0 vsize: 51808 [startup+840.088 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 30258 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10415 0 0 0 83986 31 0 0 25 0 1 0 831122048 53506048 10393 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13063 10393 1111 63 0 13000 0 vsize: 52252 [startup+850.088 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 30260 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10532 0 0 0 84986 31 0 0 25 0 1 0 831122048 53952512 10510 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13172 10510 1111 63 0 13109 0 vsize: 52688 [startup+860.088 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 30260 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10644 0 0 0 85986 32 0 0 25 0 1 0 831122048 54403072 10622 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13282 10622 1111 63 0 13219 0 vsize: 53128 [startup+870.088 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 30260 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10761 0 0 0 86986 32 0 0 25 0 1 0 831122048 55005184 10739 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13429 10739 1111 63 0 13366 0 vsize: 53716 [startup+880.089 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 30260 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10878 0 0 0 87986 32 0 0 25 0 1 0 831122048 55455744 10856 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13539 10856 1111 63 0 13476 0 vsize: 54156 [startup+890.089 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 30260 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10995 0 0 0 88985 33 0 0 25 0 1 0 831122048 55906304 10973 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13649 10973 1111 63 0 13586 0 vsize: 54596 [startup+900.089 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 30260 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11106 0 0 0 89985 33 0 0 25 0 1 0 831122048 56352768 11084 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13758 11084 1111 63 0 13695 0 vsize: 55032 [startup+910.09 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 30262 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11224 0 0 0 90985 33 0 0 25 0 1 0 831122048 56803328 11202 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13868 11202 1111 63 0 13805 0 vsize: 55472 [startup+920.09 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 30262 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11334 0 0 0 91985 33 0 0 25 0 1 0 831122048 57253888 11312 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13978 11312 1111 63 0 13915 0 vsize: 55912 [startup+930.09 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 30262 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11452 0 0 0 92985 33 0 0 25 0 1 0 831122048 57696256 11430 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14086 11430 1111 63 0 14023 0 vsize: 56344 [startup+940.09 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 30262 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11569 0 0 0 93985 34 0 0 25 0 1 0 831122048 58269696 11547 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14226 11547 1111 63 0 14163 0 vsize: 56904 [startup+950.091 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 30262 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11687 0 0 0 94985 34 0 0 25 0 1 0 831122048 58724352 11665 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14337 11665 1111 63 0 14274 0 vsize: 57348 [startup+960.091 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 30262 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11803 0 0 0 95985 34 0 0 25 0 1 0 831122048 59170816 11781 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14446 11781 1111 63 0 14383 0 vsize: 57784 [startup+970.091 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 30264 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11921 0 0 0 96985 34 0 0 25 0 1 0 831122048 59621376 11899 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14556 11899 1111 63 0 14493 0 vsize: 58224 [startup+980.091 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 30264 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12032 0 0 0 97985 34 0 0 25 0 1 0 831122048 60071936 12010 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14666 12010 1111 63 0 14603 0 vsize: 58664 [startup+990.091 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 30264 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12150 0 0 0 98985 34 0 0 25 0 1 0 831122048 60669952 12128 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14812 12128 1111 63 0 14749 0 vsize: 59248 [startup+1000.09 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 30264 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12266 0 0 0 99985 35 0 0 25 0 1 0 831122048 61116416 12244 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14921 12244 1111 63 0 14858 0 vsize: 59684 [startup+1010.09 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 30264 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12385 0 0 0 100985 35 0 0 25 0 1 0 831122048 61571072 12363 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15032 12363 1111 63 0 14969 0 vsize: 60128 [startup+1020.09 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 30264 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12496 0 0 0 101985 35 0 0 25 0 1 0 831122048 62017536 12474 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15141 12474 1111 63 0 15078 0 vsize: 60564 [startup+1030.09 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 30266 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12614 0 0 0 102985 35 0 0 25 0 1 0 831122048 62472192 12592 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15252 12592 1111 63 0 15189 0 vsize: 61008 [startup+1040.09 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30266 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12730 0 0 0 103985 36 0 0 25 0 1 0 831122048 62914560 12708 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15360 12708 1111 63 0 15297 0 vsize: 61440 [startup+1050.09 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30266 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12848 0 0 0 104985 36 0 0 25 0 1 0 831122048 63516672 12826 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15507 12826 1111 63 0 15444 0 vsize: 62028 [startup+1060.09 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30266 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12966 0 0 0 105984 36 0 0 25 0 1 0 831122048 63967232 12944 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15617 12944 1111 63 0 15554 0 vsize: 62468 [startup+1070.09 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30266 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13083 0 0 0 106984 37 0 0 25 0 1 0 831122048 64417792 13061 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15727 13061 1111 63 0 15664 0 vsize: 62908 [startup+1080.09 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30266 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13201 0 0 0 107984 37 0 0 25 0 1 0 831122048 64864256 13179 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15836 13179 1111 63 0 15773 0 vsize: 63344 [startup+1090.09 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30268 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13318 0 0 0 108984 37 0 0 25 0 1 0 831122048 65314816 13296 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15946 13296 1111 63 0 15883 0 vsize: 63784 [startup+1100.09 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30268 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13436 0 0 0 109984 37 0 0 25 0 1 0 831122048 65916928 13414 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16093 13414 1111 63 0 16030 0 vsize: 64372 [startup+1110.09 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30268 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13554 0 0 0 110984 38 0 0 25 0 1 0 831122048 66367488 13532 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16203 13532 1111 63 0 16140 0 vsize: 64812 [startup+1120.09 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30268 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13671 0 0 0 111984 38 0 0 25 0 1 0 831122048 66818048 13649 4294967295 134512640 134714540 3221224592 3221223248 134527948 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16313 13649 1111 63 0 16250 0 vsize: 65252 [startup+1130.09 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30268 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13788 0 0 0 112984 38 0 0 25 0 1 0 831122048 67264512 13766 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16422 13766 1111 63 0 16359 0 vsize: 65688 [startup+1140.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30268 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13907 0 0 0 113984 38 0 0 25 0 1 0 831122048 67715072 13885 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16532 13885 1111 63 0 16469 0 vsize: 66128 [startup+1150.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30270 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 14024 0 0 0 114984 38 0 0 25 0 1 0 831122048 68313088 14002 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16678 14002 1111 63 0 16615 0 vsize: 66712 [startup+1160.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30270 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 14142 0 0 0 115985 38 0 0 25 0 1 0 831122048 68767744 14120 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16789 14120 1111 63 0 16726 0 vsize: 67156 [startup+1170.1 s] Raw data (loadavg): 1.15 1.00 0.92 2/55 30270 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 14258 0 0 0 116985 38 0 0 25 0 1 0 831122048 69210112 14236 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16897 14236 1111 63 0 16834 0 vsize: 67588 [startup+1180.1 s] Raw data (loadavg): 1.12 1.00 0.92 2/55 30270 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 14377 0 0 0 117985 38 0 0 25 0 1 0 831122048 69664768 14355 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17008 14355 1111 63 0 16945 0 vsize: 68032 [startup+1190.1 s] Raw data (loadavg): 1.10 1.00 0.92 2/55 30270 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 14494 0 0 0 118985 39 0 0 25 0 1 0 831122048 70111232 14472 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17117 14472 1111 63 0 17054 0 vsize: 68468 [startup+1200.1 s] Raw data (loadavg): 1.09 1.00 0.92 2/55 30270 Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 14619 0 0 0 119984 39 0 0 25 0 1 0 831122048 70713344 14597 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17264 14597 1111 63 0 17201 0 vsize: 69056 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.13 s] Raw data (loadavg): 1.09 1.00 0.92 1/55 30270 Raw data (stat): 30173 (bsolo_mis) Z 30172 29618 29617 0 -1 1036 14619 0 0 0 119985 42 0 0 25 0 1 0 831122048 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.13 CPU time (s): 1200.27 CPU user time (s): 1199.85 CPU system time (s): 0.421935 CPU usage (%): 100.012 Max. virtual memory (Kb): 69056 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####