Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-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 | 13.9929 |
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 wulflinc9 THE 2005-05-24 23:37:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15250 boxname=wulflinc9 idbench=1174 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 9565d6b3010c78b37c39352cc9731cb7 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-sp98ar.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-sp98ar.opb IDLAUNCH: 15250 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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.242 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: 850508 kB Buffers: 12428 kB Cached: 151088 kB SwapCached: 364 kB Active: 52084 kB Inactive: 114000 kB HighTotal: 131008 kB HighFree: 308 kB LowTotal: 903652 kB LowFree: 850200 kB SwapTotal: 2097136 kB SwapFree: 2096368 kB Dirty: 60 kB Writeback: 0 kB Mapped: 6348 kB Slab: 12460 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 23:57:25 (client local time) WITH STATUS 0 IN 1210.1 SECONDS stats: 15250 7 1210.1 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 657.605 s c Initial Lower Bound: -2147483648 c Lower Bound Elapsed time: 38.9353 c Not use computed LB before first solution. c NEW SOLUTION FOUND: -2011398412 @ 784.778 c NEW SOLUTION FOUND: -2147483648 @ 784.926 #### 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.82 0.93 0.90 1/54 12584 Raw data (stat): 12584 (runsolver) D 12583 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 776030086 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10 s] Raw data (loadavg): 0.85 0.93 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 17533 0 0 0 930 36 0 0 25 0 1 0 776030086 84619264 17457 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20659 17457 1111 63 0 20596 0 vsize: 82636 [startup+20.0069 s] Raw data (loadavg): 0.87 0.93 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 34875 0 0 0 1899 67 0 0 25 0 1 0 776030086 155664384 34799 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38004 34799 1111 63 0 37941 0 vsize: 152016 [startup+30.0071 s] Raw data (loadavg): 0.89 0.93 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 52349 0 0 0 2869 97 0 0 25 0 1 0 776030086 227328000 52273 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 55500 52273 1111 63 0 55437 0 vsize: 222000 [startup+40.0079 s] Raw data (loadavg): 0.91 0.94 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 71655 0 0 0 3834 133 0 0 25 0 1 0 776030086 306454528 71579 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74818 71579 1111 63 0 74755 0 vsize: 299272 [startup+50.0211 s] Raw data (loadavg): 0.92 0.94 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 90082 0 0 0 4805 163 0 0 25 0 1 0 776030086 381853696 90006 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 93226 90006 1111 63 0 93163 0 vsize: 372904 [startup+60.0204 s] Raw data (loadavg): 0.93 0.94 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 93136 0 0 0 5797 170 0 0 25 0 1 0 776030086 394375168 93060 4294967295 134512640 134714508 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96283 93060 1111 63 0 96220 0 vsize: 385132 [startup+70.0202 s] Raw data (loadavg): 0.94 0.94 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 93819 0 0 0 6795 172 0 0 25 0 1 0 776030086 397275136 93742 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96991 93742 1111 63 0 96928 0 vsize: 387964 [startup+80.0214 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 94466 0 0 0 7794 174 0 0 25 0 1 0 776030086 400011264 94388 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97659 94388 1111 63 0 97596 0 vsize: 390636 [startup+90.0217 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 95252 0 0 0 8791 176 0 0 25 0 1 0 776030086 403279872 95174 4294967295 134512640 134714508 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 98457 95174 1111 63 0 98394 0 vsize: 393828 [startup+100.037 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 96140 0 0 0 9790 179 0 0 25 0 1 0 776030086 406958080 96062 4294967295 134512640 134714508 3221224592 3221222868 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 99355 96062 1111 63 0 99292 0 vsize: 397420 [startup+110.047 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 97019 0 0 0 10788 181 0 0 25 0 1 0 776030086 410628096 96941 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 100251 96941 1111 63 0 100188 0 vsize: 401004 [startup+120.048 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 97922 0 0 0 11786 184 0 0 25 0 1 0 776030086 414310400 97844 4294967295 134512640 134714508 3221224592 3221222884 134566536 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 101150 97844 1111 63 0 101087 0 vsize: 404600 [startup+130.048 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 98718 0 0 0 12783 187 0 0 25 0 1 0 776030086 417579008 98640 4294967295 134512640 134714508 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101948 98640 1111 63 0 101885 0 vsize: 407792 [startup+140.048 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 99598 0 0 0 13781 189 0 0 25 0 1 0 776030086 421253120 99520 4294967295 134512640 134714508 3221224592 3221222868 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102845 99521 1111 63 0 102782 0 vsize: 411380 [startup+150.049 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101381 0 0 0 14777 193 0 0 25 0 1 0 776030086 419033088 101221 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102303 101221 1111 63 0 102240 0 vsize: 409212 [startup+160.049 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101433 0 0 0 15777 193 0 0 25 0 1 0 776030086 419168256 101273 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102336 101273 1111 63 0 102273 0 vsize: 409344 [startup+170.05 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101486 0 0 0 16777 194 0 0 25 0 1 0 776030086 419438592 101326 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102402 101326 1111 63 0 102339 0 vsize: 409608 [startup+180.05 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101541 0 0 0 17777 194 0 0 25 0 1 0 776030086 419573760 101381 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102435 101381 1111 63 0 102372 0 vsize: 409740 [startup+190.051 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101619 0 0 0 18777 194 0 0 25 0 1 0 776030086 419979264 101459 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102534 101459 1111 63 0 102471 0 vsize: 410136 [startup+200.051 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101705 0 0 0 19777 194 0 0 25 0 1 0 776030086 420249600 101545 4294967295 134512640 134714508 3221224592 3221223208 134536900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102600 101545 1111 63 0 102537 0 vsize: 410400 [startup+210.051 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101764 0 0 0 20777 194 0 0 25 0 1 0 776030086 420519936 101604 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102666 101604 1111 63 0 102603 0 vsize: 410664 [startup+220.052 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101814 0 0 0 21777 194 0 0 25 0 1 0 776030086 420790272 101654 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102732 101654 1111 63 0 102669 0 vsize: 410928 [startup+230.051 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101881 0 0 0 22777 194 0 0 25 0 1 0 776030086 421060608 101721 4294967295 134512640 134714508 3221224592 3221223036 134535978 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102798 101721 1111 63 0 102735 0 vsize: 411192 [startup+240.052 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101931 0 0 0 23777 195 0 0 25 0 1 0 776030086 421195776 101771 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102831 101771 1111 63 0 102768 0 vsize: 411324 [startup+250.052 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 101981 0 0 0 24777 195 0 0 25 0 1 0 776030086 421466112 101821 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102897 101821 1111 63 0 102834 0 vsize: 411588 [startup+260.052 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102056 0 0 0 25777 195 0 0 25 0 1 0 776030086 421736448 101896 4294967295 134512640 134714508 3221224592 3221223036 134535895 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102963 101896 1111 63 0 102900 0 vsize: 411852 [startup+270.052 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102119 0 0 0 26777 195 0 0 25 0 1 0 776030086 422006784 101959 4294967295 134512640 134714508 3221224592 3221223072 134543070 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103029 101959 1111 63 0 102966 0 vsize: 412116 [startup+280.051 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102184 0 0 0 27777 195 0 0 25 0 1 0 776030086 422277120 102024 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103095 102024 1111 63 0 103032 0 vsize: 412380 [startup+290.052 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102237 0 0 0 28777 196 0 0 25 0 1 0 776030086 422416384 102077 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103129 102077 1111 63 0 103066 0 vsize: 412516 [startup+300.052 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102300 0 0 0 29777 196 0 0 25 0 1 0 776030086 422686720 102140 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103195 102140 1111 63 0 103132 0 vsize: 412780 [startup+310.052 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102349 0 0 0 30777 196 0 0 25 0 1 0 776030086 422957056 102189 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103261 102189 1111 63 0 103198 0 vsize: 413044 [startup+320.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102418 0 0 0 31777 196 0 0 25 0 1 0 776030086 423227392 102258 4294967295 134512640 134714508 3221224592 3221223036 134536802 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103327 102258 1111 63 0 103264 0 vsize: 413308 [startup+330.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102463 0 0 0 32777 196 0 0 25 0 1 0 776030086 423362560 102303 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103360 102303 1111 63 0 103297 0 vsize: 413440 [startup+340.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102528 0 0 0 33777 196 0 0 25 0 1 0 776030086 423632896 102368 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103426 102368 1111 63 0 103363 0 vsize: 413704 [startup+350.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102577 0 0 0 34777 196 0 0 25 0 1 0 776030086 423903232 102417 4294967295 134512640 134714508 3221224592 3221223036 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103492 102417 1111 63 0 103429 0 vsize: 413968 [startup+360.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102625 0 0 0 35777 196 0 0 25 0 1 0 776030086 424038400 102465 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103525 102465 1111 63 0 103462 0 vsize: 414100 [startup+370.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102697 0 0 0 36777 197 0 0 25 0 1 0 776030086 424308736 102537 4294967295 134512640 134714508 3221224592 3221223040 134535881 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103591 102537 1111 63 0 103528 0 vsize: 414364 [startup+380.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102760 0 0 0 37777 197 0 0 25 0 1 0 776030086 424579072 102600 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103657 102600 1111 63 0 103594 0 vsize: 414628 [startup+390.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102815 0 0 0 38778 197 0 0 25 0 1 0 776030086 424849408 102655 4294967295 134512640 134714508 3221224592 3221223036 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103723 102655 1111 63 0 103660 0 vsize: 414892 [startup+400.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102874 0 0 0 39778 197 0 0 25 0 1 0 776030086 425119744 102714 4294967295 134512640 134714508 3221224592 3221223036 134535970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103789 102714 1111 63 0 103726 0 vsize: 415156 [startup+410.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102934 0 0 0 40777 198 0 0 25 0 1 0 776030086 425390080 102774 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103855 102774 1111 63 0 103792 0 vsize: 415420 [startup+420.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 102984 0 0 0 41777 198 0 0 25 0 1 0 776030086 425525248 102824 4294967295 134512640 134714508 3221224592 3221223072 134543043 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103888 102824 1111 63 0 103825 0 vsize: 415552 [startup+430.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103046 0 0 0 42777 198 0 0 25 0 1 0 776030086 425795584 102886 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103954 102886 1111 63 0 103891 0 vsize: 415816 [startup+440.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103119 0 0 0 43777 199 0 0 25 0 1 0 776030086 426065920 102959 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104020 102959 1111 63 0 103957 0 vsize: 416080 [startup+450.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103175 0 0 0 44776 199 0 0 25 0 1 0 776030086 426336256 103015 4294967295 134512640 134714508 3221224592 3221223036 134535925 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104086 103015 1111 63 0 104023 0 vsize: 416344 [startup+460.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103250 0 0 0 45776 200 0 0 25 0 1 0 776030086 426610688 103090 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104153 103090 1111 63 0 104090 0 vsize: 416612 [startup+470.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103350 0 0 0 46776 200 0 0 25 0 1 0 776030086 427016192 103190 4294967295 134512640 134714508 3221224592 3221223036 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104252 103190 1111 63 0 104189 0 vsize: 417008 [startup+480.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103470 0 0 0 47775 201 0 0 25 0 1 0 776030086 427556864 103310 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104384 103310 1111 63 0 104321 0 vsize: 417536 [startup+490.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103542 0 0 0 48775 201 0 0 25 0 1 0 776030086 427827200 103382 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104450 103382 1111 63 0 104387 0 vsize: 417800 [startup+500.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103594 0 0 0 49775 202 0 0 25 0 1 0 776030086 427962368 103434 4294967295 134512640 134714508 3221224592 3221223036 134535895 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104483 103434 1111 63 0 104420 0 vsize: 417932 [startup+510.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103635 0 0 0 50775 202 0 0 25 0 1 0 776030086 428232704 103475 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104549 103475 1111 63 0 104486 0 vsize: 418196 [startup+520.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103694 0 0 0 51775 202 0 0 25 0 1 0 776030086 428367872 103534 4294967295 134512640 134714508 3221224592 3221223100 134536568 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104582 103534 1111 63 0 104519 0 vsize: 418328 [startup+530.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103745 0 0 0 52775 202 0 0 25 0 1 0 776030086 428638208 103585 4294967295 134512640 134714508 3221224592 3221223036 134535967 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104648 103585 1111 63 0 104585 0 vsize: 418592 [startup+540.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103794 0 0 0 53775 203 0 0 25 0 1 0 776030086 428773376 103634 4294967295 134512640 134714508 3221224592 3221223072 134543041 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104681 103634 1111 63 0 104618 0 vsize: 418724 [startup+550.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103846 0 0 0 54775 203 0 0 25 0 1 0 776030086 429043712 103686 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104747 103686 1111 63 0 104684 0 vsize: 418988 [startup+560.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103929 0 0 0 55775 203 0 0 25 0 1 0 776030086 429314048 103769 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104813 103769 1111 63 0 104750 0 vsize: 419252 [startup+570.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 103998 0 0 0 56775 203 0 0 25 0 1 0 776030086 429584384 103838 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104879 103838 1111 63 0 104816 0 vsize: 419516 [startup+580.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104066 0 0 0 57775 204 0 0 25 0 1 0 776030086 429854720 103906 4294967295 134512640 134714508 3221224592 3221223044 134536752 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104945 103906 1111 63 0 104882 0 vsize: 419780 [startup+590.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104134 0 0 0 58775 204 0 0 25 0 1 0 776030086 430125056 103974 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105011 103974 1111 63 0 104948 0 vsize: 420044 [startup+600.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104248 0 0 0 59774 204 0 0 25 0 1 0 776030086 430665728 104088 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105143 104088 1111 63 0 105080 0 vsize: 420572 [startup+610.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104250 0 0 0 60774 204 0 0 25 0 1 0 776030086 430665728 104090 4294967295 134512640 134714508 3221224592 3221223264 134627125 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105143 104090 1111 63 0 105080 0 vsize: 420572 [startup+620.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104254 0 0 0 61774 204 0 0 25 0 1 0 776030086 430665728 104094 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105143 104094 1111 63 0 105080 0 vsize: 420572 [startup+630.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104256 0 0 0 62774 205 0 0 25 0 1 0 776030086 430665728 104096 4294967295 134512640 134714508 3221224592 3221223264 134627241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105143 104096 1111 63 0 105080 0 vsize: 420572 [startup+640.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104258 0 0 0 63775 205 0 0 25 0 1 0 776030086 430665728 104098 4294967295 134512640 134714508 3221224592 3221223264 134627241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105143 104098 1111 63 0 105080 0 vsize: 420572 [startup+650.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 104265 0 0 0 64775 205 0 0 25 0 1 0 776030086 430665728 104105 4294967295 134512640 134714508 3221224592 3221223264 134627333 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.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 105730 0 0 0 65772 208 0 0 25 0 1 0 776030086 436690944 105545 4294967295 134512640 134714508 3221224592 3221197408 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 106614 105545 1111 63 0 106551 0 vsize: 426456 [startup+670.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 106118 0 0 0 66770 210 0 0 25 0 1 0 776030086 438280192 105933 4294967295 134512640 134714508 3221224592 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 107002 105933 1111 63 0 106939 0 vsize: 428008 [startup+680.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 106148 0 0 0 67770 210 0 0 25 0 1 0 776030086 438403072 105963 4294967295 134512640 134714508 3221224592 3221222656 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 107032 105963 1111 63 0 106969 0 vsize: 428128 [startup+690.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 106182 0 0 0 68770 210 0 0 25 0 1 0 776030086 438534144 105997 4294967295 134512640 134714508 3221224592 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 107064 105997 1111 63 0 107001 0 vsize: 428256 [startup+700.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 112931 0 0 0 69755 225 0 0 25 0 1 0 776030086 450138112 108814 4294967295 134512640 134714508 3221224592 3221220584 1074950210 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.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 112937 0 0 0 70755 225 0 0 25 0 1 0 776030086 450138112 108820 4294967295 134512640 134714508 3221224592 3221221168 1075969185 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 109897 108820 1111 63 0 109834 0 vsize: 439588 [startup+720.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 118579 0 0 0 71742 238 0 0 25 0 1 0 776030086 439992320 106513 4294967295 134512640 134714508 3221224592 3221222816 1074039267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 107420 106513 1111 63 0 107357 0 vsize: 429680 [startup+730.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 119576 0 0 0 72740 240 0 0 25 0 1 0 776030086 441257984 106790 4294967295 134512640 134714508 3221224592 3221222832 1074039443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 107729 106790 1111 63 0 107666 0 vsize: 430916 [startup+740.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 126643 0 0 0 73726 254 0 0 25 0 1 0 776030086 452571136 109444 4294967295 134512640 134714508 3221224592 3221221480 1075112553 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 110491 109444 1111 63 0 110428 0 vsize: 441964 [startup+750.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 131842 0 0 0 74715 266 0 0 25 0 1 0 776030086 442224640 107058 4294967295 134512640 134714508 3221224592 3221222664 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 107965 107058 1111 63 0 107902 0 vsize: 431860 [startup+760.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 131842 0 0 0 75715 266 0 0 25 0 1 0 776030086 442224640 107058 4294967295 134512640 134714508 3221224592 3221222976 134606848 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 107965 107058 1111 63 0 107902 0 vsize: 431860 [startup+770.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 134274 0 0 0 76711 271 0 0 25 0 1 0 776030086 452849664 109457 4294967295 134512640 134714508 3221224592 3221222624 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 110559 109457 1111 63 0 110496 0 vsize: 442236 [startup+780.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 143484 0 0 0 77689 293 0 0 25 0 1 0 776030086 442114048 107031 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 107938 107031 1111 63 0 107875 0 vsize: 431752 [startup+790.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 159601 0 0 0 78652 329 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+800.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 185161 0 0 0 79599 382 0 0 25 0 1 0 776030086 438190080 105899 4294967295 134512640 134714508 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106980 105899 1111 63 0 106917 0 vsize: 427920 [startup+810.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 204942 0 0 0 80557 424 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+820.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 220862 0 0 0 81523 459 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+830.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 233572 0 0 0 82496 487 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+840.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 245032 0 0 0 83471 512 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222664 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+850.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 255378 0 0 0 84447 535 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221223056 1074121006 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+860.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 265503 0 0 0 85424 558 0 0 25 0 1 0 776030086 438231040 105907 4294967295 134512640 134714508 3221224592 3221222512 1075802501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106990 105907 1111 63 0 106927 0 vsize: 427960 [startup+870.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 275302 0 0 0 86402 581 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222832 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+880.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 284297 0 0 0 87380 603 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222704 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+890.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 292667 0 0 0 88361 622 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222616 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+900.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 300574 0 0 0 89344 639 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222736 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+910.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 308210 0 0 0 90327 657 0 0 25 0 1 0 776030086 438677504 106001 4294967295 134512640 134714508 3221224592 3221220664 1074950227 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 107099 106002 1111 63 0 107036 0 vsize: 428396 [startup+920.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 315484 0 0 0 91309 675 0 0 25 0 1 0 776030086 438231040 105906 4294967295 134512640 134714508 3221224592 3221222320 1075828232 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106990 105906 1111 63 0 106927 0 vsize: 427960 [startup+930.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 322828 0 0 0 92292 692 0 0 25 0 1 0 776030086 437235712 105841 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+940.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 329877 0 0 0 93277 707 0 0 25 0 1 0 776030086 437809152 105945 4294967295 134512640 134714508 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106887 105949 1111 63 0 106824 0 vsize: 427548 [startup+950.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 336946 0 0 0 94263 722 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222736 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+960.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 343627 0 0 0 95248 736 0 0 25 0 1 0 776030086 438214656 105865 4294967295 134512640 134714508 3221224592 3221221632 1075860321 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106986 105865 1111 63 0 106923 0 vsize: 427944 [startup+970.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 350242 0 0 0 96232 752 0 0 25 0 1 0 776030086 437235712 105841 4294967295 134512640 134714508 3221224592 3221222896 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+980.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 356725 0 0 0 97218 767 0 0 25 0 1 0 776030086 438247424 105907 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106994 105907 1111 63 0 106931 0 vsize: 427976 [startup+990.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 363120 0 0 0 98203 782 0 0 25 0 1 0 776030086 438247424 105908 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106994 105908 1111 63 0 106931 0 vsize: 427976 [startup+1000.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 369346 0 0 0 99187 798 0 0 25 0 1 0 776030086 437235712 105841 4294967295 134512640 134714508 3221224592 3221222736 1074153669 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1010.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 375646 0 0 0 100172 813 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222944 1074142962 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+1020.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 381696 0 0 0 101160 826 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222784 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+1030.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 387711 0 0 0 102145 840 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222704 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+1040.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 393692 0 0 0 103133 853 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222384 1074050884 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+1050.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 399220 0 0 0 104120 866 0 0 25 0 1 0 776030086 437235712 105841 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1060.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 405244 0 0 0 105108 878 0 0 25 0 1 0 776030086 437538816 105845 4294967295 134512640 134714508 3221224592 3221221712 1074865662 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106821 105845 1111 63 0 106758 0 vsize: 427284 [startup+1070.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 411235 0 0 0 106093 894 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222896 1074153794 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+1080.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 417015 0 0 0 107080 907 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+1090.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 422360 0 0 0 108068 919 0 0 25 0 1 0 776030086 438247424 105908 4294967295 134512640 134714508 3221224592 3221222320 1075828608 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106994 105908 1111 63 0 106931 0 vsize: 427976 [startup+1100.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 428449 0 0 0 109055 932 0 0 25 0 1 0 776030086 437231616 105835 4294967295 134512640 134714508 3221224592 3221222288 1074050818 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106746 105835 1111 63 0 106683 0 vsize: 426984 [startup+1110.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 433945 0 0 0 110041 946 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222696 1074138158 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+1120.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 439444 0 0 0 111027 960 0 0 25 0 1 0 776030086 437235712 105835 4294967295 134512640 134714508 3221224592 3221222944 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+1130.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 444599 0 0 0 112014 974 0 0 25 0 1 0 776030086 437342208 105867 4294967295 134512640 134714508 3221224592 3221222944 1074115304 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106773 105867 1111 63 0 106710 0 vsize: 427092 [startup+1140.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 449650 0 0 0 113001 987 0 0 25 0 1 0 776030086 437235712 105841 4294967295 134512640 134714508 3221224592 3221222752 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1150.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 455008 0 0 0 113988 1000 0 0 25 0 1 0 776030086 437211136 105835 4294967295 134512640 134714508 3221224592 3221222664 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+1160.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 459770 0 0 0 114977 1011 0 0 25 0 1 0 776030086 437235712 105841 4294967295 134512640 134714508 3221224592 3221222784 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1170.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 464474 0 0 0 115965 1023 0 0 25 0 1 0 776030086 437260288 105847 4294967295 134512640 134714508 3221224592 3221222976 1074153669 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106753 105847 1111 63 0 106690 0 vsize: 427012 [startup+1180.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 469343 0 0 0 116954 1034 0 0 25 0 1 0 776030086 438235136 105931 4294967295 134512640 134714508 3221224592 3221221936 1074839039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106991 105931 1111 63 0 106928 0 vsize: 427964 [startup+1190.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 474193 0 0 0 117942 1046 0 0 25 0 1 0 776030086 437424128 105887 4294967295 134512640 134714508 3221224592 3221223056 1074121071 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106793 105887 1111 63 0 106730 0 vsize: 427172 [startup+1200.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 478746 0 0 0 118931 1058 0 0 25 0 1 0 776030086 437395456 105866 4294967295 134512640 134714508 3221224592 3221222592 1074918937 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106786 105866 1111 63 0 106723 0 vsize: 427144 [startup+1210.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12584 Raw data (stat): 12584 (bsolo_lpr) R 12583 3944 3943 0 -1 0 483431 0 0 0 119921 1068 0 0 25 0 1 0 776030086 437260288 105847 4294967295 134512640 134714508 3221224592 3221222944 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106753 105847 1111 63 0 106690 0 vsize: 427012 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1210.27 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 12584 Raw data (stat): 12584 (bsolo_lpr) Z 12583 3944 3943 0 -1 1036 483431 0 0 0 119921 1088 0 0 25 0 1 0 776030086 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): 1210.27 CPU time (s): 1210.1 CPU user time (s): 1199.22 CPU system time (s): 10.8803 CPU usage (%): 99.986 Max. virtual memory (Kb): 442236 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####