Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
MD5SUM | 54f6acf3ab92bda8abb11350f74de20e |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -37 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1150 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.08 |
Number of variables | 1150 |
Total number of constraints | 80035 |
Number of constraints which are clauses | 80035 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-13 14:31:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3035 boxname=wulflinc31 idbench=338 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 54f6acf3ab92bda8abb11350f74de20e /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-5.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-5.opb IDLAUNCH: 3035 /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: 862316 kB Buffers: 36912 kB Cached: 113744 kB SwapCached: 1936 kB Active: 117084 kB Inactive: 36728 kB HighTotal: 131008 kB HighFree: 16492 kB LowTotal: 903652 kB LowFree: 845824 kB SwapTotal: 2097892 kB SwapFree: 2095224 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5360 kB Slab: 12956 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-13 14:51:44 (client local time) WITH STATUS 0 IN 1200.18 SECONDS stats: 3035 7 1200.18 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1150 variables and 80035 constraints. c After prepocess the problem consists of 1150 variables and 53093 constraints. c preprocess terminated 564.766 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.97 0.92 2/55 18062 Raw data (stat): 18062 (runsolver) R 18061 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 735908565 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.0007 s] Raw data (loadavg): 0.93 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 19362 0 0 0 941 55 0 0 25 0 1 0 735908565 82501632 19281 4294967295 134512640 134714508 3221221776 3221220576 134617624 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20142 19281 1111 63 0 20079 0 vsize: 80568 [startup+20.002 s] Raw data (loadavg): 0.94 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 24998 0 0 0 1929 66 0 0 25 0 1 0 735908565 102686720 24212 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25070 24212 1111 63 0 25007 0 vsize: 100280 [startup+30.0025 s] Raw data (loadavg): 0.95 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 26952 0 0 0 2924 71 0 0 25 0 1 0 735908565 110411776 26112 4294967295 134512640 134714508 3221221776 3221220272 134537797 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26956 26112 1111 63 0 26893 0 vsize: 107824 [startup+40.0034 s] Raw data (loadavg): 0.95 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 26952 0 0 0 3924 71 0 0 25 0 1 0 735908565 110411776 26112 4294967295 134512640 134714508 3221221776 3221220356 1077374508 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26956 26112 1111 63 0 26893 0 vsize: 107824 [startup+50.0047 s] Raw data (loadavg): 0.96 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27411 0 0 0 4922 73 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+60.0052 s] Raw data (loadavg): 0.97 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 5922 74 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+70.0062 s] Raw data (loadavg): 0.97 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 6921 74 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+80.0066 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 7921 75 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220412 134517908 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+90.0071 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 8920 76 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220260 134539580 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+100.007 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 9920 76 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+110.008 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 10920 77 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+120.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 11920 77 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134543108 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 12919 77 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220184 134543614 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 13919 77 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220192 134542668 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+150.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 14919 77 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+160.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 15919 78 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220392 134543785 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+170.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 16919 78 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220208 134543674 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 17919 79 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220416 134594944 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 18918 79 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 19918 79 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+210.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 20918 80 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+220.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 21918 80 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+230.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 22918 81 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220284 134543615 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+240.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 23917 81 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+250.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 24917 81 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 25917 82 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 26917 82 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 27916 83 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+290.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 28916 83 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 29916 83 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+310.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 30916 84 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 31915 84 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+330.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 32915 85 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220192 134543735 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+340.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 33915 85 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220192 134543712 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+350.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 34914 86 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+360.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 35914 86 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220396 134543776 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+370.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 36914 87 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220392 134543834 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+380.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 37914 87 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+390.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 38913 87 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+400.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 39913 88 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+410.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 40913 88 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+420.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 41913 89 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+430.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 42912 89 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220192 134543710 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+440.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 43912 89 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220288 134542865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+450.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 44912 90 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+460.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 45912 90 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+470.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 46912 91 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+480.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 47911 91 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+490.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 48911 91 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+500.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 49911 92 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+510.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 50911 92 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+520.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 51911 92 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+530.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 52911 92 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220440 134543174 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26975 26141 1111 63 0 26912 0 vsize: 107900 [startup+540.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27939 0 0 0 53910 94 0 0 25 0 1 0 735908565 112431104 26616 4294967295 134512640 134714508 3221221776 3221220576 134622873 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27449 26616 1111 63 0 27386 0 vsize: 109796 [startup+550.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27939 0 0 0 54909 94 0 0 25 0 1 0 735908565 112431104 26616 4294967295 134512640 134714508 3221221776 3221220564 134622760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27449 26616 1111 63 0 27386 0 vsize: 109796 [startup+560.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27939 0 0 0 55909 94 0 0 25 0 1 0 735908565 112431104 26616 4294967295 134512640 134714508 3221221776 3221220656 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27449 26616 1111 63 0 27386 0 vsize: 109796 [startup+570.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28272 0 0 0 56908 96 0 0 25 0 1 0 735908565 114401280 26949 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27930 26949 1111 63 0 27867 0 vsize: 111720 [startup+580.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28411 0 0 0 57906 98 0 0 25 0 1 0 735908565 114929664 27088 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28059 27088 1111 63 0 27996 0 vsize: 112236 [startup+590.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28483 0 0 0 58903 101 0 0 25 0 1 0 735908565 115298304 27160 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28149 27160 1111 63 0 28086 0 vsize: 112596 [startup+600.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28513 0 0 0 59902 102 0 0 25 0 1 0 735908565 115412992 27190 4294967295 134512640 134714508 3221221776 3221219648 1074052098 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28177 27190 1111 63 0 28114 0 vsize: 112708 [startup+610.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28577 0 0 0 60900 104 0 0 25 0 1 0 735908565 115650560 27254 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28235 27254 1111 63 0 28172 0 vsize: 112940 [startup+620.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28655 0 0 0 61899 105 0 0 25 0 1 0 735908565 115937280 27332 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28305 27332 1111 63 0 28242 0 vsize: 113220 [startup+630.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28679 0 0 0 62897 107 0 0 25 0 1 0 735908565 116031488 27356 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28328 27356 1111 63 0 28265 0 vsize: 113312 [startup+640.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28699 0 0 0 63896 109 0 0 25 0 1 0 735908565 116109312 27376 4294967295 134512640 134714508 3221221776 3221220048 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28347 27376 1111 63 0 28284 0 vsize: 113388 [startup+650.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28742 0 0 0 64895 110 0 0 25 0 1 0 735908565 116248576 27419 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28381 27419 1111 63 0 28318 0 vsize: 113524 [startup+660.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28760 0 0 0 65894 111 0 0 25 0 1 0 735908565 116318208 27437 4294967295 134512640 134714508 3221221776 3221220080 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28398 27437 1111 63 0 28335 0 vsize: 113592 [startup+670.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28777 0 0 0 66893 112 0 0 25 0 1 0 735908565 116383744 27454 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28414 27454 1111 63 0 28351 0 vsize: 113656 [startup+680.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28795 0 0 0 67892 113 0 0 25 0 1 0 735908565 116453376 27472 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28431 27472 1111 63 0 28368 0 vsize: 113724 [startup+690.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28895 0 0 0 68891 114 0 0 25 0 1 0 735908565 116822016 27572 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28521 27572 1111 63 0 28458 0 vsize: 114084 [startup+700.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28911 0 0 0 69890 115 0 0 25 0 1 0 735908565 116883456 27588 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28536 27588 1111 63 0 28473 0 vsize: 114144 [startup+710.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28925 0 0 0 70890 116 0 0 25 0 1 0 735908565 116936704 27602 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28549 27602 1111 63 0 28486 0 vsize: 114196 [startup+720.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28940 0 0 0 71889 116 0 0 25 0 1 0 735908565 116994048 27617 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28563 27617 1111 63 0 28500 0 vsize: 114252 [startup+730.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28956 0 0 0 72888 117 0 0 25 0 1 0 735908565 117055488 27633 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28578 27633 1111 63 0 28515 0 vsize: 114312 [startup+740.041 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29004 0 0 0 73888 118 0 0 25 0 1 0 735908565 116928512 27606 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28547 27606 1111 63 0 28484 0 vsize: 114188 [startup+750.042 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29018 0 0 0 74887 119 0 0 25 0 1 0 735908565 116981760 27620 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28560 27620 1111 63 0 28497 0 vsize: 114240 [startup+760.043 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29031 0 0 0 75886 120 0 0 25 0 1 0 735908565 117030912 27633 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28572 27633 1111 63 0 28509 0 vsize: 114288 [startup+770.044 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29043 0 0 0 76885 121 0 0 25 0 1 0 735908565 117080064 27645 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28584 27645 1111 63 0 28521 0 vsize: 114336 [startup+780.044 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29058 0 0 0 77884 122 0 0 25 0 1 0 735908565 117137408 27660 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28598 27660 1111 63 0 28535 0 vsize: 114392 [startup+790.045 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29069 0 0 0 78883 123 0 0 25 0 1 0 735908565 117178368 27671 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28608 27671 1111 63 0 28545 0 vsize: 114432 [startup+800.045 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29083 0 0 0 79883 124 0 0 25 0 1 0 735908565 117235712 27685 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28622 27685 1111 63 0 28559 0 vsize: 114488 [startup+810.046 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29094 0 0 0 80882 125 0 0 25 0 1 0 735908565 117276672 27696 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28632 27696 1111 63 0 28569 0 vsize: 114528 [startup+820.048 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29308 0 0 0 81881 126 0 0 25 0 1 0 735908565 118149120 27910 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28845 27910 1111 63 0 28782 0 vsize: 115380 [startup+830.048 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29320 0 0 0 82880 127 0 0 25 0 1 0 735908565 118198272 27922 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28857 27922 1111 63 0 28794 0 vsize: 115428 [startup+840.049 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29332 0 0 0 83879 128 0 0 25 0 1 0 735908565 118243328 27934 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28868 27934 1111 63 0 28805 0 vsize: 115472 [startup+850.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29343 0 0 0 84878 129 0 0 25 0 1 0 735908565 118284288 27945 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28878 27945 1111 63 0 28815 0 vsize: 115512 [startup+860.051 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29354 0 0 0 85877 130 0 0 25 0 1 0 735908565 118329344 27956 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28889 27956 1111 63 0 28826 0 vsize: 115556 [startup+870.052 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29367 0 0 0 86877 131 0 0 25 0 1 0 735908565 118378496 27969 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28901 27969 1111 63 0 28838 0 vsize: 115604 [startup+880.052 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29377 0 0 0 87876 131 0 0 25 0 1 0 735908565 118419456 27979 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28911 27979 1111 63 0 28848 0 vsize: 115644 [startup+890.054 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29390 0 0 0 88876 132 0 0 25 0 1 0 735908565 118468608 27992 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28923 27992 1111 63 0 28860 0 vsize: 115692 [startup+900.054 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29401 0 0 0 89875 133 0 0 25 0 1 0 735908565 118513664 28003 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28934 28003 1111 63 0 28871 0 vsize: 115736 [startup+910.055 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29411 0 0 0 90875 133 0 0 25 0 1 0 735908565 118550528 28013 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28943 28013 1111 63 0 28880 0 vsize: 115772 [startup+920.056 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29420 0 0 0 91874 134 0 0 25 0 1 0 735908565 118587392 28022 4294967295 134512640 134714508 3221221776 3221220032 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28952 28022 1111 63 0 28889 0 vsize: 115808 [startup+930.056 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29430 0 0 0 92873 135 0 0 25 0 1 0 735908565 118624256 28032 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28961 28032 1111 63 0 28898 0 vsize: 115844 [startup+940.057 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29515 0 0 0 93872 136 0 0 25 0 1 0 735908565 118972416 28117 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29046 28117 1111 63 0 28983 0 vsize: 116184 [startup+950.058 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29525 0 0 0 94871 137 0 0 25 0 1 0 735908565 119009280 28127 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29055 28127 1111 63 0 28992 0 vsize: 116220 [startup+960.059 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29534 0 0 0 95871 138 0 0 25 0 1 0 735908565 119046144 28136 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29064 28136 1111 63 0 29001 0 vsize: 116256 [startup+970.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29544 0 0 0 96870 138 0 0 25 0 1 0 735908565 119083008 28146 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29073 28146 1111 63 0 29010 0 vsize: 116292 [startup+980.061 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29553 0 0 0 97869 139 0 0 25 0 1 0 735908565 119119872 28155 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29082 28155 1111 63 0 29019 0 vsize: 116328 [startup+990.062 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29563 0 0 0 98869 140 0 0 25 0 1 0 735908565 119156736 28165 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29091 28165 1111 63 0 29028 0 vsize: 116364 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29574 0 0 0 99868 141 0 0 25 0 1 0 735908565 119201792 28176 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29102 28176 1111 63 0 29039 0 vsize: 116408 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29584 0 0 0 100867 142 0 0 25 0 1 0 735908565 119238656 28186 4294967295 134512640 134714508 3221221776 3221220048 1074153773 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29111 28186 1111 63 0 29048 0 vsize: 116444 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29593 0 0 0 101866 143 0 0 25 0 1 0 735908565 119275520 28195 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29120 28195 1111 63 0 29057 0 vsize: 116480 [startup+1030.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29601 0 0 0 102865 144 0 0 25 0 1 0 735908565 119304192 28203 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29127 28203 1111 63 0 29064 0 vsize: 116508 [startup+1040.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29610 0 0 0 103865 144 0 0 25 0 1 0 735908565 119341056 28212 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29136 28212 1111 63 0 29073 0 vsize: 116544 [startup+1050.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29620 0 0 0 104864 145 0 0 25 0 1 0 735908565 119377920 28222 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29145 28222 1111 63 0 29082 0 vsize: 116580 [startup+1060.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29628 0 0 0 105863 146 0 0 25 0 1 0 735908565 119410688 28230 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29153 28230 1111 63 0 29090 0 vsize: 116612 [startup+1070.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29637 0 0 0 106863 147 0 0 25 0 1 0 735908565 119447552 28239 4294967295 134512640 134714508 3221221776 3221220080 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29162 28239 1111 63 0 29099 0 vsize: 116648 [startup+1080.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29647 0 0 0 107862 147 0 0 25 0 1 0 735908565 119484416 28249 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29171 28249 1111 63 0 29108 0 vsize: 116684 [startup+1090.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29654 0 0 0 108862 148 0 0 25 0 1 0 735908565 119513088 28256 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29178 28256 1111 63 0 29115 0 vsize: 116712 [startup+1100.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29663 0 0 0 109862 149 0 0 25 0 1 0 735908565 119545856 28265 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29186 28265 1111 63 0 29123 0 vsize: 116744 [startup+1110.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29767 0 0 0 110861 150 0 0 25 0 1 0 735908565 119971840 28369 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29290 28369 1111 63 0 29227 0 vsize: 117160 [startup+1120.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29775 0 0 0 111860 151 0 0 25 0 1 0 735908565 120000512 28377 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29297 28377 1111 63 0 29234 0 vsize: 117188 [startup+1130.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29783 0 0 0 112860 151 0 0 25 0 1 0 735908565 120033280 28385 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29305 28385 1111 63 0 29242 0 vsize: 117220 [startup+1140.08 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29790 0 0 0 113859 152 0 0 25 0 1 0 735908565 120061952 28392 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29312 28392 1111 63 0 29249 0 vsize: 117248 [startup+1150.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29799 0 0 0 114858 152 0 0 25 0 1 0 735908565 120094720 28401 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29320 28401 1111 63 0 29257 0 vsize: 117280 [startup+1160.08 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29808 0 0 0 115859 153 0 0 25 0 1 0 735908565 120131584 28410 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29329 28410 1111 63 0 29266 0 vsize: 117316 [startup+1170.08 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29816 0 0 0 116859 153 0 0 25 0 1 0 735908565 120160256 28418 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29336 28418 1111 63 0 29273 0 vsize: 117344 [startup+1180.08 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29824 0 0 0 117859 153 0 0 25 0 1 0 735908565 120193024 28426 4294967295 134512640 134714508 3221221776 3221220032 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29344 28426 1111 63 0 29281 0 vsize: 117376 [startup+1190.08 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29833 0 0 0 118859 153 0 0 25 0 1 0 735908565 120229888 28435 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29353 28435 1111 63 0 29290 0 vsize: 117412 [startup+1200.08 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29841 0 0 0 119859 153 0 0 25 0 1 0 735908565 120258560 28443 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29360 28443 1111 63 0 29297 0 vsize: 117440 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.13 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 18062 Raw data (stat): 18062 (bsolo_lpr_cuts) Z 18061 7876 7672 0 -1 1036 29841 0 0 0 119859 159 0 0 25 0 1 0 735908565 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.13 CPU time (s): 1200.18 CPU user time (s): 1198.59 CPU system time (s): 1.59176 CPU usage (%): 100.004 Max. virtual memory (Kb): 117440 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####