Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ar.opb |
MD5SUM | 9565d6b3010c78b37c39352cc9731cb7 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 15085 |
Biggest coefficient in the objective function | 504328818 |
Number of bits for the biggest coefficient in the objective function | 29 |
Sum of the numbers in the objective function | 2067304124713 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 504328818 |
Number of bits of the biggest number in a constraint | 29 |
Biggest sum of numbers in a constraint | 2067304124713 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 14.4348 |
Number of variables | 15085 |
Total number of constraints | 16520 |
Number of constraints which are clauses | 181 |
Number of constraints which are cardinality constraints (but not clauses) | 15927 |
Number of constraints which are nor clauses,nor cardinality constraints | 412 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 4222 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-08 13:56:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28603 boxname=wulflinc1 idbench=1559 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 9565d6b3010c78b37c39352cc9731cb7 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sp98ar.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sp98ar.opb IDLAUNCH: 28603 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 868452 kB Buffers: 8952 kB Cached: 132228 kB SwapCached: 1144 kB Active: 32352 kB Inactive: 111060 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 868200 kB SwapTotal: 2097136 kB SwapFree: 2094836 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5256 kB Slab: 16868 kB Committed_AS: 92708 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 14:16:09 (client local time) WITH STATUS 0 IN 1200.36 SECONDS stats: 28603 7 1200.36 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 15085 variables and 1430 constraints. c After prepocess the problem consists of 15076 variables and 1368 constraints. c preprocess terminated 658.838 s c Initial Lower Bound: -2147483648 c Lower Bound Elapsed time: 20.6387 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 762924732 @ 730.903 c NEW SOLUTION FOUND: -2147483648 @ 731.055 #### 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.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (runsolver) R 23454 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 845304535 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.0011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 18294 0 0 0 959 38 0 0 25 0 1 0 845304535 87756800 18214 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21425 18214 1111 63 0 21362 0 vsize: 85700 [startup+20.0021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 36238 0 0 0 1925 72 0 0 25 0 1 0 845304535 161337344 36158 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39389 36158 1111 63 0 39326 0 vsize: 157556 [startup+30.0025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 54009 0 0 0 2896 102 0 0 25 0 1 0 845304535 234192896 53929 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 57176 53929 1111 63 0 57113 0 vsize: 228704 [startup+40.0033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 73377 0 0 0 3861 137 0 0 25 0 1 0 845304535 313475072 73297 4294967295 134512640 134716908 3221224576 3221221292 1077197737 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76532 73301 1111 63 0 76469 0 vsize: 306128 [startup+50.0031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 91633 0 0 0 4832 166 0 0 25 0 1 0 845304535 388124672 91553 4294967295 134512640 134716908 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 94757 91553 1111 63 0 94694 0 vsize: 379028 [startup+60.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 93225 0 0 0 5828 170 0 0 25 0 1 0 845304535 394649600 93145 4294967295 134512640 134716908 3221224576 3221222852 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96350 93145 1111 63 0 96287 0 vsize: 385400 [startup+70.0026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 93851 0 0 0 6827 171 0 0 25 0 1 0 845304535 397430784 93769 4294967295 134512640 134716908 3221224576 3221223056 134540030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 97029 93769 1111 63 0 96966 0 vsize: 388116 [startup+80.0038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 94537 0 0 0 7825 173 0 0 25 0 1 0 845304535 400285696 94455 4294967295 134512640 134716908 3221224576 3221222860 1077399575 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 97726 94455 1111 63 0 97663 0 vsize: 390904 [startup+90.0032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 95282 0 0 0 8822 175 0 0 25 0 1 0 845304535 403279872 95200 4294967295 134512640 134716908 3221224576 3221222852 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 98457 95200 1111 63 0 98394 0 vsize: 393828 [startup+100.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 96226 0 0 0 9821 177 0 0 25 0 1 0 845304535 407228416 96144 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 99421 96144 1111 63 0 99358 0 vsize: 397684 [startup+110.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 97053 0 0 0 10818 180 0 0 25 0 1 0 845304535 410763264 96971 4294967295 134512640 134716908 3221224576 3221222852 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 100284 96971 1111 63 0 100221 0 vsize: 401136 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 97950 0 0 0 11816 182 0 0 25 0 1 0 845304535 414453760 97868 4294967295 134512640 134716908 3221224576 3221223136 134564784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101185 97868 1111 63 0 101122 0 vsize: 404740 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 98750 0 0 0 12814 184 0 0 25 0 1 0 845304535 417714176 98668 4294967295 134512640 134716908 3221224576 3221222852 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101981 98668 1111 63 0 101918 0 vsize: 407924 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 99665 0 0 0 13811 187 0 0 25 0 1 0 845304535 421523456 99583 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 102911 99583 1111 63 0 102848 0 vsize: 411644 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101388 0 0 0 14806 191 0 0 25 0 1 0 845304535 419033088 101224 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 102303 101224 1111 63 0 102240 0 vsize: 409212 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101443 0 0 0 15806 191 0 0 25 0 1 0 845304535 419168256 101279 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102336 101279 1111 63 0 102273 0 vsize: 409344 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101493 0 0 0 16806 192 0 0 25 0 1 0 845304535 419438592 101329 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102402 101329 1111 63 0 102339 0 vsize: 409608 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101548 0 0 0 17806 192 0 0 25 0 1 0 845304535 419573760 101384 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102435 101384 1111 63 0 102372 0 vsize: 409740 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101632 0 0 0 18806 192 0 0 25 0 1 0 845304535 419979264 101468 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102534 101468 1111 63 0 102471 0 vsize: 410136 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101712 0 0 0 19806 192 0 0 25 0 1 0 845304535 420249600 101548 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102600 101548 1111 63 0 102537 0 vsize: 410400 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101772 0 0 0 20806 192 0 0 25 0 1 0 845304535 420519936 101608 4294967295 134512640 134716908 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102666 101608 1111 63 0 102603 0 vsize: 410664 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101821 0 0 0 21806 193 0 0 25 0 1 0 845304535 420790272 101657 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102732 101657 1111 63 0 102669 0 vsize: 410928 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23455 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101889 0 0 0 22806 193 0 0 25 0 1 0 845304535 421060608 101725 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102798 101725 1111 63 0 102735 0 vsize: 411192 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23508 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101939 0 0 0 23805 193 0 0 25 0 1 0 845304535 421195776 101775 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102831 101775 1111 63 0 102768 0 vsize: 411324 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23508 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 101989 0 0 0 24806 193 0 0 25 0 1 0 845304535 421466112 101825 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102897 101825 1111 63 0 102834 0 vsize: 411588 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23508 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102064 0 0 0 25806 194 0 0 25 0 1 0 845304535 421736448 101900 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102963 101900 1111 63 0 102900 0 vsize: 411852 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23508 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102127 0 0 0 26806 194 0 0 25 0 1 0 845304535 422006784 101963 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103029 101963 1111 63 0 102966 0 vsize: 412116 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23508 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102191 0 0 0 27806 194 0 0 25 0 1 0 845304535 422277120 102027 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103095 102027 1111 63 0 103032 0 vsize: 412380 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23508 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102244 0 0 0 28806 194 0 0 25 0 1 0 845304535 422416384 102080 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103129 102080 1111 63 0 103066 0 vsize: 412516 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23510 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102307 0 0 0 29806 194 0 0 25 0 1 0 845304535 422686720 102143 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103195 102143 1111 63 0 103132 0 vsize: 412780 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102356 0 0 0 30806 194 0 0 25 0 1 0 845304535 422957056 102192 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103261 102192 1111 63 0 103198 0 vsize: 413044 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102425 0 0 0 31805 195 0 0 25 0 1 0 845304535 423227392 102261 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103327 102261 1111 63 0 103264 0 vsize: 413308 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102470 0 0 0 32806 195 0 0 25 0 1 0 845304535 423362560 102306 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103360 102306 1111 63 0 103297 0 vsize: 413440 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102534 0 0 0 33806 195 0 0 25 0 1 0 845304535 423632896 102370 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103426 102370 1111 63 0 103363 0 vsize: 413704 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102583 0 0 0 34806 195 0 0 25 0 1 0 845304535 423903232 102419 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103492 102419 1111 63 0 103429 0 vsize: 413968 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102631 0 0 0 35806 195 0 0 25 0 1 0 845304535 424038400 102467 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103525 102467 1111 63 0 103462 0 vsize: 414100 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102703 0 0 0 36805 196 0 0 25 0 1 0 845304535 424308736 102539 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103591 102539 1111 63 0 103528 0 vsize: 414364 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102763 0 0 0 37806 196 0 0 25 0 1 0 845304535 424579072 102599 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103657 102599 1111 63 0 103594 0 vsize: 414628 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102821 0 0 0 38806 196 0 0 25 0 1 0 845304535 424849408 102657 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103723 102657 1111 63 0 103660 0 vsize: 414892 [startup+400.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102880 0 0 0 39806 196 0 0 25 0 1 0 845304535 425119744 102716 4294967295 134512640 134716908 3221224576 3221223056 134543043 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103789 102716 1111 63 0 103726 0 vsize: 415156 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102940 0 0 0 40806 196 0 0 25 0 1 0 845304535 425390080 102776 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103855 102776 1111 63 0 103792 0 vsize: 415420 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 102990 0 0 0 41806 196 0 0 25 0 1 0 845304535 425525248 102826 4294967295 134512640 134716908 3221224576 3221223056 134542300 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103888 102826 1111 63 0 103825 0 vsize: 415552 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103052 0 0 0 42806 197 0 0 25 0 1 0 845304535 425795584 102888 4294967295 134512640 134716908 3221224576 3221223020 134536784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103954 102888 1111 63 0 103891 0 vsize: 415816 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103124 0 0 0 43805 197 0 0 25 0 1 0 845304535 426070016 102960 4294967295 134512640 134716908 3221224576 3221223020 134536763 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104021 102960 1111 63 0 103958 0 vsize: 416084 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103180 0 0 0 44806 197 0 0 25 0 1 0 845304535 426340352 103016 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104087 103016 1111 63 0 104024 0 vsize: 416348 [startup+460.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103253 0 0 0 45806 197 0 0 25 0 1 0 845304535 426610688 103089 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104153 103089 1111 63 0 104090 0 vsize: 416612 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103355 0 0 0 46805 198 0 0 25 0 1 0 845304535 427016192 103191 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104252 103191 1111 63 0 104189 0 vsize: 417008 [startup+480.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103471 0 0 0 47805 198 0 0 25 0 1 0 845304535 427421696 103307 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104351 103307 1111 63 0 104288 0 vsize: 417404 [startup+490.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103543 0 0 0 48805 198 0 0 25 0 1 0 845304535 427827200 103379 4294967295 134512640 134716908 3221224576 3221223056 134543041 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104450 103379 1111 63 0 104387 0 vsize: 417800 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103596 0 0 0 49805 198 0 0 25 0 1 0 845304535 427962368 103432 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104483 103432 1111 63 0 104420 0 vsize: 417932 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103640 0 0 0 50806 198 0 0 25 0 1 0 845304535 428097536 103476 4294967295 134512640 134716908 3221224576 3221223040 134543102 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104516 103476 1111 63 0 104453 0 vsize: 418064 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103694 0 0 0 51806 198 0 0 25 0 1 0 845304535 428367872 103530 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104582 103530 1111 63 0 104519 0 vsize: 418328 [startup+530.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103744 0 0 0 52806 199 0 0 25 0 1 0 845304535 428638208 103580 4294967295 134512640 134716908 3221224576 3221223044 134543025 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104648 103580 1111 63 0 104585 0 vsize: 418592 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103794 0 0 0 53806 199 0 0 25 0 1 0 845304535 428773376 103630 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104681 103630 1111 63 0 104618 0 vsize: 418724 [startup+550.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103848 0 0 0 54805 199 0 0 25 0 1 0 845304535 429043712 103684 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104747 103684 1111 63 0 104684 0 vsize: 418988 [startup+560.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23512 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103930 0 0 0 55805 199 0 0 25 0 1 0 845304535 429314048 103766 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104813 103766 1111 63 0 104750 0 vsize: 419252 [startup+570.015 s] Raw data (loadavg): 1.15 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 103997 0 0 0 56806 199 0 0 25 0 1 0 845304535 429584384 103833 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104879 103833 1111 63 0 104816 0 vsize: 419516 [startup+580.016 s] Raw data (loadavg): 1.13 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104071 0 0 0 57805 200 0 0 25 0 1 0 845304535 429854720 103907 4294967295 134512640 134716908 3221224576 3221223020 134536814 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104945 103907 1111 63 0 104882 0 vsize: 419780 [startup+590.016 s] Raw data (loadavg): 1.11 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104132 0 0 0 58805 200 0 0 25 0 1 0 845304535 430125056 103968 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105011 103968 1111 63 0 104948 0 vsize: 420044 [startup+600.015 s] Raw data (loadavg): 1.09 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104253 0 0 0 59805 201 0 0 25 0 1 0 845304535 430665728 104089 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105143 104089 1111 63 0 105080 0 vsize: 420572 [startup+610.016 s] Raw data (loadavg): 1.08 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104255 0 0 0 60805 201 0 0 25 0 1 0 845304535 430665728 104091 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105143 104091 1111 63 0 105080 0 vsize: 420572 [startup+620.017 s] Raw data (loadavg): 1.07 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104257 0 0 0 61806 201 0 0 25 0 1 0 845304535 430665728 104093 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105143 104093 1111 63 0 105080 0 vsize: 420572 [startup+630.018 s] Raw data (loadavg): 1.06 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104261 0 0 0 62806 201 0 0 25 0 1 0 845304535 430665728 104097 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105143 104097 1111 63 0 105080 0 vsize: 420572 [startup+640.019 s] Raw data (loadavg): 1.05 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104263 0 0 0 63806 201 0 0 25 0 1 0 845304535 430665728 104099 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105143 104099 1111 63 0 105080 0 vsize: 420572 [startup+650.018 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 104269 0 0 0 64806 201 0 0 25 0 1 0 845304535 430665728 104105 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105143 104105 1111 63 0 105080 0 vsize: 420572 [startup+660.018 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 105544 0 0 0 65803 204 0 0 25 0 1 0 845304535 435929088 105355 4294967295 134512640 134716908 3221224576 3221194352 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 106428 105355 1111 63 0 106365 0 vsize: 425712 [startup+670.018 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 106111 0 0 0 66800 206 0 0 25 0 1 0 845304535 438231040 105922 4294967295 134512640 134716908 3221224576 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106990 105922 1111 63 0 106927 0 vsize: 427960 [startup+680.019 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 106152 0 0 0 67800 206 0 0 25 0 1 0 845304535 438394880 105963 4294967295 134512640 134716908 3221224576 3221222576 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 107030 105963 1111 63 0 106967 0 vsize: 428120 [startup+690.019 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 106187 0 0 0 68800 207 0 0 25 0 1 0 845304535 438534144 105998 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 107064 105998 1111 63 0 107001 0 vsize: 428256 [startup+700.019 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 112935 0 0 0 69786 221 0 0 25 0 1 0 845304535 450138112 108814 4294967295 134512640 134716908 3221224576 3221220752 1074807031 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 109897 108814 1111 63 0 109834 0 vsize: 439588 [startup+710.02 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 112942 0 0 0 70787 221 0 0 25 0 1 0 845304535 450138112 108821 4294967295 134512640 134716908 3221224576 3221220444 1074860620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 109897 108821 1111 63 0 109834 0 vsize: 439588 [startup+720.02 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 137933 0 0 0 71732 275 0 0 25 0 1 0 845304535 444051456 107174 4294967295 134512640 134716908 3221224576 3221222392 1074138303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108411 107176 1111 63 0 108348 0 vsize: 433644 [startup+730.021 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 141009 0 0 0 72725 282 0 0 25 0 1 0 845304535 439107584 106290 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 107204 106290 1111 63 0 107141 0 vsize: 428816 [startup+740.021 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 180263 0 0 0 73640 367 0 0 25 0 1 0 845304535 434212864 105098 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 106009 105098 1111 63 0 105946 0 vsize: 424036 [startup+750.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 212215 0 0 0 74568 439 0 0 25 0 1 0 845304535 434995200 105259 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106200 105259 1111 63 0 106137 0 vsize: 424800 [startup+760.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 237699 0 0 0 75514 493 0 0 25 0 1 0 845304535 434212864 105098 4294967295 134512640 134716908 3221224576 3221222300 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106009 105098 1111 63 0 105946 0 vsize: 424036 [startup+770.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 259613 0 0 0 76467 540 0 0 25 0 1 0 845304535 434237440 105098 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106015 105098 1111 63 0 105952 0 vsize: 424060 [startup+780.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 280249 0 0 0 77422 586 0 0 25 0 1 0 845304535 434356224 105127 4294967295 134512640 134716908 3221224576 3221222928 1074115308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106044 105127 1111 63 0 105981 0 vsize: 424176 [startup+790.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 298428 0 0 0 78383 625 0 0 25 0 1 0 845304535 434257920 105109 4294967295 134512640 134716908 3221224576 3221222736 1074153660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106020 105109 1111 63 0 105957 0 vsize: 424080 [startup+800.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 315374 0 0 0 79346 662 0 0 25 0 1 0 845304535 435879936 105296 4294967295 134512640 134716908 3221224576 3221222496 1075799558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106416 105296 1111 63 0 106353 0 vsize: 425664 [startup+810.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 331601 0 0 0 80315 693 0 0 25 0 1 0 845304535 434282496 105109 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106026 105109 1111 63 0 105963 0 vsize: 424104 [startup+820.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 347293 0 0 0 81280 728 0 0 25 0 1 0 845304535 434257920 105109 4294967295 134512640 134716908 3221224576 3221222632 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106020 105109 1111 63 0 105957 0 vsize: 424080 [startup+830.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 362128 0 0 0 82248 760 0 0 25 0 1 0 845304535 434257920 105109 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106020 105109 1111 63 0 105957 0 vsize: 424080 [startup+840.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 376181 0 0 0 83216 793 0 0 25 0 1 0 845304535 434257920 105109 4294967295 134512640 134716908 3221224576 3221222584 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106020 105109 1111 63 0 105957 0 vsize: 424080 [startup+850.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 389438 0 0 0 84185 824 0 0 25 0 1 0 845304535 434282496 105109 4294967295 134512640 134716908 3221224576 3221222680 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106026 105109 1111 63 0 105963 0 vsize: 424104 [startup+860.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 402336 0 0 0 85157 852 0 0 25 0 1 0 845304535 434737152 105183 4294967295 134512640 134716908 3221224576 3221222320 1075640218 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106137 105183 1111 63 0 106074 0 vsize: 424548 [startup+870.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 414936 0 0 0 86130 879 0 0 25 0 1 0 845304535 435838976 105282 4294967295 134512640 134716908 3221224576 3221221644 1074831252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106406 105282 1111 63 0 106343 0 vsize: 425624 [startup+880.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 426872 0 0 0 87102 907 0 0 25 0 1 0 845304535 434282496 105115 4294967295 134512640 134716908 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106026 105115 1111 63 0 105963 0 vsize: 424104 [startup+890.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 438109 0 0 0 88075 934 0 0 25 0 1 0 845304535 434356224 105127 4294967295 134512640 134716908 3221224576 3221222720 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106044 105127 1111 63 0 105981 0 vsize: 424176 [startup+900.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 448519 0 0 0 89051 958 0 0 25 0 1 0 845304535 434954240 105279 4294967295 134512640 134716908 3221224576 3221222304 1075635436 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106190 105279 1111 63 0 106127 0 vsize: 424760 [startup+910.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 458708 0 0 0 90028 982 0 0 25 0 1 0 845304535 434188288 104922 4294967295 134512640 134716908 3221224576 3221222412 1077404742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106038 104933 1111 63 0 105975 0 vsize: 424012 [startup+920.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 468303 0 0 0 91007 1003 0 0 25 0 1 0 845304535 434356224 105133 4294967295 134512640 134716908 3221224576 3221222880 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106044 105133 1111 63 0 105981 0 vsize: 424176 [startup+930.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 478106 0 0 0 91984 1026 0 0 25 0 1 0 845304535 434659328 105207 4294967295 134512640 134716908 3221224576 3221222216 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106118 105207 1111 63 0 106055 0 vsize: 424472 [startup+940.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 487545 0 0 0 92962 1048 0 0 25 0 1 0 845304535 434884608 105238 4294967295 134512640 134716908 3221224576 3221223040 1074119510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106173 105238 1111 63 0 106110 0 vsize: 424692 [startup+950.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 496436 0 0 0 93941 1070 0 0 25 0 1 0 845304535 436006912 105323 4294967295 134512640 134716908 3221224576 3221222496 1075799535 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106447 105323 1111 63 0 106384 0 vsize: 425788 [startup+960.027 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 505536 0 0 0 94921 1090 0 0 25 0 1 0 845304535 434356224 105127 4294967295 134512640 134716908 3221224576 3221222720 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106044 105127 1111 63 0 105981 0 vsize: 424176 [startup+970.027 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 514026 0 0 0 95901 1110 0 0 25 0 1 0 845304535 434802688 105231 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106192 105231 1111 63 0 106129 0 vsize: 424612 [startup+980.028 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 522488 0 0 0 96882 1129 0 0 25 0 1 0 845304535 434356224 105133 4294967295 134512640 134716908 3221224576 3221222720 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106044 105133 1111 63 0 105981 0 vsize: 424176 [startup+990.028 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 530971 0 0 0 97865 1146 0 0 25 0 1 0 845304535 435998720 105340 4294967295 134512640 134716908 3221224576 3221222688 1074867302 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106445 105340 1111 63 0 106382 0 vsize: 425780 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 539564 0 0 0 98846 1166 0 0 25 0 1 0 845304535 436797440 105552 4294967295 134512640 134716908 3221224576 3221220572 1074860959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106640 105552 1111 63 0 106577 0 vsize: 426560 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 547847 0 0 0 99826 1185 0 0 25 0 1 0 845304535 436797440 105484 4294967295 134512640 134716908 3221224576 3221221644 1074831198 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106640 105484 1111 63 0 106577 0 vsize: 426560 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 555805 0 0 0 100806 1206 0 0 25 0 1 0 845304535 434356224 105133 4294967295 134512640 134716908 3221224576 3221222200 1077379378 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106044 105133 1111 63 0 105981 0 vsize: 424176 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 564753 0 0 0 101785 1227 0 0 25 0 1 0 845304535 434286592 105096 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106027 105096 1111 63 0 105964 0 vsize: 424108 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 574073 0 0 0 102763 1249 0 0 25 0 1 0 845304535 434323456 105111 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106036 105111 1111 63 0 105973 0 vsize: 424144 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 583361 0 0 0 103742 1270 0 0 25 0 1 0 845304535 434434048 105139 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106063 105139 1111 63 0 106000 0 vsize: 424252 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 592116 0 0 0 104721 1291 0 0 25 0 1 0 845304535 434409472 105146 4294967295 134512640 134716908 3221224576 3221222688 1074153673 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106057 105146 1111 63 0 105994 0 vsize: 424228 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 599481 0 0 0 105706 1307 0 0 25 0 1 0 845304535 434409472 105146 4294967295 134512640 134716908 3221224576 3221222864 1074153806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106057 105146 1111 63 0 105994 0 vsize: 424228 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 607662 0 0 0 106686 1327 0 0 25 0 1 0 845304535 434159616 105079 4294967295 134512640 134716908 3221224576 3221222672 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105996 105079 1111 63 0 105933 0 vsize: 423984 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 615853 0 0 0 107668 1345 0 0 25 0 1 0 845304535 436097024 105361 4294967295 134512640 134716908 3221224576 3221222304 1075828579 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106469 105361 1111 63 0 106406 0 vsize: 425876 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 624431 0 0 0 108650 1363 0 0 25 0 1 0 845304535 434282496 105095 4294967295 134512640 134716908 3221224576 3221222720 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106026 105095 1111 63 0 105963 0 vsize: 424104 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 632393 0 0 0 109631 1383 0 0 25 0 1 0 845304535 434438144 105140 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106064 105140 1111 63 0 106001 0 vsize: 424256 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 640483 0 0 0 110612 1402 0 0 25 0 1 0 845304535 436187136 105366 4294967295 134512640 134716908 3221224576 3221222688 1074867358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106491 105366 1111 63 0 106428 0 vsize: 425964 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 648605 0 0 0 111593 1422 0 0 25 0 1 0 845304535 435179520 105334 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106245 105334 1111 63 0 106182 0 vsize: 424980 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 656461 0 0 0 112575 1439 0 0 25 0 1 0 845304535 436908032 105551 4294967295 134512640 134716908 3221224576 3221221616 1075860117 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106667 105551 1111 63 0 106604 0 vsize: 426668 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 664045 0 0 0 113556 1458 0 0 25 0 1 0 845304535 436203520 105370 4294967295 134512640 134716908 3221224576 3221222496 1075799695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106495 105370 1111 63 0 106432 0 vsize: 425980 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 671619 0 0 0 114539 1475 0 0 25 0 1 0 845304535 434442240 105141 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106065 105141 1111 63 0 106002 0 vsize: 424260 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 679457 0 0 0 115520 1495 0 0 25 0 1 0 845304535 434286592 105096 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106027 105096 1111 63 0 105964 0 vsize: 424108 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 686518 0 0 0 116503 1512 0 0 25 0 1 0 845304535 436154368 105347 4294967295 134512640 134716908 3221224576 3221222304 1075828208 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106483 105353 1111 63 0 106420 0 vsize: 425932 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 694093 0 0 0 117486 1529 0 0 25 0 1 0 845304535 434380800 105125 4294967295 134512640 134716908 3221224576 3221222688 1074153812 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106050 105125 1111 63 0 105987 0 vsize: 424200 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) R 23454 8378 8377 0 -1 0 700925 0 0 0 118468 1548 0 0 25 0 1 0 845304535 434368512 105136 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106047 105136 1111 63 0 105984 0 vsize: 424188 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.23 s] Raw data (loadavg): 1.00 1.00 0.92 1/55 23514 Raw data (stat): 23455 (bsolo_lpr-v2) Z 23454 8378 8377 0 -1 1036 700925 0 0 0 118468 1567 0 0 25 0 1 0 845304535 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.23 CPU time (s): 1200.36 CPU user time (s): 1184.68 CPU system time (s): 15.6756 CPU usage (%): 100.011 Max. virtual memory (Kb): 439588 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####