Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb |
MD5SUM | 962e64054cef66ff1ace4918a032c24a |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1983976 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2304 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 178464600 |
Number of bits of the sum of numbers in the objective function | 28 |
Biggest number in a constraint | 1048576 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 178464600 |
Number of bits of the biggest sum of numbers | 28 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 3584 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 64 |
Number of constraints which are nor clauses,nor cardinality constraints | 136 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 160 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-22 03:28:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17916 boxname=wulflinc31 idbench=1379 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 962e64054cef66ff1ace4918a032c24a /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-pp08a.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-pp08a.opb IDLAUNCH: 17916 /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: 658072 kB Buffers: 13564 kB Cached: 342768 kB SwapCached: 940 kB Active: 233812 kB Inactive: 124640 kB HighTotal: 131008 kB HighFree: 1148 kB LowTotal: 903652 kB LowFree: 656924 kB SwapTotal: 2097892 kB SwapFree: 2095960 kB Dirty: 60 kB Writeback: 0 kB Mapped: 5100 kB Slab: 12392 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-22 03:47:39 (client local time) WITH STATUS 0 IN 1175.12 SECONDS stats: 17916 7 1175.12 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 3584 variables and 200 constraints. c After prepocess the problem consists of 3288 variables and 219 constraints. c preprocess terminated 1.375 s c Initial Lower Bound: 351789 c Lower Bound Elapsed time: 0.464 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.1 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.92 0.98 0.94 2/55 19800 Raw data (stat): 19800 (runsolver) R 19799 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 809695210 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0001 s] Raw data (loadavg): 0.93 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 8748 0 8 0 949 22 0 0 25 0 1 0 809695210 21450752 4492 4294967295 134512640 134714508 3221221776 3221219776 1074918533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5237 4492 1111 63 0 5174 0 vsize: 20948 [startup+20.0011 s] Raw data (loadavg): 0.94 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 14575 0 8 0 1937 35 0 0 25 0 1 0 809695210 21782528 4576 4294967295 134512640 134714508 3221221776 3221218096 1075171754 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5318 4576 1111 63 0 5255 0 vsize: 21272 [startup+30.001 s] Raw data (loadavg): 0.95 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 20413 0 8 0 2924 48 0 0 25 0 1 0 809695210 21778432 4576 4294967295 134512640 134714508 3221221776 3221218696 1074950077 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5317 4576 1111 63 0 5254 0 vsize: 21268 [startup+40.0011 s] Raw data (loadavg): 0.96 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 26225 0 8 0 3911 61 0 0 25 0 1 0 809695210 21164032 4454 4294967295 134512640 134714508 3221221776 3221218968 1074138158 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4454 1111 63 0 5104 0 vsize: 20668 [startup+50.0019 s] Raw data (loadavg): 0.96 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 32070 0 8 0 4897 75 0 0 25 0 1 0 809695210 21164032 4454 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4454 1111 63 0 5104 0 vsize: 20668 [startup+60.0018 s] Raw data (loadavg): 0.97 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 37017 0 8 0 5889 84 0 0 25 0 1 0 809695210 21164032 4455 4294967295 134512640 134714508 3221221776 3221219072 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4455 1111 63 0 5104 0 vsize: 20668 [startup+70.0031 s] Raw data (loadavg): 0.97 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 41908 0 8 0 6876 96 0 0 25 0 1 0 809695210 21164032 4455 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4455 1111 63 0 5104 0 vsize: 20668 [startup+80.0037 s] Raw data (loadavg): 0.98 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 47518 0 8 0 7863 109 0 0 25 0 1 0 809695210 21618688 4491 4294967295 134512640 134714508 3221221776 3221219504 1075829570 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5278 4491 1111 63 0 5215 0 vsize: 21112 [startup+90.0036 s] Raw data (loadavg): 0.98 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 52794 0 8 0 8851 121 0 0 25 0 1 0 809695210 21164032 4456 4294967295 134512640 134714508 3221221776 3221219288 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4456 1111 63 0 5104 0 vsize: 20668 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 57680 0 8 0 9838 134 0 0 25 0 1 0 809695210 21839872 4566 4294967295 134512640 134714508 3221221776 3221218680 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5332 4566 1111 63 0 5269 0 vsize: 21328 [startup+110.003 s] Raw data (loadavg): 0.98 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 62328 0 8 0 10826 147 0 0 25 0 1 0 809695210 21819392 4561 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5327 4561 1111 63 0 5264 0 vsize: 21308 [startup+120.004 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 66744 0 8 0 11815 158 0 0 25 0 1 0 809695210 21164032 4459 4294967295 134512640 134714508 3221221776 3221220532 134624796 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4459 1111 63 0 5104 0 vsize: 20668 [startup+130.005 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 71350 0 8 0 12805 168 0 0 25 0 1 0 809695210 21262336 4483 4294967295 134512640 134714508 3221221776 3221219776 1074918929 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5191 4483 1111 63 0 5128 0 vsize: 20764 [startup+140.005 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 75939 0 8 0 13794 179 0 0 25 0 1 0 809695210 21798912 4561 4294967295 134512640 134714508 3221221776 3221217848 1074950169 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5322 4561 1111 63 0 5259 0 vsize: 21288 [startup+150.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 80262 0 8 0 14783 190 0 0 25 0 1 0 809695210 21598208 4494 4294967295 134512640 134714508 3221221776 3221219840 1075961606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5273 4494 1111 63 0 5210 0 vsize: 21092 [startup+160.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 84610 0 8 0 15772 203 0 0 25 0 1 0 809695210 21786624 4558 4294967295 134512640 134714508 3221221776 3221218004 1075114931 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5319 4558 1111 63 0 5256 0 vsize: 21276 [startup+170.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 89218 0 8 0 16761 213 0 0 25 0 1 0 809695210 21716992 4566 4294967295 134512640 134714508 3221221776 3221218004 1075115109 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5302 4566 1111 63 0 5239 0 vsize: 21208 [startup+180.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 93798 0 8 0 17751 223 0 0 25 0 1 0 809695210 21164032 4461 4294967295 134512640 134714508 3221221776 3221219424 1074247419 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4461 1111 63 0 5104 0 vsize: 20668 [startup+190.007 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 98677 0 8 0 18741 233 0 0 25 0 1 0 809695210 21164032 4461 4294967295 134512640 134714508 3221221776 3221219120 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4461 1111 63 0 5104 0 vsize: 20668 [startup+200.007 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 103857 0 8 0 19730 245 0 0 25 0 1 0 809695210 21164032 4461 4294967295 134512640 134714508 3221221776 3221219600 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4461 1111 63 0 5104 0 vsize: 20668 [startup+210.007 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 109140 0 8 0 20717 257 0 0 25 0 1 0 809695210 21778432 4546 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5317 4546 1111 63 0 5254 0 vsize: 21268 [startup+220.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 114272 0 8 0 21706 269 0 0 25 0 1 0 809695210 21164032 4461 4294967295 134512640 134714508 3221221776 3221218860 1074247360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4461 1111 63 0 5104 0 vsize: 20668 [startup+230.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 118853 0 8 0 22696 279 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219216 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4462 1111 63 0 5104 0 vsize: 20668 [startup+240.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 123490 0 8 0 23683 292 0 0 25 0 1 0 809695210 21753856 4543 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5311 4543 1111 63 0 5248 0 vsize: 21244 [startup+250.009 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 127981 0 8 0 24671 304 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219216 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4462 1111 63 0 5104 0 vsize: 20668 [startup+260.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 132534 0 8 0 25663 313 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219772 1074152822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4462 1111 63 0 5104 0 vsize: 20668 [startup+270.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 136782 0 8 0 26652 324 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219392 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4462 1111 63 0 5104 0 vsize: 20668 [startup+280.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 141042 0 8 0 27641 334 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221220224 1074039475 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4462 1111 63 0 5104 0 vsize: 20668 [startup+290.009 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 144734 0 8 0 28634 342 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219440 1074153806 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4462 1111 63 0 5104 0 vsize: 20668 [startup+300.009 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 148177 0 8 0 29625 351 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219456 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4462 1111 63 0 5104 0 vsize: 20668 [startup+310.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 151615 0 8 0 30615 362 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219776 1074916565 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4462 1111 63 0 5104 0 vsize: 20668 [startup+320.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 155131 0 8 0 31605 371 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219296 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4462 1111 63 0 5104 0 vsize: 20668 [startup+330.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 158794 0 8 0 32595 382 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219416 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4462 1111 63 0 5104 0 vsize: 20668 [startup+340.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 162548 0 8 0 33585 392 0 0 25 0 1 0 809695210 21303296 4465 4294967295 134512640 134714508 3221221776 3221218888 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5201 4466 1111 63 0 5138 0 vsize: 20804 [startup+350.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 168214 0 8 0 34572 405 0 0 25 0 1 0 809695210 21164032 4463 4294967295 134512640 134714508 3221221776 3221219320 1074138158 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4463 1111 63 0 5104 0 vsize: 20668 [startup+360.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 175705 0 8 0 35554 424 0 0 25 0 1 0 809695210 21663744 4512 4294967295 134512640 134714508 3221221776 3221219912 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5289 4512 1111 63 0 5226 0 vsize: 21156 [startup+370.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 183470 0 8 0 36536 442 0 0 25 0 1 0 809695210 21712896 4530 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5301 4530 1111 63 0 5238 0 vsize: 21204 [startup+380.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 190429 0 8 0 37521 457 0 0 25 0 1 0 809695210 22052864 4618 4294967295 134512640 134714508 3221221776 3221218004 1075115051 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5384 4618 1111 63 0 5321 0 vsize: 21536 [startup+390.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 197049 0 8 0 38505 473 0 0 25 0 1 0 809695210 21798912 4583 4294967295 134512640 134714508 3221221776 3221218968 1074138316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5322 4590 1111 63 0 5259 0 vsize: 21288 [startup+400.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 204876 0 8 0 39487 491 0 0 25 0 1 0 809695210 21446656 4509 4294967295 134512640 134714508 3221221776 3221218880 1074138642 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5236 4511 1111 63 0 5173 0 vsize: 20944 [startup+410.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 213050 0 8 0 40468 510 0 0 25 0 1 0 809695210 22044672 4615 4294967295 134512640 134714508 3221221776 3221218048 1074806019 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5382 4615 1111 63 0 5319 0 vsize: 21528 [startup+420.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 220744 0 8 0 41450 528 0 0 25 0 1 0 809695210 21164032 4463 4294967295 134512640 134714508 3221221776 3221219584 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4463 1111 63 0 5104 0 vsize: 20668 [startup+430.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 229581 0 8 0 42428 550 0 0 25 0 1 0 809695210 21164032 4463 4294967295 134512640 134714508 3221221776 3221219528 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4463 1111 63 0 5104 0 vsize: 20668 [startup+440.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 238344 0 8 0 43407 572 0 0 25 0 1 0 809695210 21835776 4552 4294967295 134512640 134714508 3221221776 3221219696 1075799660 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5331 4552 1111 63 0 5268 0 vsize: 21324 [startup+450.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 247039 0 8 0 44389 590 0 0 25 0 1 0 809695210 21164032 4463 4294967295 134512640 134714508 3221221776 3221218728 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5167 4463 1111 63 0 5104 0 vsize: 20668 [startup+460.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 256396 0 8 0 45366 613 0 0 25 0 1 0 809695210 21540864 4555 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5259 4555 1111 63 0 5196 0 vsize: 21036 [startup+470.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 265120 0 8 0 46345 634 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219072 1074153648 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5187 4483 1111 63 0 5124 0 vsize: 20748 [startup+480.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 273980 0 8 0 47324 655 0 0 25 0 1 0 809695210 21962752 4627 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5362 4627 1111 63 0 5299 0 vsize: 21448 [startup+490.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 283030 0 8 0 48306 674 0 0 25 0 1 0 809695210 21815296 4556 4294967295 134512640 134714508 3221221776 3221218816 1075860576 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5326 4556 1111 63 0 5263 0 vsize: 21304 [startup+500.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 291946 0 8 0 49285 694 0 0 25 0 1 0 809695210 22085632 4633 4294967295 134512640 134714508 3221221776 3221217740 1074860614 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5392 4633 1111 63 0 5329 0 vsize: 21568 [startup+510.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 301004 0 8 0 50265 715 0 0 25 0 1 0 809695210 21983232 4632 4294967295 134512640 134714508 3221221776 3221217740 1074860611 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5367 4632 1111 63 0 5304 0 vsize: 21468 [startup+520.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 310167 0 8 0 51243 737 0 0 25 0 1 0 809695210 21979136 4627 4294967295 134512640 134714508 3221221776 3221217740 1074861051 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5366 4627 1111 63 0 5303 0 vsize: 21464 [startup+530.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 319477 0 8 0 52223 757 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219944 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5187 4483 1111 63 0 5124 0 vsize: 20748 [startup+540.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 328841 0 8 0 53200 781 0 0 25 0 1 0 809695210 21843968 4562 4294967295 134512640 134714508 3221221776 3221218696 1074950117 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5333 4562 1111 63 0 5270 0 vsize: 21332 [startup+550.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 338051 0 8 0 54179 802 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219452 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5187 4483 1111 63 0 5124 0 vsize: 20748 [startup+560.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 347147 0 8 0 55158 823 0 0 25 0 1 0 809695210 22007808 4633 4294967295 134512640 134714508 3221221776 3221217740 1074860828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5373 4633 1111 63 0 5310 0 vsize: 21492 [startup+570.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 356396 0 8 0 56136 845 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219560 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5187 4483 1111 63 0 5124 0 vsize: 20748 [startup+580.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 366004 0 8 0 57114 867 0 0 25 0 1 0 809695210 21397504 4488 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5224 4493 1111 63 0 5161 0 vsize: 20896 [startup+590.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 375944 0 8 0 58090 891 0 0 25 0 1 0 809695210 22020096 4638 4294967295 134512640 134714508 3221221776 3221218352 1076048195 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5376 4638 1111 63 0 5313 0 vsize: 21504 [startup+600.017 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 386108 0 8 0 59066 916 0 0 25 0 1 0 809695210 22011904 4635 4294967295 134512640 134714508 3221221776 3221217772 1074788128 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5374 4635 1111 63 0 5311 0 vsize: 21496 [startup+610.018 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 396405 0 8 0 60043 939 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219392 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5187 4483 1111 63 0 5124 0 vsize: 20748 [startup+620.018 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 406254 0 8 0 61021 961 0 0 25 0 1 0 809695210 22032384 4641 4294967295 134512640 134714508 3221221776 3221217936 1074794542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5379 4641 1111 63 0 5316 0 vsize: 21516 [startup+630.018 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 416047 0 8 0 61999 983 0 0 25 0 1 0 809695210 21868544 4567 4294967295 134512640 134714508 3221221776 3221218760 1074831923 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5339 4567 1111 63 0 5276 0 vsize: 21356 [startup+640.019 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 425874 0 8 0 62976 1006 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219132 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5187 4483 1111 63 0 5124 0 vsize: 20748 [startup+650.019 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 435571 0 8 0 63952 1030 0 0 25 0 1 0 809695210 21364736 4512 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5216 4512 1111 63 0 5153 0 vsize: 20864 [startup+660.019 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 444983 0 8 0 64929 1054 0 0 25 0 1 0 809695210 21520384 4547 4294967295 134512640 134714508 3221221776 3221218880 1074138729 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5254 4547 1111 63 0 5191 0 vsize: 21016 [startup+670.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 454308 0 8 0 65907 1076 0 0 25 0 1 0 809695210 22040576 4646 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5381 4646 1111 63 0 5318 0 vsize: 21524 [startup+680.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 463760 0 8 0 66885 1098 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219896 1074138147 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5187 4483 1111 63 0 5124 0 vsize: 20748 [startup+690.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 473096 0 8 0 67863 1120 0 0 25 0 1 0 809695210 21364736 4512 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5216 4512 1111 63 0 5153 0 vsize: 20864 [startup+700.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 482468 0 8 0 68841 1142 0 0 25 0 1 0 809695210 21430272 4484 4294967295 134512640 134714508 3221221776 3221218752 1077386340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5232 4490 1111 63 0 5169 0 vsize: 20928 [startup+710.019 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 491949 0 8 0 69818 1165 0 0 25 0 1 0 809695210 22052864 4646 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5384 4646 1111 63 0 5321 0 vsize: 21536 [startup+720.019 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 501177 0 8 0 70796 1188 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221218892 1077411564 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5187 4483 1111 63 0 5124 0 vsize: 20748 [startup+730.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 510004 0 8 0 71775 1208 0 0 25 0 1 0 809695210 21430272 4496 4294967295 134512640 134714508 3221221776 3221219344 134650102 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5232 4497 1111 63 0 5169 0 vsize: 20928 [startup+740.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 518997 0 8 0 72754 1230 0 0 25 0 1 0 809695210 21573632 4556 4294967295 134512640 134714508 3221221776 3221218880 1074139113 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5267 4556 1111 63 0 5204 0 vsize: 21068 [startup+750.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 527939 0 8 0 73732 1252 0 0 25 0 1 0 809695210 21921792 4613 4294967295 134512640 134714508 3221221776 3221218880 1074139075 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5352 4613 1111 63 0 5289 0 vsize: 21408 [startup+760.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 536858 0 8 0 74713 1272 0 0 25 0 1 0 809695210 22069248 4648 4294967295 134512640 134714508 3221221776 3221217848 1074950198 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5388 4648 1111 63 0 5325 0 vsize: 21552 [startup+770.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 546273 0 8 0 75689 1295 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219084 1074207687 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5187 4483 1111 63 0 5124 0 vsize: 20748 [startup+780.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 556113 0 8 0 76666 1319 0 0 25 0 1 0 809695210 21704704 4561 4294967295 134512640 134714508 3221221776 3221218880 1074138576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5299 4561 1111 63 0 5236 0 vsize: 21196 [startup+790.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 565385 0 8 0 77644 1340 0 0 25 0 1 0 809695210 22085632 4652 4294967295 134512640 134714508 3221221776 3221217740 1074860630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5392 4652 1111 63 0 5329 0 vsize: 21568 [startup+800.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 574595 0 8 0 78622 1363 0 0 25 0 1 0 809695210 22085632 4652 4294967295 134512640 134714508 3221221776 3221218816 1075860104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5392 4652 1111 63 0 5329 0 vsize: 21568 [startup+810.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 584050 0 8 0 79601 1384 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219312 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5187 4483 1111 63 0 5124 0 vsize: 20748 [startup+820.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 593583 0 8 0 80578 1407 0 0 25 0 1 0 809695210 21753856 4570 4294967295 134512640 134714508 3221221776 3221219120 1074839104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5311 4570 1111 63 0 5248 0 vsize: 21244 [startup+830.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 603005 0 8 0 81557 1428 0 0 25 0 1 0 809695210 22089728 4653 4294967295 134512640 134714508 3221221776 3221218800 1074810486 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5393 4653 1111 63 0 5330 0 vsize: 21572 [startup+840.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 611946 0 8 0 82536 1450 0 0 25 0 1 0 809695210 21323776 4502 4294967295 134512640 134714508 3221221776 3221219344 1074153773 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5206 4502 1111 63 0 5143 0 vsize: 20824 [startup+850.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 620842 0 8 0 83514 1471 0 0 25 0 1 0 809695210 21598208 4569 4294967295 134512640 134714508 3221221776 3221220240 1074039235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5273 4569 1111 63 0 5210 0 vsize: 21092 [startup+860.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 629686 0 8 0 84493 1493 0 0 25 0 1 0 809695210 22204416 4654 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5421 4654 1111 63 0 5358 0 vsize: 21684 [startup+870.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 638266 0 8 0 85470 1516 0 0 25 0 1 0 809695210 21323776 4502 4294967295 134512640 134714508 3221221776 3221219072 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5206 4502 1111 63 0 5143 0 vsize: 20824 [startup+880.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 646846 0 8 0 86450 1536 0 0 25 0 1 0 809695210 21401600 4521 4294967295 134512640 134714508 3221221776 3221220192 1074116197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5225 4521 1111 63 0 5162 0 vsize: 20900 [startup+890.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 655327 0 8 0 87431 1555 0 0 25 0 1 0 809695210 21839872 4589 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5332 4594 1111 63 0 5269 0 vsize: 21328 [startup+900.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 663945 0 8 0 88411 1576 0 0 25 0 1 0 809695210 21798912 4573 4294967295 134512640 134714508 3221221776 3221219600 1075823360 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5322 4573 1111 63 0 5259 0 vsize: 21288 [startup+910.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 673126 0 8 0 89390 1597 0 0 25 0 1 0 809695210 22183936 4651 4294967295 134512640 134714508 3221221776 3221218340 1076044942 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5416 4651 1111 63 0 5353 0 vsize: 21664 [startup+920.022 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 682311 0 8 0 90369 1618 0 0 25 0 1 0 809695210 22126592 4662 4294967295 134512640 134714508 3221221776 3221217772 1074860944 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5402 4662 1111 63 0 5339 0 vsize: 21608 [startup+930.022 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 692018 0 8 0 91346 1641 0 0 25 0 1 0 809695210 22126592 4661 4294967295 134512640 134714508 3221221776 3221217740 1074860598 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5402 4661 1111 63 0 5339 0 vsize: 21608 [startup+940.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 701489 0 8 0 92324 1663 0 0 25 0 1 0 809695210 21630976 4577 4294967295 134512640 134714508 3221221776 3221219776 1074916565 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5281 4577 1111 63 0 5218 0 vsize: 21124 [startup+950.024 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 711110 0 8 0 93302 1685 0 0 25 0 1 0 809695210 21991424 4576 4294967295 134512640 134714508 3221221776 3221219708 1077386340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5369 4576 1111 63 0 5306 0 vsize: 21476 [startup+960.024 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 720562 0 8 0 94280 1708 0 0 25 0 1 0 809695210 21626880 4576 4294967295 134512640 134714508 3221221776 3221219776 1074918533 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5280 4576 1111 63 0 5217 0 vsize: 21120 [startup+970.024 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 730275 0 8 0 95256 1731 0 0 25 0 1 0 809695210 21323776 4502 4294967295 134512640 134714508 3221221776 3221219584 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5206 4502 1111 63 0 5143 0 vsize: 20824 [startup+980.025 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 740204 0 8 0 96233 1755 0 0 25 0 1 0 809695210 21708800 4585 4294967295 134512640 134714508 3221221776 3221218968 1074138315 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5300 4585 1111 63 0 5237 0 vsize: 21200 [startup+990.026 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 749934 0 8 0 97210 1778 0 0 25 0 1 0 809695210 21323776 4502 4294967295 134512640 134714508 3221221776 3221219072 1074153794 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5206 4502 1111 63 0 5143 0 vsize: 20824 [startup+1000.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 759205 0 8 0 98188 1800 0 0 25 0 1 0 809695210 21405696 4522 4294967295 134512640 134714508 3221221776 3221218984 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5226 4522 1111 63 0 5163 0 vsize: 20904 [startup+1010.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 767562 0 8 0 99167 1821 0 0 25 0 1 0 809695210 22147072 4667 4294967295 134512640 134714508 3221221776 3221218092 1074960596 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5407 4667 1111 63 0 5344 0 vsize: 21628 [startup+1020.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 776180 0 8 0 100148 1841 0 0 25 0 1 0 809695210 21405696 4522 4294967295 134512640 134714508 3221221776 3221218892 1077411564 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5226 4522 1111 63 0 5163 0 vsize: 20904 [startup+1030.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 785456 0 8 0 101126 1862 0 0 25 0 1 0 809695210 21618688 4553 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5278 4558 1111 63 0 5215 0 vsize: 21112 [startup+1040.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 794819 0 8 0 102103 1886 0 0 25 0 1 0 809695210 22151168 4671 4294967295 134512640 134714508 3221221776 3221218280 1074971925 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5408 4671 1111 63 0 5345 0 vsize: 21632 [startup+1050.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 803910 0 8 0 103083 1907 0 0 25 0 1 0 809695210 22028288 4599 4294967295 134512640 134714508 3221221776 3221219696 1075799732 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5378 4599 1111 63 0 5315 0 vsize: 21512 [startup+1060.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 812132 0 8 0 104063 1926 0 0 25 0 1 0 809695210 22167552 4658 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5412 4658 1111 63 0 5349 0 vsize: 21648 [startup+1070.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 821173 0 8 0 105042 1948 0 0 25 0 1 0 809695210 21405696 4522 4294967295 134512640 134714508 3221221776 3221219120 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5226 4522 1111 63 0 5163 0 vsize: 20904 [startup+1080.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 830663 0 8 0 106015 1974 0 0 25 0 1 0 809695210 21405696 4522 4294967295 134512640 134714508 3221221776 3221220128 1074142880 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5226 4522 1111 63 0 5163 0 vsize: 20904 [startup+1090.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 840007 0 8 0 106991 1999 0 0 25 0 1 0 809695210 21999616 4599 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5371 4599 1111 63 0 5308 0 vsize: 21484 [startup+1100.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 848905 0 8 0 107968 2022 0 0 25 0 1 0 809695210 22052864 4605 4294967295 134512640 134714508 3221221776 3221219888 1074867341 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5384 4605 1111 63 0 5321 0 vsize: 21536 [startup+1110.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 857635 0 8 0 108947 2043 0 0 25 0 1 0 809695210 22192128 4677 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5418 4677 1111 63 0 5355 0 vsize: 21672 [startup+1120.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 866022 0 8 0 109927 2064 0 0 25 0 1 0 809695210 22036480 4601 4294967295 134512640 134714508 3221221776 3221219888 1074867264 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5380 4601 1111 63 0 5317 0 vsize: 21520 [startup+1130.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 875741 0 8 0 110906 2085 0 0 25 0 1 0 809695210 21721088 4599 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5303 4599 1111 63 0 5240 0 vsize: 21212 [startup+1140.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 885325 0 8 0 111885 2106 0 0 25 0 1 0 809695210 22077440 4613 4294967295 134512640 134714508 3221221776 3221219600 1075824332 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5390 4613 1111 63 0 5327 0 vsize: 21560 [startup+1150.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 895264 0 8 0 112859 2132 0 0 25 0 1 0 809695210 22315008 4678 4294967295 134512640 134714508 3221221776 3221217740 1074860598 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5448 4678 1111 63 0 5385 0 vsize: 21792 [startup+1160.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 905232 0 8 0 113835 2156 0 0 25 0 1 0 809695210 21524480 4551 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5255 4551 1111 63 0 5192 0 vsize: 21020 [startup+1170.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 914729 0 8 0 114813 2178 0 0 25 0 1 0 809695210 22278144 4698 4294967295 134512640 134714508 3221221776 3221217936 1074794664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5439 4698 1111 63 0 5376 0 vsize: 21756 [startup+1175.23 s] Raw data (loadavg): 0.99 0.98 0.94 1/54 19800 Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 914729 0 8 0 114813 2178 0 0 25 0 1 0 809695210 22278144 4698 4294967295 134512640 134714508 3221221776 3221217936 1074794664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5439 4698 1111 63 0 5376 0 vsize: 0 Child status: 0 Real time (s): 1175.23 CPU time (s): 1175.12 CPU user time (s): 1153.23 CPU system time (s): 21.8977 CPU usage (%): 99.9907 Max. virtual memory (Kb): 21792 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####