Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos4.opb |
MD5SUM | 30059c64e21a2e364f81efb4e08403c5 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 78981 |
Biggest coefficient in the objective function | 1400338009135513600000000 |
Number of bits for the biggest coefficient in the objective function | 81 |
Sum of the numbers in the objective function | 357842136202818385868750848 |
Number of bits of the sum of numbers in the objective function | 89 |
Biggest number in a constraint | 1400338009135513600000000 |
Number of bits of the biggest number in a constraint | 81 |
Biggest sum of numbers in a constraint | 357842136202818385868750848 |
Number of bits of the biggest sum of numbers | 89 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.50277 |
Number of variables | 151216 |
Total number of constraints | 56505 |
Number of constraints which are clauses | 32142 |
Number of constraints which are cardinality constraints (but not clauses) | 17175 |
Number of constraints which are nor clauses,nor cardinality constraints | 7188 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 752 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-19 14:22:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19697 boxname=wulflinc31 idbench=1516 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 30059c64e21a2e364f81efb4e08403c5 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos4.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos4.opb IDLAUNCH: 19697 /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: 703880 kB Buffers: 32496 kB Cached: 272524 kB SwapCached: 5400 kB Active: 244508 kB Inactive: 67120 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 703628 kB SwapTotal: 2097892 kB SwapFree: 2091564 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5360 kB Slab: 13460 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-19 14:42:11 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 19697 7 1200.22 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.88 0.95 0.97 2/55 22021 Raw data (stat): 22021 (runsolver) R 22020 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 787697213 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0002 s] Raw data (loadavg): 0.90 0.95 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1078 0 0 0 990 6 0 0 25 0 1 0 787697213 15351808 1001 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3748 1001 1111 63 0 3685 0 vsize: 14992 [startup+20.0009 s] Raw data (loadavg): 0.91 0.96 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1135 0 0 0 1990 6 0 0 25 0 1 0 787697213 15622144 1058 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3814 1058 1111 63 0 3751 0 vsize: 15256 [startup+30.0006 s] Raw data (loadavg): 0.93 0.96 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1199 0 0 0 2990 6 0 0 25 0 1 0 787697213 15757312 1122 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3847 1122 1111 63 0 3784 0 vsize: 15388 [startup+40.0008 s] Raw data (loadavg): 0.94 0.96 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1261 0 0 0 3990 6 0 0 25 0 1 0 787697213 16048128 1184 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3918 1184 1111 63 0 3855 0 vsize: 15672 [startup+50.002 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1312 0 0 0 4990 6 0 0 25 0 1 0 787697213 16338944 1235 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3989 1235 1111 63 0 3926 0 vsize: 15956 [startup+60.0024 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1379 0 0 0 5990 7 0 0 25 0 1 0 787697213 16613376 1302 4294967295 134512640 134714508 3221221776 3221220004 1077414347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4056 1302 1111 63 0 3993 0 vsize: 16224 [startup+70.0036 s] Raw data (loadavg): 0.96 0.96 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1442 0 0 0 6990 7 0 0 25 0 1 0 787697213 16748544 1365 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4089 1365 1111 63 0 4026 0 vsize: 16356 [startup+80.0045 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1495 0 0 0 7990 7 0 0 25 0 1 0 787697213 17018880 1418 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4155 1418 1111 63 0 4092 0 vsize: 16620 [startup+90.0042 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1558 0 0 0 8990 7 0 0 25 0 1 0 787697213 17289216 1481 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4221 1481 1111 63 0 4158 0 vsize: 16884 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1620 0 0 0 9990 7 0 0 25 0 1 0 787697213 17580032 1543 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4292 1543 1111 63 0 4229 0 vsize: 17168 [startup+110.006 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1672 0 0 0 10991 7 0 0 25 0 1 0 787697213 17715200 1595 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4325 1595 1111 63 0 4262 0 vsize: 17300 [startup+120.006 s] Raw data (loadavg): 0.98 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1739 0 0 0 11990 8 0 0 25 0 1 0 787697213 18006016 1662 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4396 1662 1111 63 0 4333 0 vsize: 17584 [startup+130.006 s] Raw data (loadavg): 0.98 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1803 0 0 0 12990 8 0 0 25 0 1 0 787697213 18296832 1726 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4467 1726 1111 63 0 4404 0 vsize: 17868 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1868 0 0 0 13990 9 0 0 25 0 1 0 787697213 18567168 1791 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4533 1791 1111 63 0 4470 0 vsize: 18132 [startup+150.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1919 0 0 0 14990 9 0 0 25 0 1 0 787697213 18702336 1842 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4566 1842 1111 63 0 4503 0 vsize: 18264 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 1985 0 0 0 15990 9 0 0 25 0 1 0 787697213 18989056 1908 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4636 1908 1111 63 0 4573 0 vsize: 18544 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2048 0 0 0 16990 9 0 0 25 0 1 0 787697213 19263488 1971 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4703 1971 1111 63 0 4640 0 vsize: 18812 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2111 0 0 0 17990 9 0 0 25 0 1 0 787697213 19554304 2034 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4774 2034 1111 63 0 4711 0 vsize: 19096 [startup+190.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2176 0 0 0 18990 10 0 0 25 0 1 0 787697213 19824640 2099 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4840 2099 1111 63 0 4777 0 vsize: 19360 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2226 0 0 0 19990 10 0 0 25 0 1 0 787697213 19959808 2149 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4873 2149 1111 63 0 4810 0 vsize: 19492 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2289 0 0 0 20990 10 0 0 25 0 1 0 787697213 20246528 2212 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4943 2212 1111 63 0 4880 0 vsize: 19772 [startup+220.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2354 0 0 0 21990 10 0 0 25 0 1 0 787697213 20516864 2277 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5009 2277 1111 63 0 4946 0 vsize: 20036 [startup+230.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2427 0 0 0 22991 10 0 0 25 0 1 0 787697213 20807680 2350 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5080 2350 1111 63 0 5017 0 vsize: 20320 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2482 0 0 0 23991 10 0 0 25 0 1 0 787697213 21098496 2405 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5151 2405 1111 63 0 5088 0 vsize: 20604 [startup+250.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2541 0 0 0 24991 11 0 0 25 0 1 0 787697213 21389312 2464 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5222 2464 1111 63 0 5159 0 vsize: 20888 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2605 0 0 0 25990 11 0 0 25 0 1 0 787697213 21659648 2528 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5288 2528 1111 63 0 5225 0 vsize: 21152 [startup+270.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2670 0 0 0 26991 11 0 0 25 0 1 0 787697213 21794816 2593 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5321 2593 1111 63 0 5258 0 vsize: 21284 [startup+280.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2734 0 0 0 27991 11 0 0 25 0 1 0 787697213 22085632 2657 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5392 2657 1111 63 0 5329 0 vsize: 21568 [startup+290.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2799 0 0 0 28991 11 0 0 25 0 1 0 787697213 22376448 2722 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5463 2722 1111 63 0 5400 0 vsize: 21852 [startup+300.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2855 0 0 0 29991 11 0 0 25 0 1 0 787697213 22646784 2778 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5529 2778 1111 63 0 5466 0 vsize: 22116 [startup+310.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2914 0 0 0 30991 11 0 0 25 0 1 0 787697213 22917120 2837 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5595 2837 1111 63 0 5532 0 vsize: 22380 [startup+320.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 2979 0 0 0 31991 12 0 0 25 0 1 0 787697213 23072768 2902 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5633 2902 1111 63 0 5570 0 vsize: 22532 [startup+330.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3042 0 0 0 32991 12 0 0 25 0 1 0 787697213 23367680 2965 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5705 2965 1111 63 0 5642 0 vsize: 22820 [startup+340.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3106 0 0 0 33991 12 0 0 25 0 1 0 787697213 23638016 3029 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5771 3029 1111 63 0 5708 0 vsize: 23084 [startup+350.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3172 0 0 0 34991 12 0 0 25 0 1 0 787697213 23908352 3095 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5837 3095 1111 63 0 5774 0 vsize: 23348 [startup+360.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3236 0 0 0 35991 12 0 0 25 0 1 0 787697213 24199168 3159 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5908 3159 1111 63 0 5845 0 vsize: 23632 [startup+370.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3301 0 0 0 36991 12 0 0 25 0 1 0 787697213 24469504 3224 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5974 3224 1111 63 0 5911 0 vsize: 23896 [startup+380.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3365 0 0 0 37992 12 0 0 25 0 1 0 787697213 24625152 3288 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6012 3288 1111 63 0 5949 0 vsize: 24048 [startup+390.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3414 0 0 0 38992 12 0 0 25 0 1 0 787697213 24895488 3337 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6078 3337 1111 63 0 6015 0 vsize: 24312 [startup+400.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3473 0 0 0 39992 12 0 0 25 0 1 0 787697213 25165824 3396 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6144 3396 1111 63 0 6081 0 vsize: 24576 [startup+410.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3530 0 0 0 40992 12 0 0 25 0 1 0 787697213 25300992 3453 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6177 3453 1111 63 0 6114 0 vsize: 24708 [startup+420.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3594 0 0 0 41992 12 0 0 25 0 1 0 787697213 25591808 3517 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6248 3517 1111 63 0 6185 0 vsize: 24992 [startup+430.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3659 0 0 0 42992 13 0 0 25 0 1 0 787697213 25882624 3582 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6319 3582 1111 63 0 6256 0 vsize: 25276 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3723 0 0 0 43992 13 0 0 25 0 1 0 787697213 26152960 3646 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6385 3646 1111 63 0 6322 0 vsize: 25540 [startup+450.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3789 0 0 0 44992 13 0 0 25 0 1 0 787697213 26423296 3712 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6451 3712 1111 63 0 6388 0 vsize: 25804 [startup+460.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3863 0 0 0 45993 13 0 0 25 0 1 0 787697213 26746880 3786 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6530 3786 1111 63 0 6467 0 vsize: 26120 [startup+470.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3927 0 0 0 46993 13 0 0 25 0 1 0 787697213 27037696 3850 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6601 3850 1111 63 0 6538 0 vsize: 26404 [startup+480.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 3984 0 0 0 47993 13 0 0 25 0 1 0 787697213 27312128 3907 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6668 3907 1111 63 0 6605 0 vsize: 26672 [startup+490.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4041 0 0 0 48993 13 0 0 25 0 1 0 787697213 27447296 3964 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6701 3964 1111 63 0 6638 0 vsize: 26804 [startup+500.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4107 0 0 0 49993 13 0 0 25 0 1 0 787697213 27738112 4030 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6772 4030 1111 63 0 6709 0 vsize: 27088 [startup+510.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4172 0 0 0 50993 14 0 0 25 0 1 0 787697213 28028928 4095 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6843 4095 1111 63 0 6780 0 vsize: 27372 [startup+520.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4236 0 0 0 51993 14 0 0 25 0 1 0 787697213 28299264 4159 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6909 4159 1111 63 0 6846 0 vsize: 27636 [startup+530.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4302 0 0 0 52993 14 0 0 25 0 1 0 787697213 28569600 4225 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6975 4225 1111 63 0 6912 0 vsize: 27900 [startup+540.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4372 0 0 0 53993 14 0 0 25 0 1 0 787697213 28860416 4295 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7046 4295 1111 63 0 6983 0 vsize: 28184 [startup+550.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4445 0 0 0 54993 14 0 0 25 0 1 0 787697213 29151232 4368 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7117 4368 1111 63 0 7054 0 vsize: 28468 [startup+560.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4511 0 0 0 55993 14 0 0 25 0 1 0 787697213 29421568 4434 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7183 4434 1111 63 0 7120 0 vsize: 28732 [startup+570.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4574 0 0 0 56993 14 0 0 25 0 1 0 787697213 29691904 4497 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7249 4497 1111 63 0 7186 0 vsize: 28996 [startup+580.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4641 0 0 0 57993 14 0 0 25 0 1 0 787697213 29962240 4564 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7315 4564 1111 63 0 7252 0 vsize: 29260 [startup+590.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4706 0 0 0 58994 14 0 0 25 0 1 0 787697213 30253056 4629 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 4629 1111 63 0 7323 0 vsize: 29544 [startup+600.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4774 0 0 0 59994 14 0 0 25 0 1 0 787697213 30543872 4697 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7457 4697 1111 63 0 7394 0 vsize: 29828 [startup+610.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4852 0 0 0 60994 14 0 0 25 0 1 0 787697213 30814208 4775 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7523 4775 1111 63 0 7460 0 vsize: 30092 [startup+620.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4917 0 0 0 61994 14 0 0 25 0 1 0 787697213 31084544 4840 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7589 4840 1111 63 0 7526 0 vsize: 30356 [startup+630.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 4984 0 0 0 62994 15 0 0 25 0 1 0 787697213 31375360 4907 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7660 4907 1111 63 0 7597 0 vsize: 30640 [startup+640.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5047 0 0 0 63994 15 0 0 25 0 1 0 787697213 31666176 4970 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7731 4970 1111 63 0 7668 0 vsize: 30924 [startup+650.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5115 0 0 0 64994 15 0 0 25 0 1 0 787697213 31936512 5038 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7797 5038 1111 63 0 7734 0 vsize: 31188 [startup+660.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5193 0 0 0 65994 15 0 0 25 0 1 0 787697213 32206848 5116 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7863 5116 1111 63 0 7800 0 vsize: 31452 [startup+670.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5260 0 0 0 66994 15 0 0 25 0 1 0 787697213 32477184 5183 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7929 5183 1111 63 0 7866 0 vsize: 31716 [startup+680.035 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5331 0 0 0 67994 16 0 0 25 0 1 0 787697213 32768000 5254 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8000 5254 1111 63 0 7937 0 vsize: 32000 [startup+690.035 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5403 0 0 0 68994 16 0 0 25 0 1 0 787697213 33058816 5326 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8071 5326 1111 63 0 8008 0 vsize: 32284 [startup+700.035 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5472 0 0 0 69994 16 0 0 25 0 1 0 787697213 33329152 5395 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8137 5395 1111 63 0 8074 0 vsize: 32548 [startup+710.036 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5550 0 0 0 70995 16 0 0 25 0 1 0 787697213 33599488 5473 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8203 5473 1111 63 0 8140 0 vsize: 32812 [startup+720.036 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5615 0 0 0 71995 16 0 0 25 0 1 0 787697213 33890304 5538 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8274 5538 1111 63 0 8211 0 vsize: 33096 [startup+730.036 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5680 0 0 0 72995 16 0 0 25 0 1 0 787697213 34181120 5603 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8345 5603 1111 63 0 8282 0 vsize: 33380 [startup+740.036 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5747 0 0 0 73994 16 0 0 25 0 1 0 787697213 34451456 5670 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8411 5670 1111 63 0 8348 0 vsize: 33644 [startup+750.037 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5825 0 0 0 74994 17 0 0 25 0 1 0 787697213 34721792 5748 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8477 5748 1111 63 0 8414 0 vsize: 33908 [startup+760.037 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5893 0 0 0 75994 17 0 0 25 0 1 0 787697213 35012608 5816 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8548 5816 1111 63 0 8485 0 vsize: 34192 [startup+770.038 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 5972 0 0 0 76994 17 0 0 25 0 1 0 787697213 35438592 5895 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8652 5895 1111 63 0 8589 0 vsize: 34608 [startup+780.039 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 6038 0 0 0 77994 18 0 0 25 0 1 0 787697213 35708928 5961 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8718 5961 1111 63 0 8655 0 vsize: 34872 [startup+790.039 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 6118 0 0 0 78994 18 0 0 25 0 1 0 787697213 35979264 6041 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8784 6041 1111 63 0 8721 0 vsize: 35136 [startup+800.039 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 6192 0 0 0 79994 18 0 0 25 0 1 0 787697213 36270080 6115 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8855 6115 1111 63 0 8792 0 vsize: 35420 [startup+810.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 6267 0 0 0 80994 18 0 0 25 0 1 0 787697213 36564992 6190 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8927 6190 1111 63 0 8864 0 vsize: 35708 [startup+820.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 6347 0 0 0 81994 18 0 0 25 0 1 0 787697213 36970496 6270 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9026 6270 1111 63 0 8963 0 vsize: 36104 [startup+830.041 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 6428 0 0 0 82994 18 0 0 25 0 1 0 787697213 37265408 6351 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9098 6351 1111 63 0 9035 0 vsize: 36392 [startup+840.042 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 6507 0 0 0 83994 19 0 0 25 0 1 0 787697213 37556224 6430 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9169 6430 1111 63 0 9106 0 vsize: 36676 [startup+850.042 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 6606 0 0 0 84994 19 0 0 25 0 1 0 787697213 38019072 6529 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9282 6529 1111 63 0 9219 0 vsize: 37128 [startup+860.042 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 6658 0 0 0 85994 19 0 0 25 0 1 0 787697213 38289408 6581 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9348 6581 1111 63 0 9285 0 vsize: 37392 [startup+870.043 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 6737 0 0 0 86994 19 0 0 25 0 1 0 787697213 38580224 6660 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9419 6660 1111 63 0 9356 0 vsize: 37676 [startup+880.044 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 6810 0 0 0 87994 20 0 0 25 0 1 0 787697213 38871040 6733 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9490 6733 1111 63 0 9427 0 vsize: 37960 [startup+890.045 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 6883 0 0 0 88993 20 0 0 25 0 1 0 787697213 39276544 6806 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9589 6806 1111 63 0 9526 0 vsize: 38356 [startup+900.045 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 6964 0 0 0 89993 20 0 0 25 0 1 0 787697213 39546880 6887 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9655 6887 1111 63 0 9592 0 vsize: 38620 [startup+910.046 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 7031 0 0 0 90994 20 0 0 25 0 1 0 787697213 39837696 6954 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9726 6954 1111 63 0 9663 0 vsize: 38904 [startup+920.047 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 7096 0 0 0 91994 20 0 0 25 0 1 0 787697213 40128512 7019 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9797 7019 1111 63 0 9734 0 vsize: 39188 [startup+930.047 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 7174 0 0 0 92994 21 0 0 25 0 1 0 787697213 40398848 7097 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9863 7097 1111 63 0 9800 0 vsize: 39452 [startup+940.047 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 7242 0 0 0 93994 21 0 0 25 0 1 0 787697213 40669184 7165 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9929 7165 1111 63 0 9866 0 vsize: 39716 [startup+950.047 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 7323 0 0 0 94994 21 0 0 25 0 1 0 787697213 40960000 7246 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10000 7246 1111 63 0 9937 0 vsize: 40000 [startup+960.048 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 7404 0 0 0 95994 21 0 0 25 0 1 0 787697213 41385984 7327 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10104 7327 1111 63 0 10041 0 vsize: 40416 [startup+970.048 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 7483 0 0 0 96994 21 0 0 25 0 1 0 787697213 41656320 7406 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10170 7406 1111 63 0 10107 0 vsize: 40680 [startup+980.049 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 7551 0 0 0 97994 21 0 0 25 0 1 0 787697213 41926656 7474 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10236 7474 1111 63 0 10173 0 vsize: 40944 [startup+990.048 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 7615 0 0 0 98994 22 0 0 25 0 1 0 787697213 42217472 7538 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10307 7538 1111 63 0 10244 0 vsize: 41228 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 7696 0 0 0 99994 22 0 0 25 0 1 0 787697213 42508288 7619 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10378 7619 1111 63 0 10315 0 vsize: 41512 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 7775 0 0 0 100994 22 0 0 25 0 1 0 787697213 42782720 7698 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10445 7698 1111 63 0 10382 0 vsize: 41780 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 7849 0 0 0 101994 22 0 0 25 0 1 0 787697213 43208704 7772 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10549 7772 1111 63 0 10486 0 vsize: 42196 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 7924 0 0 0 102994 22 0 0 25 0 1 0 787697213 43479040 7847 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10615 7847 1111 63 0 10552 0 vsize: 42460 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 8005 0 0 0 103994 22 0 0 25 0 1 0 787697213 43769856 7928 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10686 7928 1111 63 0 10623 0 vsize: 42744 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 8086 0 0 0 104994 23 0 0 25 0 1 0 787697213 44040192 8009 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10752 8009 1111 63 0 10689 0 vsize: 43008 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 8151 0 0 0 105994 23 0 0 25 0 1 0 787697213 44310528 8074 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10818 8074 1111 63 0 10755 0 vsize: 43272 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 8232 0 0 0 106994 23 0 0 25 0 1 0 787697213 44761088 8155 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10928 8155 1111 63 0 10865 0 vsize: 43712 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 8311 0 0 0 107994 23 0 0 25 0 1 0 787697213 45031424 8234 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10994 8234 1111 63 0 10931 0 vsize: 43976 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 8394 0 0 0 108994 23 0 0 25 0 1 0 787697213 45301760 8317 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11060 8317 1111 63 0 10997 0 vsize: 44240 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 8473 0 0 0 109994 23 0 0 25 0 1 0 787697213 45748224 8396 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11169 8396 1111 63 0 11106 0 vsize: 44676 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 8542 0 0 0 110994 24 0 0 25 0 1 0 787697213 46018560 8465 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11235 8465 1111 63 0 11172 0 vsize: 44940 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 8622 0 0 0 111994 24 0 0 25 0 1 0 787697213 46288896 8545 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11301 8545 1111 63 0 11238 0 vsize: 45204 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 8704 0 0 0 112994 24 0 0 25 0 1 0 787697213 46579712 8627 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11372 8627 1111 63 0 11309 0 vsize: 45488 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 8783 0 0 0 113993 25 0 0 25 0 1 0 787697213 47009792 8706 4294967295 134512640 134714508 3221221776 3221218492 1077191266 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11477 8706 1111 63 0 11414 0 vsize: 45908 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 8864 0 0 0 114994 25 0 0 25 0 1 0 787697213 47284224 8787 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11544 8787 1111 63 0 11481 0 vsize: 46176 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 8937 0 0 0 115994 25 0 0 25 0 1 0 787697213 47575040 8860 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11615 8860 1111 63 0 11552 0 vsize: 46460 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 9020 0 0 0 116994 25 0 0 25 0 1 0 787697213 47865856 8943 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11686 8943 1111 63 0 11623 0 vsize: 46744 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 9101 0 0 0 117994 25 0 0 25 0 1 0 787697213 48271360 9024 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11785 9024 1111 63 0 11722 0 vsize: 47140 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 9182 0 0 0 118994 26 0 0 25 0 1 0 787697213 48541696 9105 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11851 9105 1111 63 0 11788 0 vsize: 47404 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) R 22020 7876 7672 0 -1 0 9269 0 0 0 119994 26 0 0 25 0 1 0 787697213 48967680 9192 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11955 9192 1111 63 0 11892 0 vsize: 47820 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.08 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 22021 Raw data (stat): 22021 (bsolo_lpr_cuts) Z 22020 7876 7672 0 -1 1036 9269 0 0 0 119994 27 0 0 25 0 1 0 787697213 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.08 CPU time (s): 1200.22 CPU user time (s): 1199.94 CPU system time (s): 0.278957 CPU usage (%): 100.012 Max. virtual memory (Kb): 47820 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####