Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb |
MD5SUM | 44281820d2b00a47b643433ffa4e2d73 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 117 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 138 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 535 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 5.96709 |
Number of variables | 464 |
Total number of constraints | 1395 |
Number of constraints which are clauses | 336 |
Number of constraints which are cardinality constraints (but not clauses) | 336 |
Number of constraints which are nor clauses,nor cardinality constraints | 723 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 128 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc21 THE 2005-05-24 14:42:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14588 boxname=wulflinc21 idbench=1123 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 44281820d2b00a47b643433ffa4e2d73 /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-neos16.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-neos16.opb IDLAUNCH: 14588 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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: 914144 kB Buffers: 35640 kB Cached: 64124 kB SwapCached: 1216 kB Active: 74908 kB Inactive: 27652 kB HighTotal: 131008 kB HighFree: 82656 kB LowTotal: 903652 kB LowFree: 831488 kB SwapTotal: 2097892 kB SwapFree: 2096256 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5648 kB Slab: 12452 kB Committed_AS: 63916 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 15:02:27 (client local time) WITH STATUS 0 IN 1175.17 SECONDS stats: 14588 7 1175.17 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 464 variables and 1069 constraints. c After prepocess the problem consists of 464 variables and 901 constraints. c preprocess terminated 0.573 s c Initial Lower Bound: 96 c Lower Bound Elapsed time: 0.238571 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.16 s #### 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.91 1.07 1.52 2/55 32604 Raw data (stat): 32604 (runsolver) R 32603 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 708311210 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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.99991 s] Raw data (loadavg): 0.93 1.06 1.51 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 7248 0 3 0 966 20 0 0 25 0 1 0 708311210 17068032 3370 4294967295 134512640 134714508 3221224576 3221221648 1074867212 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4167 3370 1111 63 0 4104 0 vsize: 16668 [startup+19.9996 s] Raw data (loadavg): 0.94 1.06 1.50 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 9742 0 3 0 1959 28 0 0 25 0 1 0 708311210 16437248 3327 4294967295 134512640 134714508 3221224576 3221222696 1077377218 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4013 3327 1111 63 0 3950 0 vsize: 16052 [startup+30.0002 s] Raw data (loadavg): 0.95 1.06 1.50 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 13045 0 3 0 2949 38 0 0 25 0 1 0 708311210 16543744 3353 4294967295 134512640 134714508 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4039 3353 1111 63 0 3976 0 vsize: 16156 [startup+39.9999 s] Raw data (loadavg): 0.95 1.06 1.49 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 15503 0 3 0 3942 45 0 0 25 0 1 0 708311210 17100800 3380 4294967295 134512640 134714508 3221224576 3221220848 1074961322 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4175 3380 1111 63 0 4112 0 vsize: 16700 [startup+49.9996 s] Raw data (loadavg): 0.96 1.05 1.49 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 18718 0 3 0 4932 55 0 0 25 0 1 0 708311210 17424384 3428 4294967295 134512640 134714508 3221224576 3221220912 1075113393 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4254 3428 1111 63 0 4191 0 vsize: 17016 [startup+59.9993 s] Raw data (loadavg): 0.97 1.05 1.48 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 21773 0 3 0 5923 64 0 0 25 0 1 0 708311210 17420288 3448 4294967295 134512640 134714508 3221224576 3221220704 1075561201 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4253 3448 1111 63 0 4190 0 vsize: 17012 [startup+69.999 s] Raw data (loadavg): 0.97 1.05 1.47 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 24389 0 3 0 6916 71 0 0 25 0 1 0 708311210 17608704 3492 4294967295 134512640 134714508 3221224576 3221221520 1074620120 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4299 3492 1111 63 0 4236 0 vsize: 17196 [startup+80.0047 s] Raw data (loadavg): 0.98 1.05 1.47 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 27606 0 3 0 7909 80 0 0 25 0 1 0 708311210 16863232 3432 4294967295 134512640 134714508 3221224576 3221222304 1075829539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4117 3432 1111 63 0 4054 0 vsize: 16468 [startup+90.0044 s] Raw data (loadavg): 0.98 1.05 1.46 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 32501 0 3 0 8896 92 0 0 25 0 1 0 708311210 16863232 3432 4294967295 134512640 134714508 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4117 3432 1111 63 0 4054 0 vsize: 16468 [startup+100.004 s] Raw data (loadavg): 0.98 1.04 1.46 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 35931 0 3 0 9889 100 0 0 25 0 1 0 708311210 17813504 3541 4294967295 134512640 134714508 3221224576 3221220804 1075115133 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4349 3541 1111 63 0 4286 0 vsize: 17396 [startup+110.004 s] Raw data (loadavg): 0.98 1.04 1.45 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 38404 0 3 0 10883 105 0 0 25 0 1 0 708311210 17006592 3467 4294967295 134512640 134714508 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4152 3467 1111 63 0 4089 0 vsize: 16608 [startup+120.003 s] Raw data (loadavg): 0.99 1.04 1.45 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 41261 0 3 0 11875 114 0 0 25 0 1 0 708311210 17170432 3481 4294967295 134512640 134714508 3221224576 3221222400 1075823365 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4192 3481 1111 63 0 4129 0 vsize: 16768 [startup+130.003 s] Raw data (loadavg): 0.99 1.04 1.44 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 44574 0 3 0 12866 123 0 0 25 0 1 0 708311210 17113088 3493 4294967295 134512640 134714508 3221224576 3221222864 1074143847 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4178 3493 1111 63 0 4115 0 vsize: 16712 [startup+140.003 s] Raw data (loadavg): 0.99 1.04 1.44 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 47155 0 3 0 13858 131 0 0 25 0 1 0 708311210 17694720 3506 4294967295 134512640 134714508 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4320 3506 1111 63 0 4257 0 vsize: 17280 [startup+150.003 s] Raw data (loadavg): 0.99 1.03 1.43 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 50115 0 3 0 14850 139 0 0 25 0 1 0 708311210 18006016 3576 4294967295 134512640 134714508 3221224576 3221220780 1075564184 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4396 3576 1111 63 0 4333 0 vsize: 17584 [startup+160.003 s] Raw data (loadavg): 0.99 1.03 1.43 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 52924 0 3 0 15842 148 0 0 25 0 1 0 708311210 18059264 3590 4294967295 134512640 134714508 3221224576 3221220444 1074787806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4409 3590 1111 63 0 4346 0 vsize: 17636 [startup+170.002 s] Raw data (loadavg): 0.99 1.03 1.42 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 55966 0 3 0 16833 157 0 0 25 0 1 0 708311210 18223104 3637 4294967295 134512640 134714508 3221224576 3221221408 1075115806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4449 3637 1111 63 0 4386 0 vsize: 17796 [startup+180.002 s] Raw data (loadavg): 0.99 1.03 1.42 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 58872 0 3 0 17824 166 0 0 25 0 1 0 708311210 17432576 3571 4294967295 134512640 134714508 3221224576 3221222772 1077374149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4256 3571 1111 63 0 4193 0 vsize: 17024 [startup+190.001 s] Raw data (loadavg): 0.99 1.03 1.41 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 61988 0 3 0 18816 174 0 0 25 0 1 0 708311210 17661952 3627 4294967295 134512640 134714508 3221224576 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4312 3627 1111 63 0 4249 0 vsize: 17248 [startup+200.001 s] Raw data (loadavg): 0.99 1.03 1.41 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 64807 0 3 0 19808 182 0 0 25 0 1 0 708311210 18075648 3658 4294967295 134512640 134714508 3221224576 3221220488 1074788430 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4413 3658 1111 63 0 4350 0 vsize: 17652 [startup+210.001 s] Raw data (loadavg): 0.99 1.03 1.40 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 66778 0 3 0 20802 188 0 0 25 0 1 0 708311210 17698816 3636 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4321 3636 1111 63 0 4258 0 vsize: 17284 [startup+220.001 s] Raw data (loadavg): 0.99 1.02 1.40 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 68972 0 3 0 21795 195 0 0 25 0 1 0 708311210 18255872 3662 4294967295 134512640 134714508 3221224576 3221220572 1074873328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4457 3662 1111 63 0 4394 0 vsize: 17828 [startup+230.001 s] Raw data (loadavg): 0.99 1.02 1.39 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 71396 0 3 0 22788 203 0 0 25 0 1 0 708311210 18452480 3689 4294967295 134512640 134714508 3221224576 3221220456 1074788559 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4505 3689 1111 63 0 4442 0 vsize: 18020 [startup+240.001 s] Raw data (loadavg): 0.99 1.02 1.39 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 74446 0 3 0 23779 212 0 0 25 0 1 0 708311210 17920000 3663 4294967295 134512640 134714508 3221224576 3221222224 1075818228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4375 3663 1111 63 0 4312 0 vsize: 17500 [startup+250 s] Raw data (loadavg): 0.99 1.02 1.38 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 77640 0 3 0 24769 221 0 0 25 0 1 0 708311210 18321408 3670 4294967295 134512640 134714508 3221224576 3221220524 1074788947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4473 3670 1111 63 0 4410 0 vsize: 17892 [startup+260.001 s] Raw data (loadavg): 0.99 1.02 1.38 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 80646 0 3 0 25761 230 0 0 25 0 1 0 708311210 18407424 3701 4294967295 134512640 134714508 3221224576 3221221696 1074834317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4494 3701 1111 63 0 4431 0 vsize: 17976 [startup+270.001 s] Raw data (loadavg): 0.99 1.02 1.37 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 84177 0 3 0 26752 240 0 0 25 0 1 0 708311210 18657280 3728 4294967295 134512640 134714508 3221224576 3221221620 1074846216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4555 3728 1111 63 0 4492 0 vsize: 18220 [startup+280.001 s] Raw data (loadavg): 0.99 1.02 1.37 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 87963 0 3 0 27741 250 0 0 25 0 1 0 708311210 18432000 3742 4294967295 134512640 134714508 3221224576 3221220792 1074950108 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4500 3742 1111 63 0 4437 0 vsize: 18000 [startup+290.001 s] Raw data (loadavg): 0.99 1.02 1.36 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 90891 0 3 0 28733 259 0 0 25 0 1 0 708311210 17866752 3677 4294967295 134512640 134714508 3221224576 3221222712 1077377266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4362 3677 1111 63 0 4299 0 vsize: 17448 [startup+300.001 s] Raw data (loadavg): 0.99 1.02 1.36 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 94478 0 3 0 29722 269 0 0 25 0 1 0 708311210 19075072 3861 4294967295 134512640 134714508 3221224576 3221220620 1074873534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4657 3861 1111 63 0 4594 0 vsize: 18628 [startup+310.001 s] Raw data (loadavg): 0.99 1.02 1.36 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 97696 0 3 0 30714 278 0 0 25 0 1 0 708311210 18812928 3790 4294967295 134512640 134714508 3221224576 3221220480 1075965260 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4593 3790 1111 63 0 4530 0 vsize: 18372 [startup+320 s] Raw data (loadavg): 0.99 1.01 1.35 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 101346 0 3 0 31706 287 0 0 25 0 1 0 708311210 18268160 3782 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4460 3782 1111 63 0 4397 0 vsize: 17840 [startup+330 s] Raw data (loadavg): 0.99 1.01 1.35 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 103991 0 3 0 32698 294 0 0 25 0 1 0 708311210 18350080 3802 4294967295 134512640 134714508 3221224576 3221222248 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4480 3802 1111 63 0 4417 0 vsize: 17920 [startup+340 s] Raw data (loadavg): 0.99 1.01 1.34 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 106108 0 3 0 33693 300 0 0 25 0 1 0 708311210 18350080 3802 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4480 3802 1111 63 0 4417 0 vsize: 17920 [startup+349.999 s] Raw data (loadavg): 0.99 1.01 1.34 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 108789 0 3 0 34686 306 0 0 25 0 1 0 708311210 18944000 3828 4294967295 134512640 134714508 3221224576 3221220524 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4625 3828 1111 63 0 4562 0 vsize: 18500 [startup+360 s] Raw data (loadavg): 0.99 1.01 1.34 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 113351 0 3 0 35674 319 0 0 25 0 1 0 708311210 18264064 3781 4294967295 134512640 134714508 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4459 3781 1111 63 0 4396 0 vsize: 17836 [startup+370 s] Raw data (loadavg): 0.99 1.01 1.33 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 117560 0 3 0 36662 331 0 0 25 0 1 0 708311210 18423808 3806 4294967295 134512640 134714508 3221224576 3221222744 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4498 3806 1111 63 0 4435 0 vsize: 17992 [startup+379.999 s] Raw data (loadavg): 0.99 1.01 1.33 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 120766 0 3 0 37653 340 0 0 25 0 1 0 708311210 19251200 4020 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4700 4020 1111 63 0 4637 0 vsize: 18800 [startup+389.999 s] Raw data (loadavg): 0.99 1.01 1.32 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 125212 0 3 0 38642 351 0 0 25 0 1 0 708311210 19791872 3944 4294967295 134512640 134714508 3221224576 3221221120 1075088564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4832 3944 1111 63 0 4769 0 vsize: 19328 [startup+399.999 s] Raw data (loadavg): 0.99 1.01 1.32 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 129469 0 3 0 39630 363 0 0 25 0 1 0 708311210 18509824 3841 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4519 3841 1111 63 0 4456 0 vsize: 18076 [startup+410 s] Raw data (loadavg): 0.99 1.01 1.32 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 132901 0 3 0 40621 372 0 0 25 0 1 0 708311210 19763200 4031 4294967295 134512640 134714508 3221224576 3221220736 1075093344 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4825 4031 1111 63 0 4762 0 vsize: 19300 [startup+419.999 s] Raw data (loadavg): 0.99 1.00 1.31 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 136554 0 3 0 41611 383 0 0 25 0 1 0 708311210 18636800 3872 4294967295 134512640 134714508 3221224576 3221222848 1074208572 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4550 3872 1111 63 0 4487 0 vsize: 18200 [startup+430 s] Raw data (loadavg): 0.99 1.00 1.31 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 140517 0 3 0 42601 393 0 0 25 0 1 0 708311210 18771968 3884 4294967295 134512640 134714508 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4583 3884 1111 63 0 4520 0 vsize: 18332 [startup+440 s] Raw data (loadavg): 0.99 1.00 1.30 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 144704 0 3 0 43590 404 0 0 25 0 1 0 708311210 18636800 3872 4294967295 134512640 134714508 3221224576 3221222912 1074153815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4550 3872 1111 63 0 4487 0 vsize: 18200 [startup+449.999 s] Raw data (loadavg): 0.99 1.00 1.30 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 149588 0 3 0 44577 418 0 0 25 0 1 0 708311210 19582976 3994 4294967295 134512640 134714508 3221224576 3221220460 1074788921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4781 3994 1111 63 0 4718 0 vsize: 19124 [startup+460.001 s] Raw data (loadavg): 0.99 1.00 1.30 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 156775 0 3 0 45558 436 0 0 25 0 1 0 708311210 18599936 3863 4294967295 134512640 134714508 3221224576 3221222556 1074206265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4541 3863 1111 63 0 4478 0 vsize: 18164 [startup+470 s] Raw data (loadavg): 0.99 1.00 1.29 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 160387 0 3 0 46550 445 0 0 25 0 1 0 708311210 18759680 3870 4294967295 134512640 134714508 3221224576 3221222832 1074146199 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4580 3870 1111 63 0 4517 0 vsize: 18320 [startup+479.999 s] Raw data (loadavg): 0.99 1.00 1.29 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 163916 0 3 0 47540 455 0 0 25 0 1 0 708311210 18599936 3863 4294967295 134512640 134714508 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4541 3863 1111 63 0 4478 0 vsize: 18164 [startup+489.999 s] Raw data (loadavg): 0.99 1.00 1.29 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 167636 0 3 0 48530 465 0 0 25 0 1 0 708311210 18632704 3871 4294967295 134512640 134714508 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4549 3871 1111 63 0 4486 0 vsize: 18196 [startup+499.999 s] Raw data (loadavg): 0.99 1.00 1.28 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 171113 0 3 0 49521 474 0 0 25 0 1 0 708311210 18632704 3871 4294967295 134512640 134714508 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4549 3871 1111 63 0 4486 0 vsize: 18196 [startup+509.998 s] Raw data (loadavg): 0.99 1.00 1.28 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 174240 0 3 0 50512 484 0 0 25 0 1 0 708311210 19685376 3904 4294967295 134512640 134714508 3221224576 3221220720 1074969949 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4806 3904 1111 63 0 4743 0 vsize: 19224 [startup+519.999 s] Raw data (loadavg): 0.99 1.00 1.27 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 177983 0 3 0 51502 494 0 0 25 0 1 0 708311210 18837504 3921 4294967295 134512640 134714508 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4599 3921 1111 63 0 4536 0 vsize: 18396 [startup+529.999 s] Raw data (loadavg): 0.99 1.00 1.27 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 181119 0 3 0 52492 503 0 0 25 0 1 0 708311210 20000768 3967 4294967295 134512640 134714508 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4883 3967 1111 63 0 4820 0 vsize: 19532 [startup+539.998 s] Raw data (loadavg): 0.99 1.00 1.27 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 184335 0 3 0 53484 512 0 0 25 0 1 0 708311210 19820544 3958 4294967295 134512640 134714508 3221224576 3221220912 1075113538 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3958 1111 63 0 4776 0 vsize: 19356 [startup+549.998 s] Raw data (loadavg): 0.99 1.00 1.26 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 186912 0 3 0 54477 519 0 0 25 0 1 0 708311210 19820544 3953 4294967295 134512640 134714508 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3953 1111 63 0 4776 0 vsize: 19356 [startup+559.998 s] Raw data (loadavg): 0.99 1.00 1.26 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 189370 0 3 0 55470 526 0 0 25 0 1 0 708311210 19820544 3957 4294967295 134512640 134714508 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3957 1111 63 0 4776 0 vsize: 19356 [startup+569.998 s] Raw data (loadavg): 0.99 1.00 1.26 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 194945 0 3 0 56459 538 0 0 25 0 1 0 708311210 19968000 3990 4294967295 134512640 134714508 3221224576 3221221344 1076083950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4875 3990 1111 63 0 4812 0 vsize: 19500 [startup+579.998 s] Raw data (loadavg): 0.99 1.00 1.26 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 198036 0 3 0 57448 548 0 0 25 0 1 0 708311210 20054016 4000 4294967295 134512640 134714508 3221224576 3221220724 1075964437 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4896 4000 1111 63 0 4833 0 vsize: 19584 [startup+589.998 s] Raw data (loadavg): 0.99 1.00 1.25 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 200961 0 3 0 58441 556 0 0 25 0 1 0 708311210 18837504 3921 4294967295 134512640 134714508 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4599 3921 1111 63 0 4536 0 vsize: 18396 [startup+600.001 s] Raw data (loadavg): 0.99 1.00 1.25 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 203786 0 3 0 59432 565 0 0 25 0 1 0 708311210 18956288 3941 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4628 3941 1111 63 0 4565 0 vsize: 18512 [startup+610 s] Raw data (loadavg): 0.99 1.00 1.25 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 207913 0 3 0 60421 576 0 0 25 0 1 0 708311210 18837504 3921 4294967295 134512640 134714508 3221224576 3221222848 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4599 3921 1111 63 0 4536 0 vsize: 18396 [startup+620 s] Raw data (loadavg): 0.99 1.00 1.24 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 214143 0 3 0 61407 590 0 0 25 0 1 0 708311210 20152320 4026 4294967295 134512640 134714508 3221224576 3221220784 1074815312 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4920 4026 1111 63 0 4857 0 vsize: 19680 [startup+630 s] Raw data (loadavg): 0.99 1.00 1.24 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 218115 0 3 0 62397 601 0 0 25 0 1 0 708311210 19886080 4056 4294967295 134512640 134714508 3221224576 3221220524 1074788964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4855 4056 1111 63 0 4792 0 vsize: 19420 [startup+640 s] Raw data (loadavg): 0.99 1.00 1.24 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 221598 0 3 0 63387 611 0 0 25 0 1 0 708311210 19030016 3958 4294967295 134512640 134714508 3221224576 3221222896 1074140701 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4646 3958 1111 63 0 4583 0 vsize: 18584 [startup+649.999 s] Raw data (loadavg): 0.99 1.00 1.23 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 224955 0 3 0 64376 622 0 0 25 0 1 0 708311210 19017728 3965 4294967295 134512640 134714508 3221224576 3221222224 1075818740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4643 3965 1111 63 0 4580 0 vsize: 18572 [startup+659.999 s] Raw data (loadavg): 0.99 1.00 1.23 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 230655 0 3 0 65362 636 0 0 25 0 1 0 708311210 20320256 4055 4294967295 134512640 134714508 3221224576 3221221116 1075118208 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4961 4055 1111 63 0 4898 0 vsize: 19844 [startup+669.998 s] Raw data (loadavg): 0.99 1.00 1.23 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 235254 0 3 0 66349 649 0 0 25 0 1 0 708311210 19185664 4006 4294967295 134512640 134714508 3221224576 3221221680 1074138729 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4684 4006 1111 63 0 4621 0 vsize: 18736 [startup+679.998 s] Raw data (loadavg): 0.99 1.00 1.23 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 239531 0 3 0 67339 659 0 0 25 0 1 0 708311210 20299776 4167 4294967295 134512640 134714508 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4956 4167 1111 63 0 4893 0 vsize: 19824 [startup+689.998 s] Raw data (loadavg): 0.99 1.00 1.22 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 242037 0 3 0 68334 665 0 0 25 0 1 0 708311210 19165184 4001 4294967295 134512640 134714508 3221224576 3221222652 1077379956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4679 4001 1111 63 0 4616 0 vsize: 18716 [startup+699.998 s] Raw data (loadavg): 0.99 1.00 1.22 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 245722 0 3 0 69323 675 0 0 25 0 1 0 708311210 19275776 4028 4294967295 134512640 134714508 3221224576 3221222960 1074153673 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4706 4028 1111 63 0 4643 0 vsize: 18824 [startup+709.998 s] Raw data (loadavg): 0.99 1.00 1.22 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 248948 0 3 0 70316 683 0 0 25 0 1 0 708311210 19230720 4017 4294967295 134512640 134714508 3221224576 3221222756 1077374210 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4695 4017 1111 63 0 4632 0 vsize: 18780 [startup+719.998 s] Raw data (loadavg): 0.99 1.00 1.21 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 251945 0 3 0 71306 693 0 0 25 0 1 0 708311210 20258816 4040 4294967295 134512640 134714508 3221224576 3221221232 1075967868 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4946 4040 1111 63 0 4883 0 vsize: 19784 [startup+729.998 s] Raw data (loadavg): 0.99 1.00 1.21 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 254951 0 3 0 72299 701 0 0 25 0 1 0 708311210 19230720 4017 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4695 4017 1111 63 0 4632 0 vsize: 18780 [startup+739.997 s] Raw data (loadavg): 0.99 1.00 1.21 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 258912 0 3 0 73289 711 0 0 25 0 1 0 708311210 19300352 4034 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4712 4034 1111 63 0 4649 0 vsize: 18848 [startup+749.997 s] Raw data (loadavg): 0.99 1.00 1.21 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 262551 0 3 0 74279 721 0 0 25 0 1 0 708311210 19300352 4034 4294967295 134512640 134714508 3221224576 3221222712 1077377411 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4712 4034 1111 63 0 4649 0 vsize: 18848 [startup+759.997 s] Raw data (loadavg): 0.99 1.00 1.20 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 267188 0 3 0 75266 733 0 0 25 0 1 0 708311210 20520960 4102 4294967295 134512640 134714508 3221224576 3221220536 1074789527 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5010 4102 1111 63 0 4947 0 vsize: 20040 [startup+769.996 s] Raw data (loadavg): 0.99 1.00 1.20 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 270182 0 3 0 76259 741 0 0 25 0 1 0 708311210 20283392 4062 4294967295 134512640 134714508 3221224576 3221220896 1075171638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4952 4062 1111 63 0 4889 0 vsize: 19808 [startup+779.997 s] Raw data (loadavg): 0.99 1.00 1.20 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 273962 0 3 0 77248 752 0 0 25 0 1 0 708311210 19300352 4034 4294967295 134512640 134714508 3221224576 3221222488 1074138315 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4712 4034 1111 63 0 4649 0 vsize: 18848 [startup+789.997 s] Raw data (loadavg): 0.99 1.00 1.19 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 277929 0 3 0 78238 762 0 0 25 0 1 0 708311210 19300352 4034 4294967295 134512640 134714508 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4712 4034 1111 63 0 4649 0 vsize: 18848 [startup+799.996 s] Raw data (loadavg): 0.99 1.00 1.19 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 286119 0 3 0 79219 781 0 0 25 0 1 0 708311210 19300352 4034 4294967295 134512640 134714508 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4712 4034 1111 63 0 4649 0 vsize: 18848 [startup+809.997 s] Raw data (loadavg): 0.99 1.00 1.19 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 294912 0 3 0 80199 802 0 0 25 0 1 0 708311210 19300352 4034 4294967295 134512640 134714508 3221224576 3221222928 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4712 4034 1111 63 0 4649 0 vsize: 18848 [startup+819.997 s] Raw data (loadavg): 0.99 1.00 1.18 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 299603 0 3 0 81186 815 0 0 25 0 1 0 708311210 20344832 4076 4294967295 134512640 134714508 3221224576 3221220736 1074883666 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4967 4076 1111 63 0 4904 0 vsize: 19868 [startup+829.997 s] Raw data (loadavg): 0.99 1.00 1.18 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 304412 0 3 0 82174 827 0 0 25 0 1 0 708311210 19333120 4042 4294967295 134512640 134714508 3221224576 3221222744 1077377827 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4720 4042 1111 63 0 4657 0 vsize: 18880 [startup+839.997 s] Raw data (loadavg): 0.99 1.00 1.18 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 308540 0 3 0 83163 838 0 0 25 0 1 0 708311210 19419136 4063 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4741 4063 1111 63 0 4678 0 vsize: 18964 [startup+849.997 s] Raw data (loadavg): 0.99 1.00 1.18 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 313460 0 3 0 84150 851 0 0 25 0 1 0 708311210 19419136 4063 4294967295 134512640 134714508 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4741 4063 1111 63 0 4678 0 vsize: 18964 [startup+859.996 s] Raw data (loadavg): 0.99 1.00 1.18 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 320167 0 3 0 85133 868 0 0 25 0 1 0 708311210 20516864 4215 4294967295 134512640 134714508 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5009 4215 1111 63 0 4946 0 vsize: 20036 [startup+869.996 s] Raw data (loadavg): 0.99 1.00 1.17 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 325918 0 3 0 86118 883 0 0 25 0 1 0 708311210 19644416 4118 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4796 4118 1111 63 0 4733 0 vsize: 19184 [startup+879.997 s] Raw data (loadavg): 0.99 1.00 1.17 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 330527 0 3 0 87106 896 0 0 25 0 1 0 708311210 19550208 4095 4294967295 134512640 134714508 3221224576 3221222744 1077377604 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4773 4095 1111 63 0 4710 0 vsize: 19092 [startup+889.998 s] Raw data (loadavg): 0.99 1.00 1.17 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 337651 0 3 0 88088 914 0 0 25 0 1 0 708311210 19652608 4120 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4798 4120 1111 63 0 4735 0 vsize: 19192 [startup+899.997 s] Raw data (loadavg): 0.99 1.00 1.17 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 342578 0 3 0 89074 928 0 0 25 0 1 0 708311210 19779584 4151 4294967295 134512640 134714508 3221224576 3221222528 1074052315 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4829 4151 1111 63 0 4766 0 vsize: 19316 [startup+909.997 s] Raw data (loadavg): 0.99 1.00 1.17 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 347222 0 3 0 90062 941 0 0 25 0 1 0 708311210 21245952 4337 4294967295 134512640 134714508 3221224576 3221221696 1074834343 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5187 4337 1111 63 0 5124 0 vsize: 20748 [startup+919.998 s] Raw data (loadavg): 0.99 1.00 1.16 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 351166 0 3 0 91051 952 0 0 25 0 1 0 708311210 21200896 4287 4294967295 134512640 134714508 3221224576 3221220444 1074787624 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5176 4287 1111 63 0 5113 0 vsize: 20704 [startup+929.997 s] Raw data (loadavg): 0.99 1.00 1.16 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 354672 0 3 0 92042 961 0 0 25 0 1 0 708311210 21229568 4288 4294967295 134512640 134714508 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5183 4288 1111 63 0 5120 0 vsize: 20732 [startup+939.998 s] Raw data (loadavg): 0.99 1.00 1.16 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 358058 0 3 0 93032 971 0 0 25 0 1 0 708311210 20041728 4215 4294967295 134512640 134714508 3221224576 3221222768 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4893 4215 1111 63 0 4830 0 vsize: 19572 [startup+949.998 s] Raw data (loadavg): 0.99 1.00 1.16 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 362598 0 3 0 94019 984 0 0 25 0 1 0 708311210 21135360 4371 4294967295 134512640 134714508 3221224576 3221221408 1075115295 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5160 4371 1111 63 0 5097 0 vsize: 20640 [startup+959.997 s] Raw data (loadavg): 0.99 1.00 1.16 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 366218 0 3 0 95010 993 0 0 25 0 1 0 708311210 21282816 4321 4294967295 134512640 134714508 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5196 4321 1111 63 0 5133 0 vsize: 20784 [startup+969.997 s] Raw data (loadavg): 0.99 1.00 1.15 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 371012 0 3 0 95997 1006 0 0 25 0 1 0 708311210 20938752 4321 4294967295 134512640 134714508 3221224576 3221220848 1074961149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5112 4321 1111 63 0 5049 0 vsize: 20448 [startup+979.998 s] Raw data (loadavg): 0.99 1.00 1.15 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 374106 0 3 0 96989 1014 0 0 25 0 1 0 708311210 20402176 4294 4294967295 134512640 134714508 3221224576 3221222576 1074916543 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4981 4294 1111 63 0 4918 0 vsize: 19924 [startup+989.997 s] Raw data (loadavg): 0.99 1.00 1.15 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 377910 0 3 0 97981 1023 0 0 25 0 1 0 708311210 20422656 4277 4294967295 134512640 134714508 3221224576 3221222496 1075799735 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4986 4277 1111 63 0 4923 0 vsize: 19944 [startup+999.998 s] Raw data (loadavg): 0.99 1.00 1.15 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 381436 0 3 0 98972 1032 0 0 25 0 1 0 708311210 21606400 4381 4294967295 134512640 134714508 3221224576 3221221496 1074950108 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5275 4381 1111 63 0 5212 0 vsize: 21100 [startup+1010 s] Raw data (loadavg): 0.99 1.00 1.15 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 385243 0 3 0 99962 1043 0 0 25 0 1 0 708311210 21270528 4392 4294967295 134512640 134714508 3221224576 3221220776 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5193 4392 1111 63 0 5130 0 vsize: 20772 [startup+1020 s] Raw data (loadavg): 0.99 1.00 1.14 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 388807 0 3 0 100953 1052 0 0 25 0 1 0 708311210 21942272 4514 4294967295 134512640 134714508 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5357 4514 1111 63 0 5294 0 vsize: 21428 [startup+1030 s] Raw data (loadavg): 0.99 1.00 1.14 2/55 32604 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 392967 0 3 0 101942 1062 0 0 25 0 1 0 708311210 21762048 4413 4294967295 134512640 134714508 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5313 4413 1111 63 0 5250 0 vsize: 21252 [startup+1040 s] Raw data (loadavg): 0.99 1.00 1.14 2/55 32657 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 397070 0 3 0 102931 1073 0 0 25 0 1 0 708311210 21454848 4448 4294967295 134512640 134714508 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5238 4448 1111 63 0 5175 0 vsize: 20952 [startup+1050 s] Raw data (loadavg): 0.99 1.00 1.14 2/55 32657 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 400931 0 3 0 103922 1083 0 0 25 0 1 0 708311210 21856256 4429 4294967295 134512640 134714508 3221224576 3221220848 1074961396 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5336 4429 1111 63 0 5273 0 vsize: 21344 [startup+1060 s] Raw data (loadavg): 0.99 1.00 1.14 2/55 32657 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 404801 0 3 0 104913 1092 0 0 25 0 1 0 708311210 20897792 4424 4294967295 134512640 134714508 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5102 4424 1111 63 0 5039 0 vsize: 20408 [startup+1070 s] Raw data (loadavg): 0.99 1.00 1.13 2/55 32657 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 407748 0 3 0 105905 1100 0 0 25 0 1 0 708311210 21839872 4467 4294967295 134512640 134714508 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5332 4467 1111 63 0 5269 0 vsize: 21328 [startup+1080 s] Raw data (loadavg): 0.99 1.00 1.13 2/55 32657 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 411151 0 3 0 106896 1109 0 0 25 0 1 0 708311210 21839872 4462 4294967295 134512640 134714508 3221224576 3221220456 1074788452 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5332 4462 1111 63 0 5269 0 vsize: 21328 [startup+1090 s] Raw data (loadavg): 0.99 1.00 1.13 2/55 32659 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 414171 0 3 0 107887 1118 0 0 25 0 1 0 708311210 21651456 4483 4294967295 134512640 134714508 3221224576 3221221120 1075088566 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5286 4483 1111 63 0 5223 0 vsize: 21144 [startup+1100 s] Raw data (loadavg): 0.99 1.00 1.13 2/55 32661 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 417115 0 3 0 108879 1126 0 0 25 0 1 0 708311210 21975040 4471 4294967295 134512640 134714508 3221224576 3221221152 1076049599 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5365 4471 1111 63 0 5302 0 vsize: 21460 [startup+1110 s] Raw data (loadavg): 0.99 1.00 1.13 2/55 32661 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 420485 0 3 0 109872 1132 0 0 25 0 1 0 708311210 22032384 4487 4294967295 134512640 134714508 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5379 4487 1111 63 0 5316 0 vsize: 21516 [startup+1120 s] Raw data (loadavg): 0.99 1.00 1.12 2/55 32661 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 422862 0 3 0 110866 1139 0 0 25 0 1 0 708311210 21913600 4478 4294967295 134512640 134714508 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5350 4478 1111 63 0 5287 0 vsize: 21400 [startup+1130 s] Raw data (loadavg): 0.99 1.00 1.12 2/55 32661 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 427235 0 3 0 111856 1149 0 0 25 0 1 0 708311210 21585920 4489 4294967295 134512640 134714508 3221224576 3221220800 1074802818 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5270 4489 1111 63 0 5207 0 vsize: 21080 [startup+1140 s] Raw data (loadavg): 0.99 1.00 1.12 2/55 32661 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 434937 0 3 0 112837 1168 0 0 25 0 1 0 708311210 20930560 4432 4294967295 134512640 134714508 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5110 4432 1111 63 0 5047 0 vsize: 20440 [startup+1150 s] Raw data (loadavg): 0.99 1.00 1.12 2/55 32661 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 438530 0 3 0 113827 1178 0 0 25 0 1 0 708311210 22446080 4629 4294967295 134512640 134714508 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5480 4629 1111 63 0 5417 0 vsize: 21920 [startup+1160 s] Raw data (loadavg): 0.99 1.00 1.12 2/55 32661 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 442251 0 3 0 114817 1188 0 0 25 0 1 0 708311210 22192128 4492 4294967295 134512640 134714508 3221224576 3221220724 1075964390 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5418 4492 1111 63 0 5355 0 vsize: 21672 [startup+1169.99 s] Raw data (loadavg): 0.99 1.00 1.12 2/55 32661 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 445285 0 3 0 115808 1198 0 0 25 0 1 0 708311210 22204416 4507 4294967295 134512640 134714508 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5421 4507 1111 63 0 5358 0 vsize: 21684 [startup+1175.12 s] Raw data (loadavg): 0.99 1.00 1.11 1/54 32661 Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 445285 0 3 0 115808 1198 0 0 25 0 1 0 708311210 22204416 4507 4294967295 134512640 134714508 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5421 4507 1111 63 0 5358 0 vsize: 0 Child status: 0 Real time (s): 1175.12 CPU time (s): 1175.17 CPU user time (s): 1163.14 CPU system time (s): 12.0382 CPU usage (%): 100.005 Max. virtual memory (Kb): 21920 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####