Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb |
MD5SUM | 489d094bb23422a6c4624d745553a200 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
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 | 12 |
Number of bits of the biggest sum of numbers | 4 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.050991 |
Number of variables | 149 |
Total number of constraints | 128 |
Number of constraints which are clauses | 108 |
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 | 5 |
Maximum length of a constraint | 11 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-02 01:39:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=236 boxname=wulflinc31 idbench=27 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 489d094bb23422a6c4624d745553a200 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_9_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_9_sat_pb.cnf.cr.opb IDLAUNCH: 236 /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: 929152 kB Buffers: 37228 kB Cached: 46364 kB SwapCached: 864 kB Active: 71472 kB Inactive: 14464 kB HighTotal: 131008 kB HighFree: 83748 kB LowTotal: 903652 kB LowFree: 845404 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5504 kB Slab: 13928 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-02 01:58:48 (client local time) WITH STATUS 0 IN 1175.11 SECONDS stats: 236 7 1175.11 0 #### 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 149 variables and 128 constraints. c After prepocess the problem consists of 149 variables and 128 constraints. c preprocess terminated 0.077 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175 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 17972 Raw data (stat): 17972 (runsolver) R 17971 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 636222231 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 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.0005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 2449 0 0 0 984 12 0 0 25 0 1 0 636222231 13180928 2370 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3218 2370 1111 63 0 3155 0 vsize: 12872 [startup+20.0017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 3688 0 0 0 1979 17 0 0 25 0 1 0 636222231 18198528 3608 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4443 3608 1111 63 0 4380 0 vsize: 17772 [startup+30.0023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 4388 0 0 0 2976 20 0 0 25 0 1 0 636222231 21172224 4308 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5169 4308 1111 63 0 5106 0 vsize: 20676 [startup+40.0022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 4688 0 0 0 3975 22 0 0 25 0 1 0 636222231 22388736 4608 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5466 4608 1111 63 0 5403 0 vsize: 21864 [startup+50.0024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 4984 0 0 0 4974 23 0 0 25 0 1 0 636222231 23609344 4904 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5764 4904 1111 63 0 5701 0 vsize: 23056 [startup+60.0031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 5326 0 0 0 5972 24 0 0 25 0 1 0 636222231 24961024 5246 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6094 5246 1111 63 0 6031 0 vsize: 24376 [startup+70.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 5787 0 0 0 6971 26 0 0 25 0 1 0 636222231 26853376 5707 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6556 5707 1111 63 0 6493 0 vsize: 26224 [startup+80.0042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 6496 0 0 0 7968 29 0 0 25 0 1 0 636222231 29708288 6416 4294967295 134512640 134714508 3221221776 3221220292 1077374149 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7253 6416 1111 63 0 7190 0 vsize: 29012 [startup+90.0039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 7109 0 0 0 8966 32 0 0 25 0 1 0 636222231 32292864 7028 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7884 7028 1111 63 0 7821 0 vsize: 31536 [startup+100.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 7516 0 0 0 9964 33 0 0 25 0 1 0 636222231 33951744 7434 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8289 7434 1111 63 0 8226 0 vsize: 33156 [startup+110.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 7988 0 0 0 10962 36 0 0 25 0 1 0 636222231 35880960 7905 4294967295 134512640 134714508 3221221776 3221220500 134523868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8760 7905 1111 63 0 8697 0 vsize: 35040 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 8335 0 0 0 11961 37 0 0 25 0 1 0 636222231 37388288 8252 4294967295 134512640 134714508 3221221776 3221220480 134528721 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9128 8252 1111 63 0 9065 0 vsize: 36512 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 8720 0 0 0 12959 39 0 0 25 0 1 0 636222231 39030784 8635 4294967295 134512640 134714508 3221221776 3221220312 134613965 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9529 8635 1111 63 0 9466 0 vsize: 38116 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 9386 0 0 0 13957 41 0 0 25 0 1 0 636222231 41734144 9301 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10189 9301 1111 63 0 10126 0 vsize: 40756 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 10018 0 0 0 14955 44 0 0 25 0 1 0 636222231 44437504 9933 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10849 9933 1111 63 0 10786 0 vsize: 43396 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 10600 0 0 0 15952 47 0 0 25 0 1 0 636222231 46772224 10515 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11419 10515 1111 63 0 11356 0 vsize: 45676 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 11227 0 0 0 16950 49 0 0 25 0 1 0 636222231 49340416 11142 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12046 11142 1111 63 0 11983 0 vsize: 48184 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 11852 0 0 0 17948 51 0 0 25 0 1 0 636222231 52064256 11765 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12711 11765 1111 63 0 12648 0 vsize: 50844 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 12378 0 0 0 18947 53 0 0 25 0 1 0 636222231 54226944 12291 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13239 12291 1111 63 0 13176 0 vsize: 52956 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 13135 0 0 0 19944 56 0 0 25 0 1 0 636222231 57335808 13048 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13998 13048 1111 63 0 13935 0 vsize: 55992 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 13780 0 0 0 20942 58 0 0 25 0 1 0 636222231 59904000 13693 4294967295 134512640 134714508 3221221776 3221220560 134529240 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14625 13693 1111 63 0 14562 0 vsize: 58500 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 14370 0 0 0 21940 60 0 0 25 0 1 0 636222231 62365696 14283 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15226 14283 1111 63 0 15163 0 vsize: 60904 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 14868 0 0 0 22938 62 0 0 25 0 1 0 636222231 64393216 14781 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15721 14781 1111 63 0 15658 0 vsize: 62884 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 15572 0 0 0 23932 68 0 0 25 0 1 0 636222231 67432448 15483 4294967295 134512640 134714508 3221221776 3221220360 134549708 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16463 15483 1111 63 0 16400 0 vsize: 65852 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 16314 0 0 0 24929 72 0 0 25 0 1 0 636222231 70406144 16225 4294967295 134512640 134714508 3221221776 3221220384 134543671 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17189 16225 1111 63 0 17126 0 vsize: 68756 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 16802 0 0 0 25927 74 0 0 25 0 1 0 636222231 72445952 16713 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17687 16713 1111 63 0 17624 0 vsize: 70748 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 17355 0 0 0 26925 76 0 0 25 0 1 0 636222231 74743808 17266 4294967295 134512640 134714508 3221221776 3221220416 134696359 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18248 17266 1111 63 0 18185 0 vsize: 72992 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 17863 0 0 0 27923 78 0 0 25 0 1 0 636222231 76816384 17772 4294967295 134512640 134714508 3221221776 3221220336 134696410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18754 17772 1111 63 0 18691 0 vsize: 75016 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 18272 0 0 0 28922 79 0 0 25 0 1 0 636222231 78573568 18181 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19183 18181 1111 63 0 19120 0 vsize: 76732 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 18780 0 0 0 29920 81 0 0 25 0 1 0 636222231 80601088 18689 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19678 18689 1111 63 0 19615 0 vsize: 78712 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 19337 0 0 0 30918 83 0 0 25 0 1 0 636222231 82911232 19243 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20242 19243 1111 63 0 20179 0 vsize: 80968 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 19852 0 0 0 31916 86 0 0 25 0 1 0 636222231 85098496 19756 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20776 19756 1111 63 0 20713 0 vsize: 83104 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 20265 0 0 0 32914 88 0 0 25 0 1 0 636222231 86720512 20169 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21172 20169 1111 63 0 21109 0 vsize: 84688 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 20783 0 0 0 33912 90 0 0 25 0 1 0 636222231 88944640 20685 4294967295 134512640 134714508 3221221776 3221220384 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21715 20685 1111 63 0 21652 0 vsize: 86860 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 21301 0 0 0 34910 92 0 0 25 0 1 0 636222231 90972160 21203 4294967295 134512640 134714508 3221221776 3221220536 134592385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22210 21203 1111 63 0 22147 0 vsize: 88840 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 21816 0 0 0 35907 96 0 0 25 0 1 0 636222231 93134848 21718 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22738 21718 1111 63 0 22675 0 vsize: 90952 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 22221 0 0 0 36905 98 0 0 25 0 1 0 636222231 94756864 22122 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23134 22122 1111 63 0 23071 0 vsize: 92536 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 22752 0 0 0 37903 100 0 0 25 0 1 0 636222231 96952320 22651 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23670 22651 1111 63 0 23607 0 vsize: 94680 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 23197 0 0 0 38901 102 0 0 25 0 1 0 636222231 98844672 23096 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24132 23096 1111 63 0 24069 0 vsize: 96528 [startup+400.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 23617 0 0 0 39899 104 0 0 25 0 1 0 636222231 100470784 23516 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24529 23516 1111 63 0 24466 0 vsize: 98116 [startup+410.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 23984 0 0 0 40897 106 0 0 25 0 1 0 636222231 102092800 23883 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24925 23883 1111 63 0 24862 0 vsize: 99700 [startup+420.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 24399 0 0 0 41895 109 0 0 25 0 1 0 636222231 103714816 24298 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25321 24298 1111 63 0 25258 0 vsize: 101284 [startup+430.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 24945 0 0 0 42894 110 0 0 25 0 1 0 636222231 105918464 24840 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25859 24841 1111 63 0 25796 0 vsize: 103436 [startup+440.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 25331 0 0 0 43892 112 0 0 25 0 1 0 636222231 107552768 25226 4294967295 134512640 134714508 3221221776 3221220416 134523874 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26258 25226 1111 63 0 26195 0 vsize: 105032 [startup+450.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 25816 0 0 0 44891 113 0 0 25 0 1 0 636222231 109445120 25711 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26720 25711 1111 63 0 26657 0 vsize: 106880 [startup+460.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 26282 0 0 0 45890 115 0 0 25 0 1 0 636222231 111349760 26177 4294967295 134512640 134714508 3221221776 3221220544 134529381 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27185 26177 1111 63 0 27122 0 vsize: 108740 [startup+470.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 26702 0 0 0 46889 116 0 0 25 0 1 0 636222231 113106944 26597 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27614 26597 1111 63 0 27551 0 vsize: 110456 [startup+480.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 27111 0 0 0 47888 117 0 0 25 0 1 0 636222231 114806784 27005 4294967295 134512640 134714508 3221221776 3221220488 134552642 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28029 27005 1111 63 0 27966 0 vsize: 112116 [startup+490.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 27486 0 0 0 48886 119 0 0 25 0 1 0 636222231 116428800 27380 4294967295 134512640 134714508 3221221776 3221220540 134552579 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28425 27380 1111 63 0 28362 0 vsize: 113700 [startup+500.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 27792 0 0 0 49886 120 0 0 25 0 1 0 636222231 117657600 27682 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28725 27682 1111 63 0 28662 0 vsize: 114900 [startup+510.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 28106 0 0 0 50884 121 0 0 25 0 1 0 636222231 119009280 27996 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29055 27996 1111 63 0 28992 0 vsize: 116220 [startup+520.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 28478 0 0 0 51883 123 0 0 25 0 1 0 636222231 120561664 28364 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29434 28364 1111 63 0 29371 0 vsize: 117736 [startup+530.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 28813 0 0 0 52881 124 0 0 25 0 1 0 636222231 121913344 28699 4294967295 134512640 134714508 3221221776 3221220512 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29764 28699 1111 63 0 29701 0 vsize: 119056 [startup+540.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 29142 0 0 0 53880 126 0 0 25 0 1 0 636222231 123265024 29028 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30094 29028 1111 63 0 30031 0 vsize: 120376 [startup+550.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 29449 0 0 0 54879 127 0 0 25 0 1 0 636222231 124616704 29334 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30424 29334 1111 63 0 30361 0 vsize: 121696 [startup+560.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 29728 0 0 0 55878 129 0 0 25 0 1 0 636222231 125722624 29612 4294967295 134512640 134714508 3221221776 3221220100 134697183 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30694 29612 1111 63 0 30631 0 vsize: 122776 [startup+570.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 30030 0 0 0 56877 130 0 0 25 0 1 0 636222231 126976000 29912 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31000 29912 1111 63 0 30937 0 vsize: 124000 [startup+580.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 30344 0 0 0 57876 131 0 0 25 0 1 0 636222231 128192512 30224 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31297 30224 1111 63 0 31234 0 vsize: 125188 [startup+590.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 30611 0 0 0 58874 133 0 0 25 0 1 0 636222231 129273856 30489 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31561 30489 1111 63 0 31498 0 vsize: 126244 [startup+600.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 30928 0 0 0 59873 134 0 0 25 0 1 0 636222231 130658304 30806 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31899 30806 1111 63 0 31836 0 vsize: 127596 [startup+610.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 31244 0 0 0 60871 136 0 0 25 0 1 0 636222231 131891200 31122 4294967295 134512640 134714508 3221221776 3221220520 134551621 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32200 31122 1111 63 0 32137 0 vsize: 128800 [startup+620.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 31513 0 0 0 61870 137 0 0 25 0 1 0 636222231 132972544 31391 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32464 31391 1111 63 0 32401 0 vsize: 129856 [startup+630.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 31810 0 0 0 62868 139 0 0 25 0 1 0 636222231 134189056 31688 4294967295 134512640 134714508 3221221776 3221220332 134535606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32761 31688 1111 63 0 32698 0 vsize: 131044 [startup+640.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 32063 0 0 0 63868 140 0 0 25 0 1 0 636222231 135282688 31941 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33028 31941 1111 63 0 32965 0 vsize: 132112 [startup+650.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 32296 0 0 0 64868 140 0 0 25 0 1 0 636222231 136228864 32174 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33259 32174 1111 63 0 33196 0 vsize: 133036 [startup+660.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 32533 0 0 0 65867 141 0 0 25 0 1 0 636222231 137211904 32409 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33499 32409 1111 63 0 33436 0 vsize: 133996 [startup+670.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 32752 0 0 0 66866 142 0 0 25 0 1 0 636222231 138162176 32627 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33731 32627 1111 63 0 33668 0 vsize: 134924 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 33036 0 0 0 67865 143 0 0 25 0 1 0 636222231 139378688 32907 4294967295 134512640 134714508 3221221776 3221220432 134536707 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34028 32907 1111 63 0 33965 0 vsize: 136112 [startup+690.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 33270 0 0 0 68864 145 0 0 25 0 1 0 636222231 140324864 33139 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34259 33139 1111 63 0 34196 0 vsize: 137036 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 33518 0 0 0 69864 145 0 0 25 0 1 0 636222231 141271040 33387 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34490 33387 1111 63 0 34427 0 vsize: 137960 [startup+710.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 33747 0 0 0 70863 146 0 0 25 0 1 0 636222231 142217216 33616 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34721 33616 1111 63 0 34658 0 vsize: 138884 [startup+720.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 33964 0 0 0 71862 147 0 0 25 0 1 0 636222231 143163392 33833 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34952 33833 1111 63 0 34889 0 vsize: 139808 [startup+730.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 34331 0 0 0 72860 149 0 0 25 0 1 0 636222231 144650240 34200 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35315 34200 1111 63 0 35252 0 vsize: 141260 [startup+740.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 34715 0 0 0 73859 151 0 0 25 0 1 0 636222231 146137088 34584 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35678 34584 1111 63 0 35615 0 vsize: 142712 [startup+750.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 35117 0 0 0 74858 152 0 0 25 0 1 0 636222231 147759104 34986 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36074 34986 1111 63 0 36011 0 vsize: 144296 [startup+760.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 35483 0 0 0 75856 154 0 0 25 0 1 0 636222231 149245952 35352 4294967295 134512640 134714508 3221221776 3221220420 134613632 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36437 35352 1111 63 0 36374 0 vsize: 145748 [startup+770.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 35844 0 0 0 76854 156 0 0 25 0 1 0 636222231 150732800 35713 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36800 35713 1111 63 0 36737 0 vsize: 147200 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 36124 0 0 0 77852 158 0 0 25 0 1 0 636222231 151949312 35993 4294967295 134512640 134714508 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37097 35993 1111 63 0 37034 0 vsize: 148388 [startup+790.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 36403 0 0 0 78851 159 0 0 25 0 1 0 636222231 153030656 36272 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37361 36272 1111 63 0 37298 0 vsize: 149444 [startup+800.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 36744 0 0 0 79850 161 0 0 25 0 1 0 636222231 154390528 36612 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37693 36612 1111 63 0 37630 0 vsize: 150772 [startup+810.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 37201 0 0 0 80848 163 0 0 25 0 1 0 636222231 156282880 37069 4294967295 134512640 134714508 3221221776 3221220428 134536820 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38155 37069 1111 63 0 38092 0 vsize: 152620 [startup+820.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 37542 0 0 0 81846 164 0 0 25 0 1 0 636222231 157634560 37410 4294967295 134512640 134714508 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38485 37410 1111 63 0 38422 0 vsize: 153940 [startup+830.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 37909 0 0 0 82845 166 0 0 25 0 1 0 636222231 159121408 37777 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38848 37777 1111 63 0 38785 0 vsize: 155392 [startup+840.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 38244 0 0 0 83843 168 0 0 25 0 1 0 636222231 160473088 38112 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39178 38112 1111 63 0 39115 0 vsize: 156712 [startup+850.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 38446 0 0 0 84843 168 0 0 25 0 1 0 636222231 161484800 38306 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39425 38306 1111 63 0 39362 0 vsize: 157700 [startup+860.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 38679 0 0 0 85841 170 0 0 25 0 1 0 636222231 162430976 38539 4294967295 134512640 134714508 3221221776 3221220560 134529206 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39656 38539 1111 63 0 39593 0 vsize: 158624 [startup+870.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 38945 0 0 0 86840 172 0 0 25 0 1 0 636222231 163614720 38803 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39945 38803 1111 63 0 39882 0 vsize: 159780 [startup+880.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 39172 0 0 0 87839 173 0 0 25 0 1 0 636222231 164593664 39026 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40184 39026 1111 63 0 40121 0 vsize: 160736 [startup+890.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 39358 0 0 0 88838 174 0 0 25 0 1 0 636222231 165269504 39212 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40349 39212 1111 63 0 40286 0 vsize: 161396 [startup+900.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 39527 0 0 0 89838 174 0 0 25 0 1 0 636222231 165945344 39381 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40514 39381 1111 63 0 40451 0 vsize: 162056 [startup+910.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 39745 0 0 0 90837 175 0 0 25 0 1 0 636222231 167092224 39596 4294967295 134512640 134714508 3221221776 3221220332 134535964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40794 39596 1111 63 0 40731 0 vsize: 163176 [startup+920.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 39886 0 0 0 91837 176 0 0 25 0 1 0 636222231 167649280 39733 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40930 39733 1111 63 0 40867 0 vsize: 163720 [startup+930.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 40010 0 0 0 92836 176 0 0 25 0 1 0 636222231 168054784 39857 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41029 39857 1111 63 0 40966 0 vsize: 164116 [startup+940.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 40155 0 0 0 93836 177 0 0 25 0 1 0 636222231 168808448 40001 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41213 40001 1111 63 0 41150 0 vsize: 164852 [startup+950.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 40271 0 0 0 94835 178 0 0 25 0 1 0 636222231 169213952 40117 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41312 40117 1111 63 0 41249 0 vsize: 165248 [startup+960.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 40397 0 0 0 95835 178 0 0 25 0 1 0 636222231 169754624 40243 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41444 40243 1111 63 0 41381 0 vsize: 165776 [startup+970.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 40558 0 0 0 96835 179 0 0 25 0 1 0 636222231 170475520 40404 4294967295 134512640 134714508 3221221776 3221220428 134536784 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41620 40404 1111 63 0 41557 0 vsize: 166480 [startup+980.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 40835 0 0 0 97834 180 0 0 25 0 1 0 636222231 171585536 40681 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41891 40681 1111 63 0 41828 0 vsize: 167564 [startup+990.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 41031 0 0 0 98833 181 0 0 25 0 1 0 636222231 172445696 40877 4294967295 134512640 134714508 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42101 40877 1111 63 0 42038 0 vsize: 168404 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 41267 0 0 0 99832 182 0 0 25 0 1 0 636222231 173391872 41113 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42332 41113 1111 63 0 42269 0 vsize: 169328 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 41477 0 0 0 100832 183 0 0 25 0 1 0 636222231 174202880 41323 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42530 41323 1111 63 0 42467 0 vsize: 170120 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 41690 0 0 0 101831 183 0 0 25 0 1 0 636222231 175013888 41536 4294967295 134512640 134714508 3221221776 3221220432 134536707 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42728 41536 1111 63 0 42665 0 vsize: 170912 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 41916 0 0 0 102830 185 0 0 25 0 1 0 636222231 175960064 41762 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42959 41762 1111 63 0 42896 0 vsize: 171836 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42137 0 0 0 103829 186 0 0 25 0 1 0 636222231 176771072 41983 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43157 41983 1111 63 0 43094 0 vsize: 172628 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42294 0 0 0 104829 186 0 0 25 0 1 0 636222231 177491968 42140 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43333 42140 1111 63 0 43270 0 vsize: 173332 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42430 0 0 0 105828 187 0 0 25 0 1 0 636222231 178032640 42276 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43465 42276 1111 63 0 43402 0 vsize: 173860 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42543 0 0 0 106827 188 0 0 25 0 1 0 636222231 178573312 42389 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43597 42389 1111 63 0 43534 0 vsize: 174388 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42651 0 0 0 107827 188 0 0 25 0 1 0 636222231 179003392 42495 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43702 42495 1111 63 0 43639 0 vsize: 174808 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42782 0 0 0 108826 189 0 0 25 0 1 0 636222231 179544064 42626 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43834 42626 1111 63 0 43771 0 vsize: 175336 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42916 0 0 0 109826 190 0 0 25 0 1 0 636222231 180088832 42756 4294967295 134512640 134714508 3221221776 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43967 42756 1111 63 0 43904 0 vsize: 175868 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 43039 0 0 0 110825 191 0 0 25 0 1 0 636222231 180629504 42879 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44099 42879 1111 63 0 44036 0 vsize: 176396 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 43193 0 0 0 111825 192 0 0 25 0 1 0 636222231 181334016 43032 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44271 43032 1111 63 0 44208 0 vsize: 177084 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 43377 0 0 0 112824 193 0 0 25 0 1 0 636222231 182013952 43215 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44437 43215 1111 63 0 44374 0 vsize: 177748 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 43545 0 0 0 113823 193 0 0 25 0 1 0 636222231 182689792 43383 4294967295 134512640 134714508 3221221776 3221220384 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44602 43383 1111 63 0 44539 0 vsize: 178408 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 43745 0 0 0 114823 194 0 0 25 0 1 0 636222231 183533568 43582 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44808 43582 1111 63 0 44745 0 vsize: 179232 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 44050 0 0 0 115822 195 0 0 25 0 1 0 636222231 184893440 43887 4294967295 134512640 134714508 3221221776 3221220268 134552651 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45140 43887 1111 63 0 45077 0 vsize: 180560 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 44308 0 0 0 116821 196 0 0 25 0 1 0 636222231 185843712 44143 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45372 44143 1111 63 0 45309 0 vsize: 181488 [startup+1174.97 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 17972 Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 44308 0 0 0 116821 196 0 0 25 0 1 0 636222231 185843712 44143 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45372 44143 1111 63 0 45309 0 vsize: 0 Child status: 0 Real time (s): 1174.97 CPU time (s): 1175.11 CPU user time (s): 1173.05 CPU system time (s): 2.05869 CPU usage (%): 100.012 Max. virtual memory (Kb): 181488 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####