Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb |
MD5SUM | 3f087816af6a7fb75be2e9f81cc24df7 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -41 |
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 | 109379 |
Number of constraints which are clauses | 109379 |
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 wulflinc6 THE 2005-06-09 01:01:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28960 boxname=wulflinc6 idbench=346 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 3f087816af6a7fb75be2e9f81cc24df7 /oldhome/oroussel/tmp/wulflinc6/normalized-frb56-25-3.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-frb56-25-3.opb IDLAUNCH: 28960 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 911332 kB Buffers: 18908 kB Cached: 79860 kB SwapCached: 4048 kB Active: 29848 kB Inactive: 74132 kB HighTotal: 131008 kB HighFree: 52444 kB LowTotal: 903652 kB LowFree: 858888 kB SwapTotal: 2097136 kB SwapFree: 2092080 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4992 kB Slab: 13600 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 01:21:04 (client local time) WITH STATUS 0 IN 1200.5 SECONDS stats: 28960 7 1200.5 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1400 variables and 109379 constraints. c After prepocess the problem consists of 1400 variables and 76165 constraints. c preprocess terminated 879.632 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.84 0.94 0.91 2/54 4482 Raw data (stat): 4482 (runsolver) R 4481 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906150625 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0009 s] Raw data (loadavg): 0.87 0.94 0.91 2/54 4482 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 11063 0 0 0 966 31 0 0 25 0 1 0 906150625 58478592 10983 4294967295 134512640 134716908 3221224576 3221222836 1077358945 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14277 10983 1111 63 0 14214 0 vsize: 57108 [startup+20.0015 s] Raw data (loadavg): 0.89 0.94 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 38759 0 0 0 1905 93 0 0 25 0 1 0 906150625 161935360 38675 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39535 38675 1111 63 0 39472 0 vsize: 158140 [startup+30.002 s] Raw data (loadavg): 0.90 0.94 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 40804 0 0 0 2902 96 0 0 25 0 1 0 906150625 163733504 39127 4294967295 134512640 134716908 3221224576 3221222968 1077378307 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39974 39127 1111 63 0 39911 0 vsize: 159896 [startup+40.0018 s] Raw data (loadavg): 0.92 0.94 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 43632 0 0 0 3897 101 0 0 25 0 1 0 906150625 172027904 41141 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41999 41141 1111 63 0 41936 0 vsize: 167996 [startup+50.0019 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 4889 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223308 134675288 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+60.0024 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 5890 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222940 134539298 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+70.0035 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 6890 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222968 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+80.0043 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 7891 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+90.0049 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 8891 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+100.005 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 9891 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+110.005 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 10892 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+120.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 11892 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+130.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 12892 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223000 1077377725 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+140.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 13893 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222940 134539296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+150.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 14893 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+160.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 15893 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223192 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+170.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 16894 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+180.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 17894 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+190.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 18894 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+200.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 19895 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+210.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 20895 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222908 134535928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+220.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 21895 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222968 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+230.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 22896 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+240.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 23896 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+250.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4484 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 24896 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223088 134543724 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 25897 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 26897 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 27898 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223376 134617565 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 28898 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 29898 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 30899 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+320.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 31899 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 32899 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 33900 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 34900 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 35900 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222940 134539306 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 36901 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 37901 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+390.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 38901 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 39902 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223144 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 40902 109 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 41902 110 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222984 134543594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 42902 110 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223104 134528595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+440.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 43902 110 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223088 134542863 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+450.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 44903 110 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 45903 110 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 46903 110 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134536624 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+480.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 47904 110 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+490.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 48904 110 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 49904 110 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+510.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 50905 110 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222940 134539223 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+520.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 51905 110 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+530.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 52905 110 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+540.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 53906 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222968 134542370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+550.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 54906 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222992 134543684 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+560.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 55906 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134536736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+570.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 56906 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+580.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 57907 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+590.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 58907 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+600.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 59907 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+610.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 60908 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 61908 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223136 134535762 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 62909 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+640.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 63909 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223068 134543588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 64909 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222992 134543686 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+660.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 65910 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+670.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 66910 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134539362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+680.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 67910 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223196 134536888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 68911 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+700.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 69911 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223040 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 70911 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223056 134539362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+720.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 71912 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 72912 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223068 134542288 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+740.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 73912 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+750.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 74913 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+760.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 75913 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 76914 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 77914 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+790.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 78914 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 79915 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+810.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 80915 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+820.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47057 0 0 0 81915 111 0 0 25 0 1 0 906150625 186077184 44566 4294967295 134512640 134716908 3221224576 3221223248 134629424 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44566 1111 63 0 45366 0 vsize: 181716 [startup+830.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47058 0 0 0 82916 111 0 0 25 0 1 0 906150625 186077184 44567 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44567 1111 63 0 45366 0 vsize: 181716 [startup+840.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47058 0 0 0 83915 111 0 0 25 0 1 0 906150625 186077184 44567 4294967295 134512640 134716908 3221224576 3221223364 134622776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 45429 44567 1111 63 0 45366 0 vsize: 181716 [startup+850.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47058 0 0 0 84915 112 0 0 25 0 1 0 906150625 186077184 44567 4294967295 134512640 134716908 3221224576 3221223440 134622289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44567 1111 63 0 45366 0 vsize: 181716 [startup+860.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47058 0 0 0 85916 112 0 0 25 0 1 0 906150625 186077184 44567 4294967295 134512640 134716908 3221224576 3221223456 134622425 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44567 1111 63 0 45366 0 vsize: 181716 [startup+870.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47058 0 0 0 86916 112 0 0 25 0 1 0 906150625 186077184 44567 4294967295 134512640 134716908 3221224576 3221223352 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44567 1111 63 0 45366 0 vsize: 181716 [startup+880.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 87916 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222832 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+890.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 88916 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+900.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 89917 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222844 1074207552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+910.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 90917 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+920.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 91917 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+930.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 92918 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+940.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 93918 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+950.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 94919 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+960.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 95919 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222864 1074153773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+970.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 96919 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+980.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 97920 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+990.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 98920 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 99921 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 100921 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 101921 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 102921 112 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 103922 113 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 104922 113 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 105922 113 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 106923 113 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47079 0 0 0 107923 113 0 0 25 0 1 0 906150625 186077184 44588 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45429 44588 1111 63 0 45366 0 vsize: 181716 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47423 0 0 0 108922 114 0 0 25 0 1 0 906150625 187482112 44932 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45772 44932 1111 63 0 45709 0 vsize: 183088 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47431 0 0 0 109922 115 0 0 25 0 1 0 906150625 187514880 44940 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45780 44940 1111 63 0 45717 0 vsize: 183120 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47439 0 0 0 110921 115 0 0 25 0 1 0 906150625 187547648 44948 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45788 44948 1111 63 0 45725 0 vsize: 183152 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47447 0 0 0 111922 116 0 0 25 0 1 0 906150625 187580416 44956 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45796 44956 1111 63 0 45733 0 vsize: 183184 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47455 0 0 0 112922 116 0 0 25 0 1 0 906150625 187613184 44964 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45804 44964 1111 63 0 45741 0 vsize: 183216 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47463 0 0 0 113922 117 0 0 25 0 1 0 906150625 187645952 44972 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45812 44972 1111 63 0 45749 0 vsize: 183248 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47470 0 0 0 114922 117 0 0 25 0 1 0 906150625 187674624 44979 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45819 44979 1111 63 0 45756 0 vsize: 183276 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47477 0 0 0 115922 117 0 0 25 0 1 0 906150625 187703296 44986 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45826 44986 1111 63 0 45763 0 vsize: 183304 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47484 0 0 0 116922 118 0 0 25 0 1 0 906150625 187731968 44993 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45833 44993 1111 63 0 45770 0 vsize: 183332 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47492 0 0 0 117922 118 0 0 25 0 1 0 906150625 187764736 45001 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45841 45001 1111 63 0 45778 0 vsize: 183364 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47498 0 0 0 118922 118 0 0 25 0 1 0 906150625 187789312 45007 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45847 45007 1111 63 0 45784 0 vsize: 183388 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) R 4481 25568 25567 0 -1 0 47504 0 0 0 119922 119 0 0 25 0 1 0 906150625 187813888 45013 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45853 45013 1111 63 0 45790 0 vsize: 183412 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.14 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 4486 Raw data (stat): 4482 (bsolo_lpr_cuts-) Z 4481 25568 25567 0 -1 1036 47504 0 0 0 119922 127 0 0 25 0 1 0 906150625 0 0 4294967295 0 0 0 0 0 0 0 7 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.14 CPU time (s): 1200.5 CPU user time (s): 1199.22 CPU system time (s): 1.27381 CPU usage (%): 100.03 Max. virtual memory (Kb): 183412 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####