Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb |
MD5SUM | 450ad3720278f8a937b0ae6f1c4dfd6d |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 145051 |
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 | 4825267 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 3840 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 4825267 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 6.26005 |
Number of variables | 636571 |
Total number of constraints | 113008 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2186 |
Number of constraints which are nor clauses,nor cardinality constraints | 110822 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10240 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-19 12:45:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19762 boxname=wulflinc31 idbench=1521 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 450ad3720278f8a937b0ae6f1c4dfd6d /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos9.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos9.opb IDLAUNCH: 19762 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 695024 kB Buffers: 31904 kB Cached: 281956 kB SwapCached: 5400 kB Active: 250928 kB Inactive: 69612 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 694772 kB SwapTotal: 2097892 kB SwapFree: 2091564 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5360 kB Slab: 13348 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-19 13:05:11 (client local time) WITH STATUS 0 IN 1200.45 SECONDS stats: 19762 7 1200.45 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### 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.87 0.97 0.99 2/55 20777 Raw data (stat): 20777 (runsolver) R 20776 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 787115076 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0014 s] Raw data (loadavg): 0.89 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 2680 0 0 0 984 12 0 0 25 0 1 0 787115076 21803008 2603 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5323 2603 1111 63 0 5260 0 vsize: 21292 [startup+20.0024 s] Raw data (loadavg): 0.91 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 4369 0 0 0 1981 15 0 0 25 0 1 0 787115076 28823552 4292 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7037 4292 1111 63 0 6974 0 vsize: 28148 [startup+30.0033 s] Raw data (loadavg): 0.92 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 6059 0 0 0 2978 17 0 0 25 0 1 0 787115076 35692544 5982 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8714 5982 1111 63 0 8651 0 vsize: 34856 [startup+40.0042 s] Raw data (loadavg): 0.93 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 7756 0 0 0 3975 21 0 0 25 0 1 0 787115076 42696704 7679 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10424 7679 1111 63 0 10361 0 vsize: 41696 [startup+50.0052 s] Raw data (loadavg): 0.94 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 9457 0 0 0 4972 24 0 0 25 0 1 0 787115076 49565696 9380 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12101 9380 1111 63 0 12038 0 vsize: 48404 [startup+60.0061 s] Raw data (loadavg): 0.95 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 11157 0 0 0 5969 27 0 0 25 0 1 0 787115076 56578048 11080 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13813 11080 1111 63 0 13750 0 vsize: 55252 [startup+70.006 s] Raw data (loadavg): 0.96 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 12859 0 0 0 6965 31 0 0 25 0 1 0 787115076 63598592 12782 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15527 12782 1111 63 0 15464 0 vsize: 62108 [startup+80.007 s] Raw data (loadavg): 0.96 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 14003 0 0 0 7963 33 0 0 25 0 1 0 787115076 68231168 13926 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16658 13926 1111 63 0 16595 0 vsize: 66632 [startup+90.0079 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 14447 0 0 0 8962 34 0 0 25 0 1 0 787115076 70078464 14370 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17109 14370 1111 63 0 17046 0 vsize: 68436 [startup+100.008 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 14898 0 0 0 9960 36 0 0 25 0 1 0 787115076 71921664 14821 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17559 14821 1111 63 0 17496 0 vsize: 70236 [startup+110.009 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 15348 0 0 0 10959 37 0 0 25 0 1 0 787115076 73768960 15271 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18010 15271 1111 63 0 17947 0 vsize: 72040 [startup+120.009 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 15799 0 0 0 11958 38 0 0 25 0 1 0 787115076 75612160 15722 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18460 15722 1111 63 0 18397 0 vsize: 73840 [startup+130.01 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 16249 0 0 0 12956 40 0 0 25 0 1 0 787115076 77459456 16172 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18911 16172 1111 63 0 18848 0 vsize: 75644 [startup+140.011 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 16704 0 0 0 13955 42 0 0 25 0 1 0 787115076 79323136 16627 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19366 16627 1111 63 0 19303 0 vsize: 77464 [startup+150.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 17157 0 0 0 14954 43 0 0 25 0 1 0 787115076 81141760 17080 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19810 17080 1111 63 0 19747 0 vsize: 79240 [startup+160.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 17613 0 0 0 15952 45 0 0 25 0 1 0 787115076 82984960 17536 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20260 17536 1111 63 0 20197 0 vsize: 81040 [startup+170.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 18058 0 0 0 16950 47 0 0 25 0 1 0 787115076 84832256 17981 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20711 17981 1111 63 0 20648 0 vsize: 82844 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 18516 0 0 0 17950 47 0 0 25 0 1 0 787115076 86675456 18439 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21161 18439 1111 63 0 21098 0 vsize: 84644 [startup+190.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 18973 0 0 0 18949 48 0 0 25 0 1 0 787115076 88522752 18896 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21612 18896 1111 63 0 21549 0 vsize: 86448 [startup+200.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 19428 0 0 0 19948 49 0 0 25 0 1 0 787115076 90386432 19351 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22067 19351 1111 63 0 22004 0 vsize: 88268 [startup+210.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 19873 0 0 0 20947 50 0 0 25 0 1 0 787115076 92229632 19796 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22517 19796 1111 63 0 22454 0 vsize: 90068 [startup+220.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 20331 0 0 0 21946 52 0 0 25 0 1 0 787115076 94076928 20254 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22968 20254 1111 63 0 22905 0 vsize: 91872 [startup+230.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 20801 0 0 0 22945 53 0 0 25 0 1 0 787115076 96075776 20724 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23456 20724 1111 63 0 23393 0 vsize: 93824 [startup+240.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 21258 0 0 0 23944 53 0 0 25 0 1 0 787115076 97923072 21181 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23907 21181 1111 63 0 23844 0 vsize: 95628 [startup+250.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 21715 0 0 0 24944 54 0 0 25 0 1 0 787115076 99766272 21638 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24357 21638 1111 63 0 24294 0 vsize: 97428 [startup+260.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 22183 0 0 0 25943 55 0 0 25 0 1 0 787115076 101789696 22106 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24851 22106 1111 63 0 24788 0 vsize: 99404 [startup+270.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 22640 0 0 0 26943 56 0 0 25 0 1 0 787115076 103608320 22563 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25295 22563 1111 63 0 25232 0 vsize: 101180 [startup+280.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 23109 0 0 0 27942 57 0 0 25 0 1 0 787115076 105455616 23032 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25746 23032 1111 63 0 25683 0 vsize: 102984 [startup+290.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 23577 0 0 0 28942 58 0 0 25 0 1 0 787115076 107446272 23500 4294967295 134512640 134714508 3221221776 3221220432 134527953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26232 23500 1111 63 0 26169 0 vsize: 104928 [startup+300.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 24046 0 0 0 29941 58 0 0 25 0 1 0 787115076 109449216 23969 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26721 23969 1111 63 0 26658 0 vsize: 106884 [startup+310.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 24510 0 0 0 30940 59 0 0 25 0 1 0 787115076 111292416 24433 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27171 24433 1111 63 0 27108 0 vsize: 108684 [startup+320.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 24974 0 0 0 31940 60 0 0 25 0 1 0 787115076 113139712 24897 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27622 24897 1111 63 0 27559 0 vsize: 110488 [startup+330.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 25442 0 0 0 32939 61 0 0 25 0 1 0 787115076 115159040 25365 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28115 25365 1111 63 0 28052 0 vsize: 112460 [startup+340.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 25912 0 0 0 33939 62 0 0 25 0 1 0 787115076 117002240 25835 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28565 25835 1111 63 0 28502 0 vsize: 114260 [startup+350.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 26371 0 0 0 34938 62 0 0 25 0 1 0 787115076 118849536 26294 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29016 26294 1111 63 0 28953 0 vsize: 116064 [startup+360.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 26840 0 0 0 35938 63 0 0 25 0 1 0 787115076 120848384 26763 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29504 26763 1111 63 0 29441 0 vsize: 118016 [startup+370.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 27310 0 0 0 36937 64 0 0 25 0 1 0 787115076 122695680 27233 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29955 27233 1111 63 0 29892 0 vsize: 119820 [startup+380.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 27780 0 0 0 37936 65 0 0 25 0 1 0 787115076 124694528 27703 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30443 27703 1111 63 0 30380 0 vsize: 121772 [startup+390.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 28251 0 0 0 38936 65 0 0 25 0 1 0 787115076 126541824 28174 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30894 28174 1111 63 0 30831 0 vsize: 123576 [startup+400.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 28720 0 0 0 39935 66 0 0 25 0 1 0 787115076 128540672 28643 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31382 28643 1111 63 0 31319 0 vsize: 125528 [startup+410.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 29188 0 0 0 40935 67 0 0 25 0 1 0 787115076 130408448 29111 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31838 29111 1111 63 0 31775 0 vsize: 127352 [startup+420.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 29660 0 0 0 41935 67 0 0 25 0 1 0 787115076 132407296 29583 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32326 29583 1111 63 0 32263 0 vsize: 129304 [startup+430.031 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 30129 0 0 0 42934 68 0 0 25 0 1 0 787115076 134254592 30052 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32777 30052 1111 63 0 32714 0 vsize: 131108 [startup+440.032 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 30599 0 0 0 43933 69 0 0 25 0 1 0 787115076 136228864 30522 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33259 30522 1111 63 0 33196 0 vsize: 133036 [startup+450.031 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 31069 0 0 0 44932 70 0 0 25 0 1 0 787115076 138072064 30992 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33709 30992 1111 63 0 33646 0 vsize: 134836 [startup+460.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 31546 0 0 0 45932 71 0 0 25 0 1 0 787115076 140075008 31469 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34198 31469 1111 63 0 34135 0 vsize: 136792 [startup+470.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 32022 0 0 0 46931 72 0 0 25 0 1 0 787115076 142073856 31945 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34686 31945 1111 63 0 34623 0 vsize: 138744 [startup+480.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 32491 0 0 0 47930 73 0 0 25 0 1 0 787115076 143941632 32414 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35142 32414 1111 63 0 35079 0 vsize: 140568 [startup+490.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 32962 0 0 0 48930 74 0 0 25 0 1 0 787115076 145940480 32885 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35630 32885 1111 63 0 35567 0 vsize: 142520 [startup+500.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 33443 0 0 0 49929 74 0 0 25 0 1 0 787115076 147787776 33366 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36081 33366 1111 63 0 36018 0 vsize: 144324 [startup+510.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 33913 0 0 0 50929 75 0 0 25 0 1 0 787115076 149786624 33836 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36569 33836 1111 63 0 36506 0 vsize: 146276 [startup+520.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 34396 0 0 0 51929 75 0 0 25 0 1 0 787115076 151789568 34319 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37058 34319 1111 63 0 36995 0 vsize: 148232 [startup+530.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 34866 0 0 0 52928 76 0 0 25 0 1 0 787115076 153632768 34789 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37508 34789 1111 63 0 37445 0 vsize: 150032 [startup+540.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 35347 0 0 0 53928 77 0 0 25 0 1 0 787115076 155607040 35270 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37990 35270 1111 63 0 37927 0 vsize: 151960 [startup+550.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 35817 0 0 0 54927 77 0 0 25 0 1 0 787115076 157609984 35740 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38479 35740 1111 63 0 38416 0 vsize: 153916 [startup+560.038 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 36319 0 0 0 55927 78 0 0 25 0 1 0 787115076 159801344 36242 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39014 36242 1111 63 0 38951 0 vsize: 156056 [startup+570.039 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 36787 0 0 0 56926 79 0 0 25 0 1 0 787115076 161665024 36710 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39469 36710 1111 63 0 39406 0 vsize: 157876 [startup+580.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 37269 0 0 0 57925 80 0 0 25 0 1 0 787115076 163667968 37192 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39958 37192 1111 63 0 39895 0 vsize: 159832 [startup+590.041 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 37753 0 0 0 58925 80 0 0 25 0 1 0 787115076 165666816 37676 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40446 37676 1111 63 0 40383 0 vsize: 161784 [startup+600.041 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 38229 0 0 0 59925 81 0 0 25 0 1 0 787115076 167514112 38152 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40897 38152 1111 63 0 40834 0 vsize: 163588 [startup+610.041 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 38705 0 0 0 60924 82 0 0 25 0 1 0 787115076 169512960 38628 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41385 38628 1111 63 0 41322 0 vsize: 165540 [startup+620.041 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 39188 0 0 0 61923 83 0 0 25 0 1 0 787115076 171515904 39111 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41874 39111 1111 63 0 41811 0 vsize: 167496 [startup+630.042 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 39671 0 0 0 62922 84 0 0 25 0 1 0 787115076 173514752 39594 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42362 39594 1111 63 0 42299 0 vsize: 169448 [startup+640.044 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 40153 0 0 0 63921 85 0 0 25 0 1 0 787115076 175362048 40076 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42813 40076 1111 63 0 42750 0 vsize: 171252 [startup+650.043 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 40635 0 0 0 64921 86 0 0 25 0 1 0 787115076 177381376 40558 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43306 40558 1111 63 0 43243 0 vsize: 173224 [startup+660.044 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 41118 0 0 0 65920 86 0 0 25 0 1 0 787115076 179380224 41041 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43794 41041 1111 63 0 43731 0 vsize: 175176 [startup+670.044 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 41600 0 0 0 66920 87 0 0 25 0 1 0 787115076 181383168 41523 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44283 41523 1111 63 0 44220 0 vsize: 177132 [startup+680.045 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 42076 0 0 0 67919 88 0 0 25 0 1 0 787115076 183226368 41999 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44733 41999 1111 63 0 44670 0 vsize: 178932 [startup+690.045 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 42560 0 0 0 68918 90 0 0 25 0 1 0 787115076 185229312 42483 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45222 42483 1111 63 0 45159 0 vsize: 180888 [startup+700.045 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 43049 0 0 0 69918 90 0 0 25 0 1 0 787115076 187228160 42972 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45710 42972 1111 63 0 45647 0 vsize: 182840 [startup+710.046 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 43531 0 0 0 70917 91 0 0 25 0 1 0 787115076 189231104 43454 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46199 43454 1111 63 0 46136 0 vsize: 184796 [startup+720.046 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 44014 0 0 0 71916 92 0 0 25 0 1 0 787115076 191229952 43937 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46687 43937 1111 63 0 46624 0 vsize: 186748 [startup+730.047 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 44497 0 0 0 72916 92 0 0 25 0 1 0 787115076 193232896 44420 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47176 44420 1111 63 0 47113 0 vsize: 188704 [startup+740.048 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 44980 0 0 0 73916 93 0 0 25 0 1 0 787115076 195231744 44903 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47664 44903 1111 63 0 47601 0 vsize: 190656 [startup+750.048 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 45461 0 0 0 74915 94 0 0 25 0 1 0 787115076 197095424 45384 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48119 45384 1111 63 0 48056 0 vsize: 192476 [startup+760.049 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 45957 0 0 0 75914 95 0 0 25 0 1 0 787115076 199229440 45880 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48640 45880 1111 63 0 48577 0 vsize: 194560 [startup+770.049 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 46439 0 0 0 76914 96 0 0 25 0 1 0 787115076 201072640 46362 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49090 46362 1111 63 0 49027 0 vsize: 196360 [startup+780.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 46921 0 0 0 77914 96 0 0 25 0 1 0 787115076 203075584 46844 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49579 46844 1111 63 0 49516 0 vsize: 198316 [startup+790.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 47411 0 0 0 78913 97 0 0 25 0 1 0 787115076 205074432 47334 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 50067 47334 1111 63 0 50004 0 vsize: 200268 [startup+800.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 47899 0 0 0 79912 97 0 0 25 0 1 0 787115076 207077376 47822 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 50556 47822 1111 63 0 50493 0 vsize: 202224 [startup+810.051 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 48381 0 0 0 80912 98 0 0 25 0 1 0 787115076 209076224 48304 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51044 48304 1111 63 0 50981 0 vsize: 204176 [startup+820.052 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 48877 0 0 0 81912 98 0 0 25 0 1 0 787115076 211075072 48800 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51532 48800 1111 63 0 51469 0 vsize: 206128 [startup+830.053 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 49366 0 0 0 82911 100 0 0 25 0 1 0 787115076 213078016 49289 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52021 49289 1111 63 0 51958 0 vsize: 208084 [startup+840.053 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 49855 0 0 0 83910 100 0 0 25 0 1 0 787115076 215097344 49778 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52514 49778 1111 63 0 52451 0 vsize: 210056 [startup+850.053 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 50349 0 0 0 84909 102 0 0 25 0 1 0 787115076 217100288 50272 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53003 50272 1111 63 0 52940 0 vsize: 212012 [startup+860.054 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 50833 0 0 0 85909 102 0 0 25 0 1 0 787115076 219074560 50756 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53485 50756 1111 63 0 53422 0 vsize: 213940 [startup+870.054 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 51327 0 0 0 86908 103 0 0 25 0 1 0 787115076 221077504 51250 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53974 51250 1111 63 0 53911 0 vsize: 215896 [startup+880.055 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 51823 0 0 0 87908 104 0 0 25 0 1 0 787115076 223232000 51746 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 54500 51746 1111 63 0 54437 0 vsize: 218000 [startup+890.056 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 20777 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 52306 0 0 0 88907 105 0 0 25 0 1 0 787115076 225075200 52229 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 54950 52229 1111 63 0 54887 0 vsize: 219800 [startup+900.155 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 20813 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 52801 0 0 0 89916 106 0 0 25 0 1 0 787115076 227233792 52724 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 55477 52724 1111 63 0 55414 0 vsize: 221908 [startup+910.156 s] Raw data (loadavg): 1.15 1.00 1.00 2/55 20830 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 53296 0 0 0 90915 107 0 0 25 0 1 0 787115076 229232640 53219 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 55965 53219 1111 63 0 55902 0 vsize: 223860 [startup+920.188 s] Raw data (loadavg): 1.12 1.00 1.00 2/55 20830 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 53791 0 0 0 91918 108 0 0 25 0 1 0 787115076 231235584 53714 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 56454 53714 1111 63 0 56391 0 vsize: 225816 [startup+930.188 s] Raw data (loadavg): 1.10 1.00 1.00 2/55 20830 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 54287 0 0 0 92917 109 0 0 25 0 1 0 787115076 233209856 54210 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 56936 54210 1111 63 0 56873 0 vsize: 227744 [startup+940.189 s] Raw data (loadavg): 1.09 1.00 1.00 2/55 20830 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 54782 0 0 0 93916 110 0 0 25 0 1 0 787115076 235208704 54705 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 57424 54705 1111 63 0 57361 0 vsize: 229696 [startup+950.189 s] Raw data (loadavg): 1.07 1.00 1.00 2/55 20830 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 55265 0 0 0 94916 110 0 0 25 0 1 0 787115076 237232128 55188 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 57918 55188 1111 63 0 57855 0 vsize: 231672 [startup+960.19 s] Raw data (loadavg): 1.06 1.00 1.00 2/55 20830 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 55760 0 0 0 95915 111 0 0 25 0 1 0 787115076 239230976 55683 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58406 55683 1111 63 0 58343 0 vsize: 233624 [startup+970.19 s] Raw data (loadavg): 1.05 1.00 1.00 2/55 20830 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 56254 0 0 0 96915 112 0 0 25 0 1 0 787115076 241233920 56177 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58895 56177 1111 63 0 58832 0 vsize: 235580 [startup+980.191 s] Raw data (loadavg): 1.04 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 56750 0 0 0 97914 112 0 0 25 0 1 0 787115076 243388416 56673 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59421 56673 1111 63 0 59358 0 vsize: 237684 [startup+990.192 s] Raw data (loadavg): 1.04 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 57246 0 0 0 98913 113 0 0 25 0 1 0 787115076 245391360 57169 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59910 57169 1111 63 0 59847 0 vsize: 239640 [startup+1000.19 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 57741 0 0 0 99913 114 0 0 25 0 1 0 787115076 247390208 57664 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 60398 57664 1111 63 0 60335 0 vsize: 241592 [startup+1010.19 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 58237 0 0 0 100912 115 0 0 25 0 1 0 787115076 249389056 58160 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 60886 58160 1111 63 0 60823 0 vsize: 243544 [startup+1020.19 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 58738 0 0 0 101912 115 0 0 25 0 1 0 787115076 251392000 58661 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 61375 58661 1111 63 0 61312 0 vsize: 245500 [startup+1030.19 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 59233 0 0 0 102911 117 0 0 25 0 1 0 787115076 253521920 59156 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 61895 59156 1111 63 0 61832 0 vsize: 247580 [startup+1040.19 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 59734 0 0 0 103910 118 0 0 25 0 1 0 787115076 255520768 59657 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 62383 59657 1111 63 0 62320 0 vsize: 249532 [startup+1050.19 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 60229 0 0 0 104909 119 0 0 25 0 1 0 787115076 257523712 60152 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 62872 60152 1111 63 0 62809 0 vsize: 251488 [startup+1060.2 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 60724 0 0 0 105908 120 0 0 25 0 1 0 787115076 259522560 60647 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63360 60647 1111 63 0 63297 0 vsize: 253440 [startup+1070.2 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 61219 0 0 0 106907 121 0 0 25 0 1 0 787115076 261681152 61142 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63887 61142 1111 63 0 63824 0 vsize: 255548 [startup+1080.2 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 61758 0 0 0 107906 122 0 0 25 0 1 0 787115076 264036352 61681 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64462 61681 1111 63 0 64399 0 vsize: 257848 [startup+1090.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 62253 0 0 0 108906 123 0 0 25 0 1 0 787115076 266039296 62176 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64951 62176 1111 63 0 64888 0 vsize: 259804 [startup+1100.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 62749 0 0 0 109905 124 0 0 25 0 1 0 787115076 268193792 62672 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65477 62672 1111 63 0 65414 0 vsize: 261908 [startup+1110.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 63257 0 0 0 110905 125 0 0 25 0 1 0 787115076 270196736 63180 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65966 63180 1111 63 0 65903 0 vsize: 263864 [startup+1120.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 63753 0 0 0 111904 126 0 0 25 0 1 0 787115076 272171008 63676 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66448 63676 1111 63 0 66385 0 vsize: 265792 [startup+1130.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 64261 0 0 0 112904 126 0 0 25 0 1 0 787115076 274325504 64184 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66974 64184 1111 63 0 66911 0 vsize: 267896 [startup+1140.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 64757 0 0 0 113903 127 0 0 25 0 1 0 787115076 276328448 64680 4294967295 134512640 134714508 3221221776 3221220432 134527941 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 67463 64680 1111 63 0 67400 0 vsize: 269852 [startup+1150.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 65264 0 0 0 114903 127 0 0 25 0 1 0 787115076 278482944 65187 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 67989 65187 1111 63 0 67926 0 vsize: 271956 [startup+1160.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 65759 0 0 0 115902 129 0 0 25 0 1 0 787115076 280481792 65682 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68477 65682 1111 63 0 68414 0 vsize: 273908 [startup+1170.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 66268 0 0 0 116901 130 0 0 25 0 1 0 787115076 282484736 66191 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68966 66191 1111 63 0 68903 0 vsize: 275864 [startup+1180.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 66775 0 0 0 117900 131 0 0 25 0 1 0 787115076 284614656 66698 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69486 66698 1111 63 0 69423 0 vsize: 277944 [startup+1190.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 67271 0 0 0 118899 132 0 0 25 0 1 0 787115076 286613504 67194 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69974 67194 1111 63 0 69911 0 vsize: 279896 [startup+1200.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 67780 0 0 0 119898 133 0 0 25 0 1 0 787115076 288772096 67703 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 70501 67703 1111 63 0 70438 0 vsize: 282004 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.33 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 20832 Raw data (stat): 20777 (bsolo_lpr_cuts) Z 20776 7876 7672 0 -1 1036 67780 0 0 0 119898 146 0 0 25 0 1 0 787115076 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.33 CPU time (s): 1200.45 CPU user time (s): 1198.99 CPU system time (s): 1.46278 CPU usage (%): 100.01 Max. virtual memory (Kb): 282004 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####