Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb |
MD5SUM | aa1ea44fce5b7bfbe62733720f941ebb |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -33 |
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.08 |
Number of variables | 945 |
Total number of constraints | 59186 |
Number of constraints which are clauses | 59186 |
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-12 23:22:14 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2954 boxname=wulflinc31 idbench=329 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: aa1ea44fce5b7bfbe62733720f941ebb /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-1.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-1.opb IDLAUNCH: 2954 /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: 879572 kB Buffers: 35560 kB Cached: 97756 kB SwapCached: 1936 kB Active: 101636 kB Inactive: 34832 kB HighTotal: 131008 kB HighFree: 32452 kB LowTotal: 903652 kB LowFree: 847120 kB SwapTotal: 2097892 kB SwapFree: 2095224 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5360 kB Slab: 12828 kB Committed_AS: 63852 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-12 23:42:17 (client local time) WITH STATUS 0 IN 1200.21 SECONDS stats: 2954 7 1200.21 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 945 variables and 59186 constraints. c After prepocess the problem consists of 945 variables and 42392 constraints. c preprocess terminated 372.248 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.85 0.95 0.97 2/55 12905 Raw data (stat): 12905 (runsolver) R 12904 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 730451187 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.0006 s] Raw data (loadavg): 0.88 0.95 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 20297 0 0 0 944 51 0 0 25 0 1 0 730451187 86319104 20217 4294967295 134512640 134714508 3221221776 3221220108 134535903 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21074 20217 1111 63 0 21011 0 vsize: 84296 [startup+20.0015 s] Raw data (loadavg): 0.89 0.95 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 1936 59 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+30.0028 s] Raw data (loadavg): 0.91 0.95 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 2936 59 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+40.0039 s] Raw data (loadavg): 0.92 0.95 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 3936 59 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+50.0043 s] Raw data (loadavg): 0.93 0.96 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 4936 60 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220288 134543740 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+60.0046 s] Raw data (loadavg): 0.94 0.96 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 5936 60 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+70.0052 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 6935 60 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+80.0061 s] Raw data (loadavg): 0.96 0.96 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 7935 61 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220208 134543728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+90.0065 s] Raw data (loadavg): 0.96 0.96 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 8935 61 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220140 134539223 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+100.006 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 9935 61 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220280 134543652 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+110.007 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 10935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+120.008 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 11935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+130.009 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 12935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+140.009 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 13935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+150.009 s] Raw data (loadavg): 0.98 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 14935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220192 134542680 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 15935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 16935 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 17936 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+190.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 18936 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+200.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 19936 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 20936 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134539419 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+220.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 21936 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134539460 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+230.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 22937 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 23937 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+250.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 24937 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 25937 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220284 134543615 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 26937 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 27937 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+290.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 28938 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+300.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 29938 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 30938 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 31938 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+330.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 32938 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+340.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24005 0 0 0 33938 62 0 0 25 0 1 0 730451187 98779136 23266 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24006 0 0 0 34938 62 0 0 25 0 1 0 730451187 98779136 23267 4294967295 134512640 134714508 3221221776 3221220576 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23267 1111 63 0 24053 0 vsize: 96464 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24006 0 0 0 35938 62 0 0 25 0 1 0 730451187 98779136 23267 4294967295 134512640 134714508 3221221776 3221220632 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23267 1111 63 0 24053 0 vsize: 96464 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24006 0 0 0 36938 62 0 0 25 0 1 0 730451187 98779136 23267 4294967295 134512640 134714508 3221221776 3221220564 134622760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23267 1111 63 0 24053 0 vsize: 96464 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 37937 62 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+390.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 38936 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220032 1074153773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 39936 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+410.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 40936 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221219992 1074138166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+420.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 41936 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+430.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 42937 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 43937 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+450.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 44937 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+460.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 45937 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+470.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 46937 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+480.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 47938 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+490.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 48938 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+500.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 49938 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+510.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24028 0 0 0 50938 63 0 0 25 0 1 0 730451187 98779136 23289 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+520.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24319 0 0 0 51938 64 0 0 25 0 1 0 730451187 99966976 23580 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24406 23580 1111 63 0 24343 0 vsize: 97624 [startup+530.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24327 0 0 0 52937 64 0 0 25 0 1 0 730451187 99999744 23588 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24414 23588 1111 63 0 24351 0 vsize: 97656 [startup+540.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24335 0 0 0 53937 65 0 0 25 0 1 0 730451187 100032512 23596 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24422 23596 1111 63 0 24359 0 vsize: 97688 [startup+550.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24344 0 0 0 54937 65 0 0 25 0 1 0 730451187 100069376 23605 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24431 23605 1111 63 0 24368 0 vsize: 97724 [startup+560.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24352 0 0 0 55937 65 0 0 25 0 1 0 730451187 100102144 23613 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24439 23613 1111 63 0 24376 0 vsize: 97756 [startup+570.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24360 0 0 0 56937 66 0 0 25 0 1 0 730451187 100134912 23621 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24447 23621 1111 63 0 24384 0 vsize: 97788 [startup+580.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24368 0 0 0 57936 66 0 0 25 0 1 0 730451187 100167680 23629 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24455 23629 1111 63 0 24392 0 vsize: 97820 [startup+590.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24375 0 0 0 58936 67 0 0 25 0 1 0 730451187 100196352 23636 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24462 23636 1111 63 0 24399 0 vsize: 97848 [startup+600.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24382 0 0 0 59936 67 0 0 25 0 1 0 730451187 100225024 23643 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24469 23643 1111 63 0 24406 0 vsize: 97876 [startup+610.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24390 0 0 0 60936 67 0 0 25 0 1 0 730451187 100257792 23651 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24477 23651 1111 63 0 24414 0 vsize: 97908 [startup+620.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24397 0 0 0 61936 68 0 0 25 0 1 0 730451187 100286464 23658 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24484 23658 1111 63 0 24421 0 vsize: 97936 [startup+630.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24404 0 0 0 62935 68 0 0 25 0 1 0 730451187 100315136 23665 4294967295 134512640 134714508 3221221776 3221219696 1077814665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24491 23665 1111 63 0 24428 0 vsize: 97964 [startup+640.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24411 0 0 0 63935 69 0 0 25 0 1 0 730451187 100343808 23672 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24498 23672 1111 63 0 24435 0 vsize: 97992 [startup+650.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24418 0 0 0 64935 69 0 0 25 0 1 0 730451187 100372480 23679 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24505 23679 1111 63 0 24442 0 vsize: 98020 [startup+660.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24425 0 0 0 65935 69 0 0 25 0 1 0 730451187 100401152 23686 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24512 23686 1111 63 0 24449 0 vsize: 98048 [startup+670.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24431 0 0 0 66935 70 0 0 25 0 1 0 730451187 100425728 23692 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24518 23692 1111 63 0 24455 0 vsize: 98072 [startup+680.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24439 0 0 0 67935 70 0 0 25 0 1 0 730451187 100458496 23700 4294967295 134512640 134714508 3221221776 3221220032 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24526 23700 1111 63 0 24463 0 vsize: 98104 [startup+690.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24446 0 0 0 68935 70 0 0 25 0 1 0 730451187 100487168 23707 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24533 23707 1111 63 0 24470 0 vsize: 98132 [startup+700.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24453 0 0 0 69934 71 0 0 25 0 1 0 730451187 100515840 23714 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24540 23714 1111 63 0 24477 0 vsize: 98160 [startup+710.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24460 0 0 0 70934 71 0 0 25 0 1 0 730451187 100544512 23721 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24547 23721 1111 63 0 24484 0 vsize: 98188 [startup+720.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24467 0 0 0 71934 71 0 0 25 0 1 0 730451187 100573184 23728 4294967295 134512640 134714508 3221221776 3221219728 1077814665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24554 23728 1111 63 0 24491 0 vsize: 98216 [startup+730.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24474 0 0 0 72934 71 0 0 25 0 1 0 730451187 100601856 23735 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24561 23735 1111 63 0 24498 0 vsize: 98244 [startup+740.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24481 0 0 0 73934 72 0 0 25 0 1 0 730451187 100630528 23742 4294967295 134512640 134714508 3221221776 3221220032 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24568 23742 1111 63 0 24505 0 vsize: 98272 [startup+750.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 24488 0 0 0 74934 72 0 0 25 0 1 0 730451187 100659200 23749 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24575 23749 1111 63 0 24512 0 vsize: 98300 [startup+760.035 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 26028 0 0 0 75931 75 0 0 25 0 1 0 730451187 109527040 25277 4294967295 134512640 134714508 3221221776 3221219808 1074867340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26740 25277 1111 63 0 26677 0 vsize: 106960 [startup+770.035 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 31436 0 0 0 76920 87 0 0 25 0 1 0 730451187 130260992 28043 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31802 28043 1111 63 0 31739 0 vsize: 127208 [startup+780.037 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 31506 0 0 0 77920 87 0 0 25 0 1 0 730451187 130260992 28113 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31802 28113 1111 63 0 31739 0 vsize: 127208 [startup+790.036 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33142 0 0 0 78916 90 0 0 25 0 1 0 730451187 133357568 29747 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32558 29747 1111 63 0 32495 0 vsize: 130232 [startup+800.036 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33171 0 0 0 79917 90 0 0 25 0 1 0 730451187 133357568 29776 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32558 29776 1111 63 0 32495 0 vsize: 130232 [startup+810.037 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33357 0 0 0 80916 91 0 0 25 0 1 0 730451187 127156224 28528 4294967295 134512640 134714508 3221221776 3221217968 1074961267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31044 28528 1111 63 0 30981 0 vsize: 124176 [startup+820.036 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33375 0 0 0 81916 91 0 0 25 0 1 0 730451187 127156224 28544 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31044 28544 1111 63 0 30981 0 vsize: 124176 [startup+830.037 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33386 0 0 0 82916 91 0 0 25 0 1 0 730451187 127156224 28553 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31044 28553 1111 63 0 30981 0 vsize: 124176 [startup+840.038 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33397 0 0 0 83917 91 0 0 25 0 1 0 730451187 127156224 28562 4294967295 134512640 134714508 3221221776 3221217920 1075895652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31044 28562 1111 63 0 30981 0 vsize: 124176 [startup+850.038 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33406 0 0 0 84917 91 0 0 25 0 1 0 730451187 127156224 28571 4294967295 134512640 134714508 3221221776 3221217840 1074969471 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31044 28571 1111 63 0 30981 0 vsize: 124176 [startup+860.038 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33414 0 0 0 85917 91 0 0 25 0 1 0 730451187 127156224 28579 4294967295 134512640 134714508 3221221776 3221217796 1075964214 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31044 28579 1111 63 0 30981 0 vsize: 124176 [startup+870.038 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33484 0 0 0 86917 91 0 0 25 0 1 0 730451187 127778816 28647 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28647 1111 63 0 31133 0 vsize: 124784 [startup+880.039 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33511 0 0 0 87917 92 0 0 25 0 1 0 730451187 127778816 28672 4294967295 134512640 134714508 3221221776 3221217796 1075964214 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28672 1111 63 0 31133 0 vsize: 124784 [startup+890.039 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33511 0 0 0 88917 92 0 0 25 0 1 0 730451187 127778816 28672 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28672 1111 63 0 31133 0 vsize: 124784 [startup+900.039 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33528 0 0 0 89917 92 0 0 25 0 1 0 730451187 128118784 28689 4294967295 134512640 134714508 3221221776 3221218352 1075968391 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31279 28689 1111 63 0 31216 0 vsize: 125116 [startup+910.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33528 0 0 0 90917 92 0 0 25 0 1 0 730451187 127778816 28687 4294967295 134512640 134714508 3221221776 3221217840 1074969685 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28687 1111 63 0 31133 0 vsize: 124784 [startup+920.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33539 0 0 0 91918 92 0 0 25 0 1 0 730451187 127778816 28696 4294967295 134512640 134714508 3221221776 3221218724 1075964248 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28696 1111 63 0 31133 0 vsize: 124784 [startup+930.041 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33542 0 0 0 92918 92 0 0 25 0 1 0 730451187 127778816 28699 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28699 1111 63 0 31133 0 vsize: 124784 [startup+940.042 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33574 0 0 0 93918 92 0 0 25 0 1 0 730451187 128118784 28731 4294967295 134512640 134714508 3221221776 3221218760 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31279 28731 1111 63 0 31216 0 vsize: 125116 [startup+950.041 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33581 0 0 0 94918 92 0 0 25 0 1 0 730451187 127778816 28736 4294967295 134512640 134714508 3221221776 3221217840 1074969471 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28736 1111 63 0 31133 0 vsize: 124784 [startup+960.043 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33586 0 0 0 95918 92 0 0 25 0 1 0 730451187 127778816 28739 4294967295 134512640 134714508 3221221776 3221217968 1074961304 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28739 1111 63 0 31133 0 vsize: 124784 [startup+970.042 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33592 0 0 0 96918 92 0 0 25 0 1 0 730451187 127778816 28743 4294967295 134512640 134714508 3221221776 3221218960 1075894378 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28743 1111 63 0 31133 0 vsize: 124784 [startup+980.043 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33592 0 0 0 97919 92 0 0 25 0 1 0 730451187 127778816 28743 4294967295 134512640 134714508 3221221776 3221217660 1074788201 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28743 1111 63 0 31133 0 vsize: 124784 [startup+990.044 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33601 0 0 0 98919 92 0 0 25 0 1 0 730451187 127778816 28750 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28750 1111 63 0 31133 0 vsize: 124784 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33607 0 0 0 99919 92 0 0 25 0 1 0 730451187 127778816 28756 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28756 1111 63 0 31133 0 vsize: 124784 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33626 0 0 0 100919 92 0 0 25 0 1 0 730451187 127778816 28773 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28773 1111 63 0 31133 0 vsize: 124784 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33627 0 0 0 101919 92 0 0 25 0 1 0 730451187 127778816 28774 4294967295 134512640 134714508 3221221776 3221217796 1075964282 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28774 1111 63 0 31133 0 vsize: 124784 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33641 0 0 0 102919 92 0 0 25 0 1 0 730451187 127778816 28786 4294967295 134512640 134714508 3221221776 3221217840 1074969465 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28786 1111 63 0 31133 0 vsize: 124784 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33643 0 0 0 103919 92 0 0 25 0 1 0 730451187 127778816 28788 4294967295 134512640 134714508 3221221776 3221217656 1075964778 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28788 1111 63 0 31133 0 vsize: 124784 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33652 0 0 0 104919 92 0 0 25 0 1 0 730451187 127778816 28795 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28795 1111 63 0 31133 0 vsize: 124784 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33661 0 0 0 105920 92 0 0 25 0 1 0 730451187 127778816 28802 4294967295 134512640 134714508 3221221776 3221217688 1075964733 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28802 1111 63 0 31133 0 vsize: 124784 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33663 0 0 0 106920 92 0 0 25 0 1 0 730451187 127778816 28804 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28804 1111 63 0 31133 0 vsize: 124784 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33681 0 0 0 107920 92 0 0 25 0 1 0 730451187 127778816 28820 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28820 1111 63 0 31133 0 vsize: 124784 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33687 0 0 0 108920 92 0 0 25 0 1 0 730451187 127778816 28826 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31196 28826 1111 63 0 31133 0 vsize: 124784 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33744 0 0 0 109920 93 0 0 25 0 1 0 730451187 128430080 28881 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31355 28881 1111 63 0 31292 0 vsize: 125420 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33767 0 0 0 110920 93 0 0 25 0 1 0 730451187 128430080 28902 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31355 28902 1111 63 0 31292 0 vsize: 125420 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33771 0 0 0 111920 93 0 0 25 0 1 0 730451187 128430080 28906 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31355 28906 1111 63 0 31292 0 vsize: 125420 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33780 0 0 0 112921 93 0 0 25 0 1 0 730451187 128430080 28911 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31355 28911 1111 63 0 31292 0 vsize: 125420 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33785 0 0 0 113921 93 0 0 25 0 1 0 730451187 128430080 28916 4294967295 134512640 134714508 3221221776 3221217824 1075112080 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31355 28916 1111 63 0 31292 0 vsize: 125420 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33797 0 0 0 114921 93 0 0 25 0 1 0 730451187 128430080 28928 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31355 28928 1111 63 0 31292 0 vsize: 125420 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33892 0 0 0 115921 93 0 0 25 0 1 0 730451187 129118208 29021 4294967295 134512640 134714508 3221221776 3221217924 1075115028 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31523 29021 1111 63 0 31460 0 vsize: 126092 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33918 0 0 0 116921 93 0 0 25 0 1 0 730451187 129118208 29045 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31523 29045 1111 63 0 31460 0 vsize: 126092 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33918 0 0 0 117921 93 0 0 25 0 1 0 730451187 129118208 29045 4294967295 134512640 134714508 3221221776 3221217660 1074788183 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31523 29045 1111 63 0 31460 0 vsize: 126092 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33949 0 0 0 118921 93 0 0 25 0 1 0 730451187 129118208 29074 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31523 29074 1111 63 0 31460 0 vsize: 126092 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) R 12904 7876 7672 0 -1 0 33961 0 0 0 119921 94 0 0 25 0 1 0 730451187 129118208 29084 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31523 29084 1111 63 0 31460 0 vsize: 126092 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.11 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 12905 Raw data (stat): 12905 (bsolo_lpr_cuts) Z 12904 7876 7672 0 -1 1036 33961 0 0 0 119921 99 0 0 25 0 1 0 730451187 0 0 4294967295 0 0 0 0 0 0 0 1 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.21 CPU user time (s): 1199.22 CPU system time (s): 0.995848 CPU usage (%): 100.009 Max. virtual memory (Kb): 130232 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####