Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 3 | 1798 | 1798.46 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_4.opb |
MD5SUM | a470052ca6f8034e2c6c08868e52d9e8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 1789.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | NO |
Number of variables | 120 |
Total number of constraints | 10 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 55 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1207 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4131 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656636-1276613367.opb 0.00/0.00 c File size is 5465 bytes. 0.00/0.00 c Highest Coefficient sum: 4131 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 120 Constr: 10 0/0/10 Lit: 558 Watch. Lit: 166 0.00/0.00 c Obj. Vars: 80 (66.6667 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 120 10 558 55 168 1116 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 780 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 120 11 638 58 421 1276 1 0 0.00 0.00/0.01 o 627 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 26 120 43 2000 46 564 1276 33 2888 0.01 0.00/0.01 o 303 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 28 120 46 2141 46 635 1276 36 2800 0.01 0.00/0.02 o 253 0.02/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.04 c 79 120 114 5082 44 904 1276 104 3950 0.02 0.02/0.04 c 179 120 221 8051 36 1125 1404 211 4972 0.04 0.02/0.04 o 238 0.02/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.04 c 216 120 266 9567 35 1288 1276 256 5142 0.04 0.02/0.04 o 236 0.02/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.05 c 234 120 285 10186 35 1398 1276 275 5200 0.04 0.02/0.05 o 234 0.02/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.06 c 248 120 303 11016 36 1525 1276 293 5061 0.05 0.02/0.06 o 217 0.02/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.06 c 295 120 364 13600 37 1711 1276 354 5000 0.06 0.02/0.06 o 213 0.02/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.06 c 304 120 374 13930 37 1801 1276 364 4983 0.06 0.02/0.06 o 211 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 307 120 379 14210 37 1917 1276 369 4951 0.06 0.09/0.11 c 407 120 492 17429 35 2187 1404 482 4903 0.08 0.09/0.11 o 206 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 567 120 680 23051 33 2647 1276 670 4846 0.12 0.09/0.12 o 198 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 574 120 689 23386 33 2742 1276 679 4823 0.12 0.09/0.12 o 196 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 580 120 697 23801 34 2848 1276 687 4793 0.12 0.09/0.16 c 682 120 809 27602 34 3086 1404 799 4546 0.15 0.09/0.16 o 190 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 734 120 866 29356 33 3235 1276 856 4421 0.17 0.09/0.17 o 186 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 747 120 881 30109 34 3349 1276 871 4368 0.17 0.19/0.20 c 847 120 995 33934 34 3635 1404 985 4388 0.19 0.19/0.20 o 185 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 913 120 1066 35645 33 3819 1276 1056 4453 0.20 0.19/0.20 o 183 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 914 120 1068 35765 33 3900 1276 1058 4458 0.20 0.19/0.21 o 181 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 928 120 1084 36621 33 4008 1276 1074 4398 0.21 0.19/0.22 o 179 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 973 120 1135 38164 33 4197 1276 1125 4402 0.22 0.19/0.28 c 1073 120 1240 41054 33 4424 1404 1230 4433 0.24 0.19/0.28 o 145 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 1208 120 1400 46125 32 4794 1276 1390 4268 0.28 0.29/0.32 c 1310 120 765 24663 32 2028 1404 755 4267 0.31 0.29/0.32 o 137 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 1372 120 831 26381 31 2231 1276 821 4300 0.32 0.29/0.32 o 131 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 1373 120 833 26516 31 2314 1276 823 4290 0.32 0.29/0.32 o 114 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 1394 120 858 27269 31 2443 1276 848 4289 0.33 0.39/0.44 c 1494 119 972 31198 32 2698 1404 962 4268 0.35 0.39/0.44 c 1744 116 1226 38315 31 3198 1545 1216 4253 0.41 0.39/0.44 o 81 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 1884 115 1372 42403 30 3575 1266 1362 4224 0.45 0.39/0.45 o 77 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 1899 115 665 19406 29 1810 1266 655 4201 0.45 0.49/0.57 c 1999 115 769 22148 28 2017 1393 759 4244 0.47 0.49/0.57 c 2249 115 1029 29625 28 2528 1533 1019 4275 0.53 0.49/0.57 o 53 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 2497 115 1290 36227 28 3136 1266 1280 4350 0.57 0.49/0.58 o 51 1.10/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.19 c 2520 112 673 17921 26 1825 1260 663 4329 0.58 1.10/1.19 c 2620 110 779 21592 27 2070 1387 769 4323 0.61 1.10/1.19 c 2871 107 1031 29209 28 2581 1526 1021 4343 0.66 1.10/1.19 c 3346 101 1518 42874 28 3586 1679 1508 4267 0.78 1.10/1.19 c 4159 101 1479 41798 28 3404 1847 1469 4175 1.00 1.10/1.19 o 49 1.10/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.19 c 4873 100 1247 33836 27 2937 1236 1237 4098 1.19 1.10/1.19 o 47 1.39/1.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.42 c 4874 100 1249 33954 27 2997 1236 1239 4095 1.19 1.39/1.42 c 4974 100 713 18819 26 1799 1360 703 4090 1.22 1.39/1.42 c 5224 100 963 26047 27 2299 1497 953 4119 1.27 1.39/1.42 c 5699 100 1441 39498 27 3258 1647 1431 4141 1.38 1.39/1.42 o 46 1.39/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.46 c 5874 100 1622 44331 27 3682 1236 1612 4142 1.42 1.39/1.46 c 5974 100 756 21257 28 1928 1360 746 4134 1.45 1.39/1.46 o 43 2.39/2.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.49 c 6079 100 863 24013 27 2201 1236 853 4143 1.47 2.39/2.49 c 6179 100 963 26604 27 2401 1360 953 4152 1.49 2.39/2.49 c 6429 100 1215 33691 27 2906 1497 1205 4166 1.54 2.39/2.49 c 6904 100 915 25145 27 2204 1647 905 4174 1.65 2.39/2.49 c 7717 100 879 24496 27 2130 1812 869 4178 1.85 2.39/2.49 c 9038 100 1274 35397 27 2931 1994 1264 4184 2.16 2.39/2.49 o 31 3.49/3.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.50 c 10478 100 1705 48379 28 3857 1236 1695 4197 2.50 3.49/3.50 c 10578 93 750 20439 27 1870 1360 740 4190 2.52 3.49/3.50 c 10828 92 1001 28265 28 2366 1497 991 4200 2.58 3.49/3.50 c 11303 90 1478 43208 29 3320 1647 1468 4195 2.69 3.49/3.50 c 12116 90 1438 45441 31 3243 1812 1428 4189 2.89 3.49/3.50 c 13436 90 1825 59666 32 4024 1994 1815 4175 3.22 3.49/3.50 o 24 3.49/3.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.52 c 14506 90 1872 61513 32 4167 1216 1862 4139 3.50 3.49/3.52 o 22 4.49/4.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.51 c 14543 90 688 22223 32 1798 1216 678 4133 3.52 4.49/4.51 c 14643 90 790 25378 32 2013 1338 780 4136 3.54 4.49/4.51 c 14893 90 1040 33157 31 2516 1472 1030 4141 3.60 4.49/4.51 c 15368 90 777 23588 30 1917 1620 767 4137 3.71 4.49/4.51 c 16182 90 1599 49074 30 3560 1783 1589 4147 3.90 4.49/4.51 c 17502 90 1084 33067 30 2529 1962 1074 4136 4.23 4.49/4.51 o 21 4.49/4.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.51 c 18647 90 1233 37567 30 2872 1216 1223 4132 4.51 4.49/4.51 o 19 10.39/10.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.39/10.48 c 18660 90 1247 38126 30 2947 1216 1237 4133 4.51 10.39/10.48 c 18760 90 709 21269 29 1776 1338 699 4131 4.54 10.39/10.48 c 19011 90 961 28944 30 2280 1472 951 4135 4.60 10.39/10.48 c 19486 90 1436 43460 30 3227 1620 1426 4138 4.71 10.39/10.48 c 20301 90 1425 43305 30 3202 1783 1415 4150 4.89 10.39/10.48 c 21622 90 933 28875 30 2220 1962 923 4152 5.21 10.39/10.48 c 23703 90 1022 30735 30 2402 2159 1012 4146 5.72 10.39/10.48 c 26926 90 2038 61825 30 4434 2375 2028 4129 6.52 10.39/10.48 c 31863 90 2139 65991 30 4642 2613 2129 4102 7.77 10.39/10.48 c 39369 90 1675 51799 30 3703 2875 1665 4021 9.79 10.39/10.48 o 6 14.89/14.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.89/14.90 c 42006 90 2863 87270 30 6130 1216 2853 4007 10.48 14.89/14.90 c 42106 80 750 22429 29 1836 1338 740 4001 10.52 14.89/14.90 c 42356 74 1000 29532 29 2326 1472 990 4001 10.58 14.89/14.90 c 42832 71 1476 43812 29 3279 1620 1466 4001 10.70 14.89/14.90 c 43646 71 1450 42906 29 3226 1783 1440 4004 10.90 14.89/14.90 c 44966 71 952 27904 29 2230 1962 942 4008 11.22 14.89/14.90 c 47048 71 1041 31756 30 2409 2159 1031 4021 11.70 14.89/14.90 c 50271 70 2058 63069 30 4443 2375 2048 4039 12.44 14.89/14.90 c 55208 70 2136 65645 30 4596 2613 2126 4048 13.64 14.89/14.90 o 5 62.47/62.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.47/62.56 c 60248 70 1845 58179 31 4048 1176 1835 4042 14.90 62.47/62.56 c 60348 70 750 22802 30 1805 1294 740 4041 14.93 62.47/62.56 c 60598 70 1001 30590 30 2305 1424 991 4044 14.98 62.47/62.56 c 61073 70 1476 45425 30 3257 1567 1466 4048 15.09 62.47/62.56 c 61886 70 1490 44678 29 3281 1724 1480 4055 15.26 62.47/62.56 c 63206 70 1033 30059 29 2365 1897 1023 4066 15.54 62.47/62.56 c 65287 70 1164 33847 29 2631 2087 1154 4083 15.99 62.47/62.56 c 68510 70 1174 36563 31 2653 2296 1164 4094 16.73 62.47/62.56 c 73446 70 1420 42706 30 3144 2526 1410 4110 17.87 62.47/62.56 c 80953 70 2460 77168 31 5229 2779 2450 4106 19.71 62.47/62.56 c 92315 70 2506 78275 31 5322 3057 2496 4070 22.68 62.47/62.56 c 109459 70 2565 81660 31 5438 3363 2555 4018 27.24 62.47/62.56 c 135280 70 2773 87556 31 5857 3700 2763 3934 34.39 62.47/62.56 c 174112 70 2212 70596 31 4735 4071 2202 3842 45.31 62.47/62.56 o 4 1183.79/1184.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1183.79/1184.17 c 229799 70 2222 70473 31 4780 1176 2212 3674 62.55 1183.79/1184.17 c 229899 68 749 22937 30 1804 1294 739 3674 62.57 1183.79/1184.17 c 230149 68 999 31001 31 2301 1424 989 3675 62.62 1183.79/1184.17 c 230626 68 1476 46403 31 3255 1567 1466 3676 62.73 1183.79/1184.17 c 231441 68 1484 46946 31 3275 1724 1474 3678 62.92 1183.79/1184.17 c 232761 68 1028 31657 30 2358 1897 1018 3681 63.23 1183.79/1184.17 c 234842 66 1153 35115 30 2609 2087 1143 3685 63.72 1183.79/1184.17 c 238065 66 1172 36184 30 2648 2296 1162 3692 64.47 1183.79/1184.17 c 243001 66 1411 43165 30 3118 2526 1401 3702 65.63 1183.79/1184.17 c 250508 65 2485 75476 30 5267 2779 2475 3710 67.51 1183.79/1184.17 c 261870 64 2521 78206 31 5338 3057 2511 3721 70.36 1183.79/1184.17 c 279014 64 2572 79750 31 5441 3363 2562 3723 74.93 1183.79/1184.17 c 304833 63 2780 82970 29 5853 3700 2770 3713 82.09 1183.79/1184.17 c 343665 62 2220 68746 30 4734 4071 2210 3682 93.33 1183.79/1184.17 c 402017 62 2867 89778 31 6027 4479 2857 3631 110.70 1183.79/1184.17 c 489650 61 4411 138703 31 9110 4927 4401 3566 137.31 1183.79/1184.17 c 621202 61 4128 125092 30 8544 5420 4118 3462 179.39 1183.79/1184.17 c 818634 61 4566 138796 30 9420 5963 4556 3317 246.74 1183.79/1184.17 c 1114887 61 3151 98193 31 6592 6560 3141 3155 353.27 1183.79/1184.17 c 1559370 60 4759 144995 30 9806 7217 4749 2984 522.45 1183.79/1184.17 c 2226197 60 6801 216103 31 13886 7939 6791 2817 790.15 1183.79/1184.17 o 3 1797.94/1798.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.45 c 3072340 60 6139 194118 31 12586 1156 6129 2595 1183.87 1797.94/1798.45 c 3072442 60 751 22636 30 1782 1272 741 2595 1183.95 1797.94/1798.45 c 3072692 60 1001 30671 30 2282 1400 991 2595 1184.01 1797.94/1798.45 c 3073167 60 771 22908 29 1821 1541 761 2595 1184.12 1797.94/1798.45 c 3073981 60 1585 48482 30 3452 1696 1575 2595 1184.31 1797.94/1798.45 c 3075301 60 1158 34557 29 2595 1866 1148 2596 1184.63 1797.94/1798.45 c 3077383 60 1329 39856 29 2939 2053 1319 2596 1185.13 1797.94/1798.45 c 3080608 60 1405 43411 30 3088 2259 1395 2597 1185.92 1797.94/1798.45 c 3085544 60 1720 53210 30 3716 2485 1710 2599 1187.16 1797.94/1798.45 c 3093050 60 1632 50031 30 3546 2734 1622 2601 1189.06 1797.94/1798.45 c 3104412 60 1857 56285 30 3992 3008 1847 2604 1192.02 1797.94/1798.45 c 3121557 60 2173 65419 30 4625 3309 2163 2608 1196.63 1797.94/1798.46 c 3147376 60 2789 86949 31 5857 3640 2779 2615 1203.57 1797.94/1798.46 c 3186208 60 2833 89020 31 5947 4005 2823 2623 1214.64 1797.94/1798.46 c 3244560 60 2375 72518 30 5026 4406 2365 2632 1232.65 1797.94/1798.46 c 3332192 60 3142 95808 30 6562 4847 3132 2646 1259.26 1797.94/1798.46 c 3463744 60 2495 75496 30 5269 5332 2485 2660 1301.67 1797.94/1798.46 c 3661176 60 3467 108939 31 7207 5866 3457 2671 1370.30 1797.94/1798.46 c 3957429 60 3925 121666 30 8130 6453 3915 2676 1478.42 1797.94/1798.46 c 4401911 60 6290 199624 31 12857 7099 6280 2670 1648.05 1797.94/1798.46 c Resources Exceeded 1797.94/1798.46 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 x84 x85 x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 -x97 x98 -x99 x100 -x101 -x102 x103 x104 -x105 x106 -x107 x108 -x109 x110 x111 x112 -x113 x114 -x115 -x116 -x117 -x118 x119 -x120 1797.94/1798.46 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.46 c 142 4752885 11539 4769592 6955 217426 6945 2643 1798.00 1797.94/1798.46 c Objective: 3 1797.94/1798.46 s SATISFIABLE 1797.94/1798.46 c Total time: 1798 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656636-1276613367/watcher-2656636-1276613367 -o /tmp/evaluation-result-2656636-1276613367/solver-2656636-1276613367 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656636-1276613367.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.07 1.06 1.01 3/106 3083 /proc/meminfo: memFree=1759680/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=18596 CPUtime=0 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 327 0 0 0 0 0 0 0 18 0 1 0 36940537 19042304 243 1992294400 134512640 137138936 4286977568 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 4649 243 192 642 0 4005 0 [startup+0.0209941 s] /proc/loadavg: 1.07 1.06 1.01 3/106 3083 /proc/meminfo: memFree=1759680/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=10784 CPUtime=0.02 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 340 0 0 0 2 0 0 0 18 0 1 0 36940537 11042816 256 1992294400 134512640 137138936 4286977568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 2696 257 192 642 0 2052 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10784 [startup+0.101001 s] /proc/loadavg: 1.07 1.06 1.01 3/106 3083 /proc/meminfo: memFree=1759680/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=11036 CPUtime=0.09 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 405 0 0 0 9 0 0 0 20 0 1 0 36940537 11300864 321 1992294400 134512640 137138936 4286977568 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 2759 321 192 642 0 2115 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11036 [startup+0.30102 s] /proc/loadavg: 1.07 1.06 1.01 3/106 3083 /proc/meminfo: memFree=1759680/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=11544 CPUtime=0.29 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 519 0 0 0 29 0 0 0 20 0 1 0 36940537 11821056 435 1992294400 134512640 137138936 4286977568 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 2886 435 192 642 0 2242 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11544 [startup+0.701057 s] /proc/loadavg: 1.07 1.06 1.01 3/106 3083 /proc/meminfo: memFree=1759680/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=11544 CPUtime=0.69 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 519 0 0 0 69 0 0 0 21 0 1 0 36940537 11821056 435 1992294400 134512640 137138936 4286977568 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 2886 435 192 642 0 2242 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11544 [startup+1.50113 s] /proc/loadavg: 1.07 1.06 1.01 2/107 3084 /proc/meminfo: memFree=1758556/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=11672 CPUtime=1.49 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 547 0 0 0 148 1 0 0 23 0 1 0 36940537 11952128 463 1992294400 134512640 137138936 4286977568 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 2918 463 192 642 0 2274 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11672 [startup+3.10128 s] /proc/loadavg: 1.06 1.06 1.00 2/107 3084 /proc/meminfo: memFree=1758184/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=11676 CPUtime=3.09 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 568 0 0 0 307 2 0 0 25 0 1 0 36940537 11956224 484 1992294400 134512640 137138936 4286977568 18446744073709551615 134539096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 2919 484 192 642 0 2275 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11676 [startup+6.30159 s] /proc/loadavg: 1.06 1.06 1.00 2/107 3084 /proc/meminfo: memFree=1757812/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=11800 CPUtime=6.29 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 603 0 0 0 625 4 0 0 25 0 1 0 36940537 12083200 519 1992294400 134512640 137138936 4286977568 18446744073709551615 134575902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 2950 519 192 642 0 2306 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11800 [startup+12.7012 s] /proc/loadavg: 1.05 1.06 1.00 2/107 3084 /proc/meminfo: memFree=1757316/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=12180 CPUtime=12.69 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 695 0 0 0 1260 9 0 0 25 0 1 0 36940537 12472320 611 1992294400 134512640 137138936 4286977568 18446744073709551615 136504154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3045 611 192 642 0 2401 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12180 [startup+25.5004 s] /proc/loadavg: 1.05 1.05 1.00 2/107 3086 /proc/meminfo: memFree=1757192/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=12428 CPUtime=25.48 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 737 0 0 0 2532 16 0 0 25 0 1 0 36940537 12726272 653 1992294400 134512640 137138936 4286977568 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3107 653 192 642 0 2463 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12428 [startup+51.1008 s] /proc/loadavg: 1.03 1.05 1.00 2/107 3086 /proc/meminfo: memFree=1756696/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=12944 CPUtime=51.08 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 875 0 0 0 5080 28 0 0 25 0 1 0 36940537 13254656 791 1992294400 134512640 137138936 4286977568 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3236 791 192 642 0 2592 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 12944 [startup+102.308 s] /proc/loadavg: 1.01 1.04 1.00 2/107 3088 /proc/meminfo: memFree=1756448/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=12944 CPUtime=102.27 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 875 0 0 0 10175 52 0 0 25 0 1 0 36940537 13254656 791 1992294400 134512640 137138936 4286977568 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3236 791 192 642 0 2592 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 12944 [startup+162.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 3088 /proc/meminfo: memFree=1756076/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=13324 CPUtime=162.25 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 978 0 0 0 16146 79 0 0 25 0 1 0 36940537 13643776 894 1992294400 134512640 137138936 4286977568 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3331 894 192 642 0 2687 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 13324 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 3090 /proc/meminfo: memFree=1755704/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=13572 CPUtime=222.24 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1048 0 0 0 22121 103 0 0 25 0 1 0 36940537 13897728 964 1992294400 134512640 137138936 4286977568 18446744073709551615 134542430 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3393 964 192 642 0 2749 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 13572 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 3092 /proc/meminfo: memFree=1755580/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=13832 CPUtime=282.22 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1115 0 0 0 28098 124 0 0 25 0 1 0 36940537 14163968 1031 1992294400 134512640 137138936 4286977568 18446744073709551615 134539313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3458 1031 192 642 0 2814 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 13832 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 3094 /proc/meminfo: memFree=1755456/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=13932 CPUtime=342.2 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1118 0 0 0 34074 146 0 0 25 0 1 0 36940537 14266368 1034 1992294400 134512640 137138936 4286977568 18446744073709551615 134542363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3483 1034 192 642 0 2839 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 13932 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 3096 /proc/meminfo: memFree=1755208/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14188 CPUtime=402.2 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1192 0 0 0 40050 170 0 0 25 0 1 0 36940537 14528512 1108 1992294400 134512640 137138936 4286977568 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3547 1108 192 642 0 2903 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 14188 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3096 /proc/meminfo: memFree=1755084/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14188 CPUtime=462.17 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1193 0 0 0 46025 192 0 0 25 0 1 0 36940537 14528512 1109 1992294400 134512640 137138936 4286977568 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3547 1109 192 642 0 2903 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 14188 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3098 /proc/meminfo: memFree=1754960/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14188 CPUtime=522.16 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1195 0 0 0 52004 212 0 0 25 0 1 0 36940537 14528512 1111 1992294400 134512640 137138936 4286977568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3547 1111 192 642 0 2903 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 14188 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3100 /proc/meminfo: memFree=1754712/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14556 CPUtime=582.15 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1282 0 0 0 57981 234 0 0 25 0 1 0 36940537 14905344 1198 1992294400 134512640 137138936 4286977568 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3639 1198 192 642 0 2995 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 14556 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3102 /proc/meminfo: memFree=1754588/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14556 CPUtime=642.14 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1296 0 0 0 63958 256 0 0 25 0 1 0 36940537 14905344 1212 1992294400 134512640 137138936 4286977568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3639 1212 192 642 0 2995 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 14556 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1753472/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14940 CPUtime=1122 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 111791 409 0 0 25 0 1 0 36940537 15298560 1303 1992294400 134512640 137138936 4286977568 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3735 1303 192 642 0 3091 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 14940 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3125 /proc/meminfo: memFree=1753472/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14940 CPUtime=1181.99 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 117773 426 0 0 25 0 1 0 36940537 15298560 1303 1992294400 134512640 137138936 4286977568 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3735 1303 192 642 0 3091 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 14940 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3127 /proc/meminfo: memFree=1753224/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1241.97 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 123743 454 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 14856 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3129 /proc/meminfo: memFree=1753100/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1301.96 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 129716 480 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 14856 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3129 /proc/meminfo: memFree=1753100/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1361.94 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 135691 503 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 136296981 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 14856 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3131 /proc/meminfo: memFree=1753100/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1421.93 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 141665 528 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 14856 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 3136 /proc/meminfo: memFree=1752604/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1481.91 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 147642 549 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 14856 [startup+1542.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 3138 /proc/meminfo: memFree=1752604/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1541.89 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 153620 569 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 14856 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3140 /proc/meminfo: memFree=1752728/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1601.88 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 159600 588 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 14856 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3140 /proc/meminfo: memFree=1752728/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1661.86 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 165579 607 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 136520986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 14856 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3142 /proc/meminfo: memFree=1752728/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1721.85 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 171558 627 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 136504265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 14856 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3144 /proc/meminfo: memFree=1752728/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1781.83 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 177538 645 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 14856 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3144 /proc/meminfo: memFree=1752728/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1791.44 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 178495 649 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 14856 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3144 /proc/meminfo: memFree=1752852/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1794.64 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 178814 650 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 14856 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3144 /proc/meminfo: memFree=1752852/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1796.23 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 178972 651 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1796.23 Current children cumulated vsize (KiB) 14856 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3144 /proc/meminfo: memFree=1752852/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1797.03 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 179052 651 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 14856 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3144 /proc/meminfo: memFree=1752852/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1797.43 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 179092 651 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 14856 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3144 /proc/meminfo: memFree=1752852/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1797.83 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 179132 651 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 134552465 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 14856 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3144 /proc/meminfo: memFree=1752852/2059040 swapFree=4140408/4192956 [pid=3083] ppid=3081 vsize=14856 CPUtime=1797.94 /proc/3083/stat : 3083 (bsolo_pb10) R 3081 3083 2562 0 -1 4202496 1387 0 0 0 179143 651 0 0 25 0 1 0 36940537 15212544 1289 1992294400 134512640 137138936 4286977568 18446744073709551615 134599832 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3083/statm: 3714 1289 192 642 0 3070 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 14856 Child status: 0 Real time (s): 1798.46 CPU time (s): 1798 CPU user time (s): 1791.48 CPU system time (s): 6.51801 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 14940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.48 system time used= 6.51801 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1388 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 2786 runsolver used 2.86656 second user time and 8.59469 second system time The end
Begin job on node004 at 2010-06-15 16:49:27 IDJOB=2656636 IDBENCH=2914 IDSOLVER=1162 FILE ID=node004/2656636-1276613367 PBS_JOBID= 11172268 Free space on /tmp= 62564 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656636-1276613367/watcher-2656636-1276613367 -o /tmp/evaluation-result-2656636-1276613367/solver-2656636-1276613367 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656636-1276613367.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a470052ca6f8034e2c6c08868e52d9e8 RANDOM SEED=1765678628 node004.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1760084 kB Buffers: 66704 kB Cached: 138280 kB SwapCached: 6548 kB Active: 99052 kB Inactive: 119828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1760084 kB SwapTotal: 4192956 kB SwapFree: 4140408 kB Dirty: 4000 kB Writeback: 0 kB AnonPages: 12064 kB Mapped: 13080 kB Slab: 58064 kB PageTables: 3928 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180988 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62560 MiB End job on node004 at 2010-06-15 17:19:25