Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb |
MD5SUM | c5ca7819a7dcae16ff6045242cdd1f87 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -23 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 120 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 120 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 900 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1176.86 |
Number of variables | 1835 |
Total number of constraints | 3947 |
Number of constraints which are clauses | 1906 |
Number of constraints which are cardinality constraints (but not clauses) | 1921 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 882 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-24 20:11:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17928 boxname=wulflinc2 idbench=1380 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: c5ca7819a7dcae16ff6045242cdd1f87 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-protfold.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-protfold.opb IDLAUNCH: 17928 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 701224 kB Buffers: 31704 kB Cached: 280704 kB SwapCached: 868 kB Active: 35244 kB Inactive: 279728 kB HighTotal: 131008 kB HighFree: 4508 kB LowTotal: 903652 kB LowFree: 696716 kB SwapTotal: 2097136 kB SwapFree: 2095788 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5616 kB Slab: 12632 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 20:30:42 (client local time) WITH STATUS 0 IN 1175.19 SECONDS stats: 17928 7 1175.19 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1835 variables and 2149 constraints. c After prepocess the problem consists of 1835 variables and 2368 constraints. c preprocess terminated 88.003 s c Initial Lower Bound: -41 c Lower Bound Elapsed time: 21.924 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.13 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.98 0.95 2/54 2444 Raw data (stat): 2444 (runsolver) R 2443 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774797629 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0003 s] Raw data (loadavg): 0.93 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 14058 0 0 0 964 33 0 0 25 0 1 0 774797629 60805120 13975 4294967295 134512640 134714508 3221224592 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14845 13975 1111 63 0 14782 0 vsize: 59380 [startup+20.0005 s] Raw data (loadavg): 0.94 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 16545 0 0 0 1958 40 0 0 25 0 1 0 774797629 70946816 16462 4294967295 134512640 134714508 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17321 16462 1111 63 0 17258 0 vsize: 69284 [startup+30.0012 s] Raw data (loadavg): 0.95 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 17742 0 0 0 2956 42 0 0 25 0 1 0 774797629 75816960 17659 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18510 17659 1111 63 0 18447 0 vsize: 74040 [startup+40.0013 s] Raw data (loadavg): 0.96 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 17753 0 0 0 3955 43 0 0 25 0 1 0 774797629 75816960 17670 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18510 17670 1111 63 0 18447 0 vsize: 74040 [startup+50.0015 s] Raw data (loadavg): 0.96 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 17764 0 0 0 4955 43 0 0 25 0 1 0 774797629 75952128 17681 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18543 17681 1111 63 0 18480 0 vsize: 74172 [startup+60.0012 s] Raw data (loadavg): 0.97 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 17778 0 0 0 5955 43 0 0 25 0 1 0 774797629 75952128 17695 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18543 17695 1111 63 0 18480 0 vsize: 74172 [startup+70.0022 s] Raw data (loadavg): 0.97 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 17791 0 0 0 6956 43 0 0 25 0 1 0 774797629 76087296 17708 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18576 17708 1111 63 0 18513 0 vsize: 74304 [startup+80.0025 s] Raw data (loadavg): 0.98 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 17802 0 0 0 7956 43 0 0 25 0 1 0 774797629 76087296 17719 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18576 17719 1111 63 0 18513 0 vsize: 74304 [startup+90.0023 s] Raw data (loadavg): 0.98 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 18767 0 0 0 8954 45 0 0 25 0 1 0 774797629 79663104 18504 4294967295 134512640 134714508 3221224592 3221220640 1075112086 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19449 18504 1111 63 0 19386 0 vsize: 77796 [startup+100.002 s] Raw data (loadavg): 0.98 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 18992 0 0 0 9953 45 0 0 25 0 1 0 774797629 79646720 18641 4294967295 134512640 134714508 3221224592 3221221480 1075112606 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19445 18641 1111 63 0 19382 0 vsize: 77780 [startup+110.002 s] Raw data (loadavg): 0.98 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 19606 0 0 0 10952 47 0 0 25 0 1 0 774797629 78045184 18331 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19054 18331 1111 63 0 18991 0 vsize: 76216 [startup+120.002 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 19741 0 0 0 11950 48 0 0 25 0 1 0 774797629 78581760 18466 4294967295 134512640 134714508 3221224592 3221223328 134535840 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19185 18466 1111 63 0 19122 0 vsize: 76740 [startup+130.003 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 19872 0 0 0 12948 50 0 0 25 0 1 0 774797629 78987264 18597 4294967295 134512640 134714508 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19284 18597 1111 63 0 19221 0 vsize: 77136 [startup+140.002 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 20047 0 0 0 13947 51 0 0 25 0 1 0 774797629 79798272 18772 4294967295 134512640 134714508 3221224592 3221223132 134539217 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19482 18772 1111 63 0 19419 0 vsize: 77928 [startup+150.002 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 20260 0 0 0 14946 52 0 0 25 0 1 0 774797629 80609280 18985 4294967295 134512640 134714508 3221224592 3221223384 134597569 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19680 18985 1111 63 0 19617 0 vsize: 78720 [startup+160.003 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 20380 0 0 0 15944 54 0 0 25 0 1 0 774797629 81149952 19105 4294967295 134512640 134714508 3221224592 3221223360 134529115 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19812 19105 1111 63 0 19749 0 vsize: 79248 [startup+170.003 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 20634 0 0 0 16943 56 0 0 25 0 1 0 774797629 82227200 19359 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20075 19359 1111 63 0 20012 0 vsize: 80300 [startup+180.003 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 20776 0 0 0 17942 57 0 0 25 0 1 0 774797629 82767872 19501 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20207 19501 1111 63 0 20144 0 vsize: 80828 [startup+190.003 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 20947 0 0 0 18941 58 0 0 25 0 1 0 774797629 83443712 19672 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20372 19672 1111 63 0 20309 0 vsize: 81488 [startup+200.003 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 21140 0 0 0 19939 60 0 0 25 0 1 0 774797629 84254720 19865 4294967295 134512640 134714508 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20570 19865 1111 63 0 20507 0 vsize: 82280 [startup+210.003 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 21323 0 0 0 20938 61 0 0 25 0 1 0 774797629 84930560 20048 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20735 20048 1111 63 0 20672 0 vsize: 82940 [startup+220.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 21468 0 0 0 21937 63 0 0 25 0 1 0 774797629 85606400 20193 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20900 20193 1111 63 0 20837 0 vsize: 83600 [startup+230.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 21601 0 0 0 22936 64 0 0 25 0 1 0 774797629 86147072 20326 4294967295 134512640 134714508 3221224592 3221223208 134613965 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21032 20326 1111 63 0 20969 0 vsize: 84128 [startup+240.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 21712 0 0 0 23935 65 0 0 25 0 1 0 774797629 86552576 20437 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21131 20437 1111 63 0 21068 0 vsize: 84524 [startup+250.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 21871 0 0 0 24934 66 0 0 25 0 1 0 774797629 87228416 20596 4294967295 134512640 134714508 3221224592 3221223328 134529259 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21296 20596 1111 63 0 21233 0 vsize: 85184 [startup+260.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 22053 0 0 0 25933 67 0 0 25 0 1 0 774797629 88039424 20778 4294967295 134512640 134714508 3221224592 3221223176 134543600 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21494 20778 1111 63 0 21431 0 vsize: 85976 [startup+270.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 22225 0 0 0 26932 69 0 0 25 0 1 0 774797629 88715264 20950 4294967295 134512640 134714508 3221224592 3221223316 134613700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21659 20950 1111 63 0 21596 0 vsize: 86636 [startup+280.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 22435 0 0 0 27930 70 0 0 25 0 1 0 774797629 89526272 21160 4294967295 134512640 134714508 3221224592 3221223384 134597569 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21857 21160 1111 63 0 21794 0 vsize: 87428 [startup+290.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 22602 0 0 0 28929 72 0 0 25 0 1 0 774797629 90202112 21327 4294967295 134512640 134714508 3221224592 3221223232 134539518 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22022 21327 1111 63 0 21959 0 vsize: 88088 [startup+300.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 22800 0 0 0 29927 73 0 0 25 0 1 0 774797629 91013120 21525 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22220 21525 1111 63 0 22157 0 vsize: 88880 [startup+310.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 22969 0 0 0 30926 75 0 0 25 0 1 0 774797629 91688960 21694 4294967295 134512640 134714508 3221224592 3221223348 134652863 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22385 21694 1111 63 0 22322 0 vsize: 89540 [startup+320.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 23193 0 0 0 31925 76 0 0 25 0 1 0 774797629 92631040 21918 4294967295 134512640 134714508 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22615 21918 1111 63 0 22552 0 vsize: 90460 [startup+330.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 23292 0 0 0 32924 77 0 0 25 0 1 0 774797629 93106176 22017 4294967295 134512640 134714508 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22731 22017 1111 63 0 22668 0 vsize: 90924 [startup+340.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 23450 0 0 0 33923 79 0 0 25 0 1 0 774797629 93646848 22175 4294967295 134512640 134714508 3221224592 3221223216 134542865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22863 22175 1111 63 0 22800 0 vsize: 91452 [startup+350.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 23600 0 0 0 34922 79 0 0 25 0 1 0 774797629 94322688 22325 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23028 22325 1111 63 0 22965 0 vsize: 92112 [startup+360.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 23757 0 0 0 35921 81 0 0 25 0 1 0 774797629 94998528 22482 4294967295 134512640 134714508 3221224592 3221223148 134535637 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23193 22482 1111 63 0 23130 0 vsize: 92772 [startup+370.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 23914 0 0 0 36920 82 0 0 25 0 1 0 774797629 95674368 22639 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23358 22639 1111 63 0 23295 0 vsize: 93432 [startup+380.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 24098 0 0 0 37918 84 0 0 25 0 1 0 774797629 96350208 22823 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23523 22823 1111 63 0 23460 0 vsize: 94092 [startup+390.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 24234 0 0 0 38917 85 0 0 25 0 1 0 774797629 96886784 22959 4294967295 134512640 134714508 3221224592 3221223376 134584866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23654 22959 1111 63 0 23591 0 vsize: 94616 [startup+400.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 24406 0 0 0 39916 87 0 0 25 0 1 0 774797629 97562624 23131 4294967295 134512640 134714508 3221224592 3221223148 134535649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23819 23131 1111 63 0 23756 0 vsize: 95276 [startup+410.004 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 24576 0 0 0 40915 88 0 0 25 0 1 0 774797629 98369536 23301 4294967295 134512640 134714508 3221224592 3221223232 134542356 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24016 23301 1111 63 0 23953 0 vsize: 96064 [startup+420.005 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 24730 0 0 0 41913 90 0 0 25 0 1 0 774797629 98910208 23455 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24148 23455 1111 63 0 24085 0 vsize: 96592 [startup+430.005 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 24900 0 0 0 42911 92 0 0 25 0 1 0 774797629 99586048 23625 4294967295 134512640 134714508 3221224592 3221223232 134542980 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24313 23625 1111 63 0 24250 0 vsize: 97252 [startup+440.005 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25042 0 0 0 43910 93 0 0 25 0 1 0 774797629 100261888 23767 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24478 23767 1111 63 0 24415 0 vsize: 97912 [startup+450.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25181 0 0 0 44909 94 0 0 25 0 1 0 774797629 100802560 23906 4294967295 134512640 134714508 3221224592 3221223380 134597610 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24610 23906 1111 63 0 24547 0 vsize: 98440 [startup+460.005 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25378 0 0 0 45908 96 0 0 25 0 1 0 774797629 101613568 24103 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24808 24103 1111 63 0 24745 0 vsize: 99232 [startup+470.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25535 0 0 0 46906 98 0 0 25 0 1 0 774797629 102289408 24260 4294967295 134512640 134714508 3221224592 3221223244 134542371 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24973 24260 1111 63 0 24910 0 vsize: 99892 [startup+480.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25626 0 0 0 47905 99 0 0 25 0 1 0 774797629 102559744 24351 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25039 24351 1111 63 0 24976 0 vsize: 100156 [startup+490.005 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25744 0 0 0 48905 100 0 0 25 0 1 0 774797629 103100416 24469 4294967295 134512640 134714508 3221224592 3221223152 134696552 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25171 24469 1111 63 0 25108 0 vsize: 100684 [startup+500.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25855 0 0 0 49904 101 0 0 25 0 1 0 774797629 103505920 24580 4294967295 134512640 134714508 3221224592 3221223148 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25270 24580 1111 63 0 25207 0 vsize: 101080 [startup+510.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25964 0 0 0 50903 102 0 0 25 0 1 0 774797629 104013824 24689 4294967295 134512640 134714508 3221224592 3221223148 134535900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25394 24689 1111 63 0 25331 0 vsize: 101576 [startup+520.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25971 0 0 0 51902 103 0 0 25 0 1 0 774797629 104013824 24696 4294967295 134512640 134714508 3221224592 3221223232 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25394 24696 1111 63 0 25331 0 vsize: 101576 [startup+530.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26043 0 0 0 52902 103 0 0 25 0 1 0 774797629 104284160 24768 4294967295 134512640 134714508 3221224592 3221223184 134549668 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25460 24768 1111 63 0 25397 0 vsize: 101840 [startup+540.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26054 0 0 0 53902 104 0 0 25 0 1 0 774797629 104419328 24779 4294967295 134512640 134714508 3221224592 3221223180 134543616 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25493 24779 1111 63 0 25430 0 vsize: 101972 [startup+550.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26068 0 0 0 54902 104 0 0 25 0 1 0 774797629 104411136 24793 4294967295 134512640 134714508 3221224592 3221223244 134543653 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25491 24793 1111 63 0 25428 0 vsize: 101964 [startup+560.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26145 0 0 0 55901 105 0 0 25 0 1 0 774797629 104681472 24870 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25557 24870 1111 63 0 25494 0 vsize: 102228 [startup+570.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26168 0 0 0 56901 105 0 0 25 0 1 0 774797629 104812544 24893 4294967295 134512640 134714508 3221224592 3221223148 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25589 24893 1111 63 0 25526 0 vsize: 102356 [startup+580.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26177 0 0 0 57900 106 0 0 25 0 1 0 774797629 104812544 24902 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25589 24902 1111 63 0 25526 0 vsize: 102356 [startup+590.006 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26214 0 0 0 58900 107 0 0 25 0 1 0 774797629 105062400 24939 4294967295 134512640 134714508 3221224592 3221223108 1077374149 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25650 24939 1111 63 0 25587 0 vsize: 102600 [startup+600.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26263 0 0 0 59899 108 0 0 25 0 1 0 774797629 105197568 24988 4294967295 134512640 134714508 3221224592 3221223328 134529259 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25683 24988 1111 63 0 25620 0 vsize: 102732 [startup+610.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26422 0 0 0 60898 109 0 0 25 0 1 0 774797629 105873408 25147 4294967295 134512640 134714508 3221224592 3221223132 134539309 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25848 25147 1111 63 0 25785 0 vsize: 103392 [startup+620.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26576 0 0 0 61897 110 0 0 25 0 1 0 774797629 106549248 25301 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26013 25301 1111 63 0 25950 0 vsize: 104052 [startup+630.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26675 0 0 0 62896 111 0 0 25 0 1 0 774797629 106954752 25400 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26112 25400 1111 63 0 26049 0 vsize: 104448 [startup+640.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26809 0 0 0 63895 112 0 0 25 0 1 0 774797629 107495424 25534 4294967295 134512640 134714508 3221224592 3221223332 134594953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26244 25534 1111 63 0 26181 0 vsize: 104976 [startup+650.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26895 0 0 0 64895 113 0 0 25 0 1 0 774797629 107765760 25620 4294967295 134512640 134714508 3221224592 3221223132 134539243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26310 25620 1111 63 0 26247 0 vsize: 105240 [startup+660.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27048 0 0 0 65894 114 0 0 25 0 1 0 774797629 108441600 25773 4294967295 134512640 134714508 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26475 25773 1111 63 0 26412 0 vsize: 105900 [startup+670.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27198 0 0 0 66893 115 0 0 25 0 1 0 774797629 109117440 25923 4294967295 134512640 134714508 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26640 25923 1111 63 0 26577 0 vsize: 106560 [startup+680.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27277 0 0 0 67893 115 0 0 25 0 1 0 774797629 109387776 26002 4294967295 134512640 134714508 3221224592 3221223232 134696123 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26706 26002 1111 63 0 26643 0 vsize: 106824 [startup+690.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27343 0 0 0 68892 116 0 0 25 0 1 0 774797629 109658112 26068 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26772 26068 1111 63 0 26709 0 vsize: 107088 [startup+700.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27444 0 0 0 69892 117 0 0 25 0 1 0 774797629 110063616 26169 4294967295 134512640 134714508 3221224592 3221223184 134696077 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26871 26169 1111 63 0 26808 0 vsize: 107484 [startup+710.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27562 0 0 0 70890 118 0 0 25 0 1 0 774797629 110604288 26287 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27003 26287 1111 63 0 26940 0 vsize: 108012 [startup+720.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27601 0 0 0 71889 119 0 0 25 0 1 0 774797629 110739456 26326 4294967295 134512640 134714508 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27036 26326 1111 63 0 26973 0 vsize: 108144 [startup+730.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27718 0 0 0 72888 121 0 0 25 0 1 0 774797629 111140864 26443 4294967295 134512640 134714508 3221224592 3221223264 134535760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27134 26443 1111 63 0 27071 0 vsize: 108536 [startup+740.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27874 0 0 0 73887 122 0 0 25 0 1 0 774797629 111816704 26599 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27299 26599 1111 63 0 27236 0 vsize: 109196 [startup+750.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27983 0 0 0 74886 124 0 0 25 0 1 0 774797629 112218112 26708 4294967295 134512640 134714508 3221224592 3221223148 134535664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27397 26708 1111 63 0 27334 0 vsize: 109588 [startup+760.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28069 0 0 0 75885 125 0 0 25 0 1 0 774797629 112623616 26794 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27496 26794 1111 63 0 27433 0 vsize: 109984 [startup+770.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28180 0 0 0 76884 126 0 0 25 0 1 0 774797629 113029120 26905 4294967295 134512640 134714508 3221224592 3221223232 134539374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27595 26905 1111 63 0 27532 0 vsize: 110380 [startup+780.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28332 0 0 0 77882 128 0 0 25 0 1 0 774797629 113704960 27057 4294967295 134512640 134714508 3221224592 3221223360 134587964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27760 27057 1111 63 0 27697 0 vsize: 111040 [startup+790.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28401 0 0 0 78880 130 0 0 25 0 1 0 774797629 113975296 27126 4294967295 134512640 134714508 3221224592 3221223284 134528601 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27826 27126 1111 63 0 27763 0 vsize: 111304 [startup+800.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28451 0 0 0 79880 131 0 0 25 0 1 0 774797629 114245632 27176 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27892 27176 1111 63 0 27829 0 vsize: 111568 [startup+810.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28541 0 0 0 80879 131 0 0 25 0 1 0 774797629 114515968 27266 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27958 27266 1111 63 0 27895 0 vsize: 111832 [startup+820.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28671 0 0 0 81878 132 0 0 25 0 1 0 774797629 115052544 27396 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28089 27396 1111 63 0 28026 0 vsize: 112356 [startup+830.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28754 0 0 0 82878 133 0 0 25 0 1 0 774797629 115458048 27479 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28188 27479 1111 63 0 28125 0 vsize: 112752 [startup+840.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28825 0 0 0 83876 135 0 0 25 0 1 0 774797629 115728384 27550 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28254 27550 1111 63 0 28191 0 vsize: 113016 [startup+850.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28899 0 0 0 84875 136 0 0 25 0 1 0 774797629 115994624 27624 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28319 27624 1111 63 0 28256 0 vsize: 113276 [startup+860.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28964 0 0 0 85875 137 0 0 25 0 1 0 774797629 116264960 27689 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28385 27689 1111 63 0 28322 0 vsize: 113540 [startup+870.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29038 0 0 0 86873 138 0 0 25 0 1 0 774797629 116535296 27763 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28451 27763 1111 63 0 28388 0 vsize: 113804 [startup+880.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29124 0 0 0 87873 139 0 0 25 0 1 0 774797629 116940800 27849 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28550 27849 1111 63 0 28487 0 vsize: 114200 [startup+890.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29230 0 0 0 88872 140 0 0 25 0 1 0 774797629 117346304 27955 4294967295 134512640 134714508 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28649 27955 1111 63 0 28586 0 vsize: 114596 [startup+900.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29370 0 0 0 89871 141 0 0 25 0 1 0 774797629 118022144 28095 4294967295 134512640 134714508 3221224592 3221223184 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28814 28095 1111 63 0 28751 0 vsize: 115256 [startup+910.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29467 0 0 0 90870 142 0 0 25 0 1 0 774797629 118292480 28192 4294967295 134512640 134714508 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28880 28192 1111 63 0 28817 0 vsize: 115520 [startup+920.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29548 0 0 0 91869 144 0 0 25 0 1 0 774797629 118693888 28273 4294967295 134512640 134714508 3221224592 3221223184 134549527 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28978 28273 1111 63 0 28915 0 vsize: 115912 [startup+930.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29686 0 0 0 92867 145 0 0 25 0 1 0 774797629 119234560 28411 4294967295 134512640 134714508 3221224592 3221223184 134549527 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29110 28411 1111 63 0 29047 0 vsize: 116440 [startup+940.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29828 0 0 0 93867 146 0 0 25 0 1 0 774797629 119775232 28553 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29242 28553 1111 63 0 29179 0 vsize: 116968 [startup+950.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29955 0 0 0 94866 147 0 0 25 0 1 0 774797629 120315904 28680 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29374 28680 1111 63 0 29311 0 vsize: 117496 [startup+960.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30088 0 0 0 95866 148 0 0 25 0 1 0 774797629 120852480 28813 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29505 28813 1111 63 0 29442 0 vsize: 118020 [startup+970.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30148 0 0 0 96865 149 0 0 25 0 1 0 774797629 121122816 28873 4294967295 134512640 134714508 3221224592 3221223220 134696264 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29571 28873 1111 63 0 29508 0 vsize: 118284 [startup+980.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30237 0 0 0 97863 150 0 0 25 0 1 0 774797629 121528320 28962 4294967295 134512640 134714508 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29670 28962 1111 63 0 29607 0 vsize: 118680 [startup+990.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30284 0 0 0 98863 151 0 0 25 0 1 0 774797629 121663488 29009 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29703 29009 1111 63 0 29640 0 vsize: 118812 [startup+1000.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30380 0 0 0 99862 152 0 0 25 0 1 0 774797629 122068992 29105 4294967295 134512640 134714508 3221224592 3221223208 134543614 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29802 29105 1111 63 0 29739 0 vsize: 119208 [startup+1010.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30453 0 0 0 100861 153 0 0 25 0 1 0 774797629 122339328 29178 4294967295 134512640 134714508 3221224592 3221223328 134523930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29868 29178 1111 63 0 29805 0 vsize: 119472 [startup+1020.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30516 0 0 0 101861 154 0 0 25 0 1 0 774797629 122609664 29241 4294967295 134512640 134714508 3221224592 3221223352 134552642 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29934 29241 1111 63 0 29871 0 vsize: 119736 [startup+1030.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30578 0 0 0 102860 154 0 0 25 0 1 0 774797629 122880000 29303 4294967295 134512640 134714508 3221224592 3221222688 134697255 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30000 29303 1111 63 0 29937 0 vsize: 120000 [startup+1040.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30634 0 0 0 103860 155 0 0 25 0 1 0 774797629 123150336 29359 4294967295 134512640 134714508 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30066 29359 1111 63 0 30003 0 vsize: 120264 [startup+1050.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30667 0 0 0 104860 155 0 0 25 0 1 0 774797629 123285504 29392 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30099 29392 1111 63 0 30036 0 vsize: 120396 [startup+1060.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30701 0 0 0 105860 156 0 0 25 0 1 0 774797629 123420672 29426 4294967295 134512640 134714508 3221224592 3221223244 134536817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30132 29426 1111 63 0 30069 0 vsize: 120528 [startup+1070.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30763 0 0 0 106859 157 0 0 25 0 1 0 774797629 123691008 29488 4294967295 134512640 134714508 3221224592 3221223296 134535812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30198 29488 1111 63 0 30135 0 vsize: 120792 [startup+1080.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30787 0 0 0 107859 157 0 0 25 0 1 0 774797629 123822080 29512 4294967295 134512640 134714508 3221224592 3221223244 134536766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30230 29512 1111 63 0 30167 0 vsize: 120920 [startup+1090.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30815 0 0 0 108858 158 0 0 25 0 1 0 774797629 123822080 29540 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30230 29540 1111 63 0 30167 0 vsize: 120920 [startup+1100.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30832 0 0 0 109858 158 0 0 25 0 1 0 774797629 123936768 29557 4294967295 134512640 134714508 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30258 29557 1111 63 0 30195 0 vsize: 121032 [startup+1110.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30849 0 0 0 110858 158 0 0 25 0 1 0 774797629 124063744 29574 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30289 29574 1111 63 0 30226 0 vsize: 121156 [startup+1120.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30858 0 0 0 111858 159 0 0 25 0 1 0 774797629 124063744 29583 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30289 29583 1111 63 0 30226 0 vsize: 121156 [startup+1130.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30877 0 0 0 112857 160 0 0 25 0 1 0 774797629 124063744 29602 4294967295 134512640 134714508 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30289 29602 1111 63 0 30226 0 vsize: 121156 [startup+1140.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30911 0 0 0 113857 160 0 0 25 0 1 0 774797629 124334080 29636 4294967295 134512640 134714508 3221224592 3221223216 134696231 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30355 29636 1111 63 0 30292 0 vsize: 121420 [startup+1150.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30923 0 0 0 114857 161 0 0 25 0 1 0 774797629 124334080 29648 4294967295 134512640 134714508 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30355 29648 1111 63 0 30292 0 vsize: 121420 [startup+1160.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30938 0 0 0 115856 161 0 0 25 0 1 0 774797629 124334080 29663 4294967295 134512640 134714508 3221224592 3221223344 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30355 29663 1111 63 0 30292 0 vsize: 121420 [startup+1170.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30946 0 0 0 116856 162 0 0 25 0 1 0 774797629 124444672 29671 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30382 29671 1111 63 0 30319 0 vsize: 121528 [startup+1175.02 s] Raw data (loadavg): 0.99 0.98 0.95 1/53 2444 Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30946 0 0 0 116856 162 0 0 25 0 1 0 774797629 124444672 29671 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30382 29671 1111 63 0 30319 0 vsize: 0 Child status: 0 Real time (s): 1175.02 CPU time (s): 1175.19 CPU user time (s): 1173.51 CPU system time (s): 1.67674 CPU usage (%): 100.014 Max. virtual memory (Kb): 121528 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####