Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb |
MD5SUM | f6063d1ff7b0ba7c7cab7a438daedff8 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.013997 |
Number of variables | 400 |
Total number of constraints | 60 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-04-30 21:43:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29 boxname=wulflinc31 idbench=4 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: f6063d1ff7b0ba7c7cab7a438daedff8 /oldhome/oroussel/tmp/wulflinc31/normalized-chnl10_20_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl10_20_pb.cnf.cr.opb IDLAUNCH: 29 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 933008 kB Buffers: 35164 kB Cached: 44552 kB SwapCached: 864 kB Active: 67296 kB Inactive: 14804 kB HighTotal: 131008 kB HighFree: 85428 kB LowTotal: 903652 kB LowFree: 847580 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5512 kB Slab: 13772 kB Committed_AS: 63664 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-30 22:01:10 (client local time) WITH STATUS 20 IN 1088.91 SECONDS stats: 29 7 1088.91 20 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 400 variables and 60 constraints. c After prepocess the problem consists of 400 variables and 60 constraints. c preprocess terminated 0.107 s c Not use computed LB before first solution. s UNSATISFIABLE c Exit Code: 20 c Total time: 1088.83 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.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (runsolver) R 5378 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 626163844 1056768 100 4294967295 134512640 135381576 3221221632 3221216848 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 2715 0 0 0 985 10 0 0 25 0 1 0 626163844 14262272 2636 4294967295 134512640 134714508 3221221744 3221220512 134529133 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3482 2636 1111 63 0 3419 0 vsize: 13928 [startup+20.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 3583 0 0 0 1981 14 0 0 25 0 1 0 626163844 17776640 3504 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4340 3504 1111 63 0 4277 0 vsize: 17360 [startup+30.0029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 4467 0 0 0 2978 18 0 0 25 0 1 0 626163844 21426176 4388 4294967295 134512640 134714508 3221221744 3221220500 134652874 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5231 4388 1111 63 0 5168 0 vsize: 20924 [startup+40.0026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 5124 0 0 0 3975 21 0 0 25 0 1 0 626163844 24137728 5045 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5893 5045 1111 63 0 5830 0 vsize: 23572 [startup+50.0036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 5819 0 0 0 4972 24 0 0 25 0 1 0 626163844 26992640 5740 4294967295 134512640 134714508 3221221744 3221220300 134535891 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6590 5740 1111 63 0 6527 0 vsize: 26360 [startup+60.0035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 6331 0 0 0 5971 26 0 0 25 0 1 0 626163844 29196288 6252 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7128 6252 1111 63 0 7065 0 vsize: 28512 [startup+70.0044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 6741 0 0 0 6969 28 0 0 25 0 1 0 626163844 30867456 6661 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7536 6661 1111 63 0 7473 0 vsize: 30144 [startup+80.0053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 7689 0 0 0 7966 31 0 0 25 0 1 0 626163844 34824192 7609 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8502 7609 1111 63 0 8439 0 vsize: 34008 [startup+90.0053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 8598 0 0 0 8963 34 0 0 25 0 1 0 626163844 38612992 8517 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9427 8517 1111 63 0 9364 0 vsize: 37708 [startup+100.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 9101 0 0 0 9962 35 0 0 25 0 1 0 626163844 40689664 9018 4294967295 134512640 134714508 3221221744 3221220400 134536630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9934 9018 1111 63 0 9871 0 vsize: 39736 [startup+110.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 9745 0 0 0 10959 39 0 0 25 0 1 0 626163844 43315200 9660 4294967295 134512640 134714508 3221221744 3221220384 134543110 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10575 9660 1111 63 0 10512 0 vsize: 42300 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 10236 0 0 0 11957 41 0 0 25 0 1 0 626163844 45383680 10151 4294967295 134512640 134714508 3221221744 3221220384 134696100 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11080 10151 1111 63 0 11017 0 vsize: 44320 [startup+130.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 10655 0 0 0 12954 44 0 0 25 0 1 0 626163844 47140864 10570 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11509 10570 1111 63 0 11446 0 vsize: 46036 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 11120 0 0 0 13953 45 0 0 25 0 1 0 626163844 49053696 11035 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11976 11035 1111 63 0 11913 0 vsize: 47904 [startup+150.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 11508 0 0 0 14952 47 0 0 25 0 1 0 626163844 50704384 11420 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12379 11420 1111 63 0 12316 0 vsize: 49516 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 11789 0 0 0 15950 48 0 0 25 0 1 0 626163844 51949568 11700 4294967295 134512640 134714508 3221221744 3221220512 134529110 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12683 11700 1111 63 0 12620 0 vsize: 50732 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 12234 0 0 0 16949 50 0 0 25 0 1 0 626163844 53825536 12141 4294967295 134512640 134714508 3221221744 3221220300 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13141 12141 1111 63 0 13078 0 vsize: 52564 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 12749 0 0 0 17946 53 0 0 25 0 1 0 626163844 55992320 12654 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13670 12654 1111 63 0 13607 0 vsize: 54680 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 13266 0 0 0 18944 55 0 0 25 0 1 0 626163844 58052608 13167 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14173 13167 1111 63 0 14110 0 vsize: 56692 [startup+200.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 13642 0 0 0 19943 56 0 0 25 0 1 0 626163844 59674624 13543 4294967295 134512640 134714508 3221221744 3221220468 134535789 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14569 13543 1111 63 0 14506 0 vsize: 58276 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 13956 0 0 0 20942 57 0 0 25 0 1 0 626163844 60891136 13857 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14866 13857 1111 63 0 14803 0 vsize: 59464 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 14268 0 0 0 21941 59 0 0 25 0 1 0 626163844 62246912 14169 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15197 14169 1111 63 0 15134 0 vsize: 60788 [startup+230.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 14535 0 0 0 22940 60 0 0 25 0 1 0 626163844 63356928 14435 4294967295 134512640 134714508 3221221744 3221220528 134529404 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15468 14435 1111 63 0 15405 0 vsize: 61872 [startup+240.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 14768 0 0 0 23939 61 0 0 25 0 1 0 626163844 64303104 14668 4294967295 134512640 134714508 3221221744 3221220300 134535637 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15699 14668 1111 63 0 15636 0 vsize: 62796 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 14987 0 0 0 24938 62 0 0 25 0 1 0 626163844 65318912 14885 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15947 14885 1111 63 0 15884 0 vsize: 63788 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 15268 0 0 0 25937 63 0 0 25 0 1 0 626163844 66437120 15162 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16220 15162 1111 63 0 16157 0 vsize: 64880 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 15557 0 0 0 26936 65 0 0 25 0 1 0 626163844 67723264 15446 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16534 15446 1111 63 0 16471 0 vsize: 66136 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 15818 0 0 0 27935 66 0 0 25 0 1 0 626163844 68677632 15707 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16767 15707 1111 63 0 16704 0 vsize: 67068 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 16125 0 0 0 28934 67 0 0 25 0 1 0 626163844 70033408 16009 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17098 16009 1111 63 0 17035 0 vsize: 68392 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 16411 0 0 0 29932 69 0 0 25 0 1 0 626163844 71270400 16295 4294967295 134512640 134714508 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17400 16295 1111 63 0 17337 0 vsize: 69600 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 16620 0 0 0 30931 70 0 0 25 0 1 0 626163844 72110080 16502 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17605 16502 1111 63 0 17542 0 vsize: 70420 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 17075 0 0 0 31929 72 0 0 25 0 1 0 626163844 73965568 16954 4294967295 134512640 134714508 3221221744 3221220324 134549630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18058 16954 1111 63 0 17995 0 vsize: 72232 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 17557 0 0 0 32927 74 0 0 25 0 1 0 626163844 75993088 17436 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18553 17436 1111 63 0 18490 0 vsize: 74212 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 17932 0 0 0 33925 77 0 0 25 0 1 0 626163844 77516800 17809 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18925 17809 1111 63 0 18862 0 vsize: 75700 [startup+350.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 18241 0 0 0 34924 78 0 0 25 0 1 0 626163844 78872576 18118 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19256 18118 1111 63 0 19193 0 vsize: 77024 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 18572 0 0 0 35922 80 0 0 25 0 1 0 626163844 80089088 18449 4294967295 134512640 134714508 3221221744 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19553 18449 1111 63 0 19490 0 vsize: 78212 [startup+370.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 18888 0 0 0 36921 81 0 0 25 0 1 0 626163844 81534976 18756 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19906 18756 1111 63 0 19843 0 vsize: 79624 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 19228 0 0 0 37920 83 0 0 25 0 1 0 626163844 82886656 19096 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20236 19096 1111 63 0 20173 0 vsize: 80944 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 19429 0 0 0 38919 84 0 0 25 0 1 0 626163844 83697664 19297 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20434 19297 1111 63 0 20371 0 vsize: 81736 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 19646 0 0 0 39918 85 0 0 25 0 1 0 626163844 84643840 19514 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20665 19514 1111 63 0 20602 0 vsize: 82660 [startup+410.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 19926 0 0 0 40916 87 0 0 25 0 1 0 626163844 85782528 19794 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20943 19794 1111 63 0 20880 0 vsize: 83772 [startup+420.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 20209 0 0 0 41915 89 0 0 25 0 1 0 626163844 87064576 20073 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21256 20073 1111 63 0 21193 0 vsize: 85024 [startup+430.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 20481 0 0 0 42914 90 0 0 25 0 1 0 626163844 88145920 20345 4294967295 134512640 134714508 3221221744 3221220528 134529368 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21520 20345 1111 63 0 21457 0 vsize: 86080 [startup+440.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 20833 0 0 0 43912 92 0 0 25 0 1 0 626163844 89632768 20697 4294967295 134512640 134714508 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21883 20697 1111 63 0 21820 0 vsize: 87532 [startup+450.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 21065 0 0 0 44912 92 0 0 25 0 1 0 626163844 90578944 20929 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22114 20929 1111 63 0 22051 0 vsize: 88456 [startup+460.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 21337 0 0 0 45911 93 0 0 25 0 1 0 626163844 91664384 21201 4294967295 134512640 134714508 3221221744 3221220304 134542306 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22379 21201 1111 63 0 22316 0 vsize: 89516 [startup+470.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 21619 0 0 0 46910 95 0 0 25 0 1 0 626163844 92880896 21483 4294967295 134512640 134714508 3221221744 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22676 21483 1111 63 0 22613 0 vsize: 90704 [startup+480.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 21764 0 0 0 47910 95 0 0 25 0 1 0 626163844 93466624 21628 4294967295 134512640 134714508 3221221744 3221220528 134529252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22819 21628 1111 63 0 22756 0 vsize: 91276 [startup+490.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 22045 0 0 0 48909 96 0 0 25 0 1 0 626163844 94785536 21901 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23141 21901 1111 63 0 23078 0 vsize: 92564 [startup+500.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 22298 0 0 0 49908 97 0 0 25 0 1 0 626163844 95731712 22154 4294967295 134512640 134714508 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23372 22154 1111 63 0 23309 0 vsize: 93488 [startup+510.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 22552 0 0 0 50907 98 0 0 25 0 1 0 626163844 96976896 22406 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23676 22406 1111 63 0 23613 0 vsize: 94704 [startup+520.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 22740 0 0 0 51907 99 0 0 25 0 1 0 626163844 97746944 22591 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23864 22591 1111 63 0 23801 0 vsize: 95456 [startup+530.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 22892 0 0 0 52906 100 0 0 25 0 1 0 626163844 98603008 22740 4294967295 134512640 134714508 3221221744 3221220324 134549630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24073 22740 1111 63 0 24010 0 vsize: 96292 [startup+540.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 23036 0 0 0 53905 101 0 0 25 0 1 0 626163844 99323904 22883 4294967295 134512640 134714508 3221221744 3221220528 134529177 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24249 22883 1111 63 0 24186 0 vsize: 96996 [startup+550.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 23221 0 0 0 54904 102 0 0 25 0 1 0 626163844 99999744 23068 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24414 23068 1111 63 0 24351 0 vsize: 97656 [startup+560.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 23448 0 0 0 55903 103 0 0 25 0 1 0 626163844 100933632 23289 4294967295 134512640 134714508 3221221744 3221220528 134529410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24642 23289 1111 63 0 24579 0 vsize: 98568 [startup+570.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 23687 0 0 0 56902 104 0 0 25 0 1 0 626163844 102125568 23511 4294967295 134512640 134714508 3221221744 3221220324 134549630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24933 23511 1111 63 0 24870 0 vsize: 99732 [startup+580.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 23967 0 0 0 57902 105 0 0 25 0 1 0 626163844 103407616 23782 4294967295 134512640 134714508 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25246 23782 1111 63 0 25183 0 vsize: 100984 [startup+590.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 24291 0 0 0 58900 106 0 0 25 0 1 0 626163844 104624128 24106 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25543 24106 1111 63 0 25480 0 vsize: 102172 [startup+600.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 24544 0 0 0 59899 108 0 0 25 0 1 0 626163844 105705472 24359 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25807 24359 1111 63 0 25744 0 vsize: 103228 [startup+610.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 24759 0 0 0 60898 109 0 0 25 0 1 0 626163844 106516480 24574 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26005 24574 1111 63 0 25942 0 vsize: 104020 [startup+620.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 24925 0 0 0 61898 109 0 0 25 0 1 0 626163844 107192320 24740 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26170 24740 1111 63 0 26107 0 vsize: 104680 [startup+630.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 25055 0 0 0 62898 110 0 0 25 0 1 0 626163844 107732992 24870 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26302 24870 1111 63 0 26239 0 vsize: 105208 [startup+640.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 25248 0 0 0 63897 111 0 0 25 0 1 0 626163844 108687360 25053 4294967295 134512640 134714508 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26535 25053 1111 63 0 26472 0 vsize: 106140 [startup+650.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 25461 0 0 0 64897 111 0 0 25 0 1 0 626163844 109793280 25263 4294967295 134512640 134714508 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26805 25263 1111 63 0 26742 0 vsize: 107220 [startup+660.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 25604 0 0 0 65896 112 0 0 25 0 1 0 626163844 110379008 25404 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26948 25404 1111 63 0 26885 0 vsize: 107792 [startup+670.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 25840 0 0 0 66896 113 0 0 25 0 1 0 626163844 111443968 25631 4294967295 134512640 134714508 3221221744 3221220240 134535439 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27208 25631 1111 63 0 27145 0 vsize: 108832 [startup+680.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 25984 0 0 0 67895 114 0 0 25 0 1 0 626163844 111984640 25775 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27340 25775 1111 63 0 27277 0 vsize: 109360 [startup+690.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 26171 0 0 0 68895 114 0 0 25 0 1 0 626163844 112799744 25957 4294967295 134512640 134714508 3221221744 3221220528 134529237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27539 25957 1111 63 0 27476 0 vsize: 110156 [startup+700.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 26408 0 0 0 69894 116 0 0 25 0 1 0 626163844 113745920 26194 4294967295 134512640 134714508 3221221744 3221220336 134549809 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27770 26194 1111 63 0 27707 0 vsize: 111080 [startup+710.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 26609 0 0 0 70892 117 0 0 25 0 1 0 626163844 114556928 26395 4294967295 134512640 134714508 3221221744 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27968 26395 1111 63 0 27905 0 vsize: 111872 [startup+720.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 26794 0 0 0 71892 118 0 0 25 0 1 0 626163844 115277824 26580 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28144 26580 1111 63 0 28081 0 vsize: 112576 [startup+730.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 27031 0 0 0 72890 120 0 0 25 0 1 0 626163844 116424704 26813 4294967295 134512640 134714508 3221221744 3221220496 134592443 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28424 26813 1111 63 0 28361 0 vsize: 113696 [startup+740.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 27253 0 0 0 73889 121 0 0 25 0 1 0 626163844 117399552 27035 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28662 27035 1111 63 0 28599 0 vsize: 114648 [startup+750.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 27398 0 0 0 74888 122 0 0 25 0 1 0 626163844 117948416 27179 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28796 27179 1111 63 0 28733 0 vsize: 115184 [startup+760.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 27593 0 0 0 75888 123 0 0 25 0 1 0 626163844 118853632 27363 4294967295 134512640 134714508 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29017 27363 1111 63 0 28954 0 vsize: 116068 [startup+770.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 27767 0 0 0 76887 124 0 0 25 0 1 0 626163844 119529472 27537 4294967295 134512640 134714508 3221221744 3221220324 134549630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29182 27537 1111 63 0 29119 0 vsize: 116728 [startup+780.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 27895 0 0 0 77887 124 0 0 25 0 1 0 626163844 120090624 27665 4294967295 134512640 134714508 3221221744 3221220480 134535742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29319 27665 1111 63 0 29256 0 vsize: 117276 [startup+790.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 28049 0 0 0 78887 124 0 0 25 0 1 0 626163844 120897536 27811 4294967295 134512640 134714508 3221221744 3221220336 134549742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29516 27811 1111 63 0 29453 0 vsize: 118064 [startup+800.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 28144 0 0 0 79886 125 0 0 25 0 1 0 626163844 121339904 27906 4294967295 134512640 134714508 3221221744 3221220528 134529237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29624 27906 1111 63 0 29561 0 vsize: 118496 [startup+810.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 28280 0 0 0 80886 126 0 0 25 0 1 0 626163844 121880576 28042 4294967295 134512640 134714508 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29756 28042 1111 63 0 29693 0 vsize: 119024 [startup+820.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 28481 0 0 0 81886 126 0 0 25 0 1 0 626163844 122822656 28226 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29986 28226 1111 63 0 29923 0 vsize: 119944 [startup+830.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 28641 0 0 0 82885 127 0 0 25 0 1 0 626163844 123498496 28386 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30151 28386 1111 63 0 30088 0 vsize: 120604 [startup+840.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 28775 0 0 0 83885 127 0 0 25 0 1 0 626163844 124092416 28520 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30296 28520 1111 63 0 30233 0 vsize: 121184 [startup+850.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 28880 0 0 0 84885 128 0 0 25 0 1 0 626163844 124362752 28625 4294967295 134512640 134714508 3221221744 3221220272 134535439 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30362 28625 1111 63 0 30299 0 vsize: 121448 [startup+860.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 29027 0 0 0 85884 129 0 0 25 0 1 0 626163844 125104128 28767 4294967295 134512640 134714508 3221221744 3221220416 134536650 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30543 28767 1111 63 0 30480 0 vsize: 122172 [startup+870.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 29183 0 0 0 86883 129 0 0 25 0 1 0 626163844 125845504 28918 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30724 28918 1111 63 0 30661 0 vsize: 122896 [startup+880.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 29311 0 0 0 87883 130 0 0 25 0 1 0 626163844 126251008 29046 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30823 29046 1111 63 0 30760 0 vsize: 123292 [startup+890.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 29455 0 0 0 88882 131 0 0 25 0 1 0 626163844 126840832 29189 4294967295 134512640 134714508 3221221744 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30967 29189 1111 63 0 30904 0 vsize: 123868 [startup+900.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 29596 0 0 0 89882 131 0 0 25 0 1 0 626163844 127647744 29320 4294967295 134512640 134714508 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31164 29320 1111 63 0 31101 0 vsize: 124656 [startup+910.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 29669 0 0 0 90882 131 0 0 25 0 1 0 626163844 127983616 29384 4294967295 134512640 134714508 3221221744 3221220464 134535757 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31246 29384 1111 63 0 31183 0 vsize: 124984 [startup+920.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 29782 0 0 0 91882 132 0 0 25 0 1 0 626163844 128466944 29497 4294967295 134512640 134714508 3221221744 3221220372 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31364 29497 1111 63 0 31301 0 vsize: 125456 [startup+930.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 30032 0 0 0 92881 133 0 0 25 0 1 0 626163844 129478656 29738 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31611 29738 1111 63 0 31548 0 vsize: 126444 [startup+940.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 30259 0 0 0 93881 134 0 0 25 0 1 0 626163844 130490368 29956 4294967295 134512640 134714508 3221221744 3221220240 134535442 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31858 29956 1111 63 0 31795 0 vsize: 127432 [startup+950.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 30424 0 0 0 94880 134 0 0 25 0 1 0 626163844 131166208 30121 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32023 30121 1111 63 0 31960 0 vsize: 128092 [startup+960.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 30536 0 0 0 95881 135 0 0 25 0 1 0 626163844 131571712 30233 4294967295 134512640 134714508 3221221744 3221220236 134552632 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32122 30233 1111 63 0 32059 0 vsize: 128488 [startup+970.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 30642 0 0 0 96881 135 0 0 25 0 1 0 626163844 132030464 30339 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32234 30339 1111 63 0 32171 0 vsize: 128936 [startup+980.071 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 30754 0 0 0 97881 136 0 0 25 0 1 0 626163844 132640768 30451 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32383 30451 1111 63 0 32320 0 vsize: 129532 [startup+990.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 30833 0 0 0 98880 136 0 0 25 0 1 0 626163844 132956160 30530 4294967295 134512640 134714508 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32460 30530 1111 63 0 32397 0 vsize: 129840 [startup+1000.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 30933 0 0 0 99880 137 0 0 25 0 1 0 626163844 133361664 30630 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32559 30630 1111 63 0 32496 0 vsize: 130236 [startup+1010.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 31035 0 0 0 100880 137 0 0 25 0 1 0 626163844 133767168 30732 4294967295 134512640 134714508 3221221744 3221220456 134552642 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32658 30732 1111 63 0 32595 0 vsize: 130632 [startup+1020.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5379 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 31152 0 0 0 101881 137 0 0 25 0 1 0 626163844 134172672 30849 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32757 30849 1111 63 0 32694 0 vsize: 131028 [startup+1030.09 s] Raw data (loadavg): 1.07 0.99 0.91 2/57 5423 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 31267 0 0 0 102880 138 0 0 25 0 1 0 626163844 134713344 30964 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32889 30964 1111 63 0 32826 0 vsize: 131556 [startup+1040.09 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 5432 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 31428 0 0 0 103880 139 0 0 25 0 1 0 626163844 135315456 31122 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33036 31122 1111 63 0 32973 0 vsize: 132144 [startup+1050.09 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 5432 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 31513 0 0 0 104880 139 0 0 25 0 1 0 626163844 135757824 31207 4294967295 134512640 134714508 3221221744 3221220400 134536643 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33144 31207 1111 63 0 33081 0 vsize: 132576 [startup+1060.09 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 5432 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 31602 0 0 0 105880 139 0 0 25 0 1 0 626163844 136163328 31296 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33243 31296 1111 63 0 33180 0 vsize: 132972 [startup+1070.09 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 5432 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 31674 0 0 0 106880 139 0 0 25 0 1 0 626163844 136298496 31368 4294967295 134512640 134714508 3221221744 3221220376 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33276 31368 1111 63 0 33213 0 vsize: 133104 [startup+1080.09 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 5432 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 31748 0 0 0 107880 139 0 0 25 0 1 0 626163844 136577024 31442 4294967295 134512640 134714508 3221221744 3221220432 134551887 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33344 31442 1111 63 0 33281 0 vsize: 133376 [startup+1088.8 s] Raw data (loadavg): 1.03 0.99 0.91 1/53 5432 Raw data (stat): 5379 (bsolo_lpr_cuts) R 5378 3722 3553 0 -1 0 31748 0 0 0 107880 139 0 0 25 0 1 0 626163844 136577024 31442 4294967295 134512640 134714508 3221221744 3221220432 134551887 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33344 31442 1111 63 0 33281 0 vsize: 0 Child status: 20 Real time (s): 1088.8 CPU time (s): 1088.91 CPU user time (s): 1087.45 CPU system time (s): 1.46078 CPU usage (%): 100.01 Max. virtual memory (Kb): 133376 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####