Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb |
MD5SUM | 9d4ce12b138a2bef65a1f401ec9d1f01 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4742 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1989 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 382524 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 382524 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.33 |
Number of variables | 1989 |
Total number of constraints | 2086 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2085 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1989 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-05-24 15:38:12 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13484 boxname=wulflinc1 idbench=1038 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 9d4ce12b138a2bef65a1f401ec9d1f01 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-l152lav.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-l152lav.opb IDLAUNCH: 13484 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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 : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 625052 kB Buffers: 38332 kB Cached: 340836 kB SwapCached: 0 kB Active: 78436 kB Inactive: 303856 kB HighTotal: 131008 kB HighFree: 69160 kB LowTotal: 903652 kB LowFree: 555892 kB SwapTotal: 2097136 kB SwapFree: 2096968 kB Dirty: 28 kB Writeback: 0 kB Mapped: 7144 kB Slab: 21680 kB Committed_AS: 92700 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 15:58:15 (client local time) WITH STATUS 0 IN 1200.37 SECONDS stats: 13484 7 1200.37 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 1989 variables and 193 constraints. c After prepocess the problem consists of 1988 variables and 193 constraints. c preprocess terminated 14.271 s c Initial Lower Bound: 1154 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.98 0.99 2/55 8787 Raw data (stat): 8787 (runsolver) R 8786 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 716300401 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99955 s] Raw data (loadavg): 0.93 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 12949 0 0 0 969 29 0 0 25 0 1 0 716300401 56651776 12916 4294967295 134512640 134714540 3221224592 3221222976 134542344 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13831 12916 1111 63 0 13768 0 vsize: 55324 [startup+20.0003 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13326 0 0 0 1967 31 0 0 25 0 1 0 716300401 58277888 13293 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14228 13293 1111 63 0 14165 0 vsize: 56912 [startup+30.0016 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13326 0 0 0 2965 33 0 0 25 0 1 0 716300401 58277888 13293 4294967295 134512640 134714540 3221224592 3221223216 134535462 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14228 13293 1111 63 0 14165 0 vsize: 56912 [startup+40.0019 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13350 0 0 0 3963 35 0 0 25 0 1 0 716300401 58277888 13317 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14228 13317 1111 63 0 14165 0 vsize: 56912 [startup+50.0027 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13350 0 0 0 4962 37 0 0 25 0 1 0 716300401 58277888 13317 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14228 13317 1111 63 0 14165 0 vsize: 56912 [startup+60.0029 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13387 0 0 0 5960 39 0 0 25 0 1 0 716300401 58540032 13354 4294967295 134512640 134714540 3221224592 3221223384 134558593 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14292 13354 1111 63 0 14229 0 vsize: 57168 [startup+70.0032 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13387 0 0 0 6958 41 0 0 25 0 1 0 716300401 58503168 13354 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14283 13354 1111 63 0 14220 0 vsize: 57132 [startup+80.0041 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13387 0 0 0 7957 42 0 0 25 0 1 0 716300401 58503168 13354 4294967295 134512640 134714540 3221224592 3221223160 134540531 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14283 13354 1111 63 0 14220 0 vsize: 57132 [startup+90.0053 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13766 0 0 0 8955 45 0 0 25 0 1 0 716300401 60022784 13733 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14654 13733 1111 63 0 14591 0 vsize: 58616 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 14440 0 0 0 9952 48 0 0 25 0 1 0 716300401 62726144 14407 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15314 14407 1111 63 0 15251 0 vsize: 61256 [startup+110.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 14737 0 0 0 10950 50 0 0 25 0 1 0 716300401 63942656 14704 4294967295 134512640 134714540 3221224592 3221223328 134591824 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15611 14704 1111 63 0 15548 0 vsize: 62444 [startup+120.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 15165 0 0 0 11948 52 0 0 25 0 1 0 716300401 65695744 15132 4294967295 134512640 134714540 3221224592 3221223332 134591993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16039 15132 1111 63 0 15976 0 vsize: 64156 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 15514 0 0 0 12946 54 0 0 25 0 1 0 716300401 67182592 15481 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16402 15481 1111 63 0 16339 0 vsize: 65608 [startup+140.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 16058 0 0 0 13944 57 0 0 25 0 1 0 716300401 69476352 16025 4294967295 134512640 134714540 3221224592 3221223184 134543751 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16962 16025 1111 63 0 16899 0 vsize: 67848 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 16181 0 0 0 14943 58 0 0 25 0 1 0 716300401 69890048 16148 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 16148 1111 63 0 17000 0 vsize: 68252 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 16298 0 0 0 15942 59 0 0 25 0 1 0 716300401 70430720 16265 4294967295 134512640 134714540 3221224592 3221223340 134672920 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17195 16265 1111 63 0 17132 0 vsize: 68780 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 16492 0 0 0 16940 61 0 0 25 0 1 0 716300401 71241728 16459 4294967295 134512640 134714540 3221224592 3221223360 134542626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17393 16459 1111 63 0 17330 0 vsize: 69572 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 16733 0 0 0 17938 63 0 0 25 0 1 0 716300401 72187904 16700 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17624 16700 1111 63 0 17561 0 vsize: 70496 [startup+190.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 16934 0 0 0 18936 65 0 0 25 0 1 0 716300401 72998912 16901 4294967295 134512640 134714540 3221224592 3221223260 134543616 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17822 16901 1111 63 0 17759 0 vsize: 71288 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17083 0 0 0 19935 67 0 0 25 0 1 0 716300401 73674752 17050 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17987 17050 1111 63 0 17924 0 vsize: 71948 [startup+210.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17283 0 0 0 20933 69 0 0 25 0 1 0 716300401 74452992 17250 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18177 17250 1111 63 0 18114 0 vsize: 72708 [startup+220.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17283 0 0 0 21933 69 0 0 25 0 1 0 716300401 74452992 17250 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18177 17250 1111 63 0 18114 0 vsize: 72708 [startup+230.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17283 0 0 0 22932 70 0 0 25 0 1 0 716300401 74452992 17250 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18177 17250 1111 63 0 18114 0 vsize: 72708 [startup+240.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17283 0 0 0 23933 70 0 0 25 0 1 0 716300401 74452992 17250 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18177 17250 1111 63 0 18114 0 vsize: 72708 [startup+250.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17283 0 0 0 24932 70 0 0 25 0 1 0 716300401 74452992 17250 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18177 17250 1111 63 0 18114 0 vsize: 72708 [startup+260.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17283 0 0 0 25932 71 0 0 25 0 1 0 716300401 74452992 17250 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18177 17250 1111 63 0 18114 0 vsize: 72708 [startup+270.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17327 0 0 0 26931 72 0 0 25 0 1 0 716300401 74588160 17294 4294967295 134512640 134714540 3221224592 3221223468 134536888 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18210 17294 1111 63 0 18147 0 vsize: 72840 [startup+280.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17626 0 0 0 27930 73 0 0 25 0 1 0 716300401 75960320 17591 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18545 17591 1111 63 0 18482 0 vsize: 74180 [startup+290.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17884 0 0 0 28928 75 0 0 25 0 1 0 716300401 77041664 17849 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18809 17849 1111 63 0 18746 0 vsize: 75236 [startup+300.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18095 0 0 0 29926 77 0 0 25 0 1 0 716300401 77852672 18060 4294967295 134512640 134714540 3221224592 3221223336 134558544 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19007 18060 1111 63 0 18944 0 vsize: 76028 [startup+310.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18228 0 0 0 30924 79 0 0 25 0 1 0 716300401 78393344 18193 4294967295 134512640 134714540 3221224592 3221223340 134535643 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19139 18193 1111 63 0 19076 0 vsize: 76556 [startup+320.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18293 0 0 0 31923 81 0 0 25 0 1 0 716300401 78663680 18258 4294967295 134512640 134714540 3221224592 3221223236 134536691 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19205 18258 1111 63 0 19142 0 vsize: 76820 [startup+330.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18489 0 0 0 32922 83 0 0 25 0 1 0 716300401 79474688 18454 4294967295 134512640 134714540 3221224592 3221223212 134613764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19403 18454 1111 63 0 19340 0 vsize: 77612 [startup+340.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18645 0 0 0 33920 86 0 0 25 0 1 0 716300401 80150528 18610 4294967295 134512640 134714540 3221224592 3221223216 134535468 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19568 18610 1111 63 0 19505 0 vsize: 78272 [startup+350.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18803 0 0 0 34918 87 0 0 25 0 1 0 716300401 80687104 18768 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19699 18768 1111 63 0 19636 0 vsize: 78796 [startup+360.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18956 0 0 0 35916 90 0 0 25 0 1 0 716300401 81362944 18921 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19864 18921 1111 63 0 19801 0 vsize: 79456 [startup+370.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 19118 0 0 0 36914 92 0 0 25 0 1 0 716300401 82042880 19083 4294967295 134512640 134714540 3221224592 3221223360 134592125 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20030 19083 1111 63 0 19967 0 vsize: 80120 [startup+380.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 19510 0 0 0 37913 93 0 0 25 0 1 0 716300401 83828736 19473 4294967295 134512640 134714540 3221224592 3221223360 134592119 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20466 19473 1111 63 0 20403 0 vsize: 81864 [startup+390.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 19646 0 0 0 38911 95 0 0 25 0 1 0 716300401 84369408 19609 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20598 19609 1111 63 0 20535 0 vsize: 82392 [startup+400.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 19852 0 0 0 39910 96 0 0 25 0 1 0 716300401 85180416 19815 4294967295 134512640 134714540 3221224592 3221223236 134535481 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20796 19815 1111 63 0 20733 0 vsize: 83184 [startup+410.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 20058 0 0 0 40908 99 0 0 25 0 1 0 716300401 86126592 20021 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21027 20021 1111 63 0 20964 0 vsize: 84108 [startup+420.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 20131 0 0 0 41906 100 0 0 25 0 1 0 716300401 86396928 20094 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21093 20094 1111 63 0 21030 0 vsize: 84372 [startup+430.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 20312 0 0 0 42905 102 0 0 25 0 1 0 716300401 87072768 20275 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21258 20275 1111 63 0 21195 0 vsize: 85032 [startup+440.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 20661 0 0 0 43903 104 0 0 25 0 1 0 716300401 88559616 20624 4294967295 134512640 134714540 3221224592 3221223132 134517908 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21621 20624 1111 63 0 21558 0 vsize: 86484 [startup+450.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 21187 0 0 0 44901 106 0 0 25 0 1 0 716300401 90722304 21150 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22149 21150 1111 63 0 22086 0 vsize: 88596 [startup+460.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 21713 0 0 0 45899 108 0 0 25 0 1 0 716300401 93007872 21663 4294967295 134512640 134714540 3221224592 3221223232 134523874 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22707 21663 1111 63 0 22644 0 vsize: 90828 [startup+470.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 22003 0 0 0 46897 110 0 0 25 0 1 0 716300401 94244864 21952 4294967295 134512640 134714540 3221224592 3221223336 134672921 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23009 21952 1111 63 0 22946 0 vsize: 92036 [startup+480.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 22174 0 0 0 47895 112 0 0 25 0 1 0 716300401 94920704 22123 4294967295 134512640 134714540 3221224592 3221223384 134556377 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23174 22123 1111 63 0 23111 0 vsize: 92696 [startup+490.041 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 22639 0 0 0 48893 115 0 0 25 0 1 0 716300401 96813056 22588 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23636 22588 1111 63 0 23573 0 vsize: 94544 [startup+500.041 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 22824 0 0 0 49891 117 0 0 25 0 1 0 716300401 97464320 22759 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23795 22759 1111 63 0 23732 0 vsize: 95180 [startup+510.045 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 23132 0 0 0 50889 119 0 0 25 0 1 0 716300401 98816000 23067 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24125 23067 1111 63 0 24062 0 vsize: 96500 [startup+520.049 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 23390 0 0 0 51887 122 0 0 25 0 1 0 716300401 99864576 23325 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24381 23325 1111 63 0 24318 0 vsize: 97524 [startup+530.049 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 23629 0 0 0 52885 124 0 0 25 0 1 0 716300401 100814848 23564 4294967295 134512640 134714540 3221224592 3221223156 134537910 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24613 23564 1111 63 0 24550 0 vsize: 98452 [startup+540.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 24331 0 0 0 53883 127 0 0 25 0 1 0 716300401 104259584 24227 4294967295 134512640 134714540 3221224592 3221223332 134613679 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25454 24227 1111 63 0 25391 0 vsize: 101816 [startup+550.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 24522 0 0 0 54881 129 0 0 25 0 1 0 716300401 105013248 24417 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25638 24417 1111 63 0 25575 0 vsize: 102552 [startup+560.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 24937 0 0 0 55879 131 0 0 25 0 1 0 716300401 106635264 24832 4294967295 134512640 134714540 3221224592 3221223216 134536680 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26034 24832 1111 63 0 25971 0 vsize: 104136 [startup+570.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 25660 0 0 0 56876 134 0 0 25 0 1 0 716300401 109690880 25554 4294967295 134512640 134714540 3221224592 3221223336 134672921 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26780 25554 1111 63 0 26717 0 vsize: 107120 [startup+580.051 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 25929 0 0 0 57874 136 0 0 25 0 1 0 716300401 110772224 25823 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27044 25823 1111 63 0 26981 0 vsize: 108176 [startup+590.051 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 26522 0 0 0 58872 139 0 0 25 0 1 0 716300401 113057792 26414 4294967295 134512640 134714540 3221224592 3221223328 134523930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27602 26414 1111 63 0 27539 0 vsize: 110408 [startup+600.052 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 26893 0 0 0 59870 141 0 0 25 0 1 0 716300401 114544640 26785 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27965 26785 1111 63 0 27902 0 vsize: 111860 [startup+610.052 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 27298 0 0 0 60868 142 0 0 25 0 1 0 716300401 116092928 27179 4294967295 134512640 134714540 3221224592 3221223296 134524443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28343 27179 1111 63 0 28280 0 vsize: 113372 [startup+620.053 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 27937 0 0 0 61867 144 0 0 25 0 1 0 716300401 118665216 27818 4294967295 134512640 134714540 3221224592 3221223336 134672948 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28971 27818 1111 63 0 28908 0 vsize: 115884 [startup+630.057 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 27984 0 0 0 62865 146 0 0 25 0 1 0 716300401 118935552 27865 4294967295 134512640 134714540 3221224592 3221223384 134558582 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29037 27865 1111 63 0 28974 0 vsize: 116148 [startup+640.061 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 28463 0 0 0 63863 148 0 0 25 0 1 0 716300401 120827904 28344 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29499 28344 1111 63 0 29436 0 vsize: 117996 [startup+650.061 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 28766 0 0 0 64862 150 0 0 25 0 1 0 716300401 122007552 28647 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29787 28647 1111 63 0 29724 0 vsize: 119148 [startup+660.061 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 29041 0 0 0 65860 152 0 0 25 0 1 0 716300401 123088896 28922 4294967295 134512640 134714540 3221224592 3221223336 134672941 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30051 28922 1111 63 0 29988 0 vsize: 120204 [startup+670.062 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 29226 0 0 0 66858 154 0 0 25 0 1 0 716300401 123842560 29107 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30235 29107 1111 63 0 30172 0 vsize: 120940 [startup+680.062 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 29696 0 0 0 67856 156 0 0 25 0 1 0 716300401 126046208 29541 4294967295 134512640 134714540 3221224592 3221223324 134532440 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30773 29541 1111 63 0 30710 0 vsize: 123092 [startup+690.064 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 29981 0 0 0 68854 159 0 0 25 0 1 0 716300401 127246336 29814 4294967295 134512640 134714540 3221224592 3221223336 134672941 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31066 29814 1111 63 0 31003 0 vsize: 124264 [startup+700.064 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 30129 0 0 0 69853 160 0 0 25 0 1 0 716300401 127922176 29962 4294967295 134512640 134714540 3221224592 3221223276 134523848 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31231 29962 1111 63 0 31168 0 vsize: 124924 [startup+710.064 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 30197 0 0 0 70852 161 0 0 25 0 1 0 716300401 128065536 30003 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31266 30003 1111 63 0 31203 0 vsize: 125064 [startup+720.064 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 30678 0 0 0 71850 163 0 0 25 0 1 0 716300401 129961984 30484 4294967295 134512640 134714540 3221224592 3221223288 1077374433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31729 30484 1111 63 0 31666 0 vsize: 126916 [startup+730.064 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 31108 0 0 0 72848 165 0 0 25 0 1 0 716300401 131788800 30914 4294967295 134512640 134714540 3221224592 3221223324 134518132 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32175 30914 1111 63 0 32112 0 vsize: 128700 [startup+740.065 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 31597 0 0 0 73846 168 0 0 25 0 1 0 716300401 133681152 31403 4294967295 134512640 134714540 3221224592 3221223384 134536889 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32637 31403 1111 63 0 32574 0 vsize: 130548 [startup+750.065 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 31601 0 0 0 74844 169 0 0 25 0 1 0 716300401 133677056 31403 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32636 31403 1111 63 0 32573 0 vsize: 130544 [startup+760.065 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 31943 0 0 0 75842 171 0 0 25 0 1 0 716300401 135028736 31745 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32966 31745 1111 63 0 32903 0 vsize: 131864 [startup+770.065 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 31947 0 0 0 76842 172 0 0 25 0 1 0 716300401 135028736 31749 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32966 31749 1111 63 0 32903 0 vsize: 131864 [startup+780.066 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 32824 0 0 0 77839 175 0 0 25 0 1 0 716300401 138797056 32626 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33886 32626 1111 63 0 33823 0 vsize: 135544 [startup+790.066 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 33661 0 0 0 78836 178 0 0 25 0 1 0 716300401 142286848 33463 4294967295 134512640 134714540 3221224592 3221222876 1077379860 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34738 33463 1111 63 0 34675 0 vsize: 138952 [startup+800.067 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 34635 0 0 0 79833 182 0 0 25 0 1 0 716300401 146341888 34437 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35728 34437 1111 63 0 35665 0 vsize: 142912 [startup+810.067 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 35331 0 0 0 80831 184 0 0 25 0 1 0 716300401 149237760 35129 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36435 35129 1111 63 0 36372 0 vsize: 145740 [startup+820.067 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 36220 0 0 0 81828 186 0 0 25 0 1 0 716300401 152936448 36011 4294967295 134512640 134714540 3221224592 3221223328 134534159 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37338 36011 1111 63 0 37275 0 vsize: 149352 [startup+830.067 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 37074 0 0 0 82826 189 0 0 25 0 1 0 716300401 156291072 36863 4294967295 134512640 134714540 3221224592 3221223232 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38157 36863 1111 63 0 38094 0 vsize: 152628 [startup+840.068 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 37542 0 0 0 83824 191 0 0 25 0 1 0 716300401 158253056 37331 4294967295 134512640 134714540 3221224592 3221223180 134543588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38636 37331 1111 63 0 38573 0 vsize: 154544 [startup+850.069 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 38383 0 0 0 84821 194 0 0 25 0 1 0 716300401 161599488 38172 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39453 38172 1111 63 0 39390 0 vsize: 157812 [startup+860.068 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 39977 0 0 0 85817 198 0 0 25 0 1 0 716300401 169402368 39664 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41358 39664 1111 63 0 41295 0 vsize: 165432 [startup+870.07 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 40843 0 0 0 86815 201 0 0 25 0 1 0 716300401 172916736 40529 4294967295 134512640 134714540 3221224592 3221223352 134592433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42216 40529 1111 63 0 42153 0 vsize: 168864 [startup+880.069 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 41648 0 0 0 87813 203 0 0 25 0 1 0 716300401 176168960 41334 4294967295 134512640 134714540 3221224592 3221223340 134535620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43010 41334 1111 63 0 42947 0 vsize: 172040 [startup+890.07 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 42223 0 0 0 88810 206 0 0 25 0 1 0 716300401 178507776 41909 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43581 41909 1111 63 0 43518 0 vsize: 174324 [startup+900.071 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 42770 0 0 0 89808 208 0 0 25 0 1 0 716300401 180805632 42456 4294967295 134512640 134714540 3221224592 3221223320 1076647870 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44142 42456 1111 63 0 44079 0 vsize: 176568 [startup+910.07 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 43173 0 0 0 90806 211 0 0 25 0 1 0 716300401 182427648 42859 4294967295 134512640 134714540 3221224592 3221223340 134535500 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44538 42859 1111 63 0 44475 0 vsize: 178152 [startup+920.07 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 43686 0 0 0 91803 213 0 0 25 0 1 0 716300401 184463360 43372 4294967295 134512640 134714540 3221224592 3221223340 134535664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45035 43372 1111 63 0 44972 0 vsize: 180140 [startup+930.07 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44064 0 0 0 92801 216 0 0 25 0 1 0 716300401 185950208 43750 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43750 1111 63 0 45335 0 vsize: 181592 [startup+940.071 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 93801 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+950.071 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 94802 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+960.071 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 95802 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+970.071 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 96802 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+980.071 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 97802 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+990.072 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 98802 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223320 134622828 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1000.07 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 99803 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1010.07 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 100803 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1020.08 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 101804 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1030.08 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 102804 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223376 134622318 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1040.08 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 103804 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1050.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 104806 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1060.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 105806 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223316 134622785 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1070.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 106806 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1080.12 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 107808 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1090.12 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 108809 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1100.12 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 109809 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1110.14 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 110811 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223312 134622891 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1120.14 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 111811 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1130.14 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 112811 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1140.14 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 113811 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1150.14 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 114812 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1160.14 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 115812 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1170.14 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 116812 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1180.14 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 117812 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1190.14 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 118812 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 [startup+1200.14 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8787 Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 119813 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45398 43758 1111 63 0 45335 0 vsize: 181592 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.22 s] Raw data (loadavg): 0.99 0.98 0.99 1/55 8787 Raw data (stat): 8787 (bsolo_mis) Z 8786 8378 8377 0 -1 1036 44072 0 0 0 119813 223 0 0 25 0 1 0 716300401 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.22 CPU time (s): 1200.37 CPU user time (s): 1198.13 CPU system time (s): 2.23966 CPU usage (%): 100.013 Max. virtual memory (Kb): 181592 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####