Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb |
MD5SUM | a49c7da557148a2c89bd88c6a2106d94 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 4360 |
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 | 4360 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4360 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.262959 |
Number of variables | 4360 |
Total number of constraints | 8958 |
Number of constraints which are clauses | 8958 |
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 | 1 |
Maximum length of a constraint | 6 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-04 13:51:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1109 boxname=wulflinc31 idbench=124 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: a49c7da557148a2c89bd88c6a2106d94 /oldhome/oroussel/tmp/wulflinc31/normalized-bf1355-075.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-bf1355-075.opb IDLAUNCH: 1109 /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: 907912 kB Buffers: 44220 kB Cached: 60236 kB SwapCached: 944 kB Active: 85988 kB Inactive: 20884 kB HighTotal: 131008 kB HighFree: 69804 kB LowTotal: 903652 kB LowFree: 838108 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5540 kB Slab: 14352 kB Committed_AS: 63644 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-04 14:05:29 (client local time) WITH STATUS 20 IN 868.384 SECONDS stats: 1109 7 868.384 20 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 4360 variables and 8958 constraints. c After prepocess the problem consists of 1188 variables and 3477 constraints. c preprocess terminated 832.868 s c Initial Lower Bound: 2061 c Lower Bound Elapsed time: 3.5074 c Not use computed LB before first solution. s UNSATISFIABLE c Exit Code: 20 c Total time: 868.284 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.99 0.97 0.89 2/54 2838 Raw data (stat): 2838 (runsolver) R 2837 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 657895429 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.001 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 10716 0 0 0 964 31 0 0 25 0 1 0 657895429 47083520 10628 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11495 10628 1111 63 0 11432 0 vsize: 45980 [startup+20.0022 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 11806 0 0 0 1961 35 0 0 25 0 1 0 657895429 47120384 10647 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11504 10647 1111 63 0 11441 0 vsize: 46016 [startup+30.0029 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 16179 0 0 0 2949 47 0 0 25 0 1 0 657895429 47509504 10742 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11599 10742 1111 63 0 11536 0 vsize: 46396 [startup+40.0038 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 24630 0 0 0 3925 71 0 0 25 0 1 0 657895429 47509504 10742 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11599 10742 1111 63 0 11536 0 vsize: 46396 [startup+50.0047 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 36958 0 0 0 4892 104 0 0 25 0 1 0 657895429 47509504 10742 4294967295 134512640 134714508 3221221776 3221220504 134672911 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11599 10742 1111 63 0 11536 0 vsize: 46396 [startup+60.0047 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 49992 0 0 0 5858 137 0 0 25 0 1 0 657895429 89518080 20987 4294967295 134512640 134714508 3221221776 3221220328 1077377472 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21855 20987 1111 63 0 21792 0 vsize: 87420 [startup+70.0056 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 49992 0 0 0 6858 138 0 0 25 0 1 0 657895429 89518080 20987 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21855 20987 1111 63 0 21792 0 vsize: 87420 [startup+80.0067 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 50598 0 0 0 7856 140 0 0 25 0 1 0 657895429 92033024 21593 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22469 21593 1111 63 0 22406 0 vsize: 89876 [startup+90.0074 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 50598 0 0 0 8856 140 0 0 25 0 1 0 657895429 92033024 21593 4294967295 134512640 134714508 3221221776 3221220200 1077377765 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22469 21593 1111 63 0 22406 0 vsize: 89876 [startup+100.008 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 51475 0 0 0 9853 143 0 0 25 0 1 0 657895429 92033024 21612 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22469 21612 1111 63 0 22406 0 vsize: 89876 [startup+110.009 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 51475 0 0 0 10852 144 0 0 25 0 1 0 657895429 92033024 21612 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22469 21612 1111 63 0 22406 0 vsize: 89876 [startup+120.01 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 53164 0 0 0 11849 147 0 0 25 0 1 0 657895429 92033024 21612 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22469 21612 1111 63 0 22406 0 vsize: 89876 [startup+130.011 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 55060 0 0 0 12844 152 0 0 25 0 1 0 657895429 92033024 21612 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22469 21612 1111 63 0 22406 0 vsize: 89876 [startup+140.012 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 58298 0 0 0 13838 159 0 0 25 0 1 0 657895429 105304064 24850 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25709 24850 1111 63 0 25646 0 vsize: 102836 [startup+150.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 58298 0 0 0 14837 159 0 0 25 0 1 0 657895429 105304064 24850 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25709 24850 1111 63 0 25646 0 vsize: 102836 [startup+160.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 58298 0 0 0 15837 159 0 0 25 0 1 0 657895429 105304064 24850 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25709 24850 1111 63 0 25646 0 vsize: 102836 [startup+170.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 58298 0 0 0 16837 160 0 0 25 0 1 0 657895429 105304064 24850 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25709 24850 1111 63 0 25646 0 vsize: 102836 [startup+180.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 58298 0 0 0 17836 160 0 0 25 0 1 0 657895429 105304064 24850 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25709 24850 1111 63 0 25646 0 vsize: 102836 [startup+190.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 59090 0 0 0 18834 162 0 0 25 0 1 0 657895429 105373696 24869 4294967295 134512640 134714508 3221221776 3221220256 134536730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25726 24869 1111 63 0 25663 0 vsize: 102904 [startup+200.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 59090 0 0 0 19834 163 0 0 25 0 1 0 657895429 105373696 24869 4294967295 134512640 134714508 3221221776 3221220412 134554926 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25726 24869 1111 63 0 25663 0 vsize: 102904 [startup+210.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 59090 0 0 0 20833 164 0 0 25 0 1 0 657895429 105373696 24869 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25726 24869 1111 63 0 25663 0 vsize: 102904 [startup+220.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 59090 0 0 0 21833 164 0 0 25 0 1 0 657895429 105373696 24869 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25726 24869 1111 63 0 25663 0 vsize: 102904 [startup+230.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 60506 0 0 0 22830 167 0 0 25 0 1 0 657895429 105373696 24869 4294967295 134512640 134714508 3221221776 3221220576 134617624 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25726 24869 1111 63 0 25663 0 vsize: 102904 [startup+240.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 60506 0 0 0 23829 168 0 0 25 0 1 0 657895429 105373696 24869 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25726 24869 1111 63 0 25663 0 vsize: 102904 [startup+250.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 60506 0 0 0 24829 169 0 0 25 0 1 0 657895429 105373696 24869 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25726 24869 1111 63 0 25663 0 vsize: 102904 [startup+260.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 60506 0 0 0 25828 169 0 0 25 0 1 0 657895429 105373696 24869 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25726 24869 1111 63 0 25663 0 vsize: 102904 [startup+270.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 60506 0 0 0 26828 169 0 0 25 0 1 0 657895429 105373696 24869 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25726 24869 1111 63 0 25663 0 vsize: 102904 [startup+280.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 63481 0 0 0 27821 176 0 0 25 0 1 0 657895429 105373696 24869 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25726 24869 1111 63 0 25663 0 vsize: 102904 [startup+290.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 64023 0 0 0 28820 178 0 0 25 0 1 0 657895429 105373696 24869 4294967295 134512640 134714508 3221221776 3221220264 134543609 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25726 24869 1111 63 0 25663 0 vsize: 102904 [startup+300.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 68406 0 0 0 29809 188 0 0 25 0 1 0 657895429 122933248 29156 4294967295 134512640 134714508 3221221776 3221220256 134542368 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30013 29156 1111 63 0 29950 0 vsize: 120052 [startup+310.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 68406 0 0 0 30809 189 0 0 25 0 1 0 657895429 122933248 29156 4294967295 134512640 134714508 3221221776 3221220388 134529106 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30013 29156 1111 63 0 29950 0 vsize: 120052 [startup+320.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 68406 0 0 0 31809 189 0 0 25 0 1 0 657895429 122933248 29156 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30013 29156 1111 63 0 29950 0 vsize: 120052 [startup+330.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 68406 0 0 0 32810 189 0 0 25 0 1 0 657895429 122933248 29156 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30013 29156 1111 63 0 29950 0 vsize: 120052 [startup+340.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 68406 0 0 0 33810 189 0 0 25 0 1 0 657895429 122933248 29156 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30013 29156 1111 63 0 29950 0 vsize: 120052 [startup+350.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 68406 0 0 0 34810 189 0 0 25 0 1 0 657895429 122933248 29156 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30013 29156 1111 63 0 29950 0 vsize: 120052 [startup+360.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 68996 0 0 0 35809 190 0 0 25 0 1 0 657895429 122933248 29156 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30013 29156 1111 63 0 29950 0 vsize: 120052 [startup+370.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 68996 0 0 0 36809 190 0 0 25 0 1 0 657895429 122933248 29156 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30013 29156 1111 63 0 29950 0 vsize: 120052 [startup+380.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 70119 0 0 0 37806 194 0 0 25 0 1 0 657895429 122937344 29157 4294967295 134512640 134714508 3221221776 3221220496 134618165 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30014 29157 1111 63 0 29951 0 vsize: 120056 [startup+390.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 70119 0 0 0 38806 194 0 0 25 0 1 0 657895429 122937344 29157 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30014 29157 1111 63 0 29951 0 vsize: 120056 [startup+400.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 70119 0 0 0 39806 194 0 0 25 0 1 0 657895429 122937344 29157 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30014 29157 1111 63 0 29951 0 vsize: 120056 [startup+410.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 70119 0 0 0 40806 194 0 0 25 0 1 0 657895429 122937344 29157 4294967295 134512640 134714508 3221221776 3221220256 134536713 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30014 29157 1111 63 0 29951 0 vsize: 120056 [startup+420.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 70119 0 0 0 41807 194 0 0 25 0 1 0 657895429 122937344 29157 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30014 29157 1111 63 0 29951 0 vsize: 120056 [startup+430.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 70119 0 0 0 42807 194 0 0 25 0 1 0 657895429 122937344 29157 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30014 29157 1111 63 0 29951 0 vsize: 120056 [startup+440.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 71843 0 0 0 43803 198 0 0 25 0 1 0 657895429 122933248 29156 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30013 29156 1111 63 0 29950 0 vsize: 120052 [startup+450.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 71843 0 0 0 44803 198 0 0 25 0 1 0 657895429 122933248 29156 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30013 29156 1111 63 0 29950 0 vsize: 120052 [startup+460.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 71843 0 0 0 45803 198 0 0 25 0 1 0 657895429 122933248 29156 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30013 29156 1111 63 0 29950 0 vsize: 120052 [startup+470.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 74058 0 0 0 46799 203 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220568 134617118 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+480.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 74058 0 0 0 47799 203 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+490.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 74058 0 0 0 48799 203 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+500.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 74058 0 0 0 49799 203 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+510.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 74058 0 0 0 50799 203 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+520.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 74058 0 0 0 51800 203 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+530.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 74640 0 0 0 52798 205 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+540.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2838 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 74640 0 0 0 53798 205 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+550.279 s] Raw data (loadavg): 0.99 0.97 0.91 3/57 2876 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 74855 0 0 0 54820 205 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+560.279 s] Raw data (loadavg): 1.15 1.00 0.92 2/54 2891 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 74855 0 0 0 55819 206 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220512 134630834 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+570.281 s] Raw data (loadavg): 1.12 1.00 0.92 2/54 2891 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 76497 0 0 0 56815 210 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+580.281 s] Raw data (loadavg): 1.10 1.00 0.92 2/54 2891 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 76497 0 0 0 57815 210 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+590.281 s] Raw data (loadavg): 1.09 1.00 0.92 2/54 2891 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 76497 0 0 0 58816 210 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220508 134543540 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+600.281 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 2891 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 76497 0 0 0 59816 210 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+610.281 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 2891 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 76497 0 0 0 60816 210 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+620.283 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 2891 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 76497 0 0 0 61816 210 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+630.283 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 76497 0 0 0 62816 210 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+640.284 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 76497 0 0 0 63817 210 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+650.285 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 85604 0 0 0 64796 231 0 0 25 0 1 0 657895429 131350528 31211 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32068 31211 1111 63 0 32005 0 vsize: 128272 [startup+660.285 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 87857 0 0 0 65790 237 0 0 25 0 1 0 657895429 133554176 31749 4294967295 134512640 134714508 3221221776 3221220160 134542359 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32606 31749 1111 63 0 32543 0 vsize: 130424 [startup+670.286 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 93573 0 0 0 66777 250 0 0 25 0 1 0 657895429 133976064 31824 4294967295 134512640 134714508 3221221776 3221220256 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32709 31824 1111 63 0 32646 0 vsize: 130836 [startup+680.287 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 93652 0 0 0 67777 250 0 0 25 0 1 0 657895429 133554176 31749 4294967295 134512640 134714508 3221221776 3221220416 1076648111 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32606 31749 1111 63 0 32543 0 vsize: 130424 [startup+690.288 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 93652 0 0 0 68777 250 0 0 25 0 1 0 657895429 133554176 31749 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32606 31749 1111 63 0 32543 0 vsize: 130424 [startup+700.289 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 93652 0 0 0 69777 250 0 0 25 0 1 0 657895429 133554176 31749 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32606 31749 1111 63 0 32543 0 vsize: 130424 [startup+710.29 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 94812 0 0 0 70775 252 0 0 25 0 1 0 657895429 133554176 31749 4294967295 134512640 134714508 3221221776 3221220512 134625511 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32606 31749 1111 63 0 32543 0 vsize: 130424 [startup+720.291 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 105931 0 0 0 71750 278 0 0 25 0 1 0 657895429 133554176 31749 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32606 31749 1111 63 0 32543 0 vsize: 130424 [startup+730.29 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 116170 0 0 0 72726 302 0 0 25 0 1 0 657895429 134774784 32047 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32904 32047 1111 63 0 32841 0 vsize: 131616 [startup+740.292 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 117759 0 0 0 73722 306 0 0 25 0 1 0 657895429 134774784 32047 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32904 32047 1111 63 0 32841 0 vsize: 131616 [startup+750.292 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 117759 0 0 0 74723 306 0 0 25 0 1 0 657895429 134774784 32047 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32904 32047 1111 63 0 32841 0 vsize: 131616 [startup+760.292 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 117759 0 0 0 75723 306 0 0 25 0 1 0 657895429 134774784 32047 4294967295 134512640 134714508 3221221776 3221220448 134627184 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32904 32047 1111 63 0 32841 0 vsize: 131616 [startup+770.293 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 117759 0 0 0 76723 306 0 0 25 0 1 0 657895429 134774784 32047 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32904 32047 1111 63 0 32841 0 vsize: 131616 [startup+780.294 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 117759 0 0 0 77723 306 0 0 25 0 1 0 657895429 134774784 32047 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32904 32047 1111 63 0 32841 0 vsize: 131616 [startup+790.295 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 117759 0 0 0 78723 306 0 0 25 0 1 0 657895429 134774784 32047 4294967295 134512640 134714508 3221221776 3221220432 134627203 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32904 32047 1111 63 0 32841 0 vsize: 131616 [startup+800.295 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 117759 0 0 0 79723 306 0 0 25 0 1 0 657895429 134774784 32047 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32904 32047 1111 63 0 32841 0 vsize: 131616 [startup+810.295 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 117759 0 0 0 80724 306 0 0 25 0 1 0 657895429 134774784 32047 4294967295 134512640 134714508 3221221776 3221220428 134558608 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32904 32047 1111 63 0 32841 0 vsize: 131616 [startup+820.296 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 117759 0 0 0 81724 306 0 0 25 0 1 0 657895429 134774784 32047 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32904 32047 1111 63 0 32841 0 vsize: 131616 [startup+830.296 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 117759 0 0 0 82724 306 0 0 25 0 1 0 657895429 134774784 32047 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32904 32047 1111 63 0 32841 0 vsize: 131616 [startup+840.297 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 125547 0 0 0 83706 324 0 0 25 0 1 0 657895429 166113280 39518 4294967295 134512640 134714508 3221221776 3221218208 1075084533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40555 39518 1111 63 0 40492 0 vsize: 162220 [startup+850.298 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 128194 0 0 0 84701 329 0 0 25 0 1 0 657895429 166744064 39632 4294967295 134512640 134714508 3221221776 3221217728 1074790236 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40709 39632 1111 63 0 40646 0 vsize: 162836 [startup+860.298 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 132867 0 0 0 85690 341 0 0 25 0 1 0 657895429 167256064 39767 4294967295 134512640 134714508 3221221776 3221217968 1074961347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40834 39767 1111 63 0 40771 0 vsize: 163336 [startup+868.371 s] Raw data (loadavg): 1.00 1.00 0.92 1/53 2893 Raw data (stat): 2838 (bsolo_lpr_cuts) R 2837 7876 7672 0 -1 0 132867 0 0 0 85690 341 0 0 25 0 1 0 657895429 167256064 39767 4294967295 134512640 134714508 3221221776 3221217968 1074961347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40834 39767 1111 63 0 40771 0 vsize: 0 Child status: 20 Real time (s): 868.37 CPU time (s): 868.384 CPU user time (s): 864.832 CPU system time (s): 3.55146 CPU usage (%): 100.002 Max. virtual memory (Kb): 163336 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####