Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb |
MD5SUM | 002d92124dd96ccf471b7e05fe08f2d6 |
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 | 26 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.252961 |
Number of variables | 863 |
Total number of constraints | 646 |
Number of constraints which are clauses | 598 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 25 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-02 17:34:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=380 boxname=wulflinc31 idbench=43 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 002d92124dd96ccf471b7e05fe08f2d6 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_23_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_23_sat_pb.cnf.cr.opb IDLAUNCH: 380 /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: 926836 kB Buffers: 38520 kB Cached: 47372 kB SwapCached: 944 kB Active: 72464 kB Inactive: 15832 kB HighTotal: 131008 kB HighFree: 82712 kB LowTotal: 903652 kB LowFree: 844124 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5536 kB Slab: 13976 kB Committed_AS: 63648 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-02 17:54:33 (client local time) WITH STATUS 0 IN 1175.06 SECONDS stats: 380 7 1175.06 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 863 variables and 646 constraints. c After prepocess the problem consists of 863 variables and 646 constraints. c preprocess terminated 0.886 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.93 0.97 0.98 2/54 26535 Raw data (stat): 26535 (runsolver) R 26534 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 641957410 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0005 s] Raw data (loadavg): 0.94 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 1764 0 0 0 988 7 0 0 25 0 1 0 641957410 10350592 1685 4294967295 134512640 134714508 3221221760 3221220328 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2527 1685 1111 63 0 2464 0 vsize: 10108 [startup+20.001 s] Raw data (loadavg): 0.95 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 2010 0 0 0 1986 9 0 0 25 0 1 0 641957410 11284480 1931 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2755 1931 1111 63 0 2692 0 vsize: 11020 [startup+30.0009 s] Raw data (loadavg): 0.95 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 2148 0 0 0 2985 10 0 0 25 0 1 0 641957410 11956224 2069 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2919 2069 1111 63 0 2856 0 vsize: 11676 [startup+40.0012 s] Raw data (loadavg): 0.96 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 2243 0 0 0 3983 12 0 0 25 0 1 0 641957410 12361728 2164 4294967295 134512640 134714508 3221221760 3221220292 134543025 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3018 2164 1111 63 0 2955 0 vsize: 12072 [startup+50.0018 s] Raw data (loadavg): 0.97 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 2457 0 0 0 4982 14 0 0 25 0 1 0 641957410 13172736 2378 4294967295 134512640 134714508 3221221760 3221220432 134543756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3216 2378 1111 63 0 3153 0 vsize: 12864 [startup+60.0017 s] Raw data (loadavg): 0.97 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 2475 0 0 0 5981 15 0 0 25 0 1 0 641957410 13131776 2383 4294967295 134512640 134714508 3221221760 3221220528 134529152 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3206 2383 1111 63 0 3143 0 vsize: 12824 [startup+70.0029 s] Raw data (loadavg): 0.97 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 2537 0 0 0 6980 16 0 0 25 0 1 0 641957410 13389824 2445 4294967295 134512640 134714508 3221221760 3221220368 134543700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3269 2445 1111 63 0 3206 0 vsize: 13076 [startup+80.0036 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 2537 0 0 0 7978 18 0 0 25 0 1 0 641957410 13389824 2445 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3269 2445 1111 63 0 3206 0 vsize: 13076 [startup+90.0035 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 2564 0 0 0 8977 19 0 0 25 0 1 0 641957410 13524992 2472 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3302 2472 1111 63 0 3239 0 vsize: 13208 [startup+100.004 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 2836 0 0 0 9975 22 0 0 25 0 1 0 641957410 14741504 2744 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3599 2744 1111 63 0 3536 0 vsize: 14396 [startup+110.003 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 3423 0 0 0 10972 25 0 0 25 0 1 0 641957410 17031168 3331 4294967295 134512640 134714508 3221221760 3221220352 134696260 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4158 3331 1111 63 0 4095 0 vsize: 16632 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 3869 0 0 0 11970 27 0 0 25 0 1 0 641957410 18919424 3777 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4619 3777 1111 63 0 4556 0 vsize: 18476 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 4202 0 0 0 12968 29 0 0 25 0 1 0 641957410 20271104 4110 4294967295 134512640 134714508 3221221760 3221220512 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4949 4110 1111 63 0 4886 0 vsize: 19796 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 4602 0 0 0 13966 31 0 0 25 0 1 0 641957410 21893120 4510 4294967295 134512640 134714508 3221221760 3221220464 134528617 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5345 4510 1111 63 0 5282 0 vsize: 21380 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 5004 0 0 0 14965 33 0 0 25 0 1 0 641957410 23515136 4912 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5741 4912 1111 63 0 5678 0 vsize: 22964 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 5059 0 0 0 15963 34 0 0 25 0 1 0 641957410 23785472 4967 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5807 4967 1111 63 0 5744 0 vsize: 23228 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 5104 0 0 0 16962 35 0 0 25 0 1 0 641957410 23920640 5012 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5840 5012 1111 63 0 5777 0 vsize: 23360 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 5104 0 0 0 17962 36 0 0 25 0 1 0 641957410 23920640 5012 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5840 5012 1111 63 0 5777 0 vsize: 23360 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 5186 0 0 0 18961 38 0 0 25 0 1 0 641957410 24326144 5094 4294967295 134512640 134714508 3221221760 3221220328 1077378438 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5939 5094 1111 63 0 5876 0 vsize: 23756 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 5190 0 0 0 19959 39 0 0 25 0 1 0 641957410 24326144 5098 4294967295 134512640 134714508 3221221760 3221220400 134696350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5939 5098 1111 63 0 5876 0 vsize: 23756 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 5270 0 0 0 20958 41 0 0 25 0 1 0 641957410 24596480 5178 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6005 5178 1111 63 0 5942 0 vsize: 24020 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 5312 0 0 0 21957 42 0 0 25 0 1 0 641957410 24862720 5220 4294967295 134512640 134714508 3221221760 3221220368 134549296 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6070 5220 1111 63 0 6007 0 vsize: 24280 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 5505 0 0 0 22955 44 0 0 25 0 1 0 641957410 25673728 5413 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6268 5413 1111 63 0 6205 0 vsize: 25072 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 5851 0 0 0 23952 47 0 0 25 0 1 0 641957410 27025408 5759 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6598 5759 1111 63 0 6535 0 vsize: 26392 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 6034 0 0 0 24951 49 0 0 25 0 1 0 641957410 27832320 5942 4294967295 134512640 134714508 3221221760 3221220400 134696100 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6795 5942 1111 63 0 6732 0 vsize: 27180 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 6204 0 0 0 25950 50 0 0 25 0 1 0 641957410 28508160 6112 4294967295 134512640 134714508 3221221760 3221220444 134524382 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6960 6112 1111 63 0 6897 0 vsize: 27840 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 6276 0 0 0 26949 51 0 0 25 0 1 0 641957410 28778496 6184 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7026 6184 1111 63 0 6963 0 vsize: 28104 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 6329 0 0 0 27948 52 0 0 25 0 1 0 641957410 29048832 6237 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7092 6237 1111 63 0 7029 0 vsize: 28368 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 6427 0 0 0 28947 53 0 0 25 0 1 0 641957410 29446144 6335 4294967295 134512640 134714508 3221221760 3221220392 134552673 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7189 6335 1111 63 0 7126 0 vsize: 28756 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 6536 0 0 0 29946 54 0 0 25 0 1 0 641957410 29839360 6444 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7285 6444 1111 63 0 7222 0 vsize: 29140 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 6834 0 0 0 30944 56 0 0 25 0 1 0 641957410 31035392 6742 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7577 6742 1111 63 0 7514 0 vsize: 30308 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 7032 0 0 0 31942 58 0 0 25 0 1 0 641957410 31846400 6940 4294967295 134512640 134714508 3221221760 3221220368 134549327 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7775 6940 1111 63 0 7712 0 vsize: 31100 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 7194 0 0 0 32940 60 0 0 25 0 1 0 641957410 32509952 7102 4294967295 134512640 134714508 3221221760 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7937 7102 1111 63 0 7874 0 vsize: 31748 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 7419 0 0 0 33939 62 0 0 25 0 1 0 641957410 33456128 7327 4294967295 134512640 134714508 3221221760 3221220308 134696659 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8168 7327 1111 63 0 8105 0 vsize: 32672 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 7705 0 0 0 34937 64 0 0 25 0 1 0 641957410 34672640 7613 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8465 7613 1111 63 0 8402 0 vsize: 33860 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 7802 0 0 0 35935 66 0 0 25 0 1 0 641957410 35078144 7710 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8564 7710 1111 63 0 8501 0 vsize: 34256 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 7901 0 0 0 36933 68 0 0 25 0 1 0 641957410 35483648 7809 4294967295 134512640 134714508 3221221760 3221220608 134531486 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8663 7809 1111 63 0 8600 0 vsize: 34652 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 8129 0 0 0 37932 70 0 0 25 0 1 0 641957410 36294656 8037 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8861 8037 1111 63 0 8798 0 vsize: 35444 [startup+390.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 8300 0 0 0 38930 71 0 0 25 0 1 0 641957410 37105664 8208 4294967295 134512640 134714508 3221221760 3221220332 134535649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9059 8208 1111 63 0 8996 0 vsize: 36236 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 8373 0 0 0 39929 73 0 0 25 0 1 0 641957410 37343232 8281 4294967295 134512640 134714508 3221221760 3221220672 134595257 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9117 8281 1111 63 0 9054 0 vsize: 36468 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 8445 0 0 0 40928 74 0 0 25 0 1 0 641957410 37613568 8353 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9183 8353 1111 63 0 9120 0 vsize: 36732 [startup+420.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 8565 0 0 0 41927 75 0 0 25 0 1 0 641957410 38154240 8473 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9315 8473 1111 63 0 9252 0 vsize: 37260 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 8684 0 0 0 42926 77 0 0 25 0 1 0 641957410 38694912 8592 4294967295 134512640 134714508 3221221760 3221220456 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9447 8592 1111 63 0 9384 0 vsize: 37788 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 8744 0 0 0 43925 78 0 0 25 0 1 0 641957410 38817792 8652 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9477 8652 1111 63 0 9414 0 vsize: 37908 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 8801 0 0 0 44924 79 0 0 25 0 1 0 641957410 39088128 8709 4294967295 134512640 134714508 3221221760 3221220412 134536825 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9543 8709 1111 63 0 9480 0 vsize: 38172 [startup+460.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 8880 0 0 0 45923 80 0 0 25 0 1 0 641957410 39493632 8788 4294967295 134512640 134714508 3221221760 3221220416 134536736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9642 8788 1111 63 0 9579 0 vsize: 38568 [startup+470.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 9116 0 0 0 46921 82 0 0 25 0 1 0 641957410 40423424 9024 4294967295 134512640 134714508 3221221760 3221220488 134532455 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9869 9024 1111 63 0 9806 0 vsize: 39476 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 9174 0 0 0 47921 83 0 0 25 0 1 0 641957410 40693760 9082 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9935 9082 1111 63 0 9872 0 vsize: 39740 [startup+490.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 9245 0 0 0 48919 84 0 0 25 0 1 0 641957410 40960000 9153 4294967295 134512640 134714508 3221221760 3221220256 134535433 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10000 9153 1111 63 0 9937 0 vsize: 40000 [startup+500.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 9269 0 0 0 49918 86 0 0 25 0 1 0 641957410 41078784 9177 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10029 9177 1111 63 0 9966 0 vsize: 40116 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 9304 0 0 0 50917 87 0 0 25 0 1 0 641957410 41213952 9212 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10062 9212 1111 63 0 9999 0 vsize: 40248 [startup+520.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 9395 0 0 0 51916 88 0 0 25 0 1 0 641957410 41484288 9303 4294967295 134512640 134714508 3221221760 3221220684 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10128 9303 1111 63 0 10065 0 vsize: 40512 [startup+530.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 9533 0 0 0 52914 90 0 0 25 0 1 0 641957410 42156032 9441 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10292 9441 1111 63 0 10229 0 vsize: 41168 [startup+540.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 9970 0 0 0 53913 92 0 0 25 0 1 0 641957410 43900928 9878 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10718 9878 1111 63 0 10655 0 vsize: 42872 [startup+550.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 10194 0 0 0 54912 93 0 0 25 0 1 0 641957410 44851200 10102 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10950 10102 1111 63 0 10887 0 vsize: 43800 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 10314 0 0 0 55910 95 0 0 25 0 1 0 641957410 45256704 10222 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11049 10222 1111 63 0 10986 0 vsize: 44196 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 10475 0 0 0 56908 97 0 0 25 0 1 0 641957410 45920256 10383 4294967295 134512640 134714508 3221221760 3221220156 1077379908 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11211 10383 1111 63 0 11148 0 vsize: 44844 [startup+580.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 10577 0 0 0 57907 98 0 0 25 0 1 0 641957410 46325760 10485 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11310 10485 1111 63 0 11247 0 vsize: 45240 [startup+590.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 10618 0 0 0 58907 98 0 0 25 0 1 0 641957410 46596096 10526 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11376 10526 1111 63 0 11313 0 vsize: 45504 [startup+600.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 10861 0 0 0 59906 100 0 0 25 0 1 0 641957410 47542272 10769 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11607 10769 1111 63 0 11544 0 vsize: 46428 [startup+610.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 10979 0 0 0 60904 101 0 0 25 0 1 0 641957410 48078848 10887 4294967295 134512640 134714508 3221221760 3221220384 134535433 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11738 10887 1111 63 0 11675 0 vsize: 46952 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 11085 0 0 0 61903 103 0 0 25 0 1 0 641957410 48484352 10993 4294967295 134512640 134714508 3221221760 3221220400 134696103 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11837 10993 1111 63 0 11774 0 vsize: 47348 [startup+630.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 11157 0 0 0 62902 104 0 0 25 0 1 0 641957410 48750592 11065 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11902 11065 1111 63 0 11839 0 vsize: 47608 [startup+640.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 11209 0 0 0 63902 105 0 0 25 0 1 0 641957410 49012736 11117 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11966 11117 1111 63 0 11903 0 vsize: 47864 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 11238 0 0 0 64902 105 0 0 25 0 1 0 641957410 49147904 11146 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11999 11146 1111 63 0 11936 0 vsize: 47996 [startup+660.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 11282 0 0 0 65900 107 0 0 25 0 1 0 641957410 49266688 11190 4294967295 134512640 134714508 3221221760 3221220352 134549742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12028 11190 1111 63 0 11965 0 vsize: 48112 [startup+670.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 11405 0 0 0 66899 108 0 0 25 0 1 0 641957410 49807360 11313 4294967295 134512640 134714508 3221221760 3221220444 134552651 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12160 11313 1111 63 0 12097 0 vsize: 48640 [startup+680.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 11444 0 0 0 67898 109 0 0 25 0 1 0 641957410 49942528 11352 4294967295 134512640 134714508 3221221760 3221220388 134696248 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12193 11352 1111 63 0 12130 0 vsize: 48772 [startup+690.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 11550 0 0 0 68897 111 0 0 25 0 1 0 641957410 50348032 11458 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12292 11458 1111 63 0 12229 0 vsize: 49168 [startup+700.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 11756 0 0 0 69895 112 0 0 25 0 1 0 641957410 51290112 11664 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12522 11664 1111 63 0 12459 0 vsize: 50088 [startup+710.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 11858 0 0 0 70894 113 0 0 25 0 1 0 641957410 51695616 11766 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12621 11766 1111 63 0 12558 0 vsize: 50484 [startup+720.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 12020 0 0 0 71894 114 0 0 25 0 1 0 641957410 52371456 11928 4294967295 134512640 134714508 3221221760 3221220536 134529371 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12786 11928 1111 63 0 12723 0 vsize: 51144 [startup+730.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 12243 0 0 0 72892 116 0 0 25 0 1 0 641957410 53182464 12151 4294967295 134512640 134714508 3221221760 3221220480 134535790 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12984 12151 1111 63 0 12921 0 vsize: 51936 [startup+740.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 12384 0 0 0 73892 117 0 0 25 0 1 0 641957410 53858304 12292 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13149 12292 1111 63 0 13086 0 vsize: 52596 [startup+750.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 12501 0 0 0 74890 118 0 0 25 0 1 0 641957410 54251520 12409 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13245 12409 1111 63 0 13182 0 vsize: 52980 [startup+760.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 12701 0 0 0 75889 120 0 0 25 0 1 0 641957410 55058432 12609 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13442 12609 1111 63 0 13379 0 vsize: 53768 [startup+770.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 12804 0 0 0 76888 121 0 0 25 0 1 0 641957410 55463936 12712 4294967295 134512640 134714508 3221221760 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13541 12712 1111 63 0 13478 0 vsize: 54164 [startup+780.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 12932 0 0 0 77887 122 0 0 25 0 1 0 641957410 56004608 12840 4294967295 134512640 134714508 3221221760 3221220496 134558542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13673 12840 1111 63 0 13610 0 vsize: 54692 [startup+790.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 12974 0 0 0 78886 123 0 0 25 0 1 0 641957410 56274944 12882 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13739 12882 1111 63 0 13676 0 vsize: 54956 [startup+800.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13100 0 0 0 79885 124 0 0 25 0 1 0 641957410 56680448 13008 4294967295 134512640 134714508 3221221760 3221220524 134552560 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13838 13008 1111 63 0 13775 0 vsize: 55352 [startup+810.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13166 0 0 0 80884 125 0 0 25 0 1 0 641957410 56963072 13074 4294967295 134512640 134714508 3221221760 3221220492 134558784 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13907 13074 1111 63 0 13844 0 vsize: 55628 [startup+820.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13197 0 0 0 81883 127 0 0 25 0 1 0 641957410 57077760 13105 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13935 13105 1111 63 0 13872 0 vsize: 55740 [startup+830.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13251 0 0 0 82882 128 0 0 25 0 1 0 641957410 57348096 13159 4294967295 134512640 134714508 3221221760 3221220544 134529259 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14001 13159 1111 63 0 13938 0 vsize: 56004 [startup+840.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13326 0 0 0 83881 129 0 0 25 0 1 0 641957410 57618432 13234 4294967295 134512640 134714508 3221221760 3221220368 134523202 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14067 13234 1111 63 0 14004 0 vsize: 56268 [startup+850.027 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13350 0 0 0 84881 129 0 0 25 0 1 0 641957410 57753600 13258 4294967295 134512640 134714508 3221221760 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14100 13258 1111 63 0 14037 0 vsize: 56400 [startup+860.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13364 0 0 0 85880 130 0 0 25 0 1 0 641957410 57872384 13272 4294967295 134512640 134714508 3221221760 3221219876 134697183 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14129 13272 1111 63 0 14066 0 vsize: 56516 [startup+870.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13386 0 0 0 86879 131 0 0 25 0 1 0 641957410 57872384 13294 4294967295 134512640 134714508 3221221760 3221220544 134529237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14129 13294 1111 63 0 14066 0 vsize: 56516 [startup+880.027 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13409 0 0 0 87879 132 0 0 25 0 1 0 641957410 58007552 13317 4294967295 134512640 134714508 3221221760 3221220316 134535631 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14162 13317 1111 63 0 14099 0 vsize: 56648 [startup+890.027 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13480 0 0 0 88878 133 0 0 25 0 1 0 641957410 58277888 13388 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14228 13388 1111 63 0 14165 0 vsize: 56912 [startup+900.027 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13509 0 0 0 89878 133 0 0 25 0 1 0 641957410 58413056 13417 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14261 13417 1111 63 0 14198 0 vsize: 57044 [startup+910.028 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13548 0 0 0 90877 134 0 0 25 0 1 0 641957410 58544128 13456 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14293 13456 1111 63 0 14230 0 vsize: 57172 [startup+920.028 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13567 0 0 0 91877 135 0 0 25 0 1 0 641957410 58679296 13475 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14326 13475 1111 63 0 14263 0 vsize: 57304 [startup+930.028 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13587 0 0 0 92876 136 0 0 25 0 1 0 641957410 58818560 13495 4294967295 134512640 134714508 3221221760 3221220156 1077379843 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14360 13495 1111 63 0 14297 0 vsize: 57440 [startup+940.029 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13601 0 0 0 93875 137 0 0 25 0 1 0 641957410 58818560 13509 4294967295 134512640 134714508 3221221760 3221220544 134529234 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14360 13509 1111 63 0 14297 0 vsize: 57440 [startup+950.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13610 0 0 0 94874 138 0 0 25 0 1 0 641957410 58818560 13518 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14360 13518 1111 63 0 14297 0 vsize: 57440 [startup+960.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13633 0 0 0 95873 139 0 0 25 0 1 0 641957410 58949632 13541 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14392 13541 1111 63 0 14329 0 vsize: 57568 [startup+970.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13646 0 0 0 96872 140 0 0 25 0 1 0 641957410 59084800 13554 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14425 13554 1111 63 0 14362 0 vsize: 57700 [startup+980.031 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13657 0 0 0 97871 141 0 0 25 0 1 0 641957410 59084800 13565 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14425 13565 1111 63 0 14362 0 vsize: 57700 [startup+990.032 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13662 0 0 0 98870 143 0 0 25 0 1 0 641957410 59084800 13570 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14425 13570 1111 63 0 14362 0 vsize: 57700 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13686 0 0 0 99870 143 0 0 25 0 1 0 641957410 59219968 13594 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14458 13594 1111 63 0 14395 0 vsize: 57832 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13697 0 0 0 100869 144 0 0 25 0 1 0 641957410 59219968 13605 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14458 13605 1111 63 0 14395 0 vsize: 57832 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13723 0 0 0 101868 145 0 0 25 0 1 0 641957410 59363328 13631 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14493 13631 1111 63 0 14430 0 vsize: 57972 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13735 0 0 0 102868 146 0 0 25 0 1 0 641957410 59363328 13643 4294967295 134512640 134714508 3221221760 3221220396 134552682 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14493 13643 1111 63 0 14430 0 vsize: 57972 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13784 0 0 0 103867 147 0 0 25 0 1 0 641957410 59629568 13692 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14558 13692 1111 63 0 14495 0 vsize: 58232 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13794 0 0 0 104867 148 0 0 25 0 1 0 641957410 59629568 13702 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14558 13702 1111 63 0 14495 0 vsize: 58232 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13803 0 0 0 105866 148 0 0 25 0 1 0 641957410 59629568 13711 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14558 13711 1111 63 0 14495 0 vsize: 58232 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13808 0 0 0 106865 149 0 0 25 0 1 0 641957410 59772928 13716 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14593 13716 1111 63 0 14530 0 vsize: 58372 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13822 0 0 0 107865 150 0 0 25 0 1 0 641957410 59772928 13730 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14593 13730 1111 63 0 14530 0 vsize: 58372 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13864 0 0 0 108864 150 0 0 25 0 1 0 641957410 59908096 13772 4294967295 134512640 134714508 3221221760 3221220368 134549494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14626 13772 1111 63 0 14563 0 vsize: 58504 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13885 0 0 0 109863 152 0 0 25 0 1 0 641957410 60043264 13793 4294967295 134512640 134714508 3221221760 3221220492 134555028 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14659 13793 1111 63 0 14596 0 vsize: 58636 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13905 0 0 0 110863 153 0 0 25 0 1 0 641957410 60043264 13813 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14659 13813 1111 63 0 14596 0 vsize: 58636 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 13989 0 0 0 111862 154 0 0 25 0 1 0 641957410 60448768 13897 4294967295 134512640 134714508 3221221760 3221220352 134549680 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14758 13897 1111 63 0 14695 0 vsize: 59032 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 14262 0 0 0 112860 155 0 0 25 0 1 0 641957410 61530112 14170 4294967295 134512640 134714508 3221221760 3221220544 134529097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15022 14170 1111 63 0 14959 0 vsize: 60088 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 14431 0 0 0 113859 156 0 0 25 0 1 0 641957410 62193664 14339 4294967295 134512640 134714508 3221221760 3221220420 134524380 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15184 14339 1111 63 0 15121 0 vsize: 60736 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 14582 0 0 0 114858 157 0 0 25 0 1 0 641957410 62869504 14490 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15349 14490 1111 63 0 15286 0 vsize: 61396 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 14686 0 0 0 115857 159 0 0 25 0 1 0 641957410 63266816 14594 4294967295 134512640 134714508 3221221760 3221220496 134535728 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15446 14594 1111 63 0 15383 0 vsize: 61784 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 14766 0 0 0 116856 160 0 0 25 0 1 0 641957410 63672320 14674 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15545 14674 1111 63 0 15482 0 vsize: 62180 [startup+1174.92 s] Raw data (loadavg): 0.99 0.97 0.98 1/53 26535 Raw data (stat): 26535 (bsolo_lpr_cuts) R 26534 7876 7672 0 -1 0 14766 0 0 0 116856 160 0 0 25 0 1 0 641957410 63672320 14674 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15545 14674 1111 63 0 15482 0 vsize: 0 Child status: 0 Real time (s): 1174.92 CPU time (s): 1175.06 CPU user time (s): 1173.42 CPU system time (s): 1.63875 CPU usage (%): 100.012 Max. virtual memory (Kb): 62180 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####