Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
MD5SUM | b3a3f977e810fc2043ea057a8d94a7d8 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -34 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 945 |
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 | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.07 |
Number of variables | 945 |
Total number of constraints | 58245 |
Number of constraints which are clauses | 58245 |
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 wulflinc4 THE 2005-06-09 00:13:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28945 boxname=wulflinc4 idbench=331 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: b3a3f977e810fc2043ea057a8d94a7d8 /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-3.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-3.opb IDLAUNCH: 28945 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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: 921448 kB Buffers: 24812 kB Cached: 66684 kB SwapCached: 1188 kB Active: 26044 kB Inactive: 67800 kB HighTotal: 131008 kB HighFree: 63308 kB LowTotal: 903652 kB LowFree: 858140 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4908 kB Slab: 13632 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 00:33:39 (client local time) WITH STATUS 0 IN 1200.27 SECONDS stats: 28945 7 1200.27 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 945 variables and 58245 constraints. c After prepocess the problem consists of 945 variables and 38487 constraints. c preprocess terminated 372.04 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.93 0.97 0.91 1/54 6740 Raw data (stat): 6740 (runsolver) R 6739 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905857478 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0003 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 17666 0 0 0 948 49 0 0 25 0 1 0 905857478 75493376 17583 4294967295 134512640 134716908 3221224576 3221223100 1076999581 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18431 17583 1111 63 0 18368 0 vsize: 73724 [startup+20.0014 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 20777 0 0 0 1942 55 0 0 25 0 1 0 905857478 83685376 19585 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20431 19585 1111 63 0 20368 0 vsize: 81724 [startup+30.0022 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 2942 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+40.0028 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 3942 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222940 134539309 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+50.0039 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 4942 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+60.0043 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 5942 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+70.0054 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 6943 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+80.0055 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 7943 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222940 134539243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+90.0064 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 8943 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223068 134542288 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+100.007 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 9943 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223064 134543652 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+110.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 10943 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222940 134539298 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 11944 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 12944 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 13944 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222968 134542370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+150.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 14944 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223040 134542300 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 15944 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 16945 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 17945 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 18945 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222976 134542694 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 19945 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 20945 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+220.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 21946 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223064 134542370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 22946 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+240.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 23946 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+250.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 24946 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 25946 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 26946 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+280.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 27947 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 28947 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 29947 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 30947 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 31947 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+330.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 32947 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+340.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 33948 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 34948 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19837 1111 63 0 20608 0 vsize: 82684 [startup+360.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21528 0 0 0 35948 56 0 0 25 0 1 0 905857478 85143552 19954 4294967295 134512640 134716908 3221224576 3221223420 134542400 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20787 19954 1111 63 0 20724 0 vsize: 83148 [startup+370.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21528 0 0 0 36948 56 0 0 25 0 1 0 905857478 85143552 19954 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20787 19954 1111 63 0 20724 0 vsize: 83148 [startup+380.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21981 0 0 0 37946 58 0 0 25 0 1 0 905857478 87486464 20407 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21359 20407 1111 63 0 21296 0 vsize: 85436 [startup+390.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22030 0 0 0 38945 60 0 0 25 0 1 0 905857478 87658496 20456 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21401 20456 1111 63 0 21338 0 vsize: 85604 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22071 0 0 0 39944 61 0 0 25 0 1 0 905857478 87801856 20497 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21436 20497 1111 63 0 21373 0 vsize: 85744 [startup+410.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22170 0 0 0 40943 62 0 0 25 0 1 0 905857478 88182784 20596 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21529 20596 1111 63 0 21466 0 vsize: 86116 [startup+420.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22216 0 0 0 41941 64 0 0 25 0 1 0 905857478 88338432 20642 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21567 20642 1111 63 0 21504 0 vsize: 86268 [startup+430.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22242 0 0 0 42940 65 0 0 25 0 1 0 905857478 88440832 20668 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21592 20668 1111 63 0 21529 0 vsize: 86368 [startup+440.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22267 0 0 0 43940 66 0 0 25 0 1 0 905857478 88535040 20693 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21615 20693 1111 63 0 21552 0 vsize: 86460 [startup+450.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22358 0 0 0 44939 66 0 0 25 0 1 0 905857478 88870912 20784 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21697 20784 1111 63 0 21634 0 vsize: 86788 [startup+460.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22378 0 0 0 45939 67 0 0 25 0 1 0 905857478 88948736 20804 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21716 20804 1111 63 0 21653 0 vsize: 86864 [startup+470.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22399 0 0 0 46939 67 0 0 25 0 1 0 905857478 89030656 20825 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21736 20825 1111 63 0 21673 0 vsize: 86944 [startup+480.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22445 0 0 0 47938 68 0 0 25 0 1 0 905857478 89030656 20831 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21736 20831 1111 63 0 21673 0 vsize: 86944 [startup+490.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22462 0 0 0 48938 68 0 0 25 0 1 0 905857478 89096192 20848 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21752 20848 1111 63 0 21689 0 vsize: 87008 [startup+500.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22477 0 0 0 49938 69 0 0 25 0 1 0 905857478 89157632 20863 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21767 20863 1111 63 0 21704 0 vsize: 87068 [startup+510.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22493 0 0 0 50937 69 0 0 25 0 1 0 905857478 89219072 20879 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21782 20879 1111 63 0 21719 0 vsize: 87128 [startup+520.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22508 0 0 0 51937 70 0 0 25 0 1 0 905857478 89276416 20894 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21796 20894 1111 63 0 21733 0 vsize: 87184 [startup+530.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22524 0 0 0 52936 71 0 0 25 0 1 0 905857478 89337856 20910 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21811 20910 1111 63 0 21748 0 vsize: 87244 [startup+540.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22640 0 0 0 53935 72 0 0 25 0 1 0 905857478 89808896 21026 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21926 21026 1111 63 0 21863 0 vsize: 87704 [startup+550.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22652 0 0 0 54935 72 0 0 25 0 1 0 905857478 89858048 21038 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21938 21038 1111 63 0 21875 0 vsize: 87752 [startup+560.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22666 0 0 0 55935 73 0 0 25 0 1 0 905857478 89911296 21052 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21951 21052 1111 63 0 21888 0 vsize: 87804 [startup+570.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22681 0 0 0 56935 73 0 0 25 0 1 0 905857478 89968640 21067 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21965 21067 1111 63 0 21902 0 vsize: 87860 [startup+580.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22694 0 0 0 57934 74 0 0 25 0 1 0 905857478 90017792 21080 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21977 21080 1111 63 0 21914 0 vsize: 87908 [startup+590.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22707 0 0 0 58934 74 0 0 25 0 1 0 905857478 90071040 21093 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21990 21093 1111 63 0 21927 0 vsize: 87960 [startup+600.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22722 0 0 0 59933 75 0 0 25 0 1 0 905857478 90128384 21108 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22004 21108 1111 63 0 21941 0 vsize: 88016 [startup+610.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22735 0 0 0 60933 75 0 0 25 0 1 0 905857478 90177536 21121 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22016 21121 1111 63 0 21953 0 vsize: 88064 [startup+620.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22879 0 0 0 61933 76 0 0 25 0 1 0 905857478 90767360 21265 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22160 21265 1111 63 0 22097 0 vsize: 88640 [startup+630.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22892 0 0 0 62933 76 0 0 25 0 1 0 905857478 90816512 21278 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22172 21278 1111 63 0 22109 0 vsize: 88688 [startup+640.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22904 0 0 0 63933 76 0 0 25 0 1 0 905857478 90865664 21290 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22184 21290 1111 63 0 22121 0 vsize: 88736 [startup+650.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22917 0 0 0 64933 77 0 0 25 0 1 0 905857478 90914816 21303 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22196 21303 1111 63 0 22133 0 vsize: 88784 [startup+660.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22930 0 0 0 65932 77 0 0 25 0 1 0 905857478 90963968 21316 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22208 21316 1111 63 0 22145 0 vsize: 88832 [startup+670.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22942 0 0 0 66932 78 0 0 25 0 1 0 905857478 91013120 21328 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22220 21328 1111 63 0 22157 0 vsize: 88880 [startup+680.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22955 0 0 0 67932 78 0 0 25 0 1 0 905857478 91062272 21341 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22232 21341 1111 63 0 22169 0 vsize: 88928 [startup+690.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22967 0 0 0 68931 79 0 0 25 0 1 0 905857478 91111424 21353 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22244 21353 1111 63 0 22181 0 vsize: 88976 [startup+700.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22980 0 0 0 69931 80 0 0 25 0 1 0 905857478 91160576 21366 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22256 21366 1111 63 0 22193 0 vsize: 89024 [startup+710.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 30243 0 0 0 70916 95 0 0 25 0 1 0 905857478 119513088 25723 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29178 25723 1111 63 0 29115 0 vsize: 116712 [startup+720.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 30351 0 0 0 71915 95 0 0 25 0 1 0 905857478 119513088 25831 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29178 25831 1111 63 0 29115 0 vsize: 116712 [startup+730.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 31752 0 0 0 72913 99 0 0 25 0 1 0 905857478 122331136 27230 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29866 27230 1111 63 0 29803 0 vsize: 119464 [startup+740.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32030 0 0 0 73912 99 0 0 25 0 1 0 905857478 117252096 26246 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26246 1111 63 0 28563 0 vsize: 114504 [startup+750.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32059 0 0 0 74913 99 0 0 25 0 1 0 905857478 117252096 26273 4294967295 134512640 134716908 3221224576 3221220524 1074873537 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26273 1111 63 0 28563 0 vsize: 114504 [startup+760.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32079 0 0 0 75913 99 0 0 25 0 1 0 905857478 117252096 26291 4294967295 134512640 134716908 3221224576 3221220472 1075964740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26291 1111 63 0 28563 0 vsize: 114504 [startup+770.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32092 0 0 0 76913 99 0 0 25 0 1 0 905857478 117252096 26304 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26304 1111 63 0 28563 0 vsize: 114504 [startup+780.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32114 0 0 0 77913 99 0 0 25 0 1 0 905857478 117252096 26324 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26324 1111 63 0 28563 0 vsize: 114504 [startup+790.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32139 0 0 0 78913 99 0 0 25 0 1 0 905857478 117252096 26347 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26347 1111 63 0 28563 0 vsize: 114504 [startup+800.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32148 0 0 0 79913 99 0 0 25 0 1 0 905857478 117252096 26354 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26354 1111 63 0 28563 0 vsize: 114504 [startup+810.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32159 0 0 0 80914 99 0 0 25 0 1 0 905857478 117563392 26365 4294967295 134512640 134716908 3221224576 3221221520 1075971413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28702 26365 1111 63 0 28639 0 vsize: 114808 [startup+820.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32171 0 0 0 81914 99 0 0 25 0 1 0 905857478 117252096 26375 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26375 1111 63 0 28563 0 vsize: 114504 [startup+830.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32192 0 0 0 82914 99 0 0 25 0 1 0 905857478 117252096 26394 4294967295 134512640 134716908 3221224576 3221220624 1074969680 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26394 1111 63 0 28563 0 vsize: 114504 [startup+840.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32198 0 0 0 83914 99 0 0 25 0 1 0 905857478 117252096 26398 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26398 1111 63 0 28563 0 vsize: 114504 [startup+850.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32206 0 0 0 84914 99 0 0 25 0 1 0 905857478 117252096 26404 4294967295 134512640 134716908 3221224576 3221220608 1075112100 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26404 1111 63 0 28563 0 vsize: 114504 [startup+860.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32211 0 0 0 85915 99 0 0 25 0 1 0 905857478 117252096 26407 4294967295 134512640 134716908 3221224576 3221220640 1075095124 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26407 1111 63 0 28563 0 vsize: 114504 [startup+870.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32215 0 0 0 86915 99 0 0 25 0 1 0 905857478 117252096 26411 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26411 1111 63 0 28563 0 vsize: 114504 [startup+880.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32230 0 0 0 87915 99 0 0 25 0 1 0 905857478 117252096 26424 4294967295 134512640 134716908 3221224576 3221220704 1075895855 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26424 1111 63 0 28563 0 vsize: 114504 [startup+890.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32238 0 0 0 88915 99 0 0 25 0 1 0 905857478 117252096 26428 4294967295 134512640 134716908 3221224576 3221220704 1075895652 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26428 1111 63 0 28563 0 vsize: 114504 [startup+900.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32241 0 0 0 89915 99 0 0 25 0 1 0 905857478 117252096 26429 4294967295 134512640 134716908 3221224576 3221220624 1074969449 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26429 1111 63 0 28563 0 vsize: 114504 [startup+910.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32247 0 0 0 90915 99 0 0 25 0 1 0 905857478 117252096 26435 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26435 1111 63 0 28563 0 vsize: 114504 [startup+920.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32270 0 0 0 91916 99 0 0 25 0 1 0 905857478 117252096 26456 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28626 26456 1111 63 0 28563 0 vsize: 114504 [startup+930.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32317 0 0 0 92916 100 0 0 25 0 1 0 905857478 117841920 26501 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28770 26501 1111 63 0 28707 0 vsize: 115080 [startup+940.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32345 0 0 0 93916 100 0 0 25 0 1 0 905857478 117841920 26529 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28770 26529 1111 63 0 28707 0 vsize: 115080 [startup+950.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32360 0 0 0 94916 100 0 0 25 0 1 0 905857478 117841920 26542 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28770 26542 1111 63 0 28707 0 vsize: 115080 [startup+960.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32376 0 0 0 95916 100 0 0 25 0 1 0 905857478 117841920 26556 4294967295 134512640 134716908 3221224576 3221220624 1074969680 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28770 26556 1111 63 0 28707 0 vsize: 115080 [startup+970.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32412 0 0 0 96916 100 0 0 25 0 1 0 905857478 117841920 26590 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28770 26590 1111 63 0 28707 0 vsize: 115080 [startup+980.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32420 0 0 0 97917 100 0 0 25 0 1 0 905857478 117841920 26596 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28770 26596 1111 63 0 28707 0 vsize: 115080 [startup+990.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32422 0 0 0 98917 100 0 0 25 0 1 0 905857478 117841920 26596 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28770 26596 1111 63 0 28707 0 vsize: 115080 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32424 0 0 0 99917 100 0 0 25 0 1 0 905857478 117841920 26596 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28770 26596 1111 63 0 28707 0 vsize: 115080 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32433 0 0 0 100917 100 0 0 25 0 1 0 905857478 117841920 26605 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28770 26605 1111 63 0 28707 0 vsize: 115080 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32561 0 0 0 101917 100 0 0 25 0 1 0 905857478 118464512 26731 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28922 26731 1111 63 0 28859 0 vsize: 115688 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32584 0 0 0 102918 100 0 0 25 0 1 0 905857478 118464512 26752 4294967295 134512640 134716908 3221224576 3221220608 1075112103 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28922 26752 1111 63 0 28859 0 vsize: 115688 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32587 0 0 0 103918 100 0 0 25 0 1 0 905857478 118464512 26753 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28922 26753 1111 63 0 28859 0 vsize: 115688 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32593 0 0 0 104918 100 0 0 25 0 1 0 905857478 118464512 26757 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28922 26757 1111 63 0 28859 0 vsize: 115688 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32599 0 0 0 105918 100 0 0 25 0 1 0 905857478 118464512 26763 4294967295 134512640 134716908 3221224576 3221220624 1074969685 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28922 26763 1111 63 0 28859 0 vsize: 115688 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32695 0 0 0 106918 100 0 0 25 0 1 0 905857478 119119872 26857 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26857 1111 63 0 29019 0 vsize: 116328 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32716 0 0 0 107918 100 0 0 25 0 1 0 905857478 119119872 26876 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26876 1111 63 0 29019 0 vsize: 116328 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32722 0 0 0 108919 100 0 0 25 0 1 0 905857478 119119872 26880 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26880 1111 63 0 29019 0 vsize: 116328 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32737 0 0 0 109919 100 0 0 25 0 1 0 905857478 119119872 26893 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26893 1111 63 0 29019 0 vsize: 116328 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32752 0 0 0 110919 100 0 0 25 0 1 0 905857478 119119872 26906 4294967295 134512640 134716908 3221224576 3221220608 1075112103 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26906 1111 63 0 29019 0 vsize: 116328 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32754 0 0 0 111919 100 0 0 25 0 1 0 905857478 119119872 26906 4294967295 134512640 134716908 3221224576 3221220480 1075965246 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26906 1111 63 0 29019 0 vsize: 116328 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32756 0 0 0 112919 100 0 0 25 0 1 0 905857478 119119872 26906 4294967295 134512640 134716908 3221224576 3221220752 1074961120 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26906 1111 63 0 29019 0 vsize: 116328 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32767 0 0 0 113919 100 0 0 25 0 1 0 905857478 119119872 26915 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26915 1111 63 0 29019 0 vsize: 116328 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32781 0 0 0 114920 100 0 0 25 0 1 0 905857478 119119872 26927 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26927 1111 63 0 29019 0 vsize: 116328 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32783 0 0 0 115920 100 0 0 25 0 1 0 905857478 119119872 26927 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26927 1111 63 0 29019 0 vsize: 116328 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32785 0 0 0 116920 100 0 0 25 0 1 0 905857478 119119872 26927 4294967295 134512640 134716908 3221224576 3221220580 1075964282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26927 1111 63 0 29019 0 vsize: 116328 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32790 0 0 0 117920 100 0 0 25 0 1 0 905857478 119119872 26930 4294967295 134512640 134716908 3221224576 3221220580 1075964282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26930 1111 63 0 29019 0 vsize: 116328 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32793 0 0 0 118920 100 0 0 25 0 1 0 905857478 119119872 26931 4294967295 134512640 134716908 3221224576 3221220640 1074883509 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26931 1111 63 0 29019 0 vsize: 116328 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32796 0 0 0 119921 100 0 0 25 0 1 0 905857478 119119872 26932 4294967295 134512640 134716908 3221224576 3221220640 1075095124 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 26932 1111 63 0 29019 0 vsize: 116328 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.11 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 6740 Raw data (stat): 6740 (bsolo_lpr_cuts-) Z 6739 21152 21151 0 -1 1036 32796 0 0 0 119921 105 0 0 25 0 1 0 905857478 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.11 CPU time (s): 1200.27 CPU user time (s): 1199.21 CPU system time (s): 1.05884 CPU usage (%): 100.014 Max. virtual memory (Kb): 119464 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####