Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb |
MD5SUM | a788dbf2f72289ace41b812e06d88575 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 101 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 362.64 |
Number of variables | 4626 |
Total number of constraints | 35373 |
Number of constraints which are clauses | 29724 |
Number of constraints which are cardinality constraints (but not clauses) | 5571 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-09 02:01:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28978 boxname=wulflinc6 idbench=364 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: a788dbf2f72289ace41b812e06d88575 /oldhome/oroussel/tmp/wulflinc6/normalized-ppp:1-9,16-19.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ppp:1-9,16-19.opb IDLAUNCH: 28978 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 906308 kB Buffers: 21720 kB Cached: 82556 kB SwapCached: 4048 kB Active: 29940 kB Inactive: 79568 kB HighTotal: 131008 kB HighFree: 49644 kB LowTotal: 903652 kB LowFree: 856664 kB SwapTotal: 2097136 kB SwapFree: 2092080 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4992 kB Slab: 13284 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 02:20:41 (client local time) WITH STATUS 0 IN 1175.13 SECONDS stats: 28978 7 1175.13 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 4626 variables and 30921 constraints. c After prepocess the problem consists of 4626 variables and 30921 constraints. c preprocess terminated 55.117 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.04 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.95 0.97 0.91 1/54 4816 Raw data (stat): 4816 (runsolver) R 4815 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906511161 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.001 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 4816 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 31475 0 0 0 916 80 0 0 25 0 1 0 906511161 63619072 14672 4294967295 134512640 134716908 3221224560 3221222892 134535900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15532 14672 1111 63 0 15469 0 vsize: 62128 [startup+20.0027 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 77971 0 0 0 1800 197 0 0 25 0 1 0 906511161 63619072 14672 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15532 14672 1111 63 0 15469 0 vsize: 62128 [startup+30.0035 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 126715 0 0 0 2678 318 0 0 25 0 1 0 906511161 73539584 17085 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17954 17085 1111 63 0 17891 0 vsize: 71816 [startup+40.0033 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129152 0 0 0 3672 325 0 0 25 0 1 0 906511161 73576448 17103 4294967295 134512640 134716908 3221224560 3221223176 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17103 1111 63 0 17900 0 vsize: 71852 [startup+50.0045 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129162 0 0 0 4672 325 0 0 25 0 1 0 906511161 73576448 17103 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17103 1111 63 0 17900 0 vsize: 71852 [startup+60.0049 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129176 0 0 0 5671 326 0 0 25 0 1 0 906511161 73576448 17117 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17117 1111 63 0 17900 0 vsize: 71852 [startup+70.0058 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 6670 328 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+80.0072 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 7669 329 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223120 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+90.0074 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 8668 330 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+100.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 9668 331 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223144 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+110.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 10668 331 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+120.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 11668 332 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 12668 332 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+140.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 13667 333 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223344 134529126 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 14667 333 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223100 134539301 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 15667 334 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223164 134536779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 16666 335 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223164 134536779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+180.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 17666 336 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 18666 336 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223116 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 19666 336 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223040 134699696 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17118 1111 63 0 17900 0 vsize: 71852 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129498 0 0 0 20665 337 0 0 25 0 1 0 906511161 74928128 17439 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18293 17439 1111 63 0 18230 0 vsize: 73172 [startup+220.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129943 0 0 0 21663 340 0 0 25 0 1 0 906511161 76820480 17884 4294967295 134512640 134716908 3221224560 3221223380 134590265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18755 17884 1111 63 0 18692 0 vsize: 75020 [startup+230.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 130218 0 0 0 22661 342 0 0 25 0 1 0 906511161 77897728 18159 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19018 18159 1111 63 0 18955 0 vsize: 76072 [startup+240.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 130375 0 0 0 23661 343 0 0 25 0 1 0 906511161 78577664 18316 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19184 18316 1111 63 0 19121 0 vsize: 76736 [startup+250.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4818 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 130728 0 0 0 24660 344 0 0 25 0 1 0 906511161 79933440 18669 4294967295 134512640 134716908 3221224560 3221223096 134699437 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19515 18669 1111 63 0 19452 0 vsize: 78060 [startup+260.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 131330 0 0 0 25657 347 0 0 25 0 1 0 906511161 82501632 19271 4294967295 134512640 134716908 3221224560 3221223120 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20142 19271 1111 63 0 20079 0 vsize: 80568 [startup+270.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 131609 0 0 0 26656 349 0 0 25 0 1 0 906511161 83582976 19550 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20406 19550 1111 63 0 20343 0 vsize: 81624 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 131998 0 0 0 27655 351 0 0 25 0 1 0 906511161 85204992 19939 4294967295 134512640 134716908 3221224560 3221222676 134699695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20802 19939 1111 63 0 20739 0 vsize: 83208 [startup+290.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 132362 0 0 0 28653 353 0 0 25 0 1 0 906511161 86691840 20303 4294967295 134512640 134716908 3221224560 3221223212 134536825 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21165 20303 1111 63 0 21102 0 vsize: 84660 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 132509 0 0 0 29652 354 0 0 25 0 1 0 906511161 87355392 20450 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21327 20450 1111 63 0 21264 0 vsize: 85308 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 132543 0 0 0 30652 354 0 0 25 0 1 0 906511161 87490560 20484 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21360 20484 1111 63 0 21297 0 vsize: 85440 [startup+320.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 132547 0 0 0 31653 354 0 0 25 0 1 0 906511161 87490560 20488 4294967295 134512640 134716908 3221224560 3221223112 134698813 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21360 20488 1111 63 0 21297 0 vsize: 85440 [startup+330.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 132868 0 0 0 32652 356 0 0 25 0 1 0 906511161 88707072 20809 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21657 20809 1111 63 0 21594 0 vsize: 86628 [startup+340.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 133404 0 0 0 33649 359 0 0 25 0 1 0 906511161 91004928 21345 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22218 21345 1111 63 0 22155 0 vsize: 88872 [startup+350.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 133857 0 0 0 34647 361 0 0 25 0 1 0 906511161 92762112 21798 4294967295 134512640 134716908 3221224560 3221223248 134523350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22647 21798 1111 63 0 22584 0 vsize: 90588 [startup+360.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 133971 0 0 0 35647 361 0 0 25 0 1 0 906511161 93302784 21912 4294967295 134512640 134716908 3221224560 3221223068 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22779 21912 1111 63 0 22716 0 vsize: 91116 [startup+370.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 134331 0 0 0 36646 363 0 0 25 0 1 0 906511161 94789632 22272 4294967295 134512640 134716908 3221224560 3221223184 134536680 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23142 22272 1111 63 0 23079 0 vsize: 92568 [startup+380.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 134674 0 0 0 37645 365 0 0 25 0 1 0 906511161 96141312 22615 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23472 22615 1111 63 0 23409 0 vsize: 93888 [startup+390.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 135060 0 0 0 38644 366 0 0 25 0 1 0 906511161 97759232 23001 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23867 23001 1111 63 0 23804 0 vsize: 95468 [startup+400.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 135482 0 0 0 39642 368 0 0 25 0 1 0 906511161 99520512 23423 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24297 23423 1111 63 0 24234 0 vsize: 97188 [startup+410.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 135699 0 0 0 40641 369 0 0 25 0 1 0 906511161 100331520 23640 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24495 23640 1111 63 0 24432 0 vsize: 97980 [startup+420.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 135978 0 0 0 41640 371 0 0 25 0 1 0 906511161 101548032 23919 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24792 23919 1111 63 0 24729 0 vsize: 99168 [startup+430.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 136225 0 0 0 42639 373 0 0 25 0 1 0 906511161 102494208 24166 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25023 24166 1111 63 0 24960 0 vsize: 100092 [startup+440.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 136448 0 0 0 43638 374 0 0 25 0 1 0 906511161 103440384 24389 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25254 24389 1111 63 0 25191 0 vsize: 101016 [startup+450.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 136707 0 0 0 44637 375 0 0 25 0 1 0 906511161 104517632 24648 4294967295 134512640 134716908 3221224560 3221223200 134543110 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25517 24648 1111 63 0 25454 0 vsize: 102068 [startup+460.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 137015 0 0 0 45636 377 0 0 25 0 1 0 906511161 105734144 24956 4294967295 134512640 134716908 3221224560 3221223324 134552684 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25814 24956 1111 63 0 25751 0 vsize: 103256 [startup+470.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 137493 0 0 0 46635 379 0 0 25 0 1 0 906511161 107761664 25434 4294967295 134512640 134716908 3221224560 3221223228 134552672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26309 25434 1111 63 0 26246 0 vsize: 105236 [startup+480.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 137933 0 0 0 47633 381 0 0 25 0 1 0 906511161 109518848 25874 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26738 25874 1111 63 0 26675 0 vsize: 106952 [startup+490.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 138099 0 0 0 48632 382 0 0 25 0 1 0 906511161 110178304 26040 4294967295 134512640 134716908 3221224560 3221223232 134543710 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26899 26040 1111 63 0 26836 0 vsize: 107596 [startup+500.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 138316 0 0 0 49632 383 0 0 25 0 1 0 906511161 111124480 26257 4294967295 134512640 134716908 3221224560 3221223152 134698638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27130 26257 1111 63 0 27067 0 vsize: 108520 [startup+510.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 138599 0 0 0 50631 384 0 0 25 0 1 0 906511161 112205824 26540 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27394 26540 1111 63 0 27331 0 vsize: 109576 [startup+520.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 138831 0 0 0 51630 385 0 0 25 0 1 0 906511161 113152000 26772 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27625 26772 1111 63 0 27562 0 vsize: 110500 [startup+530.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139065 0 0 0 52629 386 0 0 25 0 1 0 906511161 114094080 27006 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27855 27006 1111 63 0 27792 0 vsize: 111420 [startup+540.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139214 0 0 0 53629 387 0 0 25 0 1 0 906511161 114769920 27155 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28020 27155 1111 63 0 27957 0 vsize: 112080 [startup+550.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139376 0 0 0 54629 388 0 0 25 0 1 0 906511161 115445760 27317 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28185 27317 1111 63 0 28122 0 vsize: 112740 [startup+560.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139503 0 0 0 55628 389 0 0 25 0 1 0 906511161 115986432 27444 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28317 27444 1111 63 0 28254 0 vsize: 113268 [startup+570.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139641 0 0 0 56627 390 0 0 25 0 1 0 906511161 116527104 27582 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28449 27582 1111 63 0 28386 0 vsize: 113796 [startup+580.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139784 0 0 0 57627 390 0 0 25 0 1 0 906511161 117067776 27725 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28581 27725 1111 63 0 28518 0 vsize: 114324 [startup+590.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139914 0 0 0 58626 391 0 0 25 0 1 0 906511161 117608448 27855 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28713 27855 1111 63 0 28650 0 vsize: 114852 [startup+600.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 140044 0 0 0 59626 392 0 0 25 0 1 0 906511161 118149120 27985 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28845 27985 1111 63 0 28782 0 vsize: 115380 [startup+610.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 140215 0 0 0 60625 393 0 0 25 0 1 0 906511161 118824960 28156 4294967295 134512640 134716908 3221224560 3221223188 134543703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29010 28156 1111 63 0 28947 0 vsize: 116040 [startup+620.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 140509 0 0 0 61624 394 0 0 25 0 1 0 906511161 120041472 28450 4294967295 134512640 134716908 3221224560 3221223152 134542668 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29307 28450 1111 63 0 29244 0 vsize: 117228 [startup+630.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 140813 0 0 0 62623 395 0 0 25 0 1 0 906511161 121257984 28754 4294967295 134512640 134716908 3221224560 3221223176 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29604 28754 1111 63 0 29541 0 vsize: 118416 [startup+640.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 141309 0 0 0 63622 397 0 0 25 0 1 0 906511161 123416576 29250 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30131 29250 1111 63 0 30068 0 vsize: 120524 [startup+650.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 141522 0 0 0 64621 398 0 0 25 0 1 0 906511161 124203008 29463 4294967295 134512640 134716908 3221224560 3221222884 134699551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30323 29463 1111 63 0 30260 0 vsize: 121292 [startup+660.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 142010 0 0 0 65620 400 0 0 25 0 1 0 906511161 126230528 29951 4294967295 134512640 134716908 3221224560 3221223104 134542998 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30818 29951 1111 63 0 30755 0 vsize: 123272 [startup+670.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 142283 0 0 0 66619 401 0 0 25 0 1 0 906511161 127311872 30224 4294967295 134512640 134716908 3221224560 3221223148 134543615 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31082 30224 1111 63 0 31019 0 vsize: 124328 [startup+680.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 142471 0 0 0 67619 402 0 0 25 0 1 0 906511161 128122880 30412 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31280 30412 1111 63 0 31217 0 vsize: 125120 [startup+690.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 142862 0 0 0 68617 404 0 0 25 0 1 0 906511161 129744896 30803 4294967295 134512640 134716908 3221224560 3221222904 1077379846 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31676 30803 1111 63 0 31613 0 vsize: 126704 [startup+700.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 143033 0 0 0 69616 405 0 0 25 0 1 0 906511161 130420736 30974 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31841 30974 1111 63 0 31778 0 vsize: 127364 [startup+710.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 143181 0 0 0 70615 406 0 0 25 0 1 0 906511161 131096576 31122 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32006 31122 1111 63 0 31943 0 vsize: 128024 [startup+720.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 143582 0 0 0 71614 407 0 0 25 0 1 0 906511161 132718592 31523 4294967295 134512640 134716908 3221224560 3221223088 134535433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32402 31523 1111 63 0 32339 0 vsize: 129608 [startup+730.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 143833 0 0 0 72613 408 0 0 25 0 1 0 906511161 133681152 31774 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32637 31774 1111 63 0 32574 0 vsize: 130548 [startup+740.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 144178 0 0 0 73612 410 0 0 25 0 1 0 906511161 135168000 32119 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33000 32119 1111 63 0 32937 0 vsize: 132000 [startup+750.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 144433 0 0 0 74611 411 0 0 25 0 1 0 906511161 136249344 32374 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33264 32374 1111 63 0 33201 0 vsize: 133056 [startup+760.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 144776 0 0 0 75610 412 0 0 25 0 1 0 906511161 137601024 32717 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33594 32717 1111 63 0 33531 0 vsize: 134376 [startup+770.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 144892 0 0 0 76610 413 0 0 25 0 1 0 906511161 138133504 32833 4294967295 134512640 134716908 3221224560 3221223180 134549859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33724 32833 1111 63 0 33661 0 vsize: 134896 [startup+780.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 145062 0 0 0 77609 414 0 0 25 0 1 0 906511161 138809344 33003 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33889 33003 1111 63 0 33826 0 vsize: 135556 [startup+790.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 145182 0 0 0 78609 414 0 0 25 0 1 0 906511161 139214848 33123 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33988 33123 1111 63 0 33925 0 vsize: 135952 [startup+800.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 145222 0 0 0 79609 415 0 0 25 0 1 0 906511161 139350016 33163 4294967295 134512640 134716908 3221224560 3221223276 134552651 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34021 33163 1111 63 0 33958 0 vsize: 136084 [startup+810.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 145518 0 0 0 80609 416 0 0 25 0 1 0 906511161 140574720 33459 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34320 33459 1111 63 0 34257 0 vsize: 137280 [startup+820.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 145833 0 0 0 81608 417 0 0 25 0 1 0 906511161 141930496 33774 4294967295 134512640 134716908 3221224560 3221223216 134536753 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34651 33774 1111 63 0 34588 0 vsize: 138604 [startup+830.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 146010 0 0 0 82607 418 0 0 25 0 1 0 906511161 142606336 33951 4294967295 134512640 134716908 3221224560 3221223180 134613972 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34816 33951 1111 63 0 34753 0 vsize: 139264 [startup+840.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 146157 0 0 0 83607 419 0 0 25 0 1 0 906511161 143298560 34098 4294967295 134512640 134716908 3221224560 3221223164 134536779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34985 34098 1111 63 0 34922 0 vsize: 139940 [startup+850.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 146415 0 0 0 84607 419 0 0 25 0 1 0 906511161 144375808 34356 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35248 34356 1111 63 0 35185 0 vsize: 140992 [startup+860.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 146604 0 0 0 85606 420 0 0 25 0 1 0 906511161 145051648 34545 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35413 34545 1111 63 0 35350 0 vsize: 141652 [startup+870.028 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 146853 0 0 0 86605 421 0 0 25 0 1 0 906511161 146141184 34794 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35679 34794 1111 63 0 35616 0 vsize: 142716 [startup+880.028 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 147076 0 0 0 87605 422 0 0 25 0 1 0 906511161 147087360 35017 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35910 35017 1111 63 0 35847 0 vsize: 143640 [startup+890.027 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 147328 0 0 0 88604 423 0 0 25 0 1 0 906511161 148033536 35269 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36141 35269 1111 63 0 36078 0 vsize: 144564 [startup+900.028 s] Raw data (loadavg): 1.11 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 147536 0 0 0 89604 424 0 0 25 0 1 0 906511161 148979712 35477 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36372 35477 1111 63 0 36309 0 vsize: 145488 [startup+910.027 s] Raw data (loadavg): 1.10 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 147628 0 0 0 90603 424 0 0 25 0 1 0 906511161 149250048 35569 4294967295 134512640 134716908 3221224560 3221223212 134536784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36438 35569 1111 63 0 36375 0 vsize: 145752 [startup+920.027 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 147766 0 0 0 91603 425 0 0 25 0 1 0 906511161 149925888 35707 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36603 35707 1111 63 0 36540 0 vsize: 146412 [startup+930.027 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 147939 0 0 0 92603 425 0 0 25 0 1 0 906511161 150601728 35880 4294967295 134512640 134716908 3221224560 3221223216 134543740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36768 35880 1111 63 0 36705 0 vsize: 147072 [startup+940.027 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 148151 0 0 0 93601 427 0 0 25 0 1 0 906511161 151412736 36092 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36966 36092 1111 63 0 36903 0 vsize: 147864 [startup+950.026 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 148345 0 0 0 94601 428 0 0 25 0 1 0 906511161 152219648 36286 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37163 36286 1111 63 0 37100 0 vsize: 148652 [startup+960.025 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 148701 0 0 0 95600 429 0 0 25 0 1 0 906511161 153706496 36642 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37526 36642 1111 63 0 37463 0 vsize: 150104 [startup+970.025 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 148856 0 0 0 96600 429 0 0 25 0 1 0 906511161 154382336 36797 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37691 36797 1111 63 0 37628 0 vsize: 150764 [startup+980.025 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 149181 0 0 0 97599 431 0 0 25 0 1 0 906511161 155729920 37122 4294967295 134512640 134716908 3221224560 3221223120 134542334 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38020 37122 1111 63 0 37957 0 vsize: 152080 [startup+990.025 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 149384 0 0 0 98598 432 0 0 25 0 1 0 906511161 156540928 37325 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38218 37325 1111 63 0 38155 0 vsize: 152872 [startup+1000.02 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 149453 0 0 0 99598 432 0 0 25 0 1 0 906511161 156811264 37394 4294967295 134512640 134716908 3221224560 3221223344 134529269 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38284 37394 1111 63 0 38221 0 vsize: 153136 [startup+1010.02 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 149630 0 0 0 100598 433 0 0 25 0 1 0 906511161 157487104 37571 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38449 37571 1111 63 0 38386 0 vsize: 153796 [startup+1020.02 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 149925 0 0 0 101596 434 0 0 25 0 1 0 906511161 158703616 37866 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38746 37866 1111 63 0 38683 0 vsize: 154984 [startup+1030.02 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 150206 0 0 0 102595 436 0 0 25 0 1 0 906511161 159936512 38147 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39047 38147 1111 63 0 38984 0 vsize: 156188 [startup+1040.02 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 150345 0 0 0 103595 437 0 0 25 0 1 0 906511161 160477184 38286 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39179 38286 1111 63 0 39116 0 vsize: 156716 [startup+1050.02 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 150437 0 0 0 104594 437 0 0 25 0 1 0 906511161 160882688 38378 4294967295 134512640 134716908 3221224560 3221223068 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39278 38378 1111 63 0 39215 0 vsize: 157112 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 150585 0 0 0 105594 438 0 0 25 0 1 0 906511161 161423360 38526 4294967295 134512640 134716908 3221224560 3221223068 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39410 38526 1111 63 0 39347 0 vsize: 157640 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 150882 0 0 0 106593 439 0 0 25 0 1 0 906511161 162639872 38823 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39707 38823 1111 63 0 39644 0 vsize: 158828 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 150990 0 0 0 107593 440 0 0 25 0 1 0 906511161 163180544 38931 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39839 38931 1111 63 0 39776 0 vsize: 159356 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 151214 0 0 0 108592 441 0 0 25 0 1 0 906511161 163987456 39155 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40036 39155 1111 63 0 39973 0 vsize: 160144 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 151436 0 0 0 109591 442 0 0 25 0 1 0 906511161 164933632 39377 4294967295 134512640 134716908 3221224560 3221223100 134539262 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40267 39377 1111 63 0 40204 0 vsize: 161068 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 151553 0 0 0 110591 443 0 0 25 0 1 0 906511161 165474304 39494 4294967295 134512640 134716908 3221224560 3221223104 134542995 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40399 39494 1111 63 0 40336 0 vsize: 161596 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 151773 0 0 0 111590 444 0 0 25 0 1 0 906511161 166285312 39714 4294967295 134512640 134716908 3221224560 3221223320 134552570 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40597 39714 1111 63 0 40534 0 vsize: 162388 [startup+1130.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 152108 0 0 0 112589 445 0 0 25 0 1 0 906511161 167772160 40049 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40960 40049 1111 63 0 40897 0 vsize: 163840 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 152603 0 0 0 113587 447 0 0 25 0 1 0 906511161 169799680 40544 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41455 40544 1111 63 0 41392 0 vsize: 165820 [startup+1150.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 153112 0 0 0 114585 449 0 0 25 0 1 0 906511161 171827200 41053 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41950 41053 1111 63 0 41887 0 vsize: 167800 [startup+1160.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 153638 0 0 0 115583 452 0 0 25 0 1 0 906511161 174002176 41579 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42481 41579 1111 63 0 42418 0 vsize: 169924 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 154002 0 0 0 116581 454 0 0 25 0 1 0 906511161 175489024 41943 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42844 41943 1111 63 0 42781 0 vsize: 171376 [startup+1174.78 s] Raw data (loadavg): 1.00 1.00 0.92 1/53 4820 Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 154002 0 0 0 116581 454 0 0 25 0 1 0 906511161 175489024 41943 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42844 41943 1111 63 0 42781 0 vsize: 0 Child status: 0 Real time (s): 1174.78 CPU time (s): 1175.13 CPU user time (s): 1170.51 CPU system time (s): 4.6203 CPU usage (%): 100.029 Max. virtual memory (Kb): 171376 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####