Name | normalized-opb/submitted/een/normalized-air03.opb |
MD5SUM | 017636577e3ff026b2ea720fb537705b |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 10757 |
Biggest coefficient in the objective function | 6873 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 13748961 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 6873 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 13748961 |
Number of bits of the biggest sum of numbers | 24 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 2.22466 |
Number of variables | 10757 |
Total number of constraints | 248 |
Number of constraints which are clauses | 126 |
Number of constraints which are cardinality constraints (but not clauses) | 122 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3861 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-09 03:03:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29002 boxname=wulflinc4 idbench=388 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 017636577e3ff026b2ea720fb537705b /oldhome/oroussel/tmp/wulflinc4/normalized-air03.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-air03.opb IDLAUNCH: 29002 /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: 903548 kB Buffers: 30480 kB Cached: 78964 kB SwapCached: 1192 kB Active: 28860 kB Inactive: 82892 kB HighTotal: 131008 kB HighFree: 51128 kB LowTotal: 903652 kB LowFree: 852420 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4908 kB Slab: 13744 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 03:23:18 (client local time) WITH STATUS 0 IN 1200.41 SECONDS stats: 29002 7 1200.41 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 10757 variables and 248 constraints. #### 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.92 0.98 0.91 2/54 7834 Raw data (stat): 7834 (runsolver) R 7833 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906875384 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.0012 s] Raw data (loadavg): 0.94 0.98 0.91 2/54 7834 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 1693 0 0 0 993 5 0 0 25 0 1 0 906875384 20013056 1613 4294967295 134512640 134716908 3221224576 3221223120 134535474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4886 1613 1111 63 0 4823 0 vsize: 19544 [startup+20.0021 s] Raw data (loadavg): 0.94 0.98 0.91 2/54 7834 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 4436 0 0 0 1985 13 0 0 25 0 1 0 906875384 31432704 4356 4294967295 134512640 134716908 3221224576 3221222852 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7674 4356 1111 63 0 7611 0 vsize: 30696 [startup+30.0033 s] Raw data (loadavg): 0.95 0.98 0.91 2/54 7834 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 13081 0 0 0 2965 33 0 0 25 0 1 0 906875384 56967168 12965 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13908 12965 1111 63 0 13845 0 vsize: 55632 [startup+40.0037 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 7834 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 13156 0 0 0 3965 33 0 0 25 0 1 0 906875384 56967168 12967 4294967295 134512640 134716908 3221224576 3221223448 134558807 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13908 12967 1111 63 0 13845 0 vsize: 55632 [startup+50.0036 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 7834 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 18867 0 0 0 4951 47 0 0 25 0 1 0 906875384 65269760 14973 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15935 14973 1111 63 0 15872 0 vsize: 63740 [startup+60.0049 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 7834 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 27585 0 0 0 5932 66 0 0 25 0 1 0 906875384 76288000 17685 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18625 17685 1111 63 0 18562 0 vsize: 74500 [startup+70.0053 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 7834 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 36144 0 0 0 6912 86 0 0 25 0 1 0 906875384 83251200 19353 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20325 19353 1111 63 0 20262 0 vsize: 81300 [startup+80.0062 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 7834 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 45721 0 0 0 7893 106 0 0 25 0 1 0 906875384 93724672 21911 4294967295 134512640 134716908 3221224576 3221223032 134536665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22882 21911 1111 63 0 22819 0 vsize: 91528 [startup+90.0065 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 7834 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 49147 0 0 0 8885 114 0 0 25 0 1 0 906875384 100233216 23531 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24471 23531 1111 63 0 24408 0 vsize: 97884 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 7834 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 54139 0 0 0 9875 123 0 0 25 0 1 0 906875384 110985216 26124 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27096 26124 1111 63 0 27033 0 vsize: 108384 [startup+110.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7834 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 59102 0 0 0 10864 134 0 0 25 0 1 0 906875384 119693312 28282 4294967295 134512640 134716908 3221224576 3221223196 134543835 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29222 28282 1111 63 0 29159 0 vsize: 116888 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7834 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 66138 0 0 0 11849 150 0 0 25 0 1 0 906875384 127651840 30213 4294967295 134512640 134716908 3221224576 3221223056 134539362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31165 30213 1111 63 0 31102 0 vsize: 124660 [startup+130.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7834 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 71566 0 0 0 12837 162 0 0 25 0 1 0 906875384 136253440 32292 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33265 32292 1111 63 0 33202 0 vsize: 133060 [startup+140.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 78774 0 0 0 13821 178 0 0 25 0 1 0 906875384 146227200 34760 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35700 34760 1111 63 0 35637 0 vsize: 142800 [startup+150.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 81945 0 0 0 14815 184 0 0 25 0 1 0 906875384 155480064 37000 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37959 37000 1111 63 0 37896 0 vsize: 151836 [startup+160.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 88459 0 0 0 15802 197 0 0 25 0 1 0 906875384 161538048 38498 4294967295 134512640 134716908 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39438 38498 1111 63 0 39375 0 vsize: 157752 [startup+170.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 94444 0 0 0 16790 209 0 0 25 0 1 0 906875384 170688512 40732 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41672 40732 1111 63 0 41609 0 vsize: 166688 [startup+180.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 100098 0 0 0 17776 223 0 0 25 0 1 0 906875384 182824960 43694 4294967295 134512640 134716908 3221224576 3221223120 134535032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44635 43694 1111 63 0 44572 0 vsize: 178540 [startup+190.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 105618 0 0 0 18763 237 0 0 25 0 1 0 906875384 187305984 44789 4294967295 134512640 134716908 3221224576 3221222976 134542694 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45729 44789 1111 63 0 45666 0 vsize: 182916 [startup+200.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 109839 0 0 0 19752 247 0 0 25 0 1 0 906875384 197398528 47242 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48193 47242 1111 63 0 48130 0 vsize: 192772 [startup+210.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 113170 0 0 0 20745 254 0 0 25 0 1 0 906875384 206278656 49421 4294967295 134512640 134716908 3221224576 3221223040 134542344 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50361 49421 1111 63 0 50298 0 vsize: 201444 [startup+220.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 119525 0 0 0 21732 267 0 0 25 0 1 0 906875384 217206784 52089 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53029 52089 1111 63 0 52966 0 vsize: 212116 [startup+230.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 123758 0 0 0 22723 276 0 0 25 0 1 0 906875384 225427456 54096 4294967295 134512640 134716908 3221224576 3221222940 134539306 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55036 54096 1111 63 0 54973 0 vsize: 220144 [startup+240.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 128016 0 0 0 23713 286 0 0 25 0 1 0 906875384 231280640 55525 4294967295 134512640 134716908 3221224576 3221223104 134528481 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 56465 55525 1111 63 0 56402 0 vsize: 225860 [startup+250.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 130896 0 0 0 24707 292 0 0 25 0 1 0 906875384 241405952 57965 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58937 57965 1111 63 0 58874 0 vsize: 235748 [startup+260.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 134047 0 0 0 25700 300 0 0 25 0 1 0 906875384 249499648 59973 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60913 59973 1111 63 0 60850 0 vsize: 243652 [startup+270.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 140707 0 0 0 26687 313 0 0 25 0 1 0 906875384 264945664 63733 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64684 63733 1111 63 0 64621 0 vsize: 258736 [startup+280.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 144818 0 0 0 27678 322 0 0 25 0 1 0 906875384 266432512 64107 4294967295 134512640 134716908 3221224576 3221223184 134542598 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 65047 64107 1111 63 0 64984 0 vsize: 260188 [startup+290.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 148810 0 0 0 28668 332 0 0 25 0 1 0 906875384 273887232 65916 4294967295 134512640 134716908 3221224576 3221223056 134539422 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 66867 65916 1111 63 0 66804 0 vsize: 267468 [startup+300.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 154486 0 0 0 29658 343 0 0 25 0 1 0 906875384 284565504 68501 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69474 68501 1111 63 0 69411 0 vsize: 277896 [startup+310.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 156528 0 0 0 30654 347 0 0 25 0 1 0 906875384 288243712 69431 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70372 69431 1111 63 0 70309 0 vsize: 281488 [startup+320.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 162990 0 0 0 31640 361 0 0 25 0 1 0 906875384 298508288 71905 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72878 71905 1111 63 0 72815 0 vsize: 291512 [startup+330.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 169731 0 0 0 32624 376 0 0 25 0 1 0 906875384 305963008 73747 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 74698 73747 1111 63 0 74635 0 vsize: 298792 [startup+340.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 172174 0 0 0 33620 381 0 0 25 0 1 0 906875384 312758272 75387 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76357 75387 1111 63 0 76294 0 vsize: 305428 [startup+350.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 175308 0 0 0 34613 387 0 0 25 0 1 0 906875384 323440640 77994 4294967295 134512640 134716908 3221224576 3221223288 134675300 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78965 77994 1111 63 0 78902 0 vsize: 315860 [startup+360.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 179015 0 0 0 35606 394 0 0 25 0 1 0 906875384 331857920 80080 4294967295 134512640 134716908 3221224576 3221222960 134542297 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81020 80080 1111 63 0 80957 0 vsize: 324080 [startup+370.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 181359 0 0 0 36601 400 0 0 25 0 1 0 906875384 338161664 81585 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 82559 81585 1111 63 0 82496 0 vsize: 330236 [startup+380.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 184983 0 0 0 37593 408 0 0 25 0 1 0 906875384 348483584 84107 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85079 84107 1111 63 0 85016 0 vsize: 340316 [startup+390.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 187684 0 0 0 38588 413 0 0 25 0 1 0 906875384 354033664 85488 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86434 85488 1111 63 0 86371 0 vsize: 345736 [startup+400.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 191295 0 0 0 39582 419 0 0 25 0 1 0 906875384 362319872 87517 4294967295 134512640 134716908 3221224576 3221222960 134542342 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 88457 87517 1111 63 0 88394 0 vsize: 353828 [startup+410.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 196163 0 0 0 40570 432 0 0 25 0 1 0 906875384 371830784 89839 4294967295 134512640 134716908 3221224576 3221222940 134539270 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 90779 89839 1111 63 0 90716 0 vsize: 363116 [startup+420.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 199477 0 0 0 41562 439 0 0 25 0 1 0 906875384 378159104 91383 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92324 91383 1111 63 0 92261 0 vsize: 369296 [startup+430.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 208412 0 0 0 42541 460 0 0 25 0 1 0 906875384 386076672 93316 4294967295 134512640 134716908 3221224576 3221222940 134539309 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 94257 93316 1111 63 0 94194 0 vsize: 377028 [startup+440.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 213654 0 0 0 43531 471 0 0 25 0 1 0 906875384 391221248 94572 4294967295 134512640 134716908 3221224576 3221223304 134675300 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 95513 94572 1111 63 0 95450 0 vsize: 382052 [startup+450.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 220085 0 0 0 44518 484 0 0 25 0 1 0 906875384 400400384 96813 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 97754 96813 1111 63 0 97691 0 vsize: 391016 [startup+460.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 224073 0 0 0 45508 493 0 0 25 0 1 0 906875384 407097344 98426 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 99389 98426 1111 63 0 99326 0 vsize: 397556 [startup+470.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 229548 0 0 0 46497 504 0 0 25 0 1 0 906875384 415670272 100529 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101482 100529 1111 63 0 101419 0 vsize: 405928 [startup+480.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 235888 0 0 0 47484 518 0 0 25 0 1 0 906875384 418443264 101219 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102159 101219 1111 63 0 102096 0 vsize: 408636 [startup+490.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 242737 0 0 0 48470 532 0 0 25 0 1 0 906875384 423931904 102559 4294967295 134512640 134716908 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103499 102559 1111 63 0 103436 0 vsize: 413996 [startup+500.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 245282 0 0 0 49464 538 0 0 25 0 1 0 906875384 432885760 104745 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105685 104745 1111 63 0 105622 0 vsize: 422740 [startup+510.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 251825 0 0 0 50450 552 0 0 25 0 1 0 906875384 438145024 105996 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106969 105996 1111 63 0 106906 0 vsize: 427876 [startup+520.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 257022 0 0 0 51439 563 0 0 25 0 1 0 906875384 442499072 107091 4294967295 134512640 134716908 3221224576 3221222976 134542689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108032 107091 1111 63 0 107969 0 vsize: 432128 [startup+530.028 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 260258 0 0 0 52432 570 0 0 25 0 1 0 906875384 451178496 109187 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 110151 109187 1111 63 0 110088 0 vsize: 440604 [startup+540.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 265603 0 0 0 53419 583 0 0 25 0 1 0 906875384 456794112 110529 4294967295 134512640 134716908 3221224576 3221223000 1077377359 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 111522 110529 1111 63 0 111459 0 vsize: 446088 [startup+550.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 274047 0 0 0 54402 600 0 0 25 0 1 0 906875384 464924672 112554 4294967295 134512640 134716908 3221224576 3221223056 134539576 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 113507 112554 1111 63 0 113444 0 vsize: 454028 [startup+560.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 277398 0 0 0 55394 608 0 0 25 0 1 0 906875384 469430272 113634 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 114607 113634 1111 63 0 114544 0 vsize: 458428 [startup+570.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 282198 0 0 0 56384 618 0 0 25 0 1 0 906875384 476352512 115357 4294967295 134512640 134716908 3221224576 3221222764 1077379843 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 116297 115357 1111 63 0 116234 0 vsize: 465188 [startup+580.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 283069 0 0 0 57383 620 0 0 25 0 1 0 906875384 478294016 115800 4294967295 134512640 134716908 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 116771 115800 1111 63 0 116708 0 vsize: 467084 [startup+590.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 289501 0 0 0 58369 633 0 0 25 0 1 0 906875384 487747584 118128 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 119079 118128 1111 63 0 119016 0 vsize: 476316 [startup+600.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 293207 0 0 0 59361 641 0 0 25 0 1 0 906875384 493305856 119496 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 120436 119496 1111 63 0 120373 0 vsize: 481744 [startup+610.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 298773 0 0 0 60349 654 0 0 25 0 1 0 906875384 494899200 119853 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 120825 119853 1111 63 0 120762 0 vsize: 483300 [startup+620.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 304062 0 0 0 61338 664 0 0 25 0 1 0 906875384 503189504 121909 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 122849 121909 1111 63 0 122786 0 vsize: 491396 [startup+630.033 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 305810 0 0 0 62334 669 0 0 25 0 1 0 906875384 505298944 122413 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 123364 122413 1111 63 0 123301 0 vsize: 493456 [startup+640.033 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 310856 0 0 0 63323 680 0 0 25 0 1 0 906875384 511234048 123841 4294967295 134512640 134716908 3221224576 3221223104 134535333 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 124813 123841 1111 63 0 124750 0 vsize: 499252 [startup+650.033 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 315198 0 0 0 64313 690 0 0 25 0 1 0 906875384 519462912 125882 4294967295 134512640 134716908 3221224576 3221223184 134542598 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 126822 125882 1111 63 0 126759 0 vsize: 507288 [startup+660.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 322245 0 0 0 65297 706 0 0 25 0 1 0 906875384 524808192 127155 4294967295 134512640 134716908 3221224576 3221223064 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 128127 127155 1111 63 0 128064 0 vsize: 512508 [startup+670.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 326479 0 0 0 66288 715 0 0 25 0 1 0 906875384 526888960 127695 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 128635 127695 1111 63 0 128572 0 vsize: 514540 [startup+680.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 329251 0 0 0 67281 722 0 0 25 0 1 0 906875384 532938752 129150 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 130112 129150 1111 63 0 130049 0 vsize: 520448 [startup+690.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 332456 0 0 0 68274 729 0 0 25 0 1 0 906875384 540540928 130997 4294967295 134512640 134716908 3221224576 3221223160 1077374049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 131968 130997 1111 63 0 131905 0 vsize: 527872 [startup+700.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 334393 0 0 0 69270 733 0 0 25 0 1 0 906875384 544026624 131872 4294967295 134512640 134716908 3221224576 3221223080 134543652 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 132819 131872 1111 63 0 132756 0 vsize: 531276 [startup+710.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 340762 0 0 0 70257 747 0 0 25 0 1 0 906875384 553103360 134084 4294967295 134512640 134716908 3221224576 3221223104 134535477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 135035 134084 1111 63 0 134972 0 vsize: 540140 [startup+720.037 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 346005 0 0 0 71246 757 0 0 25 0 1 0 906875384 558084096 135290 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136251 135290 1111 63 0 136188 0 vsize: 545004 [startup+730.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 351073 0 0 0 72235 768 0 0 25 0 1 0 906875384 559411200 135605 4294967295 134512640 134716908 3221224576 3221223000 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136575 135605 1111 63 0 136512 0 vsize: 546300 [startup+740.037 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 356613 0 0 0 73223 780 0 0 25 0 1 0 906875384 566026240 137219 4294967295 134512640 134716908 3221224576 3221223040 134542325 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 138190 137219 1111 63 0 138127 0 vsize: 552760 [startup+750.037 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 360409 0 0 0 74214 789 0 0 25 0 1 0 906875384 569643008 138101 4294967295 134512640 134716908 3221224576 3221223108 1077374082 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 139073 138101 1111 63 0 139010 0 vsize: 556292 [startup+760.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 365889 0 0 0 75203 800 0 0 25 0 1 0 906875384 570327040 138300 4294967295 134512640 134716908 3221224576 3221222988 134543615 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 139240 138300 1111 63 0 139177 0 vsize: 556960 [startup+770.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 369958 0 0 0 76194 809 0 0 25 0 1 0 906875384 579612672 140567 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 141507 140567 1111 63 0 141444 0 vsize: 566028 [startup+780.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 369958 0 0 0 77193 810 0 0 25 0 1 0 906875384 579608576 140566 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 141506 140566 1111 63 0 141443 0 vsize: 566024 [startup+790.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 375856 0 0 0 78180 823 0 0 25 0 1 0 906875384 587460608 142451 4294967295 134512640 134716908 3221224576 3221223056 134539427 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 143423 142451 1111 63 0 143360 0 vsize: 573692 [startup+800.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 385579 0 0 0 79160 843 0 0 25 0 1 0 906875384 590147584 143128 4294967295 134512640 134716908 3221224576 3221223084 134539583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 144079 143128 1111 63 0 144016 0 vsize: 576316 [startup+810.039 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 386343 0 0 0 80158 845 0 0 25 0 1 0 906875384 589709312 143032 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 143972 143032 1111 63 0 143909 0 vsize: 575888 [startup+820.039 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 389706 0 0 0 81151 852 0 0 25 0 1 0 906875384 593358848 143912 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 144863 143912 1111 63 0 144800 0 vsize: 579452 [startup+830.039 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 392389 0 0 0 82144 859 0 0 25 0 1 0 906875384 598515712 145182 4294967295 134512640 134716908 3221224576 3221223104 134543700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 146122 145182 1111 63 0 146059 0 vsize: 584488 [startup+840.039 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 394312 0 0 0 83140 863 0 0 25 0 1 0 906875384 598515712 145182 4294967295 134512640 134716908 3221224576 3221222940 134539243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 146122 145182 1111 63 0 146059 0 vsize: 584488 [startup+850.039 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 396565 0 0 0 84135 868 0 0 25 0 1 0 906875384 601862144 145998 4294967295 134512640 134716908 3221224576 3221222992 134543684 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 146939 145998 1111 63 0 146876 0 vsize: 587756 [startup+860.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 399738 0 0 0 85128 875 0 0 25 0 1 0 906875384 609009664 147732 4294967295 134512640 134716908 3221224576 3221223296 134618245 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 148684 147732 1111 63 0 148621 0 vsize: 594736 [startup+870.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 401798 0 0 0 86123 880 0 0 25 0 1 0 906875384 614936576 149170 4294967295 134512640 134716908 3221224576 3221223056 134536624 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 150131 149170 1111 63 0 150068 0 vsize: 600524 [startup+880.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 404662 0 0 0 87117 886 0 0 25 0 1 0 906875384 622796800 151110 4294967295 134512640 134716908 3221224576 3221223056 134539112 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 152050 151110 1111 63 0 151987 0 vsize: 608200 [startup+890.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 406854 0 0 0 88112 891 0 0 25 0 1 0 906875384 625356800 151709 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 152675 151709 1111 63 0 152612 0 vsize: 610700 [startup+900.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 411950 0 0 0 89103 900 0 0 25 0 1 0 906875384 630771712 153056 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 153997 153056 1111 63 0 153934 0 vsize: 615988 [startup+910.042 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 417781 0 0 0 90089 914 0 0 25 0 1 0 906875384 638803968 155007 4294967295 134512640 134716908 3221224576 3221223140 134535789 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 155958 155007 1111 63 0 155895 0 vsize: 623832 [startup+920.042 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 421574 0 0 0 91081 922 0 0 25 0 1 0 906875384 642252800 155838 4294967295 134512640 134716908 3221224576 3221223184 134542598 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 156800 155838 1111 63 0 156737 0 vsize: 627200 [startup+930.043 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 425191 0 0 0 92072 931 0 0 25 0 1 0 906875384 644444160 156384 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 157335 156384 1111 63 0 157272 0 vsize: 629340 [startup+940.043 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 429526 0 0 0 93063 941 0 0 25 0 1 0 906875384 655036416 158964 4294967295 134512640 134716908 3221224576 3221223108 1077374149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 159921 158964 1111 63 0 159858 0 vsize: 639684 [startup+950.044 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 430315 0 0 0 94061 942 0 0 25 0 1 0 906875384 655626240 159123 4294967295 134512640 134716908 3221224576 3221223120 134535026 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 160065 159123 1111 63 0 160002 0 vsize: 640260 [startup+960.045 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 432119 0 0 0 95057 946 0 0 25 0 1 0 906875384 660226048 160246 4294967295 134512640 134716908 3221224576 3221223152 134535844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 161188 160246 1111 63 0 161125 0 vsize: 644752 [startup+970.046 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 434393 0 0 0 96053 951 0 0 25 0 1 0 906875384 665456640 161491 4294967295 134512640 134716908 3221224576 3221223072 134543756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 162465 161491 1111 63 0 162402 0 vsize: 649860 [startup+980.045 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 439586 0 0 0 97040 963 0 0 25 0 1 0 906875384 671391744 162940 4294967295 134512640 134716908 3221224576 3221223184 134542598 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 163914 162940 1111 63 0 163851 0 vsize: 655656 [startup+990.047 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 445048 0 0 0 98027 976 0 0 25 0 1 0 906875384 674422784 163693 4294967295 134512640 134716908 3221224576 3221223292 134675317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 164654 163693 1111 63 0 164591 0 vsize: 658616 [startup+1000.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 448502 0 0 0 99021 983 0 0 25 0 1 0 906875384 679833600 165035 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 165975 165035 1111 63 0 165912 0 vsize: 663900 [startup+1010.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 452585 0 0 0 100011 993 0 0 25 0 1 0 906875384 681377792 165412 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 166352 165412 1111 63 0 166289 0 vsize: 665408 [startup+1020.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 455449 0 0 0 101005 999 0 0 25 0 1 0 906875384 687763456 166971 4294967295 134512640 134716908 3221224576 3221223232 134609361 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 167911 166971 1111 63 0 167848 0 vsize: 671644 [startup+1030.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 456635 0 0 0 102002 1002 0 0 25 0 1 0 906875384 691900416 167961 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 168921 167961 1111 63 0 168858 0 vsize: 675684 [startup+1040.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 459656 0 0 0 102995 1009 0 0 25 0 1 0 906875384 697507840 169328 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 170290 169328 1111 63 0 170227 0 vsize: 681160 [startup+1050.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 462041 0 0 0 103990 1015 0 0 25 0 1 0 906875384 701403136 170279 4294967295 134512640 134716908 3221224576 3221223056 134539202 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 171241 170279 1111 63 0 171178 0 vsize: 684964 [startup+1060.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 463985 0 0 0 104986 1018 0 0 25 0 1 0 906875384 704913408 171137 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 172098 171137 1111 63 0 172035 0 vsize: 688392 [startup+1070.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 466132 0 0 0 105982 1023 0 0 25 0 1 0 906875384 710500352 172510 4294967295 134512640 134716908 3221224576 3221223088 134523171 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 173462 172510 1111 63 0 173399 0 vsize: 693848 [startup+1080.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 468564 0 0 0 106977 1028 0 0 25 0 1 0 906875384 715870208 173810 4294967295 134512640 134716908 3221224576 3221223040 134542306 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 174773 173810 1111 63 0 174710 0 vsize: 699092 [startup+1090.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 470842 0 0 0 107972 1032 0 0 25 0 1 0 906875384 716939264 174033 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 175034 174040 1111 63 0 174971 0 vsize: 700136 [startup+1100.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 473805 0 0 0 108967 1038 0 0 25 0 1 0 906875384 721838080 175257 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 176230 175257 1111 63 0 176167 0 vsize: 704920 [startup+1110.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 475105 0 0 0 109964 1042 0 0 25 0 1 0 906875384 722694144 175498 4294967295 134512640 134716908 3221224576 3221223140 1077374207 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 176439 175498 1111 63 0 176376 0 vsize: 705756 [startup+1120.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 478525 0 0 0 110957 1049 0 0 25 0 1 0 906875384 727547904 176683 4294967295 134512640 134716908 3221224576 3221223232 134609347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 177624 176683 1111 63 0 177561 0 vsize: 710496 [startup+1130.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 482382 0 0 0 111948 1057 0 0 25 0 1 0 906875384 730660864 177415 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 178384 177415 1111 63 0 178321 0 vsize: 713536 [startup+1140.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 488307 0 0 0 112936 1070 0 0 25 0 1 0 906875384 739979264 179719 4294967295 134512640 134716908 3221224576 3221223064 134543614 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 180659 179719 1111 63 0 180596 0 vsize: 722636 [startup+1150.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 488416 0 0 0 113936 1070 0 0 25 0 1 0 906875384 740126720 179755 4294967295 134512640 134716908 3221224576 3221223056 134539411 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 180695 179755 1111 63 0 180632 0 vsize: 722780 [startup+1160.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 488450 0 0 0 114936 1070 0 0 25 0 1 0 906875384 740298752 179789 4294967295 134512640 134716908 3221224576 3221223164 134535534 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 180737 179789 1111 63 0 180674 0 vsize: 722948 [startup+1170.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 490417 0 0 0 115933 1073 0 0 25 0 1 0 906875384 746180608 181232 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 182173 181232 1111 63 0 182110 0 vsize: 728692 [startup+1180.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 491874 0 0 0 116931 1076 0 0 25 0 1 0 906875384 749768704 182101 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 183049 182101 1111 63 0 182986 0 vsize: 732196 [startup+1190.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 492240 0 0 0 117930 1077 0 0 25 0 1 0 906875384 750858240 182363 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 183315 182363 1111 63 0 183252 0 vsize: 733260 [startup+1200.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 493039 0 0 0 118928 1079 0 0 25 0 1 0 906875384 751878144 182613 4294967295 134512640 134716908 3221224576 3221223184 134542598 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 183564 182613 1111 63 0 183501 0 vsize: 734256 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.39 s] Raw data (loadavg): 0.99 0.98 0.91 1/54 7836 Raw data (stat): 7834 (bsolo_lpr_cuts-) Z 7833 21152 21151 0 -1 1036 493039 0 0 0 118928 1112 0 0 25 0 1 0 906875384 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.39 CPU time (s): 1200.41 CPU user time (s): 1189.28 CPU system time (s): 11.1283 CPU usage (%): 100.002 Max. virtual memory (Kb): 734256 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####