Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb |
MD5SUM | 02058527b1ad27d5be75faa6974ffa0f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -42 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1400 |
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 | 1400 |
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 | 1400 |
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.11 |
Number of variables | 1400 |
Total number of constraints | 109676 |
Number of constraints which are clauses | 109676 |
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-14 00:38:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3089 boxname=wulflinc31 idbench=344 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 02058527b1ad27d5be75faa6974ffa0f /oldhome/oroussel/tmp/wulflinc31/normalized-frb56-25-1.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb56-25-1.opb IDLAUNCH: 3089 /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: 846716 kB Buffers: 37864 kB Cached: 128232 kB SwapCached: 1932 kB Active: 131380 kB Inactive: 37912 kB HighTotal: 131008 kB HighFree: 2044 kB LowTotal: 903652 kB LowFree: 844672 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5360 kB Slab: 12992 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-14 00:58:25 (client local time) WITH STATUS 0 IN 1200.25 SECONDS stats: 3089 7 1200.25 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1400 variables and 109676 constraints. c After prepocess the problem consists of 1400 variables and 75744 constraints. c preprocess terminated 840.167 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.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (runsolver) R 21500 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 739549075 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.0007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 11012 0 0 0 961 34 0 0 25 0 1 0 739549075 58208256 10935 4294967295 134512640 134714508 3221221776 3221220264 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14211 10935 1111 63 0 14148 0 vsize: 56844 [startup+20.0008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 32511 0 0 0 1909 85 0 0 25 0 1 0 739549075 135241728 32183 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33018 32183 1111 63 0 32955 0 vsize: 132072 [startup+30.0016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 34636 0 0 0 2905 90 0 0 25 0 1 0 739549075 137527296 32741 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33576 32741 1111 63 0 33513 0 vsize: 134304 [startup+40.0016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 34636 0 0 0 3904 91 0 0 25 0 1 0 739549075 137527296 32741 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33576 32741 1111 63 0 33513 0 vsize: 134304 [startup+50.0024 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 34636 0 0 0 4904 91 0 0 25 0 1 0 739549075 137527296 32741 4294967295 134512640 134714508 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33576 32741 1111 63 0 33513 0 vsize: 134304 [startup+60.0024 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 34921 0 0 0 5903 93 0 0 25 0 1 0 739549075 137527296 32741 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33576 32741 1111 63 0 33513 0 vsize: 134304 [startup+70.0023 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 34921 0 0 0 6902 94 0 0 25 0 1 0 739549075 137527296 32741 4294967295 134512640 134714508 3221221776 3221220352 134535742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33576 32741 1111 63 0 33513 0 vsize: 134304 [startup+80.0033 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 34921 0 0 0 7902 94 0 0 25 0 1 0 739549075 137527296 32741 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33576 32741 1111 63 0 33513 0 vsize: 134304 [startup+90.0032 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 34921 0 0 0 8902 94 0 0 25 0 1 0 739549075 137527296 32741 4294967295 134512640 134714508 3221221776 3221220160 134542300 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33576 32741 1111 63 0 33513 0 vsize: 134304 [startup+100.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 40154 0 0 0 9891 106 0 0 25 0 1 0 739549075 159076352 37974 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38837 37974 1111 63 0 38774 0 vsize: 155348 [startup+110.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 10887 109 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+120.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 11887 110 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+130.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 12887 110 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+140.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 13886 110 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220448 134606963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+150.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 14886 111 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+160.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 15886 112 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220304 134542848 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+170.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 16885 112 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+180.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 17885 112 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+190.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 18885 113 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220108 134535911 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+200.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 19885 113 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220192 134543710 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+210.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 20885 113 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+220.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 21884 114 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+230.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 22884 115 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+240.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 23883 115 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134536643 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+250.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 24883 115 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+260.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 25883 116 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+270.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 26883 116 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+280.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 27883 117 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+290.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 28883 117 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+300.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 29882 118 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220304 134542848 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+310.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 30881 118 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134539362 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+320.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 31881 119 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+330.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 32881 119 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+340.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 33880 120 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220108 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+350.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 34880 120 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+360.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 35880 121 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220192 134542677 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+370.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 36880 121 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220140 134539217 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+380.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 37879 122 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+390.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 38879 122 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220220 134542656 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+400.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 39879 123 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220236 134543664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+410.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 40878 123 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+420.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 41878 123 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220268 134542371 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+430.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 42878 124 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+440.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 43878 124 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134539371 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+450.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 44878 124 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+460.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 45877 125 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+470.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 46877 125 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+480.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 47877 125 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220268 134543615 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+490.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 48877 126 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+500.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 49877 126 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+510.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 50876 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+520.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 51876 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+530.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 52877 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+540.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 53877 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220192 134542677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+550.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 54877 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220280 134543606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+560.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 55877 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+570.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 56877 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+580.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 57877 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+590.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 58877 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+600.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 59878 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220160 134542368 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+610.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 60878 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220284 134543616 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+620.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 61878 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220268 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+630.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 62878 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+640.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 63878 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+650.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 64878 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134542347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+660.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 65879 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220392 134543785 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+670.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 66879 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+680.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 67879 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220188 134543615 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+690.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 68879 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220160 134542300 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+700.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 69879 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+710.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 70880 127 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+720.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 71880 128 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+730.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 72880 128 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+740.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 73880 128 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220448 134627252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+750.022 s] Raw data (loadavg): 0.99 0.98 0.93 3/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 74880 128 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+760.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 75880 128 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+770.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 76881 128 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+780.023 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41169 0 0 0 77881 128 0 0 25 0 1 0 739549075 161497088 38593 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38593 1111 63 0 39365 0 vsize: 157712 [startup+790.023 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41170 0 0 0 78881 128 0 0 25 0 1 0 739549075 161497088 38594 4294967295 134512640 134714508 3221221776 3221220632 134542409 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38594 1111 63 0 39365 0 vsize: 157712 [startup+800.024 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41170 0 0 0 79881 128 0 0 25 0 1 0 739549075 161497088 38594 4294967295 134512640 134714508 3221221776 3221220644 134622267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38594 1111 63 0 39365 0 vsize: 157712 [startup+810.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41170 0 0 0 80881 128 0 0 25 0 1 0 739549075 161497088 38594 4294967295 134512640 134714508 3221221776 3221220640 134622307 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38594 1111 63 0 39365 0 vsize: 157712 [startup+820.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41170 0 0 0 81881 128 0 0 25 0 1 0 739549075 161497088 38594 4294967295 134512640 134714508 3221221776 3221220644 134622267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38594 1111 63 0 39365 0 vsize: 157712 [startup+830.026 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41170 0 0 0 82882 128 0 0 25 0 1 0 739549075 161497088 38594 4294967295 134512640 134714508 3221221776 3221220656 134622335 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38594 1111 63 0 39365 0 vsize: 157712 [startup+840.026 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41171 0 0 0 83882 128 0 0 25 0 1 0 739549075 161497088 38595 4294967295 134512640 134714508 3221221776 3221220656 134663702 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39428 38595 1111 63 0 39365 0 vsize: 157712 [startup+850.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41200 0 0 0 84882 128 0 0 25 0 1 0 739549075 162381824 38624 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39644 38624 1111 63 0 39581 0 vsize: 158576 [startup+860.028 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41203 0 0 0 85882 128 0 0 25 0 1 0 739549075 162381824 38627 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39644 38627 1111 63 0 39581 0 vsize: 158576 [startup+870.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41205 0 0 0 86882 128 0 0 25 0 1 0 739549075 162381824 38629 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39644 38629 1111 63 0 39581 0 vsize: 158576 [startup+880.028 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41206 0 0 0 87882 128 0 0 25 0 1 0 739549075 162381824 38630 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39644 38630 1111 63 0 39581 0 vsize: 158576 [startup+890.028 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41208 0 0 0 88882 128 0 0 25 0 1 0 739549075 162381824 38632 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39644 38632 1111 63 0 39581 0 vsize: 158576 [startup+900.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41209 0 0 0 89882 128 0 0 25 0 1 0 739549075 162381824 38633 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39644 38633 1111 63 0 39581 0 vsize: 158576 [startup+910.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41416 0 0 0 90882 129 0 0 25 0 1 0 739549075 163221504 38840 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39849 38840 1111 63 0 39786 0 vsize: 159396 [startup+920.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41430 0 0 0 91882 129 0 0 25 0 1 0 739549075 163274752 38854 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39862 38854 1111 63 0 39799 0 vsize: 159448 [startup+930.031 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41446 0 0 0 92881 130 0 0 25 0 1 0 739549075 163332096 38870 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39876 38870 1111 63 0 39813 0 vsize: 159504 [startup+940.031 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41459 0 0 0 93881 130 0 0 25 0 1 0 739549075 163381248 38883 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39888 38883 1111 63 0 39825 0 vsize: 159552 [startup+950.032 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41471 0 0 0 94881 131 0 0 25 0 1 0 739549075 163426304 38895 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39899 38895 1111 63 0 39836 0 vsize: 159596 [startup+960.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41483 0 0 0 95881 131 0 0 25 0 1 0 739549075 163471360 38907 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39910 38907 1111 63 0 39847 0 vsize: 159640 [startup+970.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41494 0 0 0 96880 131 0 0 25 0 1 0 739549075 163512320 38918 4294967295 134512640 134714508 3221221776 3221220048 1074153800 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39920 38918 1111 63 0 39857 0 vsize: 159680 [startup+980.034 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41505 0 0 0 97880 132 0 0 25 0 1 0 739549075 163553280 38929 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39930 38929 1111 63 0 39867 0 vsize: 159720 [startup+990.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41516 0 0 0 98880 132 0 0 25 0 1 0 739549075 163594240 38940 4294967295 134512640 134714508 3221221776 3221220048 1074153773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39940 38940 1111 63 0 39877 0 vsize: 159760 [startup+1000.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41525 0 0 0 99880 133 0 0 25 0 1 0 739549075 163631104 38949 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39949 38949 1111 63 0 39886 0 vsize: 159796 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41536 0 0 0 100879 133 0 0 25 0 1 0 739549075 163672064 38960 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39959 38960 1111 63 0 39896 0 vsize: 159836 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41546 0 0 0 101879 134 0 0 25 0 1 0 739549075 163708928 38970 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39968 38970 1111 63 0 39905 0 vsize: 159872 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41556 0 0 0 102879 134 0 0 25 0 1 0 739549075 163745792 38980 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39977 38980 1111 63 0 39914 0 vsize: 159908 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41566 0 0 0 103879 135 0 0 25 0 1 0 739549075 163782656 38990 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39986 38990 1111 63 0 39923 0 vsize: 159944 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41574 0 0 0 104878 135 0 0 25 0 1 0 739549075 163815424 38998 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39994 38998 1111 63 0 39931 0 vsize: 159976 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41583 0 0 0 105878 136 0 0 25 0 1 0 739549075 163848192 39007 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40002 39007 1111 63 0 39939 0 vsize: 160008 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41592 0 0 0 106878 136 0 0 25 0 1 0 739549075 163880960 39016 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40010 39016 1111 63 0 39947 0 vsize: 160040 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41601 0 0 0 107878 136 0 0 25 0 1 0 739549075 163913728 39025 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40018 39025 1111 63 0 39955 0 vsize: 160072 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41609 0 0 0 108877 137 0 0 25 0 1 0 739549075 163946496 39033 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40026 39033 1111 63 0 39963 0 vsize: 160104 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41616 0 0 0 109877 137 0 0 25 0 1 0 739549075 163971072 39040 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40032 39040 1111 63 0 39969 0 vsize: 160128 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41622 0 0 0 110877 138 0 0 25 0 1 0 739549075 163995648 39046 4294967295 134512640 134714508 3221221776 3221220048 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40038 39046 1111 63 0 39975 0 vsize: 160152 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41829 0 0 0 111876 139 0 0 25 0 1 0 739549075 164839424 39253 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40244 39253 1111 63 0 40181 0 vsize: 160976 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41839 0 0 0 112876 139 0 0 25 0 1 0 739549075 164876288 39263 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40253 39263 1111 63 0 40190 0 vsize: 161012 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41848 0 0 0 113875 140 0 0 25 0 1 0 739549075 164913152 39272 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40262 39272 1111 63 0 40199 0 vsize: 161048 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41858 0 0 0 114875 140 0 0 25 0 1 0 739549075 164950016 39282 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40271 39282 1111 63 0 40208 0 vsize: 161084 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41867 0 0 0 115875 141 0 0 25 0 1 0 739549075 164986880 39291 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40280 39291 1111 63 0 40217 0 vsize: 161120 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41877 0 0 0 116875 141 0 0 25 0 1 0 739549075 165023744 39301 4294967295 134512640 134714508 3221221776 3221220048 1074153753 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40289 39301 1111 63 0 40226 0 vsize: 161156 [startup+1180.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41886 0 0 0 117875 141 0 0 25 0 1 0 739549075 165060608 39310 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40298 39310 1111 63 0 40235 0 vsize: 161192 [startup+1190.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41898 0 0 0 118875 142 0 0 25 0 1 0 739549075 165105664 39322 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40309 39322 1111 63 0 40246 0 vsize: 161236 [startup+1200.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) R 21500 7876 7672 0 -1 0 41907 0 0 0 119874 142 0 0 25 0 1 0 739549075 165142528 39331 4294967295 134512640 134714508 3221221776 3221220048 1074153822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40318 39331 1111 63 0 40255 0 vsize: 161272 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.12 s] Raw data (loadavg): 0.99 0.98 0.93 1/55 21501 Raw data (stat): 21501 (bsolo_lpr_cuts) Z 21500 7876 7672 0 -1 1036 41907 0 0 0 119874 149 0 0 25 0 1 0 739549075 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.12 CPU time (s): 1200.25 CPU user time (s): 1198.75 CPU system time (s): 1.49777 CPU usage (%): 100.011 Max. virtual memory (Kb): 161272 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####