Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb |
MD5SUM | 99657262afbbfce7034a3ec6b29d9b3b |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02884 |
Number of variables | 89 |
Total number of constraints | 117 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 104 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 47 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-09 16:12:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29639 boxname=wulflinc6 idbench=1423 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 99657262afbbfce7034a3ec6b29d9b3b /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-lseu.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-lseu.opb IDLAUNCH: 29639 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 719292 kB Buffers: 24332 kB Cached: 270356 kB SwapCached: 908 kB Active: 28120 kB Inactive: 268560 kB HighTotal: 131008 kB HighFree: 41804 kB LowTotal: 903652 kB LowFree: 677488 kB SwapTotal: 2097136 kB SwapFree: 2095216 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5000 kB Slab: 13072 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 16:32:13 (client local time) WITH STATUS 0 IN 1200.44 SECONDS stats: 29639 7 1200.44 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 89 variables and 28 constraints. c After prepocess the problem consists of 89 variables and 28 constraints. c preprocess terminated 0.074 s c Initial Lower Bound: 774 c Lower Bound Elapsed time: 0.014 c Use computed LB before first solution. c NEW SOLUTION FOUND: 2874 @ 0.436 c NEW SOLUTION FOUND: 2823 @ 0.782 c NEW SOLUTION FOUND: 2727 @ 1.167 c NEW SOLUTION FOUND: 2668 @ 3.991 c NEW SOLUTION FOUND: 2665 @ 4.028 c NEW SOLUTION FOUND: 2663 @ 6.319 c NEW SOLUTION FOUND: 2641 @ 6.934 c NEW SOLUTION FOUND: 2638 @ 7.231 c NEW SOLUTION FOUND: 2603 @ 8.077 c NEW SOLUTION FOUND: 2573 @ 10.944 c NEW SOLUTION FOUND: 2546 @ 16.592 c NEW SOLUTION FOUND: 2490 @ 23.134 c NEW SOLUTION FOUND: 2415 @ 27.561 c NEW SOLUTION FOUND: 2405 @ 28.661 c NEW SOLUTION FOUND: 2403 @ 49.165 c NEW SOLUTION FOUND: 2367 @ 69.458 c NEW SOLUTION FOUND: 2353 @ 77.857 c NEW SOLUTION FOUND: 2343 @ 85.725 c NEW SOLUTION FOUND: 2310 @ 88.667 c NEW SOLUTION FOUND: 2293 @ 88.687 c NEW SOLUTION FOUND: 2220 @ 92.895 c NEW SOLUTION FOUND: 2134 @ 93.969 c NEW SOLUTION FOUND: 2101 @ 134.987 c NEW SOLUTION FOUND: 2066 @ 162.004 c NEW SOLUTION FOUND: 2062 @ 179.749 c NEW SOLUTION FOUND: 1976 @ 180.132 c NEW SOLUTION FOUND: 1949 @ 219.279 #### 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.98 0.91 2/54 14442 Raw data (stat): 14442 (runsolver) R 14441 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911618316 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0009 s] Raw data (loadavg): 0.93 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 8390 0 0 0 963 34 0 0 25 0 1 0 911618316 12726272 2429 4294967295 134512640 134716908 3221224560 3221223296 134622865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3107 2429 1111 63 0 3044 0 vsize: 12428 [startup+20.0023 s] Raw data (loadavg): 0.94 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 36111 0 0 0 1899 98 0 0 25 0 1 0 911618316 16134144 3242 4294967295 134512640 134716908 3221224560 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3939 3242 1111 63 0 3876 0 vsize: 15756 [startup+30.003 s] Raw data (loadavg): 0.95 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 57550 0 0 0 2848 149 0 0 25 0 1 0 911618316 18247680 3759 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4455 3759 1111 63 0 4392 0 vsize: 17820 [startup+40.0034 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 61146 0 0 0 3839 158 0 0 25 0 1 0 911618316 20111360 4222 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4910 4222 1111 63 0 4847 0 vsize: 19640 [startup+50.0048 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 69130 0 0 0 4821 176 0 0 25 0 1 0 911618316 19783680 4008 4294967295 134512640 134716908 3221224560 3221220832 1074961496 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4830 4008 1111 63 0 4767 0 vsize: 19320 [startup+60.0043 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 76015 0 0 0 5804 194 0 0 25 0 1 0 911618316 19218432 4013 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4692 4013 1111 63 0 4629 0 vsize: 18768 [startup+70.0048 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 84847 0 0 0 6782 216 0 0 25 0 1 0 911618316 19812352 4094 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4972 4099 1111 63 0 4909 0 vsize: 19348 [startup+80.0049 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 121190 0 0 0 7703 295 0 0 25 0 1 0 911618316 25587712 5484 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6247 5484 1111 63 0 6184 0 vsize: 24988 [startup+90.0047 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 153377 0 0 0 8628 370 0 0 25 0 1 0 911618316 30908416 6625 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7546 6625 1111 63 0 7483 0 vsize: 30184 [startup+100.005 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 176629 0 0 0 9573 425 0 0 25 0 1 0 911618316 32915456 7254 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8036 7254 1111 63 0 7973 0 vsize: 32144 [startup+110.007 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 194956 0 0 0 10529 470 0 0 25 0 1 0 911618316 35328000 7697 4294967295 134512640 134716908 3221224560 3221220724 1075964282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8625 7697 1111 63 0 8562 0 vsize: 34500 [startup+120.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 222047 0 0 0 11468 531 0 0 25 0 1 0 911618316 37187584 8276 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9079 8276 1111 63 0 9016 0 vsize: 36316 [startup+130.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 240783 0 0 0 12424 576 0 0 25 0 1 0 911618316 39329792 8768 4294967295 134512640 134716908 3221224560 3221223056 134543043 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9602 8768 1111 63 0 9539 0 vsize: 38408 [startup+140.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 281256 0 0 0 13333 667 0 0 25 0 1 0 911618316 45445120 10068 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10915 10048 1111 63 0 10852 0 vsize: 44380 [startup+150.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 325647 0 0 0 14235 765 0 0 25 0 1 0 911618316 50196480 11361 4294967295 134512640 134716908 3221224560 3221222344 1077380592 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12255 11361 1111 63 0 12192 0 vsize: 49020 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 356894 0 0 0 15166 834 0 0 25 0 1 0 911618316 55853056 12426 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13636 12429 1111 63 0 13573 0 vsize: 54544 [startup+170.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 380316 0 0 0 16115 886 0 0 25 0 1 0 911618316 57651200 13104 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14075 13104 1111 63 0 14012 0 vsize: 56300 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 398915 0 0 0 17074 927 0 0 25 0 1 0 911618316 58159104 13208 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14199 13208 1111 63 0 14136 0 vsize: 56796 [startup+190.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 407916 0 0 0 18055 947 0 0 25 0 1 0 911618316 59658240 13591 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14565 13591 1111 63 0 14502 0 vsize: 58260 [startup+200.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 413892 0 0 0 19040 961 0 0 25 0 1 0 911618316 59465728 13512 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14518 13512 1111 63 0 14455 0 vsize: 58072 [startup+210.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 421436 0 0 0 20023 979 0 0 25 0 1 0 911618316 59867136 13626 4294967295 134512640 134716908 3221224560 3221223284 134622776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14616 13626 1111 63 0 14553 0 vsize: 58464 [startup+220.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 432420 0 0 0 21000 1002 0 0 25 0 1 0 911618316 60600320 13818 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14795 13818 1111 63 0 14732 0 vsize: 59180 [startup+230.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 444289 0 0 0 21972 1030 0 0 25 0 1 0 911618316 61353984 14005 4294967295 134512640 134716908 3221224560 3221222968 134543187 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14979 14005 1111 63 0 14916 0 vsize: 59916 [startup+240.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 451809 0 0 0 22954 1049 0 0 25 0 1 0 911618316 62939136 14384 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15366 14384 1111 63 0 15303 0 vsize: 61464 [startup+250.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 451934 0 0 0 23953 1051 0 0 25 0 1 0 911618316 63447040 14508 4294967295 134512640 134716908 3221224560 3221222480 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15490 14508 1111 63 0 15427 0 vsize: 61960 [startup+260.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 452046 0 0 0 24952 1052 0 0 25 0 1 0 911618316 63938560 14620 4294967295 134512640 134716908 3221224560 3221222608 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15610 14620 1111 63 0 15547 0 vsize: 62440 [startup+270.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 452115 0 0 0 25952 1053 0 0 25 0 1 0 911618316 64221184 14689 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15679 14689 1111 63 0 15616 0 vsize: 62716 [startup+280.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 452189 0 0 0 26951 1053 0 0 25 0 1 0 911618316 64622592 14763 4294967295 134512640 134716908 3221224560 3221222576 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15777 14763 1111 63 0 15714 0 vsize: 63108 [startup+290.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 453416 0 0 0 27949 1056 0 0 25 0 1 0 911618316 69648384 15990 4294967295 134512640 134716908 3221224560 3221222520 1074138297 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17004 15990 1111 63 0 16941 0 vsize: 68016 [startup+300.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 454038 0 0 0 28948 1058 0 0 25 0 1 0 911618316 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17004 16018 1111 63 0 16941 0 vsize: 68016 [startup+310.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 454038 0 0 0 29948 1058 0 0 25 0 1 0 911618316 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17004 16018 1111 63 0 16941 0 vsize: 68016 [startup+320.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 454038 0 0 0 30948 1058 0 0 25 0 1 0 911618316 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17004 16018 1111 63 0 16941 0 vsize: 68016 [startup+330.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 454038 0 0 0 31949 1058 0 0 25 0 1 0 911618316 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17004 16018 1111 63 0 16941 0 vsize: 68016 [startup+340.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 454038 0 0 0 32949 1058 0 0 25 0 1 0 911618316 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17004 16018 1111 63 0 16941 0 vsize: 68016 [startup+350.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 454038 0 0 0 33949 1058 0 0 25 0 1 0 911618316 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17004 16018 1111 63 0 16941 0 vsize: 68016 [startup+360.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 459853 0 0 0 34937 1070 0 0 25 0 1 0 911618316 64798720 14838 4294967295 134512640 134716908 3221224560 3221223284 134622875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15820 14838 1111 63 0 15757 0 vsize: 63280 [startup+370.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 459853 0 0 0 35938 1070 0 0 25 0 1 0 911618316 64798720 14838 4294967295 134512640 134716908 3221224560 3221223352 134536897 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15820 14838 1111 63 0 15757 0 vsize: 63280 [startup+380.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 459853 0 0 0 36938 1070 0 0 25 0 1 0 911618316 64798720 14838 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15820 14838 1111 63 0 15757 0 vsize: 63280 [startup+390.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 460093 0 0 0 37937 1072 0 0 25 0 1 0 911618316 63385600 14493 4294967295 134512640 134716908 3221224560 3221222528 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15475 14493 1111 63 0 15412 0 vsize: 61900 [startup+400.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 460188 0 0 0 38936 1073 0 0 25 0 1 0 911618316 63774720 14588 4294967295 134512640 134716908 3221224560 3221222320 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15570 14588 1111 63 0 15507 0 vsize: 62280 [startup+410.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 461457 0 0 0 39933 1077 0 0 25 0 1 0 911618316 67313664 15444 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16434 15444 1111 63 0 16371 0 vsize: 65736 [startup+420.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 461457 0 0 0 40933 1077 0 0 25 0 1 0 911618316 67313664 15444 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16434 15444 1111 63 0 16371 0 vsize: 65736 [startup+430.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 461457 0 0 0 41933 1077 0 0 25 0 1 0 911618316 67313664 15444 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16434 15444 1111 63 0 16371 0 vsize: 65736 [startup+440.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 467724 0 0 0 42921 1090 0 0 25 0 1 0 911618316 67780608 15478 4294967295 134512640 134716908 3221224560 3221222672 1074867344 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16548 15478 1111 63 0 16485 0 vsize: 66192 [startup+450.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 473944 0 0 0 43907 1104 0 0 25 0 1 0 911618316 67452928 15477 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16468 15477 1111 63 0 16405 0 vsize: 65872 [startup+460.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 473944 0 0 0 44907 1104 0 0 25 0 1 0 911618316 67452928 15477 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16468 15477 1111 63 0 16405 0 vsize: 65872 [startup+470.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 479708 0 0 0 45894 1117 0 0 25 0 1 0 911618316 67518464 15494 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16484 15494 1111 63 0 16421 0 vsize: 65936 [startup+480.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 479708 0 0 0 46895 1117 0 0 25 0 1 0 911618316 67518464 15494 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16484 15494 1111 63 0 16421 0 vsize: 65936 [startup+490.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 479708 0 0 0 47895 1117 0 0 25 0 1 0 911618316 67518464 15494 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16484 15494 1111 63 0 16421 0 vsize: 65936 [startup+500.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 483511 0 0 0 48888 1124 0 0 25 0 1 0 911618316 64135168 14676 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15658 14676 1111 63 0 15595 0 vsize: 62632 [startup+510.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 483511 0 0 0 49889 1124 0 0 25 0 1 0 911618316 64135168 14676 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15658 14676 1111 63 0 15595 0 vsize: 62632 [startup+520.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 483511 0 0 0 50889 1124 0 0 25 0 1 0 911618316 64135168 14676 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15658 14676 1111 63 0 15595 0 vsize: 62632 [startup+530.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 486452 0 0 0 51881 1133 0 0 25 0 1 0 911618316 63279104 14467 4294967295 134512640 134716908 3221224560 3221222400 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15449 14467 1111 63 0 15386 0 vsize: 61796 [startup+540.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 490179 0 0 0 52873 1141 0 0 25 0 1 0 911618316 64045056 14623 4294967295 134512640 134716908 3221224560 3221223284 134622776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15636 14623 1111 63 0 15573 0 vsize: 62544 [startup+550.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 490551 0 0 0 53872 1142 0 0 25 0 1 0 911618316 63700992 14551 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15552 14551 1111 63 0 15489 0 vsize: 62208 [startup+560.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 495868 0 0 0 54860 1155 0 0 25 0 1 0 911618316 63684608 14540 4294967295 134512640 134716908 3221224560 3221222712 1074950102 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15548 14540 1111 63 0 15485 0 vsize: 62192 [startup+570.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 499676 0 0 0 55852 1164 0 0 25 0 1 0 911618316 73433088 15883 4294967295 134512640 134716908 3221224560 3221220528 1074872796 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17928 15883 1111 63 0 17865 0 vsize: 71712 [startup+580.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 503683 0 0 0 56842 1174 0 0 25 0 1 0 911618316 63873024 14612 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15594 14612 1111 63 0 15531 0 vsize: 62376 [startup+590.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 513868 0 0 0 57820 1196 0 0 25 0 1 0 911618316 72859648 15700 4294967295 134512640 134716908 3221224560 3221220720 1075091455 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17788 15700 1111 63 0 17725 0 vsize: 71152 [startup+600.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 532960 0 0 0 58773 1244 0 0 25 0 1 0 911618316 62939136 14387 4294967295 134512640 134716908 3221224560 3221223356 134536922 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15366 14387 1111 63 0 15303 0 vsize: 61464 [startup+610.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 539945 0 0 0 59757 1260 0 0 25 0 1 0 911618316 63610880 14552 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15530 14552 1111 63 0 15467 0 vsize: 62120 [startup+620.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 540063 0 0 0 60755 1262 0 0 25 0 1 0 911618316 64094208 14670 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15648 14670 1111 63 0 15585 0 vsize: 62592 [startup+630.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 540150 0 0 0 61754 1263 0 0 25 0 1 0 911618316 64581632 14757 4294967295 134512640 134716908 3221224560 3221222608 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15767 14757 1111 63 0 15704 0 vsize: 63068 [startup+640.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 540239 0 0 0 62754 1264 0 0 25 0 1 0 911618316 64847872 14846 4294967295 134512640 134716908 3221224560 3221222608 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15832 14846 1111 63 0 15769 0 vsize: 63328 [startup+650.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 540312 0 0 0 63754 1264 0 0 25 0 1 0 911618316 65245184 14919 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15929 14919 1111 63 0 15866 0 vsize: 63716 [startup+660.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 540368 0 0 0 64753 1265 0 0 25 0 1 0 911618316 65474560 14975 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15985 14975 1111 63 0 15922 0 vsize: 63940 [startup+670.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 542390 0 0 0 65749 1270 0 0 25 0 1 0 911618316 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17331 16337 1111 63 0 17268 0 vsize: 69324 [startup+680.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 542390 0 0 0 66750 1270 0 0 25 0 1 0 911618316 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17331 16337 1111 63 0 17268 0 vsize: 69324 [startup+690.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 542390 0 0 0 67750 1270 0 0 25 0 1 0 911618316 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17331 16337 1111 63 0 17268 0 vsize: 69324 [startup+700.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 542390 0 0 0 68750 1270 0 0 25 0 1 0 911618316 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17331 16337 1111 63 0 17268 0 vsize: 69324 [startup+710.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 542390 0 0 0 69751 1270 0 0 25 0 1 0 911618316 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17331 16337 1111 63 0 17268 0 vsize: 69324 [startup+720.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 542390 0 0 0 70751 1270 0 0 25 0 1 0 911618316 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17331 16337 1111 63 0 17268 0 vsize: 69324 [startup+730.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 542390 0 0 0 71751 1270 0 0 25 0 1 0 911618316 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17331 16337 1111 63 0 17268 0 vsize: 69324 [startup+740.028 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 542390 0 0 0 72752 1270 0 0 25 0 1 0 911618316 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17331 16337 1111 63 0 17268 0 vsize: 69324 [startup+750.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 542390 0 0 0 73752 1270 0 0 25 0 1 0 911618316 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17331 16337 1111 63 0 17268 0 vsize: 69324 [startup+760.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 542390 0 0 0 74752 1270 0 0 25 0 1 0 911618316 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17331 16337 1111 63 0 17268 0 vsize: 69324 [startup+770.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 550365 0 0 0 75734 1288 0 0 25 0 1 0 911618316 67710976 15509 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16531 15509 1111 63 0 16468 0 vsize: 66124 [startup+780.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 550365 0 0 0 76735 1288 0 0 25 0 1 0 911618316 67710976 15509 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16531 15509 1111 63 0 16468 0 vsize: 66124 [startup+790.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 550365 0 0 0 77735 1288 0 0 25 0 1 0 911618316 67710976 15509 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16531 15509 1111 63 0 16468 0 vsize: 66124 [startup+800.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 550505 0 0 0 78734 1289 0 0 25 0 1 0 911618316 65667072 15038 4294967295 134512640 134716908 3221224560 3221222848 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16032 15038 1111 63 0 15969 0 vsize: 64128 [startup+810.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 550684 0 0 0 79733 1291 0 0 25 0 1 0 911618316 66400256 15217 4294967295 134512640 134716908 3221224560 3221222656 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16211 15217 1111 63 0 16148 0 vsize: 64844 [startup+820.033 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 551522 0 0 0 80731 1293 0 0 25 0 1 0 911618316 67280896 15434 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16426 15434 1111 63 0 16363 0 vsize: 65704 [startup+830.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 551522 0 0 0 81732 1293 0 0 25 0 1 0 911618316 67280896 15434 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16426 15434 1111 63 0 16363 0 vsize: 65704 [startup+840.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 555546 0 0 0 82724 1302 0 0 25 0 1 0 911618316 65851392 15090 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16077 15090 1111 63 0 16014 0 vsize: 64308 [startup+850.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 555645 0 0 0 83724 1302 0 0 25 0 1 0 911618316 64962560 14881 4294967295 134512640 134716908 3221224560 3221222672 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15860 14881 1111 63 0 15797 0 vsize: 63440 [startup+860.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 556532 0 0 0 84721 1305 0 0 25 0 1 0 911618316 66822144 15335 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16314 15335 1111 63 0 16251 0 vsize: 65256 [startup+870.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 556532 0 0 0 85721 1305 0 0 25 0 1 0 911618316 66822144 15335 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16314 15335 1111 63 0 16251 0 vsize: 65256 [startup+880.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 563729 0 0 0 86704 1323 0 0 25 0 1 0 911618316 64376832 14740 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15717 14740 1111 63 0 15654 0 vsize: 62868 [startup+890.037 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 564668 0 0 0 87701 1326 0 0 25 0 1 0 911618316 67051520 15385 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16370 15385 1111 63 0 16307 0 vsize: 65480 [startup+900.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 564668 0 0 0 88702 1326 0 0 25 0 1 0 911618316 67051520 15385 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16370 15385 1111 63 0 16307 0 vsize: 65480 [startup+910.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 568692 0 0 0 89693 1335 0 0 25 0 1 0 911618316 65961984 15049 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16104 15049 1111 63 0 16041 0 vsize: 64416 [startup+920.039 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 568692 0 0 0 90694 1335 0 0 25 0 1 0 911618316 65961984 15049 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16104 15049 1111 63 0 16041 0 vsize: 64416 [startup+930.039 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 572810 0 0 0 91684 1345 0 0 25 0 1 0 911618316 64315392 14726 4294967295 134512640 134716908 3221224560 3221223272 134543144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15702 14726 1111 63 0 15639 0 vsize: 62808 [startup+940.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 580385 0 0 0 92664 1365 0 0 25 0 1 0 911618316 65507328 14992 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15993 14992 1111 63 0 15930 0 vsize: 63972 [startup+950.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 585027 0 0 0 93652 1376 0 0 25 0 1 0 911618316 65011712 14853 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15872 14853 1111 63 0 15809 0 vsize: 63488 [startup+960.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 595862 0 0 0 94625 1404 0 0 25 0 1 0 911618316 65048576 14909 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15881 14909 1111 63 0 15818 0 vsize: 63524 [startup+970.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 609803 0 0 0 95593 1436 0 0 25 0 1 0 911618316 64651264 14790 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15784 14790 1111 63 0 15721 0 vsize: 63136 [startup+980.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 636549 0 0 0 96530 1499 0 0 25 0 1 0 911618316 71827456 15007 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17536 15020 1111 63 0 17473 0 vsize: 70144 [startup+990.042 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 680953 0 0 0 97428 1602 0 0 25 0 1 0 911618316 74067968 15579 4294967295 134512640 134716908 3221224560 3221220492 1074788201 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18083 15579 1111 63 0 18020 0 vsize: 72332 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 729750 0 0 0 98314 1717 0 0 25 0 1 0 911618316 76144640 15983 4294967295 134512640 134716908 3221224560 3221220928 1075894538 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18590 15983 1111 63 0 18527 0 vsize: 74360 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 775919 0 0 0 99201 1830 0 0 25 0 1 0 911618316 81367040 17191 4294967295 134512640 134716908 3221224560 3221220652 1075663503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19865 17191 1111 63 0 19802 0 vsize: 79460 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 823958 0 0 0 100079 1952 0 0 25 0 1 0 911618316 80531456 18425 4294967295 134512640 134716908 3221224560 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21192 18431 1111 63 0 21129 0 vsize: 78644 [startup+1030.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 859687 0 0 0 100987 2045 0 0 25 0 1 0 911618316 85700608 19650 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20923 19650 1111 63 0 20860 0 vsize: 83692 [startup+1040.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 887873 0 0 0 101916 2116 0 0 25 0 1 0 911618316 86196224 19811 4294967295 134512640 134716908 3221224560 3221222916 1077374062 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21044 19811 1111 63 0 20981 0 vsize: 84176 [startup+1050.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 930243 0 0 0 102814 2219 0 0 25 0 1 0 911618316 94932992 20615 4294967295 134512640 134716908 3221224560 3221221048 1077410163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23177 20615 1111 63 0 23114 0 vsize: 92708 [startup+1060.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 974229 0 0 0 103710 2323 0 0 25 0 1 0 911618316 96542720 20852 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23570 20864 1111 63 0 23507 0 vsize: 94280 [startup+1070.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 995936 0 0 0 104657 2376 0 0 25 0 1 0 911618316 91537408 21087 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22348 21087 1111 63 0 22285 0 vsize: 89392 [startup+1080.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 1023018 0 0 0 105592 2441 0 0 25 0 1 0 911618316 98914304 21742 4294967295 134512640 134716908 3221224560 3221220704 1074970025 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24149 21742 1111 63 0 24086 0 vsize: 96596 [startup+1090.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 1056108 0 0 0 106515 2519 0 0 25 0 1 0 911618316 94126080 21719 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22980 21719 1111 63 0 22917 0 vsize: 91920 [startup+1100.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 1082037 0 0 0 107449 2585 0 0 25 0 1 0 911618316 101556224 21997 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23263 21991 1111 63 0 23200 0 vsize: 99176 [startup+1110.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 1088602 0 0 0 108432 2603 0 0 25 0 1 0 911618316 96739328 22333 4294967295 134512640 134716908 3221224560 3221222656 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23618 22333 1111 63 0 23555 0 vsize: 94472 [startup+1120.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 1088733 0 0 0 109431 2604 0 0 25 0 1 0 911618316 97267712 22464 4294967295 134512640 134716908 3221224560 3221222576 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23747 22464 1111 63 0 23684 0 vsize: 94988 [startup+1130.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 1088819 0 0 0 110431 2605 0 0 25 0 1 0 911618316 97611776 22550 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23831 22550 1111 63 0 23768 0 vsize: 95324 [startup+1140.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 1088895 0 0 0 111431 2606 0 0 25 0 1 0 911618316 97914880 22626 4294967295 134512640 134716908 3221224560 3221222576 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23905 22626 1111 63 0 23842 0 vsize: 95620 [startup+1150.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 1088975 0 0 0 112430 2607 0 0 25 0 1 0 911618316 98172928 22706 4294967295 134512640 134716908 3221224560 3221222528 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23968 22706 1111 63 0 23905 0 vsize: 95872 [startup+1160.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 1089026 0 0 0 113430 2607 0 0 25 0 1 0 911618316 98381824 22757 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24019 22757 1111 63 0 23956 0 vsize: 96076 [startup+1170.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 1089114 0 0 0 114430 2607 0 0 25 0 1 0 911618316 98762752 22845 4294967295 134512640 134716908 3221224560 3221222624 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24112 22845 1111 63 0 24049 0 vsize: 96448 [startup+1180.06 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 1089156 0 0 0 115430 2608 0 0 25 0 1 0 911618316 98934784 22887 4294967295 134512640 134716908 3221224560 3221222656 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24154 22887 1111 63 0 24091 0 vsize: 96616 [startup+1190.06 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 1090748 0 0 0 116427 2612 0 0 25 0 1 0 911618316 105881600 24449 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25850 24449 1111 63 0 25787 0 vsize: 103400 [startup+1200.06 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) R 14441 25568 25567 0 -1 0 1091538 0 0 0 117425 2614 0 0 25 0 1 0 911618316 105308160 24442 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25710 24442 1111 63 0 25647 0 vsize: 102840 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 0.99 0.98 0.91 1/54 14442 Raw data (stat): 14442 (bsolo_lpr_cuts-) Z 14441 25568 25567 0 -1 1036 1091538 0 0 0 117425 2618 0 0 25 0 1 0 911618316 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.1 CPU time (s): 1200.44 CPU user time (s): 1174.25 CPU system time (s): 26.188 CPU usage (%): 100.028 Max. virtual memory (Kb): 103400 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####