Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb |
MD5SUM | a89f4ed95903fddf213992506514bcf0 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 906 |
Biggest coefficient in the objective function | 553 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2526 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 553 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2526 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04184 |
Number of variables | 906 |
Total number of constraints | 1944 |
Number of constraints which are clauses | 852 |
Number of constraints which are cardinality constraints (but not clauses) | 1092 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-15 18:31:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3332 boxname=wulflinc31 idbench=371 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: a89f4ed95903fddf213992506514bcf0 /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:98.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:98.opb IDLAUNCH: 3332 /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: 784404 kB Buffers: 42776 kB Cached: 185404 kB SwapCached: 1932 kB Active: 163356 kB Inactive: 68012 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 784152 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5368 kB Slab: 13180 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-15 18:51:32 (client local time) WITH STATUS 10 IN 1175.06 SECONDS stats: 3332 0 1175.06 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 906 variables and 1039 constraints. c After prepocess the problem consists of 905 variables and 1071 constraints. c preprocess terminated 0.866 s c Initial Lower Bound: 0 c Lower Bound Elapsed time: 1.0555 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 1413 @ 5.226 c NEW SOLUTION FOUND: 1407 @ 5.242 c NEW SOLUTION FOUND: 1399 @ 5.255 c NEW SOLUTION FOUND: 1397 @ 5.268 c NEW SOLUTION FOUND: 1391 @ 5.282 c NEW SOLUTION FOUND: 1389 @ 5.295 c NEW SOLUTION FOUND: 1388 @ 5.308 c NEW SOLUTION FOUND: 1385 @ 5.322 c NEW SOLUTION FOUND: 1379 @ 5.336 c NEW SOLUTION FOUND: 1378 @ 5.35 c NEW SOLUTION FOUND: 1377 @ 5.364 c NEW SOLUTION FOUND: 1376 @ 5.378 c NEW SOLUTION FOUND: 1372 @ 5.392 c NEW SOLUTION FOUND: 1366 @ 5.406 c NEW SOLUTION FOUND: 1356 @ 5.421 c NEW SOLUTION FOUND: 1346 @ 5.435 c NEW SOLUTION FOUND: 1345 @ 5.45 c NEW SOLUTION FOUND: 1341 @ 5.465 c NEW SOLUTION FOUND: 1337 @ 5.48 c NEW SOLUTION FOUND: 1333 @ 5.494 c NEW SOLUTION FOUND: 1332 @ 5.509 c NEW SOLUTION FOUND: 1331 @ 5.524 c NEW SOLUTION FOUND: 1330 @ 5.539 c NEW SOLUTION FOUND: 1328 @ 5.555 c NEW SOLUTION FOUND: 1327 @ 5.569 c NEW SOLUTION FOUND: 1326 @ 5.584 c NEW SOLUTION FOUND: 1325 @ 5.599 c NEW SOLUTION FOUND: 1324 @ 5.614 c NEW SOLUTION FOUND: 1323 @ 5.644 c NEW SOLUTION FOUND: 1322 @ 5.659 c NEW SOLUTION FOUND: 1321 @ 5.674 c NEW SOLUTION FOUND: 1320 @ 5.689 c NEW SOLUTION FOUND: 1319 @ 5.704 c NEW SOLUTION FOUND: 1318 @ 5.719 c NEW SOLUTION FOUND: 1317 @ 5.734 c NEW SOLUTION FOUND: 1316 @ 5.749 c NEW SOLUTION FOUND: 1315 @ 5.764 c NEW SOLUTION FOUND: 1314 @ 5.779 c NEW SOLUTION FOUND: 1313 @ 5.795 c NEW SOLUTION FOUND: 1311 @ 5.81 c NEW SOLUTION FOUND: 1308 @ 5.825 c NEW SOLUTION FOUND: 1305 @ 5.84 c NEW SOLUTION FOUND: 1297 @ 5.856 c NEW SOLUTION FOUND: 1290 @ 5.872 c NEW SOLUTION FOUND: 1288 @ 5.887 c NEW SOLUTION FOUND: 1287 @ 5.903 c NEW SOLUTION FOUND: 1286 @ 5.919 c NEW SOLUTION FOUND: 1285 @ 5.935 c NEW SOLUTION FOUND: 1282 @ 5.952 c NEW SOLUTION FOUND: 1281 @ 5.968 c NEW SOLUTION FOUND: 1280 @ 5.984 c NEW SOLUTION FOUND: 1279 @ 6.001 c NEW SOLUTION FOUND: 1278 @ 6.018 c NEW SOLUTION FOUND: 1276 @ 6.036 c NEW SOLUTION FOUND: 1272 @ 6.054 c NEW SOLUTION FOUND: 1268 @ 6.073 c NEW SOLUTION FOUND: 1266 @ 6.091 c NEW SOLUTION FOUND: 1263 @ 6.109 c NEW SOLUTION FOUND: 1261 @ 6.127 c NEW SOLUTION FOUND: 1259 @ 6.144 c NEW SOLUTION FOUND: 1252 @ 6.163 c NEW SOLUTION FOUND: 1250 @ 6.18 c NEW SOLUTION FOUND: 1248 @ 6.198 c NEW SOLUTION FOUND: 1244 @ 6.217 c NEW SOLUTION FOUND: 1242 @ 6.236 c NEW SOLUTION FOUND: 1240 @ 6.254 c NEW SOLUTION FOUND: 1239 @ 6.583 c NEW SOLUTION FOUND: 1238 @ 6.904 c NEW SOLUTION FOUND: 1237 @ 6.922 c NEW SOLUTION FOUND: 1235 @ 7.274 c NEW SOLUTION FOUND: 1234 @ 7.291 c NEW SOLUTION FOUND: 1233 @ 7.636 c NEW SOLUTION FOUND: 1232 @ 7.653 c NEW SOLUTION FOUND: 1230 @ 8.015 c NEW SOLUTION FOUND: 1229 @ 8.032 c NEW SOLUTION FOUND: 1228 @ 8.385 c NEW SOLUTION FOUND: 1227 @ 8.402 c NEW SOLUTION FOUND: 1223 @ 8.797 c NEW SOLUTION FOUND: 1222 @ 8.814 c NEW SOLUTION FOUND: 1221 @ 9.333 c NEW SOLUTION FOUND: 1220 @ 9.742 c NEW SOLUTION FOUND: 1219 @ 9.76 c NEW SOLUTION FOUND: 1216 @ 10.15 c NEW SOLUTION FOUND: 1215 @ 10.167 c NEW SOLUTION FOUND: 1214 @ 11.075 c NEW SOLUTION FOUND: 1213 @ 11.092 c NEW SOLUTION FOUND: 1210 @ 11.505 c NEW SOLUTION FOUND: 1209 @ 11.523 c NEW SOLUTION FOUND: 1208 @ 12.537 c NEW SOLUTION FOUND: 1207 @ 12.554 c NEW SOLUTION FOUND: 1204 @ 12.962 c NEW SOLUTION FOUND: 1203 @ 12.979 c NEW SOLUTION FOUND: 1202 @ 14.094 c NEW SOLUTION FOUND: 1199 @ 14.361 c NEW SOLUTION FOUND: 1198 @ 14.38 c NEW SOLUTION FOUND: 1197 @ 15.483 c NEW SOLUTION FOUND: 1196 @ 15.501 c NEW SOLUTION FOUND: 1193 @ 15.933 c NEW SOLUTION FOUND: 1192 @ 16.218 c NEW SOLUTION FOUND: 1191 @ 16.668 c NEW SOLUTION FOUND: 1190 @ 16.985 c NEW SOLUTION FOUND: 1189 @ 17.063 c NEW SOLUTION FOUND: 1186 @ 17.347 c NEW SOLUTION FOUND: 1185 @ 17.365 c NEW SOLUTION FOUND: 1184 @ 18.336 c NEW SOLUTION FOUND: 1183 @ 18.4 c NEW SOLUTION FOUND: 1182 @ 18.643 c NEW SOLUTION FOUND: 1181 @ 18.661 c NEW SOLUTION FOUND: 1178 @ 18.978 c NEW SOLUTION FOUND: 1177 @ 19.042 c NEW SOLUTION FOUND: 1176 @ 20.316 c NEW SOLUTION FOUND: 1175 @ 20.334 c NEW SOLUTION FOUND: 1172 @ 20.619 c NEW SOLUTION FOUND: 1171 @ 20.637 c NEW SOLUTION FOUND: 1170 @ 21.736 c NEW SOLUTION FOUND: 1169 @ 21.754 c NEW SOLUTION FOUND: 1168 @ 22.013 c NEW SOLUTION FOUND: 1167 @ 22.031 c NEW SOLUTION FOUND: 1164 @ 22.318 c NEW SOLUTION FOUND: 1163 @ 22.336 c NEW SOLUTION FOUND: 1162 @ 22.992 c NEW SOLUTION FOUND: 1161 @ 23.236 c NEW SOLUTION FOUND: 1160 @ 23.461 c NEW SOLUTION FOUND: 1157 @ 23.719 c NEW SOLUTION FOUND: 1156 @ 23.993 c NEW SOLUTION FOUND: 1153 @ 25.463 c NEW SOLUTION FOUND: 1152 @ 25.847 c NEW SOLUTION FOUND: 1149 @ 27.293 c NEW SOLUTION FOUND: 1148 @ 27.675 c NEW SOLUTION FOUND: 1145 @ 29.346 c NEW SOLUTION FOUND: 1144 @ 29.729 c NEW SOLUTION FOUND: 1141 @ 31.372 c NEW SOLUTION FOUND: 1140 @ 32.046 c NEW SOLUTION FOUND: 1138 @ 33.676 c NEW SOLUTION FOUND: 1137 @ 33.813 c NEW SOLUTION FOUND: 1136 @ 34.473 c NEW SOLUTION FOUND: 1133 @ 37.312 c NEW SOLUTION FOUND: 1132 @ 37.476 c NEW SOLUTION FOUND: 1131 @ 39.534 c NEW SOLUTION FOUND: 1130 @ 39.698 c NEW SOLUTION FOUND: 1127 @ 40.455 c NEW SOLUTION FOUND: 1126 @ 40.621 c NEW SOLUTION FOUND: 1123 @ 43.247 c NEW SOLUTION FOUND: 1122 @ 43.442 c NEW SOLUTION FOUND: 1119 @ 45.989 c NEW SOLUTION FOUND: 1118 @ 46.185 c NEW SOLUTION FOUND: 1115 @ 47.988 c NEW SOLUTION FOUND: 1114 @ 48.18 c NEW SOLUTION FOUND: 1113 @ 48.945 c NEW SOLUTION FOUND: 1112 @ 49.141 c NEW SOLUTION FOUND: 1109 @ 49.938 c NEW SOLUTION FOUND: 1108 @ 50.153 c NEW SOLUTION FOUND: 1107 @ 52.303 c NEW SOLUTION FOUND: 1104 @ 53.134 c NEW SOLUTION FOUND: 1103 @ 53.361 c NEW SOLUTION FOUND: 1100 @ 56.349 c NEW SOLUTION FOUND: 1099 @ 56.572 c NEW SOLUTION FOUND: 1096 @ 59.777 c NEW SOLUTION FOUND: 1095 @ 60.04 c NEW SOLUTION FOUND: 1092 @ 63.321 c NEW SOLUTION FOUND: 1091 @ 63.601 c NEW SOLUTION FOUND: 1088 @ 66.932 c NEW SOLUTION FOUND: 1087 @ 68.292 c NEW SOLUTION FOUND: 1084 @ 71.056 c NEW SOLUTION FOUND: 1083 @ 71.36 c NEW SOLUTION FOUND: 1080 @ 74.685 c NEW SOLUTION FOUND: 1079 @ 74.988 c NEW SOLUTION FOUND: 1076 @ 78.449 c NEW SOLUTION FOUND: 1075 @ 79.882 c NEW SOLUTION FOUND: 1074 @ 82.605 c NEW SOLUTION FOUND: 1073 @ 82.939 c NEW SOLUTION FOUND: 1070 @ 83.685 c NEW SOLUTION FOUND: 1069 @ 84.696 c NEW SOLUTION FOUND: 1068 @ 88.048 c NEW SOLUTION FOUND: 1067 @ 88.942 c NEW SOLUTION FOUND: 1065 @ 90.962 c NEW SOLUTION FOUND: 1064 @ 91.6 c NEW SOLUTION FOUND: 1062 @ 94.787 c NEW SOLUTION FOUND: 1061 @ 95.418 c NEW SOLUTION FOUND: 1058 @ 99.019 c NEW SOLUTION FOUND: 1057 @ 99.647 c NEW SOLUTION FOUND: 1056 @ 102.726 c NEW SOLUTION FOUND: 1053 @ 103.342 c NEW SOLUTION FOUND: 1052 @ 103.975 c NEW SOLUTION FOUND: 1050 @ 106.16 c NEW SOLUTION FOUND: 1049 @ 106.854 c NEW SOLUTION FOUND: 1048 @ 109.842 c NEW SOLUTION FOUND: 1047 @ 110.52 c NEW SOLUTION FOUND: 1046 @ 111.007 c NEW SOLUTION FOUND: 1043 @ 111.69 c NEW SOLUTION FOUND: 1042 @ 112.313 c NEW SOLUTION FOUND: 1041 @ 115.352 c NEW SOLUTION FOUND: 1038 @ 116.036 c NEW SOLUTION FOUND: 1037 @ 116.737 c NEW SOLUTION FOUND: 1035 @ 118.815 c NEW SOLUTION FOUND: 1034 @ 119.48 c NEW SOLUTION FOUND: 1033 @ 122.533 c NEW SOLUTION FOUND: 1030 @ 123.28 c NEW SOLUTION FOUND: 1029 @ 123.948 c NEW SOLUTION FOUND: 1027 @ 126.132 c NEW SOLUTION FOUND: 1026 @ 126.813 c NEW SOLUTION FOUND: 1025 @ 129.788 c NEW SOLUTION FOUND: 1022 @ 130.482 c NEW SOLUTION FOUND: 1021 @ 131.175 c NEW SOLUTION FOUND: 1019 @ 133.541 c NEW SOLUTION FOUND: 1018 @ 134.262 c NEW SOLUTION FOUND: 1015 @ 137.865 c NEW SOLUTION FOUND: 1014 @ 138.535 c NEW SOLUTION FOUND: 1013 @ 141.485 c NEW SOLUTION FOUND: 1010 @ 142.204 c NEW SOLUTION FOUND: 1009 @ 142.86 c NEW SOLUTION FOUND: 1007 @ 145.25 c NEW SOLUTION FOUND: 1006 @ 145.921 c NEW SOLUTION FOUND: 1005 @ 149.018 c NEW SOLUTION FOUND: 1002 @ 149.748 c NEW SOLUTION FOUND: 1001 @ 150.482 c NEW SOLUTION FOUND: 999 @ 152.812 c NEW SOLUTION FOUND: 998 @ 153.554 c NEW SOLUTION FOUND: 995 @ 156.915 c NEW SOLUTION FOUND: 994 @ 157.61 c NEW SOLUTION FOUND: 993 @ 160.607 c NEW SOLUTION FOUND: 990 @ 161.33 c NEW SOLUTION FOUND: 989 @ 161.976 c NEW SOLUTION FOUND: 987 @ 164.983 c NEW SOLUTION FOUND: 986 @ 165.636 c NEW SOLUTION FOUND: 983 @ 169.088 c NEW SOLUTION FOUND: 982 @ 169.743 c NEW SOLUTION FOUND: 981 @ 173.109 c NEW SOLUTION FOUND: 979 @ 173.367 c NEW SOLUTION FOUND: 978 @ 174.584 c NEW SOLUTION FOUND: 975 @ 177.742 c NEW SOLUTION FOUND: 974 @ 178.384 c NEW SOLUTION FOUND: 971 @ 181.772 c NEW SOLUTION FOUND: 970 @ 183.119 c NEW SOLUTION FOUND: 967 @ 186.374 c NEW SOLUTION FOUND: 966 @ 187.046 c NEW SOLUTION FOUND: 963 @ 191.018 c NEW SOLUTION FOUND: 962 @ 191.718 c NEW SOLUTION FOUND: 961 @ 195.178 c NEW SOLUTION FOUND: 959 @ 195.511 c NEW SOLUTION FOUND: 958 @ 196.699 c NEW SOLUTION FOUND: 955 @ 199.976 c NEW SOLUTION FOUND: 954 @ 200.626 c NEW SOLUTION FOUND: 953 @ 203.98 c NEW SOLUTION FOUND: 950 @ 204.643 c NEW SOLUTION FOUND: 949 @ 205.325 c NEW SOLUTION FOUND: 947 @ 208.569 c NEW SOLUTION FOUND: 946 @ 209.335 c NEW SOLUTION FOUND: 943 @ 213.526 c NEW SOLUTION FOUND: 942 @ 214.264 c NEW SOLUTION FOUND: 941 @ 217.871 c NEW SOLUTION FOUND: 939 @ 218.224 c NEW SOLUTION FOUND: 938 @ 219.417 c NEW SOLUTION FOUND: 936 @ 221.634 c NEW SOLUTION FOUND: 935 @ 222.046 c NEW SOLUTION FOUND: 934 @ 224.509 c NEW SOLUTION FOUND: 933 @ 225.552 c NEW SOLUTION FOUND: 932 @ 226.336 c NEW SOLUTION FOUND: 930 @ 226.684 c NEW SOLUTION FOUND: 929 @ 227.937 c NEW SOLUTION FOUND: 928 @ 229.8 c NEW SOLUTION FOUND: 927 @ 230.586 c NEW SOLUTION FOUND: 925 @ 232.201 c NEW SOLUTION FOUND: 924 @ 232.601 c NEW SOLUTION FOUND: 923 @ 234.311 c NEW SOLUTION FOUND: 922 @ 235.048 c NEW SOLUTION FOUND: 921 @ 235.616 c NEW SOLUTION FOUND: 918 @ 236.391 c NEW SOLUTION FOUND: 917 @ 237.106 c NEW SOLUTION FOUND: 915 @ 240.627 c NEW SOLUTION FOUND: 914 @ 241.381 c NEW SOLUTION FOUND: 911 @ 245.781 c NEW SOLUTION FOUND: 910 @ 246.533 c NEW SOLUTION FOUND: 909 @ 250.408 c NEW SOLUTION FOUND: 907 @ 250.755 c NEW SOLUTION FOUND: 906 @ 252.015 c NEW SOLUTION FOUND: 903 @ 255.581 c NEW SOLUTION FOUND: 902 @ 256.282 c NEW SOLUTION FOUND: 900 @ 260.01 c NEW SOLUTION FOUND: 899 @ 260.782 c NEW SOLUTION FOUND: 898 @ 263.389 c NEW SOLUTION FOUND: 897 @ 263.866 c NEW SOLUTION FOUND: 896 @ 266.566 c NEW SOLUTION FOUND: 895 @ 267.364 c NEW SOLUTION FOUND: 894 @ 268.345 c NEW SOLUTION FOUND: 891 @ 269.113 c NEW SOLUTION FOUND: 890 @ 270.483 c NEW SOLUTION FOUND: 887 @ 275.638 c NEW SOLUTION FOUND: 886 @ 276.334 c NEW SOLUTION FOUND: 883 @ 282.191 c NEW SOLUTION FOUND: 882 @ 282.876 c NEW SOLUTION FOUND: 879 @ 289.247 c NEW SOLUTION FOUND: 878 @ 289.992 c NEW SOLUTION FOUND: 877 @ 296.097 c NEW SOLUTION FOUND: 875 @ 296.432 c NEW SOLUTION FOUND: 874 @ 297.642 c NEW SOLUTION FOUND: 871 @ 302.988 c NEW SOLUTION FOUND: 870 @ 303.737 c NEW SOLUTION FOUND: 867 @ 310.068 c NEW SOLUTION FOUND: 866 @ 310.907 c NEW SOLUTION FOUND: 863 @ 316.911 c NEW SOLUTION FOUND: 862 @ 318.336 c NEW SOLUTION FOUND: 859 @ 323.465 c NEW SOLUTION FOUND: 858 @ 324.208 c NEW SOLUTION FOUND: 857 @ 329.529 c NEW SOLUTION FOUND: 854 @ 330.357 c NEW SOLUTION FOUND: 853 @ 331.429 c NEW SOLUTION FOUND: 851 @ 336.438 c NEW SOLUTION FOUND: 850 @ 337.347 c NEW SOLUTION FOUND: 847 @ 343.996 c NEW SOLUTION FOUND: 846 @ 344.925 c NEW SOLUTION FOUND: 843 @ 350.904 c NEW SOLUTION FOUND: 842 @ 352.472 c NEW SOLUTION FOUND: 839 @ 357.927 c NEW SOLUTION FOUND: 838 @ 358.848 c NEW SOLUTION FOUND: 835 @ 364.792 c NEW SOLUTION FOUND: 834 @ 366.498 c NEW SOLUTION FOUND: 831 @ 371.882 c NEW SOLUTION FOUND: 830 @ 372.683 c NEW SOLUTION FOUND: 828 @ 379.07 c NEW SOLUTION FOUND: 827 @ 380.05 c NEW SOLUTION FOUND: 826 @ 384.825 c NEW SOLUTION FOUND: 825 @ 385.976 c NEW SOLUTION FOUND: 824 @ 389.546 c NEW SOLUTION FOUND: 823 @ 390.532 c NEW SOLUTION FOUND: 822 @ 394.593 c NEW SOLUTION FOUND: 821 @ 395.746 c NEW SOLUTION FOUND: 820 @ 399.751 c NEW SOLUTION FOUND: 819 @ 400.756 c NEW SOLUTION FOUND: 818 @ 405.812 c NEW SOLUTION FOUND: 817 @ 406.717 c NEW SOLUTION FOUND: 816 @ 409.764 c NEW SOLUTION FOUND: 815 @ 410.706 c NEW SOLUTION FOUND: 813 @ 416.07 c NEW SOLUTION FOUND: 812 @ 416.962 c NEW SOLUTION FOUND: 811 @ 421.296 c NEW SOLUTION FOUND: 810 @ 422.49 c NEW SOLUTION FOUND: 809 @ 426.492 c NEW SOLUTION FOUND: 808 @ 427.424 c NEW SOLUTION FOUND: 807 @ 431.189 c NEW SOLUTION FOUND: 806 @ 432.373 c NEW SOLUTION FOUND: 805 @ 436.426 c NEW SOLUTION FOUND: 804 @ 437.336 c NEW SOLUTION FOUND: 803 @ 440.99 c NEW SOLUTION FOUND: 802 @ 442.138 c NEW SOLUTION FOUND: 801 @ 446.183 c NEW SOLUTION FOUND: 800 @ 447.106 c NEW SOLUTION FOUND: 799 @ 450.727 c NEW SOLUTION FOUND: 798 @ 451.89 c NEW SOLUTION FOUND: 797 @ 455.869 c NEW SOLUTION FOUND: 796 @ 456.8 c NEW SOLUTION FOUND: 795 @ 460.549 c NEW SOLUTION FOUND: 794 @ 461.706 c NEW SOLUTION FOUND: 792 @ 466.126 c NEW SOLUTION FOUND: 791 @ 467.12 c NEW SOLUTION FOUND: 790 @ 472.43 c NEW SOLUTION FOUND: 789 @ 473.369 c NEW SOLUTION FOUND: 788 @ 476.201 c NEW SOLUTION FOUND: 787 @ 477.085 c NEW SOLUTION FOUND: 786 @ 481.632 c NEW SOLUTION FOUND: 785 @ 482.55 c NEW SOLUTION FOUND: 783 @ 485.716 c NEW SOLUTION FOUND: 782 @ 486.614 c NEW SOLUTION FOUND: 781 @ 491.177 c NEW SOLUTION FOUND: 780 @ 492.111 c NEW SOLUTION FOUND: 779 @ 495.592 c NEW SOLUTION FOUND: 778 @ 496.705 c NEW SOLUTION FOUND: 777 @ 500.564 c NEW SOLUTION FOUND: 776 @ 501.511 c NEW SOLUTION FOUND: 775 @ 504.889 c NEW SOLUTION FOUND: 774 @ 505.937 c NEW SOLUTION FOUND: 773 @ 509.685 c NEW SOLUTION FOUND: 772 @ 510.586 c NEW SOLUTION FOUND: 771 @ 514.09 c NEW SOLUTION FOUND: 770 @ 515.138 c NEW SOLUTION FOUND: 769 @ 518.762 c NEW SOLUTION FOUND: 768 @ 519.658 c NEW SOLUTION FOUND: 767 @ 522.983 c NEW SOLUTION FOUND: 766 @ 524.058 c NEW SOLUTION FOUND: 764 @ 528.108 c NEW SOLUTION FOUND: 763 @ 529.031 c NEW SOLUTION FOUND: 762 @ 533.883 c NEW SOLUTION FOUND: 761 @ 534.734 c NEW SOLUTION FOUND: 760 @ 537.281 c NEW SOLUTION FOUND: 759 @ 538.184 c NEW SOLUTION FOUND: 758 @ 542.364 c NEW SOLUTION FOUND: 757 @ 543.153 c NEW SOLUTION FOUND: 756 @ 545.663 c NEW SOLUTION FOUND: 755 @ 546.483 c NEW SOLUTION FOUND: 754 @ 550.601 c NEW SOLUTION FOUND: 753 @ 551.214 c NEW SOLUTION FOUND: 751 @ 553.713 c NEW SOLUTION FOUND: 750 @ 554.51 c NEW SOLUTION FOUND: 749 @ 557.006 c NEW SOLUTION FOUND: 748 @ 557.825 c NEW SOLUTION FOUND: 747 @ 561.266 c NEW SOLUTION FOUND: 746 @ 564.006 c NEW SOLUTION FOUND: 745 @ 564.873 c NEW SOLUTION FOUND: 744 @ 568.533 c NEW SOLUTION FOUND: 743 @ 571.038 c NEW SOLUTION FOUND: 742 @ 574.07 c NEW SOLUTION FOUND: 741 @ 577.73 c NEW SOLUTION FOUND: 740 @ 578.535 c NEW SOLUTION FOUND: 739 @ 580.692 c NEW SOLUTION FOUND: 738 @ 582.911 c NEW SOLUTION FOUND: 737 @ 585.971 c NEW SOLUTION FOUND: 736 @ 589.549 c NEW SOLUTION FOUND: 735 @ 590.402 c NEW SOLUTION FOUND: 734 @ 592.208 c NEW SOLUTION FOUND: 733 @ 594.405 c NEW SOLUTION FOUND: 732 @ 597.473 c NEW SOLUTION FOUND: 730 @ 601.251 c NEW SOLUTION FOUND: 729 @ 601.966 c NEW SOLUTION FOUND: 728 @ 603.91 c NEW SOLUTION FOUND: 727 @ 606.163 c NEW SOLUTION FOUND: 726 @ 606.994 c NEW SOLUTION FOUND: 725 @ 610.399 c NEW SOLUTION FOUND: 724 @ 612.604 c NEW SOLUTION FOUND: 723 @ 615.784 c NEW SOLUTION FOUND: 721 @ 619.425 c NEW SOLUTION FOUND: 719 @ 623.437 c NEW SOLUTION FOUND: 717 @ 627.696 c NEW SOLUTION FOUND: 715 @ 631.347 c NEW SOLUTION FOUND: 714 @ 638.514 c NEW SOLUTION FOUND: 711 @ 639.271 c NEW SOLUTION FOUND: 710 @ 645.952 c NEW SOLUTION FOUND: 707 @ 646.685 c NEW SOLUTION FOUND: 705 @ 653.036 c NEW SOLUTION FOUND: 702 @ 653.727 c NEW SOLUTION FOUND: 701 @ 660.613 c NEW SOLUTION FOUND: 698 @ 661.316 c NEW SOLUTION FOUND: 697 @ 667.922 c NEW SOLUTION FOUND: 694 @ 668.854 c NEW SOLUTION FOUND: 693 @ 679.262 c NEW SOLUTION FOUND: 690 @ 680.044 c NEW SOLUTION FOUND: 689 @ 687.735 c NEW SOLUTION FOUND: 686 @ 688.453 c NEW SOLUTION FOUND: 685 @ 695.678 c NEW SOLUTION FOUND: 682 @ 696.595 c NEW SOLUTION FOUND: 681 @ 699.39 c NEW SOLUTION FOUND: 678 @ 700.201 c NEW SOLUTION FOUND: 677 @ 707.526 c NEW SOLUTION FOUND: 674 @ 708.36 c NEW SOLUTION FOUND: 671 @ 719.835 c NEW SOLUTION FOUND: 670 @ 721.913 c NEW SOLUTION FOUND: 667 @ 722.726 c NEW SOLUTION FOUND: 666 @ 731.475 c NEW SOLUTION FOUND: 665 @ 731.591 c NEW SOLUTION FOUND: 663 @ 735.26 c NEW SOLUTION FOUND: 660 @ 736.074 c NEW SOLUTION FOUND: 658 @ 742.543 c NEW SOLUTION FOUND: 655 @ 743.355 c NEW SOLUTION FOUND: 654 @ 763.791 c NEW SOLUTION FOUND: 652 @ 764.304 c NEW SOLUTION FOUND: 651 @ 764.366 c NEW SOLUTION FOUND: 649 @ 771.475 c NEW SOLUTION FOUND: 646 @ 772.206 c NEW SOLUTION FOUND: 644 @ 799.89 c NEW SOLUTION FOUND: 643 @ 799.921 c NEW SOLUTION FOUND: 641 @ 811.674 c NEW SOLUTION FOUND: 638 @ 812.411 c NEW SOLUTION FOUND: 637 @ 816.991 c NEW SOLUTION FOUND: 635 @ 837.522 c NEW SOLUTION FOUND: 632 @ 838.396 c NEW SOLUTION FOUND: 631 @ 845.413 c NEW SOLUTION FOUND: 630 @ 866.149 c NEW SOLUTION FOUND: 629 @ 866.181 c NEW SOLUTION FOUND: 628 @ 868.826 c NEW SOLUTION FOUND: 627 @ 888.359 c NEW SOLUTION FOUND: 624 @ 889.295 c NEW SOLUTION FOUND: 623 @ 895.661 c NEW SOLUTION FOUND: 622 @ 901.013 c NEW SOLUTION FOUND: 621 @ 935.073 c NEW SOLUTION FOUND: 618 @ 935.821 c NEW SOLUTION FOUND: 617 @ 952.235 c NEW SOLUTION FOUND: 616 @ 953.369 c NEW SOLUTION FOUND: 615 @ 992.926 c NEW SOLUTION FOUND: 612 @ 993.766 c NEW SOLUTION FOUND: 611 @ 1001.81 c NEW SOLUTION FOUND: 610 @ 1010.66 c NEW SOLUTION FOUND: 609 @ 1063.27 c NEW SOLUTION FOUND: 605 @ 1064.91 c NEW SOLUTION FOUND: 604 @ 1128.06 c NEW SOLUTION FOUND: 600 @ 1129.58 c NEW SOLUTION FOUND: 599 @ 1147.69 s SATISFIABLE v -v785 v740 v420 v82 -v860 v744 v418 -v859 -v784 -v501 v307 v85 -v788 v419 -v86 v63 -v861 -v504 v424 v354 v306 v62 v863 -v789 -v573 -v505 v64 -v572 v478 -v441 v353 v312 v65 -v27 -v864 v574 v477 v310 -v102 v66 v866 -v810 v575 v479 -v440 v359 -v262 v185 -v101 v73 -v26 -v867 -v814 v576 -v482 v357 v311 -v190 v107 -v67 -v30 -v697 v583 v481 v446 -v399 -v315 v265 -v216 v189 -v143 v106 -v68 -v701 -v577 v486 v444 -v358 -v266 v142 v108 -v69 -v31 -v2 -v578 v485 v398 -v362 -v192 -v166 v144 v112 v1 v660 -v579 -v483 v445 -v193 -v147 v111 -v7 v659 -v594 -v558 -v484 -v449 -v404 v196 v165 v146 -v109 -v6 v661 v598 -v557 -v402 v194 v151 -v110 -v8 v662 -v559 -v332 -v195 -v171 v150 -v12 v663 v562 -v403 -v169 v148 -v11 v668 v561 v407 v335 v149 -v9 v664 v563 v336 -v170 -v10 v739 v421 v81 -v855 v743 v854 -v786 v500 v425 -v302 v87 -v790 v423 -v862 -v506 v349 v308 v865 v869 -v835 v792 v436 v355 v313 -v90 v76 v868 -v839 -v793 v77 v809 v586 -v509 -v442 v360 v316 v261 -v212 v72 -v28 v813 v587 v480 v314 v184 v103 -v32 v696 v582 v494 v447 -v394 v363 v267 v215 v186 v104 v70 v700 v490 v361 v191 v105 v580 v489 v450 v400 v188 -v161 v116 -v34 v448 v197 v145 -v35 v3 v593 -v542 -v405 -v270 v167 -v159 v4 v597 -v155 v5 v671 v408 v331 -v172 -v154 v16 v672 -v560 v406 v667 v571 -v466 v337 v173 -v567 v470 v174 -v781 v741 v496 v422 v83 v745 v426 -v787 v502 v88 v856 -v791 v301 v857 v795 v747 v507 v303 v91 -v75 v858 v794 v748 v348 v309 v89 v74 -v22 v873 v834 -v761 -v585 v510 v350 v305 v257 v21 v838 v765 v584 v508 v435 v356 v317 v811 v491 v437 v352 v263 v211 -v29 v815 v493 v443 v364 -v33 v698 v439 v268 v217 v119 -v71 -v37 v702 v451 v393 v187 v120 -v36 v817 -v581 -v538 v487 v395 v271 v205 -v156 v115 -v818 v401 v269 v201 v160 -v158 -v704 -v670 v595 v541 -v488 v397 v327 v220 v200 v162 v113 -v19 -v705 v669 v599 v409 v168 -v20 -v722 v568 v333 v164 -v152 v15 -v726 v570 v175 v665 v601 v465 v338 -v153 -v131 v13 -v602 -v566 v469 v742 v434 -v79 -v780 v746 v495 v430 v84 -v782 v750 v497 v429 v80 v783 v749 v503 v92 v876 v799 v499 v877 v805 v511 v304 v872 v836 v804 v760 v325 v207 v840 v764 -v692 -v492 v351 v321 v256 v23 -v884 v870 v812 v691 v372 -v320 v258 v213 -v118 v24 v888 v816 v438 -v368 v264 v117 v25 v842 v820 v699 v459 -v367 v260 v218 v202 -v41 -v843 v819 v703 v589 -v455 v272 v204 -v157 -v707 v588 v537 -v454 v221 -v18 -v706 v396 v219 -v17 v596 v543 -v417 -v198 -v114 v600 -v569 v413 v326 v163 v721 v604 v412 v328 -v199 v183 -v127 v725 v603 v334 v179 -v666 -v546 v467 v330 v178 -v130 -v14 -v564 v471 v339 v903 v433 v78 v875 v802 v754 v427 v100 v874 -v830 v803 v498 v96 v829 v798 v519 v428 v322 -v95 -v515 v324 v837 v796 v762 -v514 v369 v841 v806 v766 v371 v206 v883 -v871 v845 v807 -v456 -v318 -v291 v208 v44 v887 v844 v808 v693 v458 v259 v214 -v203 v45 -v824 v768 v694 v533 v383 -v365 -v319 v280 v210 -v40 v769 v695 v276 v222 v711 -v619 v539 -v452 -v414 -v366 -v275 -v38 v623 v590 -v416 v591 v544 -v453 -v180 v592 -v461 v182 v723 v608 -v547 v460 v410 -v126 v727 -v545 v329 v468 -v411 -v347 v176 -v132 -v565 v472 v343 v801 v431 v97 v800 v99 v753 v654 v516 -v756 v518 v323 v755 v751 v521 -v93 v831 -v525 v370 v832 -v797 v763 -v512 -v287 -v249 -v94 -v43 v833 v767 -v457 -v42 v885 v849 v827 v771 -v513 -v379 v290 v277 v889 v828 v770 v279 v209 -v823 v714 v382 v230 v715 v532 -v415 v226 v891 -v821 -v710 -v641 -v618 v534 -v273 v225 -v39 v892 -v717 -v645 v622 v540 -v181 v716 -v708 v679 v611 v536 -v274 -v122 v55 v683 v612 -v548 v724 v607 -v344 -v128 v728 v462 -v346 v729 v605 v463 v240 -v177 -v133 v730 v464 v342 v904 v432 -v98 -v517 v653 -v752 v520 v245 -v879 v757 -v524 -v878 v852 v826 v758 v286 -v248 v853 v825 v759 -v278 v886 v848 v775 -v713 v378 v292 v227 v890 v712 v229 v894 -v846 v384 v893 -v822 -v640 v620 -v610 v295 -v223 -v51 -v644 v624 -v609 v535 -v709 v678 v556 v387 -v224 v54 v718 v682 v552 -v345 -v121 v719 v626 v551 v236 v123 v720 -v627 -v129 v734 -v606 v475 v239 v125 v476 -v340 -v134 v655 -v851 v522 -v282 v244 -v850 -v526 -v778 -v657 -v374 v288 -v250 v880 v779 v228 v881 v774 -v528 v380 v293 v882 -v614 -v529 v898 -v847 -v772 v613 v385 v296 v253 v294 v642 v621 -v553 v388 -v50 v646 v625 v555 v386 v680 v629 v56 v684 v628 v737 v648 -v549 -v474 v235 v738 -v649 -v473 v124 v733 v686 -v550 v241 v141 -v59 v687 -v341 v137 -v777 v658 v523 v246 -v776 v656 -v527 v281 v531 v283 -v251 v530 -v373 v289 v901 -v375 v285 v254 v902 -v636 v381 v297 v252 v897 -v773 v635 v377 -v48 v674 v615 -v554 v389 -v895 v673 v643 v616 v52 v647 v617 -v736 v681 v651 v632 -v233 v57 -v735 v685 v650 v689 v237 -v138 v60 v688 v140 v58 v731 v242 v135 v247 -v900 v905 v899 v284 v255 v300 v376 -v298 -v392 -v299 v637 -v390 -v47 -v896 v638 -v634 -v391 -v46 v675 v639 v633 v53 v676 -v652 v630 v49 v677 -v232 -v139 v61 v690 -v631 -v231 v238 v732 v234 -v243 v136 one c Exit Code: 10 c Total time: 1175.01 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.91 0.97 0.99 2/55 4350 Raw data (stat): 4350 (runsolver) R 4349 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 754632197 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0009 s] Raw data (loadavg): 0.93 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 8440 0 0 0 970 25 0 0 25 0 1 0 754632197 8830976 1473 4294967295 134512640 134714508 3221221776 3221220160 1074153736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+20.002 s] Raw data (loadavg): 0.94 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 23749 0 0 0 1932 63 0 0 25 0 1 0 754632197 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+30.0022 s] Raw data (loadavg): 0.95 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 41496 0 0 0 2889 106 0 0 25 0 1 0 754632197 8830976 1473 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+40.0027 s] Raw data (loadavg): 0.95 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 61540 0 0 0 3838 156 0 0 25 0 1 0 754632197 9420800 1545 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2228 1543 1111 63 0 2165 0 vsize: 9200 [startup+50.0025 s] Raw data (loadavg): 0.96 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 81699 0 0 0 4788 207 0 0 25 0 1 0 754632197 9420800 1617 4294967295 134512640 134714508 3221221776 3221219600 1075823363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2300 1617 1111 63 0 2237 0 vsize: 9200 [startup+60.003 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 102011 0 0 0 5736 258 0 0 25 0 1 0 754632197 10440704 1729 4294967295 134512640 134714508 3221221776 3221219200 1076062808 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2549 1729 1111 63 0 2486 0 vsize: 10196 [startup+70.0037 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 121601 0 0 0 6685 309 0 0 25 0 1 0 754632197 10149888 1795 4294967295 134512640 134714508 3221221776 3221220640 134643241 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2478 1795 1111 63 0 2415 0 vsize: 9912 [startup+80.0033 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 141940 0 0 0 7634 360 0 0 25 0 1 0 754632197 10534912 1887 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2572 1887 1111 63 0 2509 0 vsize: 10288 [startup+90.0036 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 162858 0 0 0 8580 414 0 0 25 0 1 0 754632197 11591680 1981 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2830 1981 1111 63 0 2767 0 vsize: 11320 [startup+100.003 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 183932 0 0 0 9525 469 0 0 25 0 1 0 754632197 11243520 2062 4294967295 134512640 134714508 3221221776 3221220088 1074138155 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2745 2062 1111 63 0 2682 0 vsize: 10980 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 204722 0 0 0 10476 519 0 0 25 0 1 0 754632197 11599872 2149 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2832 2149 1111 63 0 2769 0 vsize: 11328 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 225780 0 0 0 11422 573 0 0 25 0 1 0 754632197 11968512 2239 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2922 2239 1111 63 0 2859 0 vsize: 11688 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 246409 0 0 0 12370 625 0 0 25 0 1 0 754632197 12906496 2331 4294967295 134512640 134714508 3221221776 3221218816 1075971425 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3008 2325 1111 63 0 2945 0 vsize: 12604 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 267158 0 0 0 13321 674 0 0 25 0 1 0 754632197 12668928 2410 4294967295 134512640 134714508 3221221776 3221220192 1074116578 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3093 2410 1111 63 0 3030 0 vsize: 12372 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 287999 0 0 0 14269 727 0 0 25 0 1 0 754632197 13045760 2502 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3185 2502 1111 63 0 3122 0 vsize: 12740 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 308549 0 0 0 15216 779 0 0 25 0 1 0 754632197 13406208 2590 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3273 2590 1111 63 0 3210 0 vsize: 13092 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 329428 0 0 0 16163 833 0 0 25 0 1 0 754632197 13783040 2682 4294967295 134512640 134714508 3221221776 3221220176 1074153669 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3365 2682 1111 63 0 3302 0 vsize: 13460 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 349770 0 0 0 17112 884 0 0 25 0 1 0 754632197 14123008 2765 4294967295 134512640 134714508 3221221776 3221220040 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3448 2765 1111 63 0 3385 0 vsize: 13792 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 370202 0 0 0 18061 935 0 0 25 0 1 0 754632197 14508032 2859 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3542 2859 1111 63 0 3479 0 vsize: 14168 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 390608 0 0 0 19008 988 0 0 25 0 1 0 754632197 14860288 2945 4294967295 134512640 134714508 3221221776 3221220264 1075549925 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3628 2945 1111 63 0 3565 0 vsize: 14512 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 411218 0 0 0 19955 1041 0 0 25 0 1 0 754632197 15261696 3039 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3869 3043 1111 63 0 3806 0 vsize: 14904 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 431545 0 0 0 20904 1092 0 0 25 0 1 0 754632197 16318464 3138 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3984 3150 1111 63 0 3921 0 vsize: 15936 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 452033 0 0 0 21855 1142 0 0 25 0 1 0 754632197 15970304 3215 4294967295 134512640 134714508 3221221776 3221219916 1077379908 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3899 3215 1111 63 0 3836 0 vsize: 15596 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 472381 0 0 0 22805 1192 0 0 25 0 1 0 754632197 16343040 3307 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3990 3307 1111 63 0 3927 0 vsize: 15960 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 492762 0 0 0 23753 1244 0 0 25 0 1 0 754632197 16793600 3396 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4085 3396 1111 63 0 4022 0 vsize: 16400 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 513068 0 0 0 24704 1294 0 0 25 0 1 0 754632197 17108992 3486 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4177 3486 1111 63 0 4114 0 vsize: 16708 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 533203 0 0 0 25656 1342 0 0 25 0 1 0 754632197 17444864 3576 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4259 3576 1111 63 0 4196 0 vsize: 17036 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 553096 0 0 0 26608 1389 0 0 25 0 1 0 754632197 17801216 3663 4294967295 134512640 134714508 3221221776 3221219888 1074867352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4346 3663 1111 63 0 4283 0 vsize: 17384 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 573294 0 0 0 27556 1442 0 0 25 0 1 0 754632197 18178048 3755 4294967295 134512640 134714508 3221221776 3221220176 1074153812 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4438 3755 1111 63 0 4375 0 vsize: 17752 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 592941 0 0 0 28506 1492 0 0 25 0 1 0 754632197 18554880 3846 4294967295 134512640 134714508 3221221776 3221220176 1074153794 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4530 3846 1111 63 0 4467 0 vsize: 18120 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 612673 0 0 0 29456 1542 0 0 25 0 1 0 754632197 19193856 3938 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4793 3943 1111 63 0 4730 0 vsize: 18744 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 632220 0 0 0 30405 1593 0 0 25 0 1 0 754632197 19279872 4024 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4707 4024 1111 63 0 4644 0 vsize: 18828 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 651874 0 0 0 31359 1640 0 0 25 0 1 0 754632197 20361216 4135 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4971 4139 1111 63 0 4908 0 vsize: 19884 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 671654 0 0 0 32310 1688 0 0 25 0 1 0 754632197 20742144 4237 4294967295 134512640 134714508 3221221776 3221218928 1075969842 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4914 4209 1111 63 0 4851 0 vsize: 20256 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 691290 0 0 0 33261 1737 0 0 25 0 1 0 754632197 20398080 4295 4294967295 134512640 134714508 3221221776 3221219776 1074056563 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4980 4295 1111 63 0 4917 0 vsize: 19920 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 711045 0 0 0 34210 1788 0 0 25 0 1 0 754632197 20762624 4386 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5069 4386 1111 63 0 5006 0 vsize: 20276 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 730264 0 0 0 35162 1837 0 0 25 0 1 0 754632197 21110784 4471 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5154 4471 1111 63 0 5091 0 vsize: 20616 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 750020 0 0 0 36111 1888 0 0 25 0 1 0 754632197 21516288 4570 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5253 4570 1111 63 0 5190 0 vsize: 21012 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 769599 0 0 0 37062 1937 0 0 25 0 1 0 754632197 21897216 4663 4294967295 134512640 134714508 3221221776 3221219600 1075823363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5346 4663 1111 63 0 5283 0 vsize: 21384 [startup+400.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 789103 0 0 0 38017 1983 0 0 25 0 1 0 754632197 22278144 4756 4294967295 134512640 134714508 3221221776 3221220416 134644971 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5439 4756 1111 63 0 5376 0 vsize: 21756 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 808406 0 0 0 38973 2027 0 0 25 0 1 0 754632197 22659072 4849 4294967295 134512640 134714508 3221221776 3221219960 1077377467 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5532 4849 1111 63 0 5469 0 vsize: 22128 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 827321 0 0 0 39925 2075 0 0 25 0 1 0 754632197 23023616 4938 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5621 4938 1111 63 0 5558 0 vsize: 22484 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 846266 0 0 0 40876 2124 0 0 25 0 1 0 754632197 23408640 5031 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5715 5031 1111 63 0 5652 0 vsize: 22860 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 865109 0 0 0 41829 2171 0 0 25 0 1 0 754632197 23810048 5130 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5813 5130 1111 63 0 5750 0 vsize: 23252 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 883837 0 0 0 42782 2218 0 0 25 0 1 0 754632197 24174592 5219 4294967295 134512640 134714508 3221221776 3221220128 1074142734 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5902 5219 1111 63 0 5839 0 vsize: 23608 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 902567 0 0 0 43733 2268 0 0 25 0 1 0 754632197 24551424 5310 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5991 5308 1111 63 0 5928 0 vsize: 23976 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 921515 0 0 0 44688 2313 0 0 25 0 1 0 754632197 24911872 5398 4294967295 134512640 134714508 3221221776 3221220128 1074153736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6082 5398 1111 63 0 6019 0 vsize: 24328 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 940376 0 0 0 45638 2363 0 0 25 0 1 0 754632197 25280512 5489 4294967295 134512640 134714508 3221221776 3221220416 134645630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6172 5489 1111 63 0 6109 0 vsize: 24688 [startup+490.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 959083 0 0 0 46587 2414 0 0 25 0 1 0 754632197 26390528 5596 4294967295 134512640 134714508 3221221776 3221218776 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6443 5596 1111 63 0 6380 0 vsize: 25772 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 977592 0 0 0 47536 2466 0 0 25 0 1 0 754632197 26050560 5677 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6360 5677 1111 63 0 6297 0 vsize: 25440 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 996234 0 0 0 48493 2508 0 0 25 0 1 0 754632197 26427392 5769 4294967295 134512640 134714508 3221221776 3221220176 1074153669 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6452 5769 1111 63 0 6389 0 vsize: 25808 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1014792 0 0 0 49449 2552 0 0 25 0 1 0 754632197 26800128 5860 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6543 5860 1111 63 0 6480 0 vsize: 26172 [startup+530.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1033190 0 0 0 50399 2603 0 0 25 0 1 0 754632197 27156480 5947 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6630 5947 1111 63 0 6567 0 vsize: 26520 [startup+540.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1051646 0 0 0 51351 2651 0 0 25 0 1 0 754632197 27537408 6039 4294967295 134512640 134714508 3221221776 3221219960 1077377495 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6723 6039 1111 63 0 6660 0 vsize: 26892 [startup+550.014 s] Raw data (loadavg): 1.07 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1069972 0 0 0 52306 2696 0 0 25 0 1 0 754632197 27906048 6129 4294967295 134512640 134714508 3221221776 3221219780 1077782939 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6813 6129 1111 63 0 6750 0 vsize: 27252 [startup+560.014 s] Raw data (loadavg): 1.06 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1088362 0 0 0 53259 2743 0 0 25 0 1 0 754632197 28278784 6220 4294967295 134512640 134714508 3221221776 3221220176 1074153673 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6904 6220 1111 63 0 6841 0 vsize: 27616 [startup+570.014 s] Raw data (loadavg): 1.05 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1106863 0 0 0 54213 2789 0 0 25 0 1 0 754632197 28663808 6315 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6998 6315 1111 63 0 6935 0 vsize: 27992 [startup+580.014 s] Raw data (loadavg): 1.04 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1125210 0 0 0 55162 2840 0 0 25 0 1 0 754632197 29089792 6412 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7102 6412 1111 63 0 7039 0 vsize: 28408 [startup+590.014 s] Raw data (loadavg): 1.04 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1143502 0 0 0 56115 2888 0 0 25 0 1 0 754632197 29405184 6496 4294967295 134512640 134714508 3221221776 3221220096 1074146351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7179 6496 1111 63 0 7116 0 vsize: 28716 [startup+600.014 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1161477 0 0 0 57071 2932 0 0 25 0 1 0 754632197 30396416 6617 4294967295 134512640 134714508 3221221776 3221217952 1075561532 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7278 6592 1111 63 0 7215 0 vsize: 29684 [startup+610.015 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1178871 0 0 0 58024 2979 0 0 25 0 1 0 754632197 30191616 6685 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7371 6685 1111 63 0 7308 0 vsize: 29484 [startup+620.016 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1196113 0 0 0 58981 3022 0 0 25 0 1 0 754632197 30605312 6780 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7472 6780 1111 63 0 7409 0 vsize: 29888 [startup+630.016 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1212962 0 0 0 59940 3063 0 0 25 0 1 0 754632197 31526912 6891 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7697 6891 1111 63 0 7634 0 vsize: 30788 [startup+640.016 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1229491 0 0 0 60899 3104 0 0 25 0 1 0 754632197 31297536 6955 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7641 6955 1111 63 0 7578 0 vsize: 30564 [startup+650.016 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1246141 0 0 0 61863 3141 0 0 25 0 1 0 754632197 31735808 7060 4294967295 134512640 134714508 3221221776 3221220160 1074153736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7748 7060 1111 63 0 7685 0 vsize: 30992 [startup+660.017 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1262474 0 0 0 62826 3177 0 0 25 0 1 0 754632197 32129024 7147 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7844 7147 1111 63 0 7781 0 vsize: 31376 [startup+670.017 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1278728 0 0 0 63788 3216 0 0 25 0 1 0 754632197 32493568 7240 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7933 7240 1111 63 0 7870 0 vsize: 31732 [startup+680.017 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1294986 0 0 0 64748 3256 0 0 25 0 1 0 754632197 32825344 7324 4294967295 134512640 134714508 3221221776 3221219740 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8014 7324 1111 63 0 7951 0 vsize: 32056 [startup+690.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1311218 0 0 0 65709 3295 0 0 25 0 1 0 754632197 33193984 7419 4294967295 134512640 134714508 3221221776 3221220176 1074153812 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8104 7419 1111 63 0 8041 0 vsize: 32416 [startup+700.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1327536 0 0 0 66672 3333 0 0 25 0 1 0 754632197 33558528 7504 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8193 7504 1111 63 0 8130 0 vsize: 32772 [startup+710.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1343656 0 0 0 67631 3374 0 0 25 0 1 0 754632197 34009088 7608 4294967295 134512640 134714508 3221221776 3221219760 1074138460 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8303 7608 1111 63 0 8240 0 vsize: 33212 [startup+720.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1359256 0 0 0 68595 3410 0 0 25 0 1 0 754632197 34390016 7707 4294967295 134512640 134714508 3221221776 3221220176 1074118790 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8396 7707 1111 63 0 8333 0 vsize: 33584 [startup+730.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1374862 0 0 0 69555 3449 0 0 25 0 1 0 754632197 34697216 7786 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8471 7786 1111 63 0 8408 0 vsize: 33884 [startup+740.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1390605 0 0 0 70517 3488 0 0 25 0 1 0 754632197 35086336 7875 4294967295 134512640 134714508 3221221776 3221219776 1074138432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8566 7875 1111 63 0 8503 0 vsize: 34264 [startup+750.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1406149 0 0 0 71481 3524 0 0 25 0 1 0 754632197 35442688 7968 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8653 7968 1111 63 0 8590 0 vsize: 34612 [startup+760.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1421324 0 0 0 72447 3559 0 0 25 0 1 0 754632197 35856384 8068 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8754 8068 1111 63 0 8691 0 vsize: 35016 [startup+770.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1436352 0 0 0 73413 3593 0 0 25 0 1 0 754632197 36282368 8164 4294967295 134512640 134714508 3221221776 3221220176 1074119071 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8858 8164 1111 63 0 8795 0 vsize: 35432 [startup+780.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1451489 0 0 0 74377 3629 0 0 25 0 1 0 754632197 37183488 8253 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9078 8253 1111 63 0 9015 0 vsize: 36312 [startup+790.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1466507 0 0 0 75340 3666 0 0 25 0 1 0 754632197 37097472 8340 4294967295 134512640 134714508 3221221776 3221219708 1077386340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9057 8340 1111 63 0 8994 0 vsize: 36228 [startup+800.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1481045 0 0 0 76305 3701 0 0 25 0 1 0 754632197 37351424 8436 4294967295 134512640 134714508 3221221776 3221219936 1075653703 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9119 8436 1111 63 0 9056 0 vsize: 36476 [startup+810.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1495659 0 0 0 77269 3738 0 0 25 0 1 0 754632197 37756928 8529 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9218 8529 1111 63 0 9155 0 vsize: 36872 [startup+820.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1510342 0 0 0 78232 3774 0 0 25 0 1 0 754632197 38785024 8643 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9469 8643 1111 63 0 9406 0 vsize: 37876 [startup+830.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1525424 0 0 0 79197 3809 0 0 25 0 1 0 754632197 38506496 8712 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9401 8712 1111 63 0 9338 0 vsize: 37604 [startup+840.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1540450 0 0 0 80161 3846 0 0 25 0 1 0 754632197 38846464 8799 4294967295 134512640 134714508 3221221776 3221220176 1074153766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9484 8799 1111 63 0 9421 0 vsize: 37936 [startup+850.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1555127 0 0 0 81123 3883 0 0 25 0 1 0 754632197 39235584 8890 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9579 8890 1111 63 0 9516 0 vsize: 38316 [startup+860.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1569596 0 0 0 82090 3918 0 0 25 0 1 0 754632197 39608320 8987 4294967295 134512640 134714508 3221221776 3221219744 1075809076 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9670 8987 1111 63 0 9607 0 vsize: 38680 [startup+870.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1584028 0 0 0 83053 3954 0 0 25 0 1 0 754632197 39964672 9074 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9757 9074 1111 63 0 9694 0 vsize: 39028 [startup+880.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1598289 0 0 0 84014 3993 0 0 25 0 1 0 754632197 40357888 9170 4294967295 134512640 134714508 3221221776 3221219352 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9853 9170 1111 63 0 9790 0 vsize: 39412 [startup+890.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1612854 0 0 0 84978 4030 0 0 25 0 1 0 754632197 40775680 9264 4294967295 134512640 134714508 3221221776 3221219608 1077378064 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9955 9264 1111 63 0 9892 0 vsize: 39820 [startup+900.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1626857 0 0 0 85944 4064 0 0 25 0 1 0 754632197 41103360 9352 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10035 9352 1111 63 0 9972 0 vsize: 40140 [startup+910.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1640856 0 0 0 86909 4099 0 0 25 0 1 0 754632197 41463808 9440 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10123 9440 1111 63 0 10060 0 vsize: 40492 [startup+920.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1655380 0 0 0 87873 4135 0 0 25 0 1 0 754632197 41877504 9538 4294967295 134512640 134714508 3221221776 3221219416 1077410163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10224 9538 1111 63 0 10161 0 vsize: 40896 [startup+930.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1669663 0 0 0 88839 4169 0 0 25 0 1 0 754632197 42270720 9634 4294967295 134512640 134714508 3221221776 3221220176 1074153660 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10320 9634 1111 63 0 10257 0 vsize: 41280 [startup+940.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1683913 0 0 0 89806 4202 0 0 25 0 1 0 754632197 42934272 9730 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10553 9732 1111 63 0 10490 0 vsize: 41928 [startup+950.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1698069 0 0 0 90771 4237 0 0 25 0 1 0 754632197 43032576 9818 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10506 9818 1111 63 0 10443 0 vsize: 42024 [startup+960.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1712047 0 0 0 91738 4271 0 0 25 0 1 0 754632197 43372544 9906 4294967295 134512640 134714508 3221221776 3221220176 1074153773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10589 9906 1111 63 0 10526 0 vsize: 42356 [startup+970.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1726380 0 0 0 92704 4305 0 0 25 0 1 0 754632197 43794432 10007 4294967295 134512640 134714508 3221221776 3221220416 134645643 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10692 10007 1111 63 0 10629 0 vsize: 42768 [startup+980.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1740452 0 0 0 93669 4340 0 0 25 0 1 0 754632197 44179456 10099 4294967295 134512640 134714508 3221221776 3221220048 1074056195 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10786 10099 1111 63 0 10723 0 vsize: 43144 [startup+990.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1754352 0 0 0 94636 4373 0 0 25 0 1 0 754632197 44552192 10194 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10877 10194 1111 63 0 10814 0 vsize: 43508 [startup+1000.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1768739 0 0 0 95601 4408 0 0 25 0 1 0 754632197 44888064 10276 4294967295 134512640 134714508 3221221776 3221220156 1074207648 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10959 10276 1111 63 0 10896 0 vsize: 43836 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1782635 0 0 0 96567 4443 0 0 25 0 1 0 754632197 45264896 10368 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11051 10368 1111 63 0 10988 0 vsize: 44204 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1796608 0 0 0 97532 4478 0 0 25 0 1 0 754632197 46358528 10492 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11318 10493 1111 63 0 11255 0 vsize: 45272 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1810910 0 0 0 98495 4515 0 0 25 0 1 0 754632197 46022656 10553 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11236 10553 1111 63 0 11173 0 vsize: 44944 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1824521 0 0 0 99463 4547 0 0 25 0 1 0 754632197 46428160 10652 4294967295 134512640 134714508 3221221776 3221219932 1074205872 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11335 10652 1111 63 0 11272 0 vsize: 45340 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1838093 0 0 0 100432 4579 0 0 25 0 1 0 754632197 46854144 10748 4294967295 134512640 134714508 3221221776 3221219504 1075828224 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11439 10748 1111 63 0 11376 0 vsize: 45756 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1851667 0 0 0 101399 4611 0 0 25 0 1 0 754632197 47194112 10839 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11522 10839 1111 63 0 11459 0 vsize: 46088 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1865771 0 0 0 102365 4646 0 0 25 0 1 0 754632197 47575040 10930 4294967295 134512640 134714508 3221221776 3221220416 134649103 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11615 10930 1111 63 0 11552 0 vsize: 46460 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1880440 0 0 0 103327 4683 0 0 25 0 1 0 754632197 47874048 11005 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11688 11005 1111 63 0 11625 0 vsize: 46752 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1894920 0 0 0 104292 4719 0 0 25 0 1 0 754632197 48279552 11104 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11787 11104 1111 63 0 11724 0 vsize: 47148 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1908905 0 0 0 105253 4758 0 0 25 0 1 0 754632197 48656384 11196 4294967295 134512640 134714508 3221221776 3221219504 1075828224 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11879 11196 1111 63 0 11816 0 vsize: 47516 [startup+1110.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1922543 0 0 0 106219 4793 0 0 25 0 1 0 754632197 49049600 11292 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11975 11292 1111 63 0 11912 0 vsize: 47900 [startup+1120.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1936383 0 0 0 107183 4828 0 0 25 0 1 0 754632197 50040832 11395 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12217 11395 1111 63 0 12154 0 vsize: 48868 [startup+1130.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1950108 0 0 0 108148 4863 0 0 25 0 1 0 754632197 49827840 11478 4294967295 134512640 134714508 3221221776 3221219756 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12165 11478 1111 63 0 12102 0 vsize: 48660 [startup+1140.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1963378 0 0 0 109117 4895 0 0 25 0 1 0 754632197 50155520 11562 4294967295 134512640 134714508 3221221776 3221220176 1074153766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12245 11562 1111 63 0 12182 0 vsize: 48980 [startup+1150.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1977310 0 0 0 110084 4928 0 0 25 0 1 0 754632197 51257344 11664 4294967295 134512640 134714508 3221221776 3221218848 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12514 11664 1111 63 0 12451 0 vsize: 50056 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 1991163 0 0 0 111046 4966 0 0 25 0 1 0 754632197 50921472 11749 4294967295 134512640 134714508 3221221776 3221220020 1077374134 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12432 11749 1111 63 0 12369 0 vsize: 49728 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 2005369 0 0 0 112009 5003 0 0 25 0 1 0 754632197 51281920 11837 4294967295 134512640 134714508 3221221776 3221220176 1074153753 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12520 11837 1111 63 0 12457 0 vsize: 50080 [startup+1174.96 s] Raw data (loadavg): 1.00 0.99 0.99 1/54 4350 Raw data (stat): 4350 (bsolo_lpr_cuts) R 4349 7876 7672 0 -1 0 2005369 0 0 0 112009 5003 0 0 25 0 1 0 754632197 51281920 11837 4294967295 134512640 134714508 3221221776 3221220176 1074153753 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12520 11837 1111 63 0 12457 0 vsize: 0 Child status: 10 Real time (s): 1174.96 CPU time (s): 1175.06 CPU user time (s): 1124.83 CPU system time (s): 50.2314 CPU usage (%): 100.008 Max. virtual memory (Kb): 50080 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 599 #### END VERIFIER DATA ####