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:12:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3331 boxname=wulflinc31 idbench=371 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: a89f4ed95903fddf213992506514bcf0 /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:98.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:98.opb IDLAUNCH: 3331 /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: 783916 kB Buffers: 42752 kB Cached: 185360 kB SwapCached: 1932 kB Active: 163284 kB Inactive: 68048 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 783664 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 27592 kB Writeback: 0 kB Mapped: 5368 kB Slab: 13572 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-15 18:31:46 (client local time) WITH STATUS 10 IN 1175.04 SECONDS stats: 3331 0 1175.04 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.9 s c Initial Lower Bound: 0 c Lower Bound Elapsed time: 1.06675 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 1413 @ 5.306 c NEW SOLUTION FOUND: 1407 @ 5.322 c NEW SOLUTION FOUND: 1399 @ 5.335 c NEW SOLUTION FOUND: 1397 @ 5.348 c NEW SOLUTION FOUND: 1391 @ 5.362 c NEW SOLUTION FOUND: 1389 @ 5.375 c NEW SOLUTION FOUND: 1388 @ 5.389 c NEW SOLUTION FOUND: 1385 @ 5.402 c NEW SOLUTION FOUND: 1379 @ 5.416 c NEW SOLUTION FOUND: 1378 @ 5.43 c NEW SOLUTION FOUND: 1377 @ 5.444 c NEW SOLUTION FOUND: 1376 @ 5.458 c NEW SOLUTION FOUND: 1372 @ 5.472 c NEW SOLUTION FOUND: 1366 @ 5.487 c NEW SOLUTION FOUND: 1356 @ 5.501 c NEW SOLUTION FOUND: 1346 @ 5.516 c NEW SOLUTION FOUND: 1345 @ 5.531 c NEW SOLUTION FOUND: 1341 @ 5.546 c NEW SOLUTION FOUND: 1337 @ 5.561 c NEW SOLUTION FOUND: 1333 @ 5.576 c NEW SOLUTION FOUND: 1332 @ 5.591 c NEW SOLUTION FOUND: 1331 @ 5.606 c NEW SOLUTION FOUND: 1330 @ 5.62 c NEW SOLUTION FOUND: 1328 @ 5.636 c NEW SOLUTION FOUND: 1327 @ 5.65 c NEW SOLUTION FOUND: 1326 @ 5.665 c NEW SOLUTION FOUND: 1325 @ 5.68 c NEW SOLUTION FOUND: 1324 @ 5.696 c NEW SOLUTION FOUND: 1323 @ 5.725 c NEW SOLUTION FOUND: 1322 @ 5.74 c NEW SOLUTION FOUND: 1321 @ 5.756 c NEW SOLUTION FOUND: 1320 @ 5.771 c NEW SOLUTION FOUND: 1319 @ 5.786 c NEW SOLUTION FOUND: 1318 @ 5.801 c NEW SOLUTION FOUND: 1317 @ 5.816 c NEW SOLUTION FOUND: 1316 @ 5.831 c NEW SOLUTION FOUND: 1315 @ 5.847 c NEW SOLUTION FOUND: 1314 @ 5.862 c NEW SOLUTION FOUND: 1313 @ 5.877 c NEW SOLUTION FOUND: 1311 @ 5.892 c NEW SOLUTION FOUND: 1308 @ 5.908 c NEW SOLUTION FOUND: 1305 @ 5.922 c NEW SOLUTION FOUND: 1297 @ 5.938 c NEW SOLUTION FOUND: 1290 @ 5.954 c NEW SOLUTION FOUND: 1288 @ 5.97 c NEW SOLUTION FOUND: 1287 @ 5.985 c NEW SOLUTION FOUND: 1286 @ 6.001 c NEW SOLUTION FOUND: 1285 @ 6.017 c NEW SOLUTION FOUND: 1282 @ 6.034 c NEW SOLUTION FOUND: 1281 @ 6.05 c NEW SOLUTION FOUND: 1280 @ 6.067 c NEW SOLUTION FOUND: 1279 @ 6.084 c NEW SOLUTION FOUND: 1278 @ 6.101 c NEW SOLUTION FOUND: 1276 @ 6.119 c NEW SOLUTION FOUND: 1272 @ 6.137 c NEW SOLUTION FOUND: 1268 @ 6.156 c NEW SOLUTION FOUND: 1266 @ 6.174 c NEW SOLUTION FOUND: 1263 @ 6.192 c NEW SOLUTION FOUND: 1261 @ 6.21 c NEW SOLUTION FOUND: 1259 @ 6.227 c NEW SOLUTION FOUND: 1252 @ 6.246 c NEW SOLUTION FOUND: 1250 @ 6.263 c NEW SOLUTION FOUND: 1248 @ 6.281 c NEW SOLUTION FOUND: 1244 @ 6.301 c NEW SOLUTION FOUND: 1242 @ 6.319 c NEW SOLUTION FOUND: 1240 @ 6.337 c NEW SOLUTION FOUND: 1239 @ 6.669 c NEW SOLUTION FOUND: 1238 @ 6.993 c NEW SOLUTION FOUND: 1237 @ 7.011 c NEW SOLUTION FOUND: 1235 @ 7.371 c NEW SOLUTION FOUND: 1234 @ 7.389 c NEW SOLUTION FOUND: 1233 @ 7.744 c NEW SOLUTION FOUND: 1232 @ 7.762 c NEW SOLUTION FOUND: 1230 @ 8.134 c NEW SOLUTION FOUND: 1229 @ 8.152 c NEW SOLUTION FOUND: 1228 @ 8.515 c NEW SOLUTION FOUND: 1227 @ 8.533 c NEW SOLUTION FOUND: 1223 @ 8.941 c NEW SOLUTION FOUND: 1222 @ 8.958 c NEW SOLUTION FOUND: 1221 @ 9.496 c NEW SOLUTION FOUND: 1220 @ 9.919 c NEW SOLUTION FOUND: 1219 @ 9.937 c NEW SOLUTION FOUND: 1216 @ 10.336 c NEW SOLUTION FOUND: 1215 @ 10.353 c NEW SOLUTION FOUND: 1214 @ 11.295 c NEW SOLUTION FOUND: 1213 @ 11.313 c NEW SOLUTION FOUND: 1210 @ 11.741 c NEW SOLUTION FOUND: 1209 @ 11.759 c NEW SOLUTION FOUND: 1208 @ 12.785 c NEW SOLUTION FOUND: 1207 @ 12.803 c NEW SOLUTION FOUND: 1204 @ 13.216 c NEW SOLUTION FOUND: 1203 @ 13.234 c NEW SOLUTION FOUND: 1202 @ 14.384 c NEW SOLUTION FOUND: 1199 @ 14.653 c NEW SOLUTION FOUND: 1198 @ 14.671 c NEW SOLUTION FOUND: 1197 @ 15.785 c NEW SOLUTION FOUND: 1196 @ 15.803 c NEW SOLUTION FOUND: 1193 @ 16.237 c NEW SOLUTION FOUND: 1192 @ 16.527 c NEW SOLUTION FOUND: 1191 @ 16.984 c NEW SOLUTION FOUND: 1190 @ 17.305 c NEW SOLUTION FOUND: 1189 @ 17.384 c NEW SOLUTION FOUND: 1186 @ 17.671 c NEW SOLUTION FOUND: 1185 @ 17.689 c NEW SOLUTION FOUND: 1184 @ 18.677 c NEW SOLUTION FOUND: 1183 @ 18.742 c NEW SOLUTION FOUND: 1182 @ 18.988 c NEW SOLUTION FOUND: 1181 @ 19.006 c NEW SOLUTION FOUND: 1178 @ 19.327 c NEW SOLUTION FOUND: 1177 @ 19.392 c NEW SOLUTION FOUND: 1176 @ 20.694 c NEW SOLUTION FOUND: 1175 @ 20.712 c NEW SOLUTION FOUND: 1172 @ 21.002 c NEW SOLUTION FOUND: 1171 @ 21.02 c NEW SOLUTION FOUND: 1170 @ 22.145 c NEW SOLUTION FOUND: 1169 @ 22.163 c NEW SOLUTION FOUND: 1168 @ 22.426 c NEW SOLUTION FOUND: 1167 @ 22.445 c NEW SOLUTION FOUND: 1164 @ 22.735 c NEW SOLUTION FOUND: 1163 @ 22.753 c NEW SOLUTION FOUND: 1162 @ 23.424 c NEW SOLUTION FOUND: 1161 @ 23.678 c NEW SOLUTION FOUND: 1160 @ 23.909 c NEW SOLUTION FOUND: 1157 @ 24.174 c NEW SOLUTION FOUND: 1156 @ 24.449 c NEW SOLUTION FOUND: 1153 @ 25.91 c NEW SOLUTION FOUND: 1152 @ 26.288 c NEW SOLUTION FOUND: 1149 @ 27.72 c NEW SOLUTION FOUND: 1148 @ 28.099 c NEW SOLUTION FOUND: 1145 @ 29.763 c NEW SOLUTION FOUND: 1144 @ 30.14 c NEW SOLUTION FOUND: 1141 @ 31.778 c NEW SOLUTION FOUND: 1140 @ 32.444 c NEW SOLUTION FOUND: 1138 @ 34.075 c NEW SOLUTION FOUND: 1137 @ 34.211 c NEW SOLUTION FOUND: 1136 @ 34.872 c NEW SOLUTION FOUND: 1133 @ 37.728 c NEW SOLUTION FOUND: 1132 @ 37.894 c NEW SOLUTION FOUND: 1131 @ 39.981 c NEW SOLUTION FOUND: 1130 @ 40.148 c NEW SOLUTION FOUND: 1127 @ 40.912 c NEW SOLUTION FOUND: 1126 @ 41.077 c NEW SOLUTION FOUND: 1123 @ 43.722 c NEW SOLUTION FOUND: 1122 @ 43.916 c NEW SOLUTION FOUND: 1119 @ 46.473 c NEW SOLUTION FOUND: 1118 @ 46.667 c NEW SOLUTION FOUND: 1115 @ 48.482 c NEW SOLUTION FOUND: 1114 @ 48.674 c NEW SOLUTION FOUND: 1113 @ 49.439 c NEW SOLUTION FOUND: 1112 @ 49.634 c NEW SOLUTION FOUND: 1109 @ 50.428 c NEW SOLUTION FOUND: 1108 @ 50.641 c NEW SOLUTION FOUND: 1107 @ 52.801 c NEW SOLUTION FOUND: 1104 @ 53.636 c NEW SOLUTION FOUND: 1103 @ 53.861 c NEW SOLUTION FOUND: 1100 @ 56.851 c NEW SOLUTION FOUND: 1099 @ 57.077 c NEW SOLUTION FOUND: 1096 @ 60.297 c NEW SOLUTION FOUND: 1095 @ 60.56 c NEW SOLUTION FOUND: 1092 @ 63.845 c NEW SOLUTION FOUND: 1091 @ 64.123 c NEW SOLUTION FOUND: 1088 @ 67.396 c NEW SOLUTION FOUND: 1087 @ 68.728 c NEW SOLUTION FOUND: 1084 @ 71.499 c NEW SOLUTION FOUND: 1083 @ 71.799 c NEW SOLUTION FOUND: 1080 @ 75.126 c NEW SOLUTION FOUND: 1079 @ 75.426 c NEW SOLUTION FOUND: 1076 @ 78.894 c NEW SOLUTION FOUND: 1075 @ 80.293 c NEW SOLUTION FOUND: 1074 @ 83.02 c NEW SOLUTION FOUND: 1073 @ 83.351 c NEW SOLUTION FOUND: 1070 @ 84.085 c NEW SOLUTION FOUND: 1069 @ 85.079 c NEW SOLUTION FOUND: 1068 @ 88.436 c NEW SOLUTION FOUND: 1067 @ 89.33 c NEW SOLUTION FOUND: 1065 @ 91.341 c NEW SOLUTION FOUND: 1064 @ 91.965 c NEW SOLUTION FOUND: 1062 @ 95.144 c NEW SOLUTION FOUND: 1061 @ 95.766 c NEW SOLUTION FOUND: 1058 @ 99.347 c NEW SOLUTION FOUND: 1057 @ 99.955 c NEW SOLUTION FOUND: 1056 @ 102.999 c NEW SOLUTION FOUND: 1053 @ 103.598 c NEW SOLUTION FOUND: 1052 @ 104.209 c NEW SOLUTION FOUND: 1050 @ 106.382 c NEW SOLUTION FOUND: 1049 @ 107.064 c NEW SOLUTION FOUND: 1048 @ 110.026 c NEW SOLUTION FOUND: 1047 @ 110.702 c NEW SOLUTION FOUND: 1046 @ 111.179 c NEW SOLUTION FOUND: 1043 @ 111.852 c NEW SOLUTION FOUND: 1042 @ 112.465 c NEW SOLUTION FOUND: 1041 @ 115.474 c NEW SOLUTION FOUND: 1038 @ 116.144 c NEW SOLUTION FOUND: 1037 @ 116.823 c NEW SOLUTION FOUND: 1035 @ 118.893 c NEW SOLUTION FOUND: 1034 @ 119.55 c NEW SOLUTION FOUND: 1033 @ 122.586 c NEW SOLUTION FOUND: 1030 @ 123.311 c NEW SOLUTION FOUND: 1029 @ 123.958 c NEW SOLUTION FOUND: 1027 @ 126.107 c NEW SOLUTION FOUND: 1026 @ 126.771 c NEW SOLUTION FOUND: 1025 @ 129.705 c NEW SOLUTION FOUND: 1022 @ 130.377 c NEW SOLUTION FOUND: 1021 @ 131.046 c NEW SOLUTION FOUND: 1019 @ 133.401 c NEW SOLUTION FOUND: 1018 @ 134.111 c NEW SOLUTION FOUND: 1015 @ 137.683 c NEW SOLUTION FOUND: 1014 @ 138.334 c NEW SOLUTION FOUND: 1013 @ 141.254 c NEW SOLUTION FOUND: 1010 @ 141.959 c NEW SOLUTION FOUND: 1009 @ 142.599 c NEW SOLUTION FOUND: 1007 @ 144.985 c NEW SOLUTION FOUND: 1006 @ 145.648 c NEW SOLUTION FOUND: 1005 @ 148.713 c NEW SOLUTION FOUND: 1002 @ 149.427 c NEW SOLUTION FOUND: 1001 @ 150.138 c NEW SOLUTION FOUND: 999 @ 152.445 c NEW SOLUTION FOUND: 998 @ 153.174 c NEW SOLUTION FOUND: 995 @ 156.505 c NEW SOLUTION FOUND: 994 @ 157.181 c NEW SOLUTION FOUND: 993 @ 160.136 c NEW SOLUTION FOUND: 990 @ 160.842 c NEW SOLUTION FOUND: 989 @ 161.465 c NEW SOLUTION FOUND: 987 @ 164.438 c NEW SOLUTION FOUND: 986 @ 165.09 c NEW SOLUTION FOUND: 983 @ 168.541 c NEW SOLUTION FOUND: 982 @ 169.189 c NEW SOLUTION FOUND: 981 @ 172.535 c NEW SOLUTION FOUND: 979 @ 172.79 c NEW SOLUTION FOUND: 978 @ 173.988 c NEW SOLUTION FOUND: 975 @ 177.095 c NEW SOLUTION FOUND: 974 @ 177.712 c NEW SOLUTION FOUND: 971 @ 181.053 c NEW SOLUTION FOUND: 970 @ 182.378 c NEW SOLUTION FOUND: 967 @ 185.589 c NEW SOLUTION FOUND: 966 @ 186.242 c NEW SOLUTION FOUND: 963 @ 190.169 c NEW SOLUTION FOUND: 962 @ 190.859 c NEW SOLUTION FOUND: 961 @ 194.308 c NEW SOLUTION FOUND: 959 @ 194.636 c NEW SOLUTION FOUND: 958 @ 195.8 c NEW SOLUTION FOUND: 955 @ 199.02 c NEW SOLUTION FOUND: 954 @ 199.646 c NEW SOLUTION FOUND: 953 @ 202.953 c NEW SOLUTION FOUND: 950 @ 203.596 c NEW SOLUTION FOUND: 949 @ 204.252 c NEW SOLUTION FOUND: 947 @ 207.449 c NEW SOLUTION FOUND: 946 @ 208.195 c NEW SOLUTION FOUND: 943 @ 212.321 c NEW SOLUTION FOUND: 942 @ 213.047 c NEW SOLUTION FOUND: 941 @ 216.626 c NEW SOLUTION FOUND: 939 @ 216.972 c NEW SOLUTION FOUND: 938 @ 218.137 c NEW SOLUTION FOUND: 936 @ 220.325 c NEW SOLUTION FOUND: 935 @ 220.727 c NEW SOLUTION FOUND: 934 @ 223.14 c NEW SOLUTION FOUND: 933 @ 224.155 c NEW SOLUTION FOUND: 932 @ 224.918 c NEW SOLUTION FOUND: 930 @ 225.253 c NEW SOLUTION FOUND: 929 @ 226.466 c NEW SOLUTION FOUND: 928 @ 228.282 c NEW SOLUTION FOUND: 927 @ 229.038 c NEW SOLUTION FOUND: 925 @ 230.633 c NEW SOLUTION FOUND: 924 @ 231.023 c NEW SOLUTION FOUND: 923 @ 232.711 c NEW SOLUTION FOUND: 922 @ 233.434 c NEW SOLUTION FOUND: 921 @ 233.989 c NEW SOLUTION FOUND: 918 @ 234.745 c NEW SOLUTION FOUND: 917 @ 235.436 c NEW SOLUTION FOUND: 915 @ 238.905 c NEW SOLUTION FOUND: 914 @ 239.65 c NEW SOLUTION FOUND: 911 @ 244.002 c NEW SOLUTION FOUND: 910 @ 244.742 c NEW SOLUTION FOUND: 909 @ 248.571 c NEW SOLUTION FOUND: 907 @ 248.91 c NEW SOLUTION FOUND: 906 @ 250.136 c NEW SOLUTION FOUND: 903 @ 253.627 c NEW SOLUTION FOUND: 902 @ 254.302 c NEW SOLUTION FOUND: 900 @ 257.983 c NEW SOLUTION FOUND: 899 @ 258.744 c NEW SOLUTION FOUND: 898 @ 261.326 c NEW SOLUTION FOUND: 897 @ 261.79 c NEW SOLUTION FOUND: 896 @ 264.448 c NEW SOLUTION FOUND: 895 @ 265.235 c NEW SOLUTION FOUND: 894 @ 266.196 c NEW SOLUTION FOUND: 891 @ 266.945 c NEW SOLUTION FOUND: 890 @ 268.281 c NEW SOLUTION FOUND: 887 @ 273.345 c NEW SOLUTION FOUND: 886 @ 274.021 c NEW SOLUTION FOUND: 883 @ 279.771 c NEW SOLUTION FOUND: 882 @ 280.425 c NEW SOLUTION FOUND: 879 @ 286.659 c NEW SOLUTION FOUND: 878 @ 287.385 c NEW SOLUTION FOUND: 877 @ 293.397 c NEW SOLUTION FOUND: 875 @ 293.723 c NEW SOLUTION FOUND: 874 @ 294.894 c NEW SOLUTION FOUND: 871 @ 300.089 c NEW SOLUTION FOUND: 870 @ 300.811 c NEW SOLUTION FOUND: 867 @ 306.969 c NEW SOLUTION FOUND: 866 @ 307.791 c NEW SOLUTION FOUND: 863 @ 313.665 c NEW SOLUTION FOUND: 862 @ 315.05 c NEW SOLUTION FOUND: 859 @ 320.087 c NEW SOLUTION FOUND: 858 @ 320.81 c NEW SOLUTION FOUND: 857 @ 326.039 c NEW SOLUTION FOUND: 854 @ 326.855 c NEW SOLUTION FOUND: 853 @ 327.893 c NEW SOLUTION FOUND: 851 @ 332.842 c NEW SOLUTION FOUND: 850 @ 333.729 c NEW SOLUTION FOUND: 847 @ 340.278 c NEW SOLUTION FOUND: 846 @ 341.18 c NEW SOLUTION FOUND: 843 @ 347.05 c NEW SOLUTION FOUND: 842 @ 348.569 c NEW SOLUTION FOUND: 839 @ 353.927 c NEW SOLUTION FOUND: 838 @ 354.812 c NEW SOLUTION FOUND: 835 @ 360.66 c NEW SOLUTION FOUND: 834 @ 362.317 c NEW SOLUTION FOUND: 831 @ 367.62 c NEW SOLUTION FOUND: 830 @ 368.383 c NEW SOLUTION FOUND: 828 @ 374.661 c NEW SOLUTION FOUND: 827 @ 375.618 c NEW SOLUTION FOUND: 826 @ 380.278 c NEW SOLUTION FOUND: 825 @ 381.412 c NEW SOLUTION FOUND: 824 @ 384.944 c NEW SOLUTION FOUND: 823 @ 385.901 c NEW SOLUTION FOUND: 822 @ 389.869 c NEW SOLUTION FOUND: 821 @ 390.986 c NEW SOLUTION FOUND: 820 @ 394.901 c NEW SOLUTION FOUND: 819 @ 395.877 c NEW SOLUTION FOUND: 818 @ 400.839 c NEW SOLUTION FOUND: 817 @ 401.717 c NEW SOLUTION FOUND: 816 @ 404.688 c NEW SOLUTION FOUND: 815 @ 405.601 c NEW SOLUTION FOUND: 813 @ 410.844 c NEW SOLUTION FOUND: 812 @ 411.712 c NEW SOLUTION FOUND: 811 @ 415.892 c NEW SOLUTION FOUND: 810 @ 417.049 c NEW SOLUTION FOUND: 809 @ 420.97 c NEW SOLUTION FOUND: 808 @ 421.865 c NEW SOLUTION FOUND: 807 @ 425.495 c NEW SOLUTION FOUND: 806 @ 426.635 c NEW SOLUTION FOUND: 805 @ 430.592 c NEW SOLUTION FOUND: 804 @ 431.473 c NEW SOLUTION FOUND: 803 @ 435.036 c NEW SOLUTION FOUND: 802 @ 436.15 c NEW SOLUTION FOUND: 801 @ 440.083 c NEW SOLUTION FOUND: 800 @ 440.977 c NEW SOLUTION FOUND: 799 @ 444.468 c NEW SOLUTION FOUND: 798 @ 445.58 c NEW SOLUTION FOUND: 797 @ 449.438 c NEW SOLUTION FOUND: 796 @ 450.334 c NEW SOLUTION FOUND: 795 @ 453.953 c NEW SOLUTION FOUND: 794 @ 455.067 c NEW SOLUTION FOUND: 792 @ 459.398 c NEW SOLUTION FOUND: 791 @ 460.372 c NEW SOLUTION FOUND: 790 @ 465.544 c NEW SOLUTION FOUND: 789 @ 466.448 c NEW SOLUTION FOUND: 788 @ 469.176 c NEW SOLUTION FOUND: 787 @ 470.024 c NEW SOLUTION FOUND: 786 @ 474.45 c NEW SOLUTION FOUND: 785 @ 475.335 c NEW SOLUTION FOUND: 783 @ 478.382 c NEW SOLUTION FOUND: 782 @ 479.241 c NEW SOLUTION FOUND: 781 @ 483.636 c NEW SOLUTION FOUND: 780 @ 484.526 c NEW SOLUTION FOUND: 779 @ 487.877 c NEW SOLUTION FOUND: 778 @ 488.938 c NEW SOLUTION FOUND: 777 @ 492.682 c NEW SOLUTION FOUND: 776 @ 493.585 c NEW SOLUTION FOUND: 775 @ 496.825 c NEW SOLUTION FOUND: 774 @ 497.842 c NEW SOLUTION FOUND: 773 @ 501.482 c NEW SOLUTION FOUND: 772 @ 502.346 c NEW SOLUTION FOUND: 771 @ 505.701 c NEW SOLUTION FOUND: 770 @ 506.693 c NEW SOLUTION FOUND: 769 @ 510.192 c NEW SOLUTION FOUND: 768 @ 511.042 c NEW SOLUTION FOUND: 767 @ 514.247 c NEW SOLUTION FOUND: 766 @ 515.287 c NEW SOLUTION FOUND: 764 @ 519.175 c NEW SOLUTION FOUND: 763 @ 520.056 c NEW SOLUTION FOUND: 762 @ 524.732 c NEW SOLUTION FOUND: 761 @ 525.549 c NEW SOLUTION FOUND: 760 @ 527.98 c NEW SOLUTION FOUND: 759 @ 528.839 c NEW SOLUTION FOUND: 758 @ 532.851 c NEW SOLUTION FOUND: 757 @ 533.593 c NEW SOLUTION FOUND: 756 @ 535.98 c NEW SOLUTION FOUND: 755 @ 536.757 c NEW SOLUTION FOUND: 754 @ 540.685 c NEW SOLUTION FOUND: 753 @ 541.253 c NEW SOLUTION FOUND: 751 @ 543.686 c NEW SOLUTION FOUND: 750 @ 544.453 c NEW SOLUTION FOUND: 749 @ 546.861 c NEW SOLUTION FOUND: 748 @ 547.642 c NEW SOLUTION FOUND: 747 @ 550.977 c NEW SOLUTION FOUND: 746 @ 553.597 c NEW SOLUTION FOUND: 745 @ 554.416 c NEW SOLUTION FOUND: 744 @ 557.907 c NEW SOLUTION FOUND: 743 @ 560.262 c NEW SOLUTION FOUND: 742 @ 563.161 c NEW SOLUTION FOUND: 741 @ 566.679 c NEW SOLUTION FOUND: 740 @ 567.44 c NEW SOLUTION FOUND: 739 @ 569.475 c NEW SOLUTION FOUND: 738 @ 571.576 c NEW SOLUTION FOUND: 737 @ 574.496 c NEW SOLUTION FOUND: 736 @ 577.938 c NEW SOLUTION FOUND: 735 @ 578.738 c NEW SOLUTION FOUND: 734 @ 580.455 c NEW SOLUTION FOUND: 733 @ 582.55 c NEW SOLUTION FOUND: 732 @ 585.468 c NEW SOLUTION FOUND: 730 @ 589.107 c NEW SOLUTION FOUND: 729 @ 589.785 c NEW SOLUTION FOUND: 728 @ 591.619 c NEW SOLUTION FOUND: 727 @ 593.769 c NEW SOLUTION FOUND: 726 @ 594.545 c NEW SOLUTION FOUND: 725 @ 597.788 c NEW SOLUTION FOUND: 724 @ 599.873 c NEW SOLUTION FOUND: 723 @ 602.891 c NEW SOLUTION FOUND: 721 @ 606.365 c NEW SOLUTION FOUND: 719 @ 610.177 c NEW SOLUTION FOUND: 717 @ 614.234 c NEW SOLUTION FOUND: 715 @ 617.708 c NEW SOLUTION FOUND: 714 @ 624.566 c NEW SOLUTION FOUND: 711 @ 625.278 c NEW SOLUTION FOUND: 710 @ 631.692 c NEW SOLUTION FOUND: 707 @ 632.383 c NEW SOLUTION FOUND: 705 @ 638.443 c NEW SOLUTION FOUND: 702 @ 639.095 c NEW SOLUTION FOUND: 701 @ 645.664 c NEW SOLUTION FOUND: 698 @ 646.317 c NEW SOLUTION FOUND: 697 @ 652.616 c NEW SOLUTION FOUND: 694 @ 653.501 c NEW SOLUTION FOUND: 693 @ 663.404 c NEW SOLUTION FOUND: 690 @ 664.138 c NEW SOLUTION FOUND: 689 @ 671.476 c NEW SOLUTION FOUND: 686 @ 672.15 c NEW SOLUTION FOUND: 685 @ 678.994 c NEW SOLUTION FOUND: 682 @ 679.858 c NEW SOLUTION FOUND: 681 @ 682.512 c NEW SOLUTION FOUND: 678 @ 683.271 c NEW SOLUTION FOUND: 677 @ 690.2 c NEW SOLUTION FOUND: 674 @ 690.954 c NEW SOLUTION FOUND: 671 @ 701.647 c NEW SOLUTION FOUND: 670 @ 703.603 c NEW SOLUTION FOUND: 667 @ 704.358 c NEW SOLUTION FOUND: 666 @ 712.592 c NEW SOLUTION FOUND: 665 @ 712.7 c NEW SOLUTION FOUND: 663 @ 716.147 c NEW SOLUTION FOUND: 660 @ 716.896 c NEW SOLUTION FOUND: 658 @ 722.966 c NEW SOLUTION FOUND: 655 @ 723.715 c NEW SOLUTION FOUND: 654 @ 742.681 c NEW SOLUTION FOUND: 652 @ 743.165 c NEW SOLUTION FOUND: 651 @ 743.222 c NEW SOLUTION FOUND: 649 @ 749.816 c NEW SOLUTION FOUND: 646 @ 750.496 c NEW SOLUTION FOUND: 644 @ 776.148 c NEW SOLUTION FOUND: 643 @ 776.176 c NEW SOLUTION FOUND: 641 @ 787.08 c NEW SOLUTION FOUND: 638 @ 787.761 c NEW SOLUTION FOUND: 637 @ 791.978 c NEW SOLUTION FOUND: 635 @ 810.784 c NEW SOLUTION FOUND: 632 @ 811.574 c NEW SOLUTION FOUND: 631 @ 817.993 c NEW SOLUTION FOUND: 630 @ 836.988 c NEW SOLUTION FOUND: 629 @ 837.017 c NEW SOLUTION FOUND: 628 @ 839.427 c NEW SOLUTION FOUND: 627 @ 857.006 c NEW SOLUTION FOUND: 624 @ 857.86 c NEW SOLUTION FOUND: 623 @ 863.677 c NEW SOLUTION FOUND: 622 @ 868.548 c NEW SOLUTION FOUND: 621 @ 899.497 c NEW SOLUTION FOUND: 618 @ 900.174 c NEW SOLUTION FOUND: 617 @ 915.138 c NEW SOLUTION FOUND: 616 @ 916.165 c NEW SOLUTION FOUND: 615 @ 951.974 c NEW SOLUTION FOUND: 612 @ 952.727 c NEW SOLUTION FOUND: 611 @ 959.915 c NEW SOLUTION FOUND: 610 @ 967.847 c NEW SOLUTION FOUND: 609 @ 1014.77 c NEW SOLUTION FOUND: 605 @ 1016.22 c NEW SOLUTION FOUND: 604 @ 1072.13 c NEW SOLUTION FOUND: 600 @ 1073.48 c NEW SOLUTION FOUND: 599 @ 1089.48 c NEW SOLUTION FOUND: 598 @ 1117.66 c NEW SOLUTION FOUND: 597 @ 1119 c NEW SOLUTION FOUND: 596 @ 1166.05 c NEW SOLUTION FOUND: 593 @ 1167.29 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.92 0.98 0.99 2/55 4257 Raw data (stat): 4257 (runsolver) R 4256 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 754513625 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.93 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 8303 0 0 0 970 25 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220128 1074115311 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+20.0014 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 23121 0 0 0 1933 61 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220416 134534098 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.0021 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 39582 0 0 0 2893 101 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219824 1074140704 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+40.002 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 56224 0 0 0 3853 142 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+50.0033 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 72869 0 0 0 4813 182 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1477 1111 63 0 2200 0 vsize: 8624 [startup+60.0029 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 89330 0 0 0 5772 223 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153660 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+70.0039 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 105462 0 0 0 6730 265 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+80.0048 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 121681 0 0 0 7691 304 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219696 1075799503 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+90.0047 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 138503 0 0 0 8649 346 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219504 1075635643 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+100.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 155519 0 0 0 9609 386 0 0 25 0 1 0 754513625 9269248 1495 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1497 1111 63 0 2200 0 vsize: 9052 [startup+110.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 172341 0 0 0 10564 431 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 189444 0 0 0 11523 472 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153751 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 206222 0 0 0 12484 512 0 0 25 0 1 0 754513625 9269248 1477 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1477 1111 63 0 2200 0 vsize: 9052 [startup+140.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 222936 0 0 0 13444 552 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+150.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 239744 0 0 0 14402 594 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219744 1075809106 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+160.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 256318 0 0 0 15363 633 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+170.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 273043 0 0 0 16322 675 0 0 25 0 1 0 754513625 8978432 1475 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1477 1111 63 0 2200 0 vsize: 8768 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 289594 0 0 0 17283 714 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219600 1075824356 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+190.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 306298 0 0 0 18242 755 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220224 1073990306 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+200.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 322904 0 0 0 19204 793 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+210.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 339504 0 0 0 20163 834 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+220.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 356038 0 0 0 21121 876 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219712 1074057925 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+230.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 372793 0 0 0 22083 915 0 0 25 0 1 0 754513625 9269248 1497 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1497 1111 63 0 2200 0 vsize: 9052 [startup+240.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 389222 0 0 0 23040 957 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219752 1074248337 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+250.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 405652 0 0 0 24003 995 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153660 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+260.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 421945 0 0 0 24965 1033 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1477 1111 63 0 2200 0 vsize: 8624 [startup+270.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 438218 0 0 0 25927 1071 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 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+280.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 454473 0 0 0 26893 1105 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219504 1075828215 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+290.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 470609 0 0 0 27853 1146 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+300.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 486654 0 0 0 28813 1186 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+310.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 502689 0 0 0 29777 1222 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219776 1074056202 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+320.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 518556 0 0 0 30739 1261 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+330.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 534353 0 0 0 31700 1299 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+340.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 550085 0 0 0 32664 1336 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219600 1075824339 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+350.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 565847 0 0 0 33627 1373 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219756 1074208192 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+360.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 581493 0 0 0 34587 1413 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219416 1074206881 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+370.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 597159 0 0 0 35550 1450 0 0 25 0 1 0 754513625 9269248 1481 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1493 1111 63 0 2200 0 vsize: 9052 [startup+380.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 612611 0 0 0 36512 1488 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+390.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 628157 0 0 0 37475 1526 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220156 1074207648 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+400.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 643587 0 0 0 38438 1562 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153673 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+410.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 658998 0 0 0 39403 1598 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+420.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 674222 0 0 0 40366 1635 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220008 1077377140 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+430.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 689397 0 0 0 41332 1669 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220104 1074207527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+440.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 704533 0 0 0 42293 1709 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219932 1077404826 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+450.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 719634 0 0 0 43259 1742 0 0 25 0 1 0 754513625 8978432 1473 4294967295 134512640 134714508 3221221776 3221218668 1077387418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1477 1111 63 0 2200 0 vsize: 8768 [startup+460.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 734797 0 0 0 44224 1778 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+470.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 750053 0 0 0 45191 1811 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+480.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 765135 0 0 0 46154 1849 0 0 25 0 1 0 754513625 9269248 1477 4294967295 134512640 134714508 3221221776 3221218816 1075971425 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 9052 [startup+490.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 780138 0 0 0 47118 1884 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+500.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 795077 0 0 0 48080 1923 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+510.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 810115 0 0 0 49043 1960 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153812 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+520.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 825197 0 0 0 50008 1995 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+530.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 840081 0 0 0 50972 2031 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+540.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 855160 0 0 0 51938 2065 0 0 25 0 1 0 754513625 9269248 1496 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2192 1494 1111 63 0 2129 0 vsize: 9052 [startup+550.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 870092 0 0 0 52904 2099 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219696 1075799638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+560.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 885314 0 0 0 53867 2137 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219664 1074050966 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+570.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 900462 0 0 0 54831 2173 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219600 1075824354 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+580.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 915499 0 0 0 55793 2211 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+590.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 930530 0 0 0 56756 2248 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+600.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 945482 0 0 0 57723 2282 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219664 1074050818 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+610.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 960541 0 0 0 58685 2320 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219504 1075828674 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+620.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 975620 0 0 0 59650 2355 0 0 25 0 1 0 754513625 9269248 1501 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 9052 [startup+630.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 990700 0 0 0 60611 2394 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219820 1077379908 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+640.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1005839 0 0 0 61575 2430 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219960 1077378297 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+650.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1020887 0 0 0 62535 2470 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219788 1077378564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+660.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1035958 0 0 0 63501 2504 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+670.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1050851 0 0 0 64466 2540 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220156 1074207552 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+680.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1065830 0 0 0 65430 2576 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074118792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+690.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1080646 0 0 0 66395 2611 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219424 1075817673 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+700.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1095587 0 0 0 67361 2645 0 0 25 0 1 0 754513625 9269248 1477 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1477 1111 63 0 2200 0 vsize: 9052 [startup+710.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1110243 0 0 0 68325 2681 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074118808 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+720.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1124689 0 0 0 69291 2716 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220160 1074153800 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+730.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1139233 0 0 0 70257 2750 0 0 25 0 1 0 754513625 9269248 1500 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1500 1111 63 0 2200 0 vsize: 9052 [startup+740.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1153688 0 0 0 71221 2786 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+750.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1168046 0 0 0 72187 2820 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+760.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1182213 0 0 0 73155 2852 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+770.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1196313 0 0 0 74120 2887 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+780.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1209779 0 0 0 75089 2919 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219424 1074247419 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+790.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1224091 0 0 0 76054 2954 0 0 25 0 1 0 754513625 9269248 1501 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1502 1111 63 0 2200 0 vsize: 9052 [startup+800.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1237186 0 0 0 77021 2987 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+810.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1251714 0 0 0 77985 3023 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219504 1075828201 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+820.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1265467 0 0 0 78950 3059 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219756 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+830.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1279546 0 0 0 79917 3092 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+840.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1293011 0 0 0 80882 3127 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074118861 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+850.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1306331 0 0 0 81848 3161 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+860.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1320365 0 0 0 82815 3195 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+870.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1333601 0 0 0 83781 3228 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+880.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1346600 0 0 0 84750 3260 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220224 1073990251 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+890.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1360305 0 0 0 85715 3294 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+900.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1374134 0 0 0 86682 3328 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+910.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1387479 0 0 0 87649 3361 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+920.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1400272 0 0 0 88619 3391 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219760 1076999581 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+930.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1413246 0 0 0 89588 3423 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+940.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1426761 0 0 0 90556 3455 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219504 1075828201 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+950.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1440280 0 0 0 91524 3487 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1476 1111 63 0 2200 0 vsize: 8624 [startup+960.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1453946 0 0 0 92490 3521 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+970.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1466806 0 0 0 93459 3552 0 0 25 0 1 0 754513625 9269248 1477 4294967295 134512640 134714508 3221221776 3221218432 1075966498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1483 1111 63 0 2200 0 vsize: 9052 [startup+980.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1479070 0 0 0 94430 3581 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+990.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1492213 0 0 0 95400 3611 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1505519 0 0 0 96368 3644 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1518846 0 0 0 97333 3679 0 0 25 0 1 0 754513625 9269248 1491 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1501 1111 63 0 2200 0 vsize: 9052 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1532229 0 0 0 98300 3713 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219960 1077378310 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1544767 0 0 0 99269 3743 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219560 1077410163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1557130 0 0 0 100237 3776 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1570149 0 0 0 101203 3810 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1583436 0 0 0 102167 3846 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219740 1073972552 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1596613 0 0 0 103136 3877 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1609893 0 0 0 104102 3912 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1622599 0 0 0 105073 3940 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220176 1074153794 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1100.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1635539 0 0 0 106041 3973 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220032 1077404709 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1110.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1648794 0 0 0 107011 4003 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219424 1075818175 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1120.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1661546 0 0 0 107981 4033 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1130.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1673540 0 0 0 108949 4066 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2263 1477 1111 63 0 2200 0 vsize: 8624 [startup+1140.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1686399 0 0 0 109916 4099 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219916 1077379851 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1150.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1699422 0 0 0 110883 4132 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1160.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1712563 0 0 0 111850 4165 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1170.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1725718 0 0 0 112818 4197 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219912 1077374625 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 8624 [startup+1174.93 s] Raw data (loadavg): 0.99 0.98 0.99 1/54 4257 Raw data (stat): 4257 (bsolo_lpr) R 4256 7876 7672 0 -1 0 1725718 0 0 0 112818 4197 0 0 25 0 1 0 754513625 8830976 1473 4294967295 134512640 134714508 3221221776 3221219912 1077374625 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2156 1473 1111 63 0 2093 0 vsize: 0 Child status: 10 Real time (s): 1174.93 CPU time (s): 1175.04 CPU user time (s): 1132.9 CPU system time (s): 42.1386 CPU usage (%): 100.01 Max. virtual memory (Kb): 9052 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 593 #### END VERIFIER DATA ####