Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1563.05 | 1563.69 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb |
MD5SUM | 751aa23355f7a016eeb9009a33a863ac |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 699 |
Best CPU time to get the best result obtained on this benchmark | 1800.5 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 436 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 494314 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 494314 |
Number of bits of the biggest sum of numbers | 19 |
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.01 c wbo 1.4 beta - 20100610 0.00/0.01 c Parsing opb file format. File HOME/instance-2680575-1277451715.opb. 0.00/0.01 c Instance file HOME/instance-2680575-1277451715.opb 0.00/0.01 c File size is 17233610 bytes. 2.98/3.06 c Highest Coefficient sum: 101 2.98/3.07 c ============================[ Problem Statistics ]============================= 2.98/3.07 c | | 2.98/3.07 c | Parsing time: 3.02 s | 2.98/3.07 c | Number Variables: 10000 | 2.98/3.07 c | Number Clauses: 656900 | 2.98/3.07 c | Number Cardinality: 0 | 2.98/3.07 c | Number PB Constraints: 0 | 6.59/6.63 c ============================[ Search Statistics ]============================== 6.59/6.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.59/6.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.59/6.63 c =============================================================================== 6.59/6.63 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.69/6.70 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.78/6.83 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 7.08/7.14 c =============================================================================== 7.08/7.14 c New solution: 7323 7.08/7.14 o 7323 7.08/7.14 c Elapsed CPU time: 7.01093 s Remaining CPU time: 172.989 s 7.08/7.14 c =============================================================================== 7.08/7.14 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 7.38/7.44 c =============================================================================== 7.38/7.44 c New solution: 6828 7.38/7.44 o 6828 7.38/7.44 c Elapsed CPU time: 7.30689 s Remaining CPU time: 172.693 s 7.38/7.44 c =============================================================================== 7.38/7.44 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 7.69/7.73 c =============================================================================== 7.69/7.73 c New solution: 6420 7.69/7.73 o 6420 7.69/7.73 c Elapsed CPU time: 7.59884 s Remaining CPU time: 172.401 s 7.69/7.73 c =============================================================================== 7.69/7.73 c | 295 | 10000 656903 1363400 | 218967 295 1202 | 0.000 % | 7.78/7.82 c | 396 | 10000 656903 1363400 | 240864 396 1100 | 0.000 % | 8.09/8.16 c =============================================================================== 8.09/8.16 c New solution: 6396 8.09/8.16 o 6396 8.09/8.16 c Elapsed CPU time: 8.01278 s Remaining CPU time: 171.987 s 8.09/8.16 c =============================================================================== 8.09/8.16 c | 450 | 10000 656904 1373400 | 218968 450 1049 | 0.000 % | 8.19/8.26 c | 550 | 10000 656904 1373400 | 240864 550 1011 | 0.000 % | 8.38/8.40 c | 701 | 10000 656904 1373400 | 264951 701 987 | 0.000 % | 8.58/8.62 c | 926 | 10000 656904 1373400 | 291446 926 951 | 0.000 % | 8.89/8.93 c | 1266 | 10000 656904 1373400 | 320591 1266 1006 | 0.000 % | 9.28/9.39 c | 1772 | 10000 656904 1373400 | 352650 1772 947 | 0.000 % | 10.09/10.15 c | 2533 | 10000 656904 1373400 | 387915 2533 890 | 0.000 % | 11.38/11.44 c | 3672 | 10000 656904 1373400 | 426706 3672 771 | 0.000 % | 13.09/13.16 c | 5383 | 10000 656904 1373400 | 469377 5383 698 | 0.000 % | 13.38/13.46 c =============================================================================== 13.38/13.46 c New solution: 6394 13.38/13.46 o 6394 13.38/13.46 c Elapsed CPU time: 13.271 s Remaining CPU time: 166.729 s 13.38/13.46 c =============================================================================== 13.38/13.46 c | 5385 | 10000 656905 1383400 | 218968 5385 698 | 0.000 % | 13.68/13.76 c =============================================================================== 13.68/13.76 c New solution: 6381 13.68/13.76 o 6381 13.68/13.76 c Elapsed CPU time: 13.5639 s Remaining CPU time: 166.436 s 13.68/13.76 c =============================================================================== 13.68/13.76 c | 5385 | 10000 656906 1393400 | 218968 5385 698 | 0.000 % | 13.98/14.07 c =============================================================================== 13.98/14.07 c New solution: 6380 13.98/14.07 o 6380 13.98/14.07 c Elapsed CPU time: 13.8779 s Remaining CPU time: 166.122 s 13.98/14.07 c =============================================================================== 13.98/14.07 c | 5404 | 10000 656907 1403400 | 218969 5404 698 | 0.000 % | 14.29/14.37 c =============================================================================== 14.29/14.37 c New solution: 6221 14.29/14.37 o 6221 14.29/14.37 c Elapsed CPU time: 14.1738 s Remaining CPU time: 165.826 s 14.29/14.37 c =============================================================================== 14.29/14.37 c | 5406 | 10000 656908 1413400 | 218969 5406 698 | 0.000 % | 14.58/14.68 c =============================================================================== 14.58/14.68 c New solution: 6151 14.58/14.68 o 6151 14.58/14.68 c Elapsed CPU time: 14.4748 s Remaining CPU time: 165.525 s 14.58/14.68 c =============================================================================== 14.58/14.68 c | 5412 | 10000 656909 1423400 | 218969 5412 698 | 0.000 % | 14.88/14.97 c =============================================================================== 14.88/14.97 c New solution: 6068 14.88/14.97 o 6068 14.88/14.97 c Elapsed CPU time: 14.7688 s Remaining CPU time: 165.231 s 14.88/14.97 c =============================================================================== 14.88/14.97 c | 5414 | 10000 656910 1433400 | 218970 5414 698 | 0.000 % | 15.09/15.15 c | 5515 | 10000 656910 1433400 | 240867 5515 698 | 0.000 % | 15.39/15.46 c =============================================================================== 15.39/15.46 c New solution: 5960 15.39/15.46 o 5960 15.39/15.46 c Elapsed CPU time: 15.2517 s Remaining CPU time: 164.748 s 15.39/15.46 c =============================================================================== 15.39/15.46 c | 5526 | 10000 656911 1443400 | 218970 5526 699 | 0.000 % | 15.59/15.68 c | 5626 | 10000 656911 1443400 | 240867 5626 698 | 0.000 % | 15.88/15.91 c | 5777 | 10000 656911 1443400 | 264954 5777 706 | 0.000 % | 16.08/16.19 c | 6002 | 10000 656911 1443400 | 291449 6002 727 | 0.000 % | 16.58/16.66 c | 6341 | 10000 656911 1443400 | 320594 6341 741 | 0.000 % | 17.28/17.39 c | 6848 | 10000 656911 1443400 | 352653 6848 744 | 0.000 % | 17.68/17.71 c =============================================================================== 17.68/17.71 c New solution: 5958 17.68/17.71 o 5958 17.68/17.71 c Elapsed CPU time: 17.4673 s Remaining CPU time: 162.533 s 17.68/17.71 c =============================================================================== 17.68/17.71 c | 6857 | 10000 656912 1453400 | 218970 6857 744 | 0.000 % | 17.78/17.86 c | 6958 | 10000 656912 1453400 | 240867 6958 743 | 0.000 % | 17.98/18.07 c | 7110 | 10000 656912 1453400 | 264954 7110 743 | 0.000 % | 18.38/18.45 c | 7335 | 10000 656912 1453400 | 291449 7335 748 | 0.000 % | 18.98/19.01 c | 7672 | 10000 656912 1453400 | 320594 7672 758 | 0.000 % | 19.58/19.66 c | 8178 | 10000 656912 1453400 | 352654 8178 758 | 0.000 % | 20.58/20.67 c | 8939 | 10000 656912 1453400 | 387919 8939 750 | 0.000 % | 21.99/22.08 c | 10079 | 10000 656912 1453400 | 426711 10079 727 | 0.000 % | 24.27/24.32 c | 11788 | 10000 656912 1453400 | 469383 11788 711 | 0.000 % | 24.68/24.72 c =============================================================================== 24.68/24.72 c New solution: 5876 24.68/24.72 o 5876 24.68/24.72 c Elapsed CPU time: 24.4273 s Remaining CPU time: 155.573 s 24.68/24.72 c =============================================================================== 24.68/24.72 c | 11854 | 10000 656913 1463400 | 218971 11854 711 | 0.000 % | 25.18/25.22 c =============================================================================== 25.18/25.22 c New solution: 5874 25.18/25.22 o 5874 25.18/25.22 c Elapsed CPU time: 24.9272 s Remaining CPU time: 155.073 s 25.18/25.22 c =============================================================================== 25.18/25.22 c | 11940 | 10000 656914 1473400 | 218971 11940 711 | 0.000 % | 25.38/25.43 c | 12040 | 10000 656914 1473400 | 240868 12040 710 | 0.000 % | 25.68/25.70 c | 12190 | 10000 656914 1473400 | 264955 12190 709 | 0.000 % | 26.08/26.12 c | 12415 | 10000 656914 1473400 | 291450 12415 718 | 0.000 % | 26.58/26.62 c | 12752 | 10000 656914 1473400 | 320595 12752 721 | 0.000 % | 27.48/27.54 c | 13258 | 10000 656914 1473400 | 352655 13258 730 | 0.000 % | 28.67/28.71 c | 14017 | 10000 656914 1473400 | 387921 14017 750 | 0.000 % | 29.98/30.04 c =============================================================================== 29.98/30.04 c New solution: 5842 29.98/30.04 o 5842 29.98/30.04 c Elapsed CPU time: 29.7005 s Remaining CPU time: 150.3 s 29.98/30.04 c =============================================================================== 29.98/30.04 c | 14747 | 10000 656915 1483400 | 218971 14747 756 | 0.000 % | 30.18/30.21 c | 14848 | 10000 656915 1483400 | 240868 14848 754 | 0.000 % | 30.38/30.44 c | 14998 | 10000 656915 1483400 | 264955 14998 754 | 0.000 % | 30.88/30.91 c | 15223 | 10000 656915 1483400 | 291451 15223 754 | 0.000 % | 31.47/31.59 c | 15560 | 10000 656915 1483400 | 320596 15560 752 | 0.000 % | 32.27/32.39 c | 16067 | 10000 656915 1483400 | 352656 16067 763 | 0.000 % | 33.57/33.69 c | 16826 | 10000 656915 1483400 | 387921 16826 767 | 0.000 % | 35.37/35.49 c | 17966 | 10000 656915 1483400 | 426713 17966 766 | 0.000 % | 36.07/36.12 c =============================================================================== 36.07/36.12 c New solution: 5841 36.07/36.12 o 5841 36.07/36.12 c Elapsed CPU time: 35.7316 s Remaining CPU time: 144.268 s 36.07/36.12 c =============================================================================== 36.07/36.12 c | 18135 | 10000 656916 1493400 | 218972 18135 767 | 0.000 % | 36.37/36.45 c =============================================================================== 36.37/36.45 c New solution: 5832 36.37/36.45 o 5832 36.37/36.45 c Elapsed CPU time: 36.0665 s Remaining CPU time: 143.933 s 36.37/36.45 c =============================================================================== 36.37/36.45 c | 18145 | 10000 656917 1503400 | 218972 18145 767 | 0.000 % | 36.66/36.72 c | 18246 | 10000 656917 1503400 | 240869 18246 765 | 0.000 % | 36.97/37.05 c =============================================================================== 36.97/37.05 c New solution: 5818 36.97/37.05 o 5818 36.97/37.05 c Elapsed CPU time: 36.6554 s Remaining CPU time: 143.345 s 36.97/37.05 c =============================================================================== 36.97/37.05 c | 18272 | 10000 656918 1513400 | 218972 18272 765 | 0.000 % | 37.17/37.28 c | 18372 | 10000 656918 1513400 | 240869 18372 766 | 0.000 % | 37.46/37.57 c | 18523 | 10000 656918 1513400 | 264956 18523 768 | 0.000 % | 37.97/38.07 c | 18748 | 10000 656918 1513400 | 291452 18748 766 | 0.000 % | 38.56/38.65 c | 19086 | 10000 656918 1513400 | 320597 19086 763 | 0.000 % | 39.36/39.45 c | 19594 | 10000 656918 1513400 | 352657 19594 757 | 0.000 % | 40.46/40.58 c | 20354 | 10000 656918 1513400 | 387923 20354 748 | 0.000 % | 42.77/42.84 c | 21493 | 10000 656918 1513400 | 426715 21493 742 | 0.000 % | 45.46/45.55 c | 23203 | 10000 656918 1513400 | 469387 23203 727 | 0.000 % | 49.16/49.28 c | 25765 | 10000 656918 1513400 | 516326 25765 702 | 0.000 % | 56.66/56.77 c | 29609 | 10000 656918 1513400 | 567958 29609 700 | 0.000 % | 59.95/60.06 c =============================================================================== 59.95/60.06 c New solution: 5813 59.95/60.06 o 5813 59.95/60.06 c Elapsed CPU time: 59.5569 s Remaining CPU time: 120.443 s 59.95/60.06 c =============================================================================== 59.95/60.06 c | 30706 | 10000 656919 1523400 | 218973 30706 703 | 0.000 % | 60.15/60.26 c | 30806 | 10000 656919 1523400 | 240870 30806 703 | 0.000 % | 60.46/60.57 c =============================================================================== 60.46/60.57 c New solution: 5802 60.46/60.57 o 5802 60.46/60.57 c Elapsed CPU time: 60.0549 s Remaining CPU time: 119.945 s 60.46/60.57 c =============================================================================== 60.46/60.57 c | 30807 | 10000 656920 1533400 | 218973 30807 703 | 0.000 % | 60.75/60.87 c =============================================================================== 60.75/60.87 c New solution: 5789 60.75/60.87 o 5789 60.75/60.87 c Elapsed CPU time: 60.3618 s Remaining CPU time: 119.638 s 60.75/60.87 c =============================================================================== 60.75/60.87 c | 30809 | 10000 656921 1543400 | 218973 30809 703 | 0.000 % | 61.05/61.18 c =============================================================================== 61.05/61.18 c New solution: 5659 61.05/61.18 o 5659 61.05/61.18 c Elapsed CPU time: 60.6648 s Remaining CPU time: 119.335 s 61.05/61.18 c =============================================================================== 61.05/61.18 c | 30811 | 10000 656922 1553400 | 218974 30811 703 | 0.000 % | 61.65/61.75 c =============================================================================== 61.65/61.75 c New solution: 5652 61.65/61.75 o 5652 61.65/61.75 c Elapsed CPU time: 61.2267 s Remaining CPU time: 118.773 s 61.65/61.75 c =============================================================================== 61.65/61.75 c | 30901 | 10000 656923 1563400 | 218974 30901 703 | 0.000 % | 61.85/61.95 c | 31002 | 10000 656923 1563400 | 240871 31002 702 | 0.000 % | 62.15/62.28 c | 31152 | 10000 656923 1563400 | 264958 31152 701 | 0.000 % | 62.76/62.88 c | 31377 | 10000 656923 1563400 | 291454 31377 701 | 0.000 % | 63.66/63.75 c | 31715 | 10000 656923 1563400 | 320600 31715 699 | 0.000 % | 64.65/64.70 c | 32221 | 10000 656923 1563400 | 352660 32221 702 | 0.000 % | 66.16/66.22 c | 32981 | 10000 656923 1563400 | 387926 32981 697 | 0.000 % | 68.55/68.63 c | 34121 | 10000 656923 1563400 | 426719 34121 708 | 0.000 % | 71.55/71.63 c | 35830 | 10000 656923 1563400 | 469390 35830 696 | 0.000 % | 77.24/77.39 c | 38393 | 10000 656923 1563400 | 516330 38393 686 | 0.000 % | 85.44/85.53 c | 42238 | 10000 656923 1563400 | 567963 42238 675 | 0.000 % | 88.34/88.47 c =============================================================================== 88.34/88.47 c New solution: 5621 88.34/88.47 o 5621 88.34/88.47 c Elapsed CPU time: 87.8206 s Remaining CPU time: 92.1794 s 88.34/88.47 c =============================================================================== 88.34/88.47 c | 43389 | 10000 656924 1573400 | 218974 43389 671 | 0.000 % | 88.64/88.76 c | 43489 | 10000 656924 1573400 | 240872 43489 671 | 0.000 % | 88.95/89.09 c | 43639 | 10000 656924 1573400 | 264959 43639 671 | 0.000 % | 89.44/89.56 c | 43864 | 10000 656924 1573400 | 291455 43864 670 | 0.000 % | 90.34/90.41 c | 44203 | 10000 656924 1573400 | 320600 44203 670 | 0.000 % | 91.64/91.73 c | 44713 | 10000 656924 1573400 | 352660 44713 670 | 0.000 % | 93.14/93.23 c | 45472 | 10000 656924 1573400 | 387926 45472 676 | 0.000 % | 95.74/95.81 c | 46611 | 10000 656924 1573400 | 426719 46611 672 | 0.000 % | 99.54/99.69 c | 48320 | 10000 656924 1573400 | 469391 48320 676 | 0.000 % | 105.44/105.56 c | 50882 | 10000 656924 1573400 | 516330 50882 671 | 0.000 % | 112.03/112.15 c =============================================================================== 112.03/112.15 c New solution: 5617 112.03/112.15 o 5617 112.03/112.15 c Elapsed CPU time: 111.389 s Remaining CPU time: 68.6109 s 112.03/112.15 c =============================================================================== 112.03/112.15 c | 53920 | 10000 656925 1583400 | 218975 53920 694 | 0.000 % | 112.33/112.43 c | 54020 | 10000 656925 1583400 | 240872 54020 694 | 0.000 % | 112.82/112.90 c =============================================================================== 112.82/112.90 c New solution: 5604 112.82/112.90 o 5604 112.82/112.90 c Elapsed CPU time: 112.136 s Remaining CPU time: 67.864 s 112.82/112.90 c =============================================================================== 112.82/112.90 c | 54073 | 10000 656926 1593400 | 218975 54073 694 | 0.000 % | 113.03/113.15 c | 54173 | 10000 656926 1593400 | 240872 54173 694 | 0.000 % | 113.42/113.54 c | 54324 | 10000 656926 1593400 | 264960 54324 694 | 0.000 % | 113.93/114.05 c | 54549 | 10000 656926 1593400 | 291456 54549 693 | 0.000 % | 114.82/114.97 c | 54886 | 10000 656926 1593400 | 320601 54886 692 | 0.000 % | 116.03/116.15 c | 55392 | 10000 656926 1593400 | 352661 55392 695 | 0.000 % | 117.43/117.58 c | 56154 | 10000 656926 1593400 | 387928 56154 693 | 0.000 % | 121.62/121.70 c | 57293 | 10000 656926 1593400 | 426720 57293 691 | 0.000 % | 126.52/126.67 c | 59001 | 10000 656926 1593400 | 469393 59001 691 | 0.000 % | 130.73/130.90 c =============================================================================== 130.73/130.90 c New solution: 5601 130.73/130.90 o 5601 130.73/130.90 c Elapsed CPU time: 130.049 s Remaining CPU time: 49.9508 s 130.73/130.90 c =============================================================================== 130.73/130.90 c | 60322 | 10000 656927 1603400 | 218975 60322 689 | 0.000 % | 131.02/131.15 c | 60424 | 10000 656927 1603400 | 240873 60424 690 | 0.000 % | 131.62/131.71 c | 60575 | 10000 656927 1603400 | 264960 60575 690 | 0.000 % | 132.22/132.31 c | 60801 | 10000 656927 1603400 | 291456 60801 689 | 0.000 % | 133.03/133.12 c | 61139 | 10000 656927 1603400 | 320602 61139 689 | 0.000 % | 134.02/134.18 c | 61648 | 10000 656927 1603400 | 352662 61648 688 | 0.000 % | 136.02/136.18 c | 62407 | 10000 656927 1603400 | 387928 62407 689 | 0.000 % | 138.22/138.32 c | 63547 | 10000 656927 1603400 | 426721 63547 686 | 0.000 % | 142.83/142.92 c | 65255 | 10000 656927 1603400 | 469393 65255 683 | 0.000 % | 148.91/149.05 c | 67817 | 10000 656927 1603400 | 516333 67817 685 | 0.000 % | 159.31/159.48 c | 71662 | 10000 656927 1603400 | 567966 71662 680 | 0.000 % | 160.11/160.26 c =============================================================================== 160.11/160.26 c New solution: 5599 160.11/160.26 o 5599 160.11/160.26 c Elapsed CPU time: 159.275 s Remaining CPU time: 20.7252 s 160.11/160.27 c =============================================================================== 160.11/160.27 c | 71814 | 10000 656928 1613400 | 218976 71814 680 | 0.000 % | 160.41/160.57 c | 71915 | 10000 656928 1613400 | 240873 71915 680 | 0.000 % | 160.81/160.93 c | 72066 | 10000 656928 1613400 | 264960 72066 680 | 0.000 % | 161.30/161.42 c | 72291 | 10000 656928 1613400 | 291457 72291 679 | 0.000 % | 162.11/162.21 c | 72628 | 10000 656928 1613400 | 320602 72628 679 | 0.000 % | 163.61/163.74 c | 73134 | 10000 656928 1613400 | 352663 73134 677 | 0.000 % | 165.30/165.50 c =============================================================================== 165.30/165.50 c New solution: 5582 165.30/165.50 o 5582 165.30/165.50 c Elapsed CPU time: 164.476 s Remaining CPU time: 15.524 s 165.30/165.50 c =============================================================================== 165.30/165.50 c | 73628 | 10000 656929 1623400 | 218976 73628 677 | 0.000 % | 165.61/165.78 c | 73728 | 10000 656929 1623400 | 240873 73728 677 | 0.000 % | 166.10/166.29 c | 73878 | 10000 656929 1623400 | 264961 73878 677 | 0.000 % | 166.80/166.94 c | 74103 | 10000 656929 1623400 | 291457 74103 677 | 0.000 % | 167.81/167.98 c | 74441 | 10000 656929 1623400 | 320603 74441 676 | 0.000 % | 169.10/169.20 c | 74947 | 10000 656929 1623400 | 352663 74947 675 | 0.000 % | 171.10/171.26 c | 75707 | 10000 656929 1623400 | 387929 75707 674 | 0.000 % | 174.20/174.33 c | 76848 | 10000 656929 1623400 | 426722 76848 671 | 0.000 % | 177.90/178.01 c | 78556 | 10000 656929 1623400 | 469395 78556 668 | 0.000 % | 181.00/181.12 c There are 0 assigned variables. 0 in cost function. 203.99/204.17 c core #1 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 1 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #2 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 2 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #3 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 3 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #4 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 4 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #5 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 5 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #6 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 6 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #7 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 7 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #8 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 8 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #9 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 9 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #10 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 10 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #11 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 3 Total Weight: 13 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #12 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 14 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #13 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 15 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #14 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 16 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #15 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 2 Total Weight: 18 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #16 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 19 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #17 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 20 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #18 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 2 Total Weight: 22 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #19 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 23 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #20 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 24 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #21 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 201 Core Weight: 1 Total Weight: 25 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #22 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 26 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #23 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 27 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #24 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 28 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #25 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 2 Total Weight: 30 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #26 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 31 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #27 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 32 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #28 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 301 Core Weight: 1 Total Weight: 33 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #29 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 34 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #30 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 35 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #31 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 36 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #32 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 37 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #33 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 38 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #34 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 3 Total Weight: 41 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #35 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 201 Core Weight: 1 Total Weight: 42 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #36 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 43 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #37 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 44 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #38 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 45 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #39 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 46 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #40 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 47 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #41 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 48 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #42 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 49 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #43 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 50 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #44 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 51 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #45 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 52 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #46 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 53 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #47 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 54 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #48 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 55 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #49 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 56 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #50 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 57 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #51 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 2 Total Weight: 59 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #52 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 60 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #53 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 61 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #54 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 2 Total Weight: 63 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #55 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 64 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #56 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 401 Core Weight: 1 Total Weight: 65 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #57 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 66 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #58 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 67 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c core #59 203.99/204.17 c 203.99/204.17 c 203.99/204.17 c Core size: 101 Core Weight: 1 Total Weight: 68 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #60 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 69 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #61 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 3 Total Weight: 72 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #62 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 73 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #63 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 74 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #64 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 75 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #65 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 2 Total Weight: 77 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #66 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 201 Core Weight: 1 Total Weight: 78 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #67 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 79 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #68 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 80 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #69 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 81 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #70 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 1401 Core Weight: 1 Total Weight: 82 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #71 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 83 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #72 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 301 Core Weight: 1 Total Weight: 84 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #73 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 85 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #74 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 86 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #75 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 2 Total Weight: 88 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #76 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 89 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #77 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 90 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #78 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 2 Total Weight: 92 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #79 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 93 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #80 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 94 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #81 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 701 Core Weight: 1 Total Weight: 95 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #82 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 96 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #83 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 97 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #84 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 801 Core Weight: 1 Total Weight: 98 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #85 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 99 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #86 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 100 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #87 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 101 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #88 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 102 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #89 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 103 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #90 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 1401 Core Weight: 1 Total Weight: 104 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #91 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 2 Total Weight: 106 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #92 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 107 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #93 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 201 Core Weight: 1 Total Weight: 108 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #94 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 109 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #95 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 110 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #96 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 111 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #97 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 112 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #98 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 113 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #99 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 301 Core Weight: 1 Total Weight: 114 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #100 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 115 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #101 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 116 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #102 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 117 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #103 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 118 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #104 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 119 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #105 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 301 Core Weight: 2 Total Weight: 121 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #106 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 122 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #107 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 2 Total Weight: 124 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #108 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 125 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #109 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 201 Core Weight: 1 Total Weight: 126 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #110 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 127 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #111 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 128 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #112 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 201 Core Weight: 1 Total Weight: 129 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #113 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 130 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #114 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 131 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #115 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 1801 Core Weight: 1 Total Weight: 132 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #116 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 101 Core Weight: 1 Total Weight: 133 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c core #117 227.28/227.48 c 227.28/227.48 c 227.28/227.48 c Core size: 1965 Core Weight: 1 Total Weight: 134 230.38/230.51 c 230.38/230.51 c 230.38/230.51 c core #118 230.38/230.51 c 230.38/230.51 c 230.38/230.51 c Core size: 2468 Core Weight: 1 Total Weight: 135 230.38/230.51 c 230.38/230.51 c 230.38/230.51 c core #119 230.38/230.51 c 230.38/230.51 c 230.38/230.51 c Core size: 1720 Core Weight: 1 Total Weight: 136 230.38/230.51 c 230.38/230.51 c 230.38/230.51 c core #120 230.38/230.51 c 230.38/230.51 c 230.38/230.51 c Core size: 101 Core Weight: 1 Total Weight: 137 230.38/230.51 c 230.38/230.51 c 230.38/230.51 c core #121 230.38/230.51 c 230.38/230.51 c 230.38/230.51 c Core size: 201 Core Weight: 1 Total Weight: 138 230.38/230.51 c 230.38/230.51 c 230.38/230.51 c core #122 230.38/230.51 c 230.38/230.51 c 230.38/230.51 c Core size: 101 Core Weight: 1 Total Weight: 139 230.38/230.51 c 230.38/230.51 c 230.38/230.51 c core #123 230.38/230.51 c 230.38/230.51 c 230.38/230.51 c Core size: 701 Core Weight: 1 Total Weight: 140 230.38/230.51 c 230.38/230.51 c 230.38/230.51 c ============================[ Search Statistics ]============================== 230.38/230.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.38/230.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.38/230.51 c =============================================================================== 230.38/230.51 c | 0 | 25811 692485 48382 | 230828 0 nan | 0.000 % | 230.38/230.52 c =============================================================================== 230.79/230.96 c core #124 230.79/230.96 c 230.79/230.96 c 230.79/230.96 c Core size: 495 Core Weight: 1 Total Weight: 141 230.79/230.96 c 230.79/230.96 c 230.79/230.96 c ============================[ Search Statistics ]============================== 230.79/230.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.79/230.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.79/230.96 c =============================================================================== 230.79/230.96 c | 0 | 26305 692963 48953 | 230987 0 nan | 0.000 % | 230.79/231.00 c =============================================================================== 231.28/231.44 c core #125 231.28/231.44 c 231.28/231.44 c 231.28/231.44 c Core size: 1074 Core Weight: 1 Total Weight: 142 231.28/231.44 c 231.28/231.44 c 231.28/231.44 c ============================[ Search Statistics ]============================== 231.28/231.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.28/231.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.28/231.44 c =============================================================================== 231.28/231.44 c | 0 | 27483 693997 50468 | 231332 0 nan | 0.000 % | 231.28/231.48 c =============================================================================== 231.68/231.89 c core #126 231.68/231.89 c 231.68/231.89 c 231.68/231.89 c Core size: 1066 Core Weight: 1 Total Weight: 143 231.68/231.89 c 231.68/231.89 c 231.68/231.89 c ============================[ Search Statistics ]============================== 231.68/231.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.68/231.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.68/231.89 c =============================================================================== 231.68/231.89 c | 0 | 28545 695029 51804 | 231676 0 nan | 0.000 % | 231.78/231.96 c =============================================================================== 232.28/232.40 c core #127 232.28/232.40 c 232.28/232.40 c 232.28/232.40 c Core size: 1622 Core Weight: 1 Total Weight: 144 232.28/232.40 c 232.28/232.40 c 232.28/232.40 c ============================[ Search Statistics ]============================== 232.28/232.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.28/232.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.28/232.40 c =============================================================================== 232.28/232.40 c | 0 | 30158 696607 53634 | 232202 0 nan | 0.000 % | 232.28/232.45 c =============================================================================== 232.78/232.92 c core #128 232.78/232.92 c 232.78/232.92 c 232.78/232.92 c Core size: 1087 Core Weight: 1 Total Weight: 145 232.78/232.92 c 232.78/232.92 c 232.78/232.92 c ============================[ Search Statistics ]============================== 232.78/232.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.78/232.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.78/232.92 c =============================================================================== 232.78/232.92 c | 0 | 31245 697635 55104 | 232545 0 nan | 0.000 % | 232.99/233.20 c =============================================================================== 233.48/233.63 c core #129 233.48/233.63 c 233.48/233.63 c 233.48/233.63 c Core size: 3179 Core Weight: 1 Total Weight: 146 233.48/233.63 c 233.48/233.63 c 233.48/233.63 c ============================[ Search Statistics ]============================== 233.48/233.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.48/233.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.48/233.63 c =============================================================================== 233.48/233.63 c | 0 | 34650 700678 59544 | 233559 0 nan | 0.000 % | 233.68/233.88 c =============================================================================== 234.19/234.39 c core #130 234.19/234.39 c 234.19/234.39 c 234.19/234.39 c Core size: 2685 Core Weight: 1 Total Weight: 147 234.19/234.39 c 234.19/234.39 c 234.19/234.39 c ============================[ Search Statistics ]============================== 234.19/234.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.19/234.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.19/234.39 c =============================================================================== 234.19/234.39 c | 0 | 37348 703235 62877 | 234411 0 nan | 0.000 % | 234.38/234.57 c | 102 | 37348 703235 62877 | 257852 102 1720 | 20.448 % | 235.38/235.50 c =============================================================================== 235.78/235.96 c core #131 235.78/235.96 c 235.78/235.96 c 235.78/235.96 c Core size: 6777 Core Weight: 1 Total Weight: 148 235.78/235.96 c 235.78/235.96 c 235.78/235.96 c ============================[ Search Statistics ]============================== 235.78/235.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.78/235.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.78/235.96 c =============================================================================== 235.78/235.96 c | 0 | 44295 709613 72037 | 236537 0 nan | 0.000 % | 235.98/236.12 c | 102 | 44295 709613 72037 | 260191 102 1333 | 17.546 % | 236.58/236.74 c | 257 | 44295 709613 72037 | 286210 257 2225 | 17.546 % | 237.38/237.51 c | 482 | 44294 709613 72037 | 314831 479 2354 | 17.548 % | 238.18/238.37 c | 821 | 44290 709613 72037 | 346314 808 2509 | 17.570 % | 239.78/239.95 c =============================================================================== 240.28/240.43 c core #132 240.28/240.43 c 240.28/240.43 c 240.28/240.43 c Core size: 9228 Core Weight: 1 Total Weight: 149 240.28/240.43 c 240.28/240.43 c 240.28/240.43 c ============================[ Search Statistics ]============================== 240.28/240.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 240.28/240.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 240.28/240.43 c =============================================================================== 240.28/240.43 c | 0 | 53615 717915 84765 | 239305 0 nan | 0.000 % | 240.38/240.60 c | 101 | 53615 717915 84765 | 263235 101 1233 | 14.820 % | 240.88/241.09 c | 253 | 53615 717915 84765 | 289559 253 1728 | 14.820 % | 241.58/241.72 c | 479 | 53615 717915 84765 | 318514 479 1439 | 14.820 % | 242.67/242.82 c | 817 | 53615 717915 84765 | 350366 817 1200 | 14.820 % | 244.28/244.46 c | 1326 | 53614 717915 84765 | 385403 1324 1269 | 14.821 % | 246.77/246.95 c | 2085 | 53613 717915 84765 | 423943 2081 1311 | 14.823 % | 250.59/250.79 c | 3225 | 53612 717915 84765 | 466337 3209 1345 | 14.825 % | 257.38/257.59 c | 4934 | 53612 717915 84765 | 512971 4918 1499 | 14.825 % | 266.96/267.12 c | 7496 | 53612 717915 84765 | 564268 7480 1534 | 14.825 % | 281.47/281.67 c | 11340 | 53612 717915 84765 | 620695 11324 1546 | 14.825 % | 307.55/307.70 c | 17108 | 53611 717915 84765 | 682765 17084 1659 | 14.826 % | 355.24/355.41 c | 25760 | 53594 717915 84765 | 751041 20081 1798 | 14.853 % | 363.73/363.98 c =============================================================================== 364.53/364.77 c core #133 364.53/364.77 c 364.53/364.77 c 364.53/364.77 c Core size: 10428 Core Weight: 1 Total Weight: 150 364.53/364.77 c 364.53/364.77 c 364.53/364.77 c ============================[ Search Statistics ]============================== 364.53/364.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 364.53/364.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 364.53/364.77 c =============================================================================== 364.53/364.77 c | 0 | 64135 726773 100335 | 242257 0 nan | 0.000 % | 364.83/365.02 c | 100 | 64135 726773 100335 | 266483 100 1854 | 12.568 % | 365.33/365.51 c | 253 | 64135 726773 100335 | 293131 253 1179 | 12.568 % | 365.93/366.18 c | 478 | 64135 726773 100335 | 322444 478 906 | 12.568 % | 367.42/367.63 c | 816 | 64135 726773 100335 | 354689 816 859 | 12.568 % | 369.44/369.62 c | 1323 | 64135 726773 100335 | 390158 1323 762 | 12.568 % | 372.33/372.57 c | 2083 | 64135 726773 100335 | 429174 2083 833 | 12.568 % | 377.73/377.93 c | 3222 | 64135 726773 100335 | 472091 3222 788 | 12.568 % | 387.62/387.87 c | 4931 | 64135 726773 100335 | 519300 4931 951 | 12.568 % | 399.42/399.62 c | 7494 | 64135 726773 100335 | 571230 7494 1068 | 12.568 % | 418.21/418.42 c | 11339 | 64135 726773 100335 | 628353 11339 1102 | 12.568 % | 447.69/447.90 c | 17105 | 64134 726773 100335 | 691189 17103 1225 | 12.569 % | 499.38/499.68 c | 25754 | 64132 726773 100335 | 760308 25751 1509 | 12.572 % | 596.95/597.21 c | 38729 | 64132 726773 100335 | 836339 38717 1745 | 12.572 % | 761.38/761.74 c | 58190 | 64131 726773 100335 | 919973 58174 1975 | 12.573 % | 1150.41/1150.93 c | 87382 | 64131 726773 100335 | 1011970 87366 2926 | 12.573 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680575-1277451715/watcher-2680575-1277451715 -o /tmp/evaluation-result-2680575-1277451715/solver-2680575-1277451715 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680575-1277451715.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: 0.00 0.00 0.00 3/106 20707 /proc/meminfo: memFree=1484184/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=20420 CPUtime=0 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 516 0 0 0 0 0 0 0 19 0 1 0 118827980 20910080 434 1992294400 134512640 135752675 4290384496 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 5105 435 141 303 0 592 0 [startup+0.0446691 s] /proc/loadavg: 0.00 0.00 0.00 3/106 20707 /proc/meminfo: memFree=1484184/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=21440 CPUtime=0.03 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 769 0 0 0 3 0 0 0 19 0 1 0 118827980 21954560 687 1992294400 134512640 135752675 4290384496 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 5360 687 190 303 0 847 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21440 [startup+0.100678 s] /proc/loadavg: 0.00 0.00 0.00 3/106 20707 /proc/meminfo: memFree=1484184/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=22224 CPUtime=0.09 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 1045 0 0 0 9 0 0 0 19 0 1 0 118827980 22757376 963 1992294400 134512640 135752675 4290384496 18446744073709551615 135119204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 5556 963 276 303 0 1043 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22224 [startup+0.300715 s] /proc/loadavg: 0.00 0.00 0.00 3/106 20707 /proc/meminfo: memFree=1484184/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=24700 CPUtime=0.29 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 1934 0 0 0 29 0 0 0 20 0 1 0 118827980 25292800 1852 1992294400 134512640 135752675 4290384496 18446744073709551615 134570887 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 6175 1852 561 303 0 1662 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24700 [startup+0.70079 s] /proc/loadavg: 0.00 0.00 0.00 3/106 20707 /proc/meminfo: memFree=1484184/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=28712 CPUtime=0.69 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 3451 0 0 0 68 1 0 0 20 0 1 0 118827980 29401088 3369 1992294400 134512640 135752675 4290384496 18446744073709551615 134612792 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 7178 3369 1106 303 0 2665 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28712 [startup+1.50094 s] /proc/loadavg: 0.00 0.00 0.00 2/107 20708 /proc/meminfo: memFree=1472024/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=36720 CPUtime=1.49 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 6470 0 0 0 147 2 0 0 22 0 1 0 118827980 37601280 6388 1992294400 134512640 135752675 4290384496 18446744073709551615 134559859 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 9180 6388 2185 303 0 4667 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36720 [startup+3.10124 s] /proc/loadavg: 0.00 0.00 0.00 2/107 20708 /proc/meminfo: memFree=1460864/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=41172 CPUtime=3.08 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 14644 0 0 0 303 5 0 0 25 0 1 0 118827980 42160128 9358 1992294400 134512640 135752675 4290384496 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 10293 9359 140 303 0 9988 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 41172 [startup+6.30084 s] /proc/loadavg: 0.08 0.02 0.01 2/107 20708 /proc/meminfo: memFree=1406428/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=81064 CPUtime=6.28 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 24628 0 0 0 617 11 0 0 25 0 1 0 118827980 83009536 19342 1992294400 134512640 135752675 4290384496 18446744073709551615 135201152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 20266 19342 141 303 0 19961 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 81064 [startup+12.701 s] /proc/loadavg: 0.15 0.03 0.01 2/107 20710 /proc/meminfo: memFree=1406428/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=81064 CPUtime=12.68 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 24639 0 0 0 1251 17 0 0 25 0 1 0 118827980 83009536 19353 1992294400 134512640 135752675 4290384496 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 20266 19353 145 303 0 19961 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 81064 [startup+25.5004 s] /proc/loadavg: 0.34 0.08 0.02 2/107 20710 /proc/meminfo: memFree=1406428/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=81064 CPUtime=25.48 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 24639 0 0 0 2519 29 0 0 18 0 1 0 118827980 83009536 19353 1992294400 134512640 135752675 4290384496 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 20266 19353 145 303 0 19961 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 81064 [startup+51.1012 s] /proc/loadavg: 0.56 0.15 0.05 2/107 20710 /proc/meminfo: memFree=1368608/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=120396 CPUtime=51.06 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 34458 0 0 0 5062 44 0 0 25 0 1 0 118827980 123285504 29172 1992294400 134512640 135752675 4290384496 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 30099 29172 145 303 0 29794 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 120396 [startup+102.309 s] /proc/loadavg: 0.81 0.28 0.10 2/107 20712 /proc/meminfo: memFree=1305368/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=182544 CPUtime=102.25 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 49981 0 0 0 10159 66 0 0 25 0 1 0 118827980 186925056 44695 1992294400 134512640 135752675 4290384496 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 45636 44695 145 303 0 45331 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 182544 [startup+162.301 s] /proc/loadavg: 0.93 0.41 0.15 2/107 20714 /proc/meminfo: memFree=1238904/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=249484 CPUtime=162.21 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 66717 0 0 0 16128 93 0 0 25 0 1 0 118827980 255471616 61431 1992294400 134512640 135752675 4290384496 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 62371 61431 145 303 0 62066 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 249484 [startup+222.301 s] /proc/loadavg: 0.97 0.51 0.20 2/107 20714 /proc/meminfo: memFree=1200712/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=285528 CPUtime=222.18 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 77499 0 0 0 22114 104 0 0 25 0 1 0 118827980 292380672 70605 1992294400 134512640 135752675 4290384496 18446744073709551615 134633452 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 71382 70605 146 303 0 71077 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 285528 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/107 20716 /proc/meminfo: memFree=1200712/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=285528 CPUtime=282.16 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 77534 0 0 0 28099 117 0 0 25 0 1 0 118827980 292380672 70640 1992294400 134512640 135752675 4290384496 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 71382 70640 146 303 0 71077 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 285528 [startup+342.302 s] /proc/loadavg: 0.99 0.67 0.29 2/107 20718 /proc/meminfo: memFree=1083656/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=403776 CPUtime=342.14 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 107065 0 0 0 34078 136 0 0 25 0 1 0 118827980 413466624 100171 1992294400 134512640 135752675 4290384496 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 100944 100171 146 303 0 100639 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 403776 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.33 2/107 20720 /proc/meminfo: memFree=996360/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=492812 CPUtime=402.12 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 128594 0 0 0 40058 154 0 0 25 0 1 0 118827980 504639488 121700 1992294400 134512640 135752675 4290384496 18446744073709551615 134616174 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 123203 121700 146 303 0 122898 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 492812 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.37 2/107 20722 /proc/meminfo: memFree=996360/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=492812 CPUtime=462.09 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 128594 0 0 0 46047 162 0 0 25 0 1 0 118827980 504639488 121700 1992294400 134512640 135752675 4290384496 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 123203 121700 146 303 0 122898 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 492812 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.41 2/107 20722 /proc/meminfo: memFree=996360/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=492812 CPUtime=522.07 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 128595 0 0 0 52038 169 0 0 25 0 1 0 118827980 504639488 121701 1992294400 134512640 135752675 4290384496 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 123203 121701 146 303 0 122898 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 492812 [startup+582.301 s] /proc/loadavg: 0.99 0.84 0.44 2/107 20724 /proc/meminfo: memFree=940312/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=549304 CPUtime=582.05 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 142707 0 0 0 58023 182 0 0 25 0 1 0 118827980 562487296 135813 1992294400 134512640 135752675 4290384496 18446744073709551615 134605454 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 137326 135813 146 303 0 137021 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 549304 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.47 2/107 20726 /proc/meminfo: memFree=870128/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=618836 CPUtime=642.03 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 160082 0 0 0 64006 197 0 0 25 0 1 0 118827980 633688064 153188 1992294400 134512640 135752675 4290384496 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 154709 153188 146 303 0 154404 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 618836 [startup+702.301 s] /proc/loadavg: 0.99 0.89 0.50 2/107 20728 /proc/meminfo: memFree=805772/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=683448 CPUtime=702 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 176234 0 0 0 69990 210 0 0 25 0 1 0 118827980 699850752 169340 1992294400 134512640 135752675 4290384496 18446744073709551615 134640908 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 170862 169340 146 303 0 170557 0 Current children cumulated CPU time (s) 702 Current children cumulated vsize (KiB) 683448 [startup+762.309 s] /proc/loadavg: 0.99 0.91 0.53 2/107 20730 /proc/meminfo: memFree=739060/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=749760 CPUtime=761.98 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 192814 0 0 0 75974 224 0 0 25 0 1 0 118827980 767754240 185920 1992294400 134512640 135752675 4290384496 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 187440 185920 146 303 0 187135 0 Current children cumulated CPU time (s) 761.98 Current children cumulated vsize (KiB) 749760 [startup+822.301 s] /proc/loadavg: 0.99 0.92 0.56 2/107 20730 /proc/meminfo: memFree=626964/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=862576 CPUtime=821.95 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 221007 0 0 0 81953 242 0 0 25 0 1 0 118827980 883277824 214113 1992294400 134512640 135752675 4290384496 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 215644 214113 146 303 0 215339 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 862576 [startup+882.301 s] /proc/loadavg: 0.99 0.93 0.58 2/107 20732 /proc/meminfo: memFree=535204/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=953472 CPUtime=881.93 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 243741 0 0 0 87937 256 0 0 25 0 1 0 118827980 976355328 236847 1992294400 134512640 135752675 4290384496 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 238368 236847 146 303 0 238063 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 953472 [startup+942.301 s] /proc/loadavg: 0.99 0.94 0.61 2/107 20734 /proc/meminfo: memFree=461424/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=1027824 CPUtime=941.9 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 262325 0 0 0 93926 264 0 0 25 0 1 0 118827980 1052491776 255431 1992294400 134512640 135752675 4290384496 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 256956 255431 146 303 0 256651 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 1027824 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.63 2/107 20736 /proc/meminfo: memFree=385660/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=1102640 CPUtime=1001.88 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 281037 0 0 0 99912 276 0 0 25 0 1 0 118827980 1129103360 274143 1992294400 134512640 135752675 4290384496 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 275660 274143 146 303 0 275355 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 1102640 [startup+1062.3 s] /proc/loadavg: 0.99 0.95 0.65 2/107 20738 /proc/meminfo: memFree=315228/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=1173536 CPUtime=1061.87 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 298769 0 0 0 105900 287 0 0 25 0 1 0 118827980 1201700864 291875 1992294400 134512640 135752675 4290384496 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 293384 291875 146 303 0 293079 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 1173536 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/107 20738 /proc/meminfo: memFree=227188/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=1260412 CPUtime=1121.83 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 320473 0 0 0 111883 300 0 0 25 0 1 0 118827980 1290661888 313579 1992294400 134512640 135752675 4290384496 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 315103 313579 146 303 0 314798 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 1260412 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.68 2/107 20749 /proc/meminfo: memFree=149936/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=1337812 CPUtime=1181.8 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 339844 0 0 0 117865 315 0 0 25 0 1 0 118827980 1369919488 332950 1992294400 134512640 135752675 4290384496 18446744073709551615 134616069 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 334453 332950 146 303 0 334148 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 1337812 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.70 2/107 20751 /proc/meminfo: memFree=66980/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=1420156 CPUtime=1241.77 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 360375 0 0 0 123847 330 0 0 25 0 1 0 118827980 1454239744 353481 1992294400 134512640 135752675 4290384496 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 355039 353481 146 303 0 354734 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 1420156 [startup+1302.3 s] /proc/loadavg: 1.03 0.99 0.72 2/107 20753 /proc/meminfo: memFree=9424/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=1496380 CPUtime=1301.76 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 379424 0 0 0 129834 342 0 0 25 0 1 0 118827980 1532293120 372530 1992294400 134512640 135752675 4290384496 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 374095 372539 146 303 0 373790 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 1496380 [startup+1362.3 s] /proc/loadavg: 1.01 0.99 0.74 2/107 20755 /proc/meminfo: memFree=10380/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=1566180 CPUtime=1361.74 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 396878 0 0 0 135815 359 0 0 25 0 1 0 118827980 1603768320 389984 1992294400 134512640 135752675 4290384496 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 391545 389984 146 303 0 391240 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 1566180 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.75 2/107 20755 /proc/meminfo: memFree=9476/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=1658180 CPUtime=1421.72 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 419899 0 0 0 141799 373 0 0 25 0 1 0 118827980 1697976320 413005 1992294400 134512640 135752675 4290384496 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 414545 413005 146 303 0 414240 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 1658180 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.76 2/107 20757 /proc/meminfo: memFree=10396/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=1747732 CPUtime=1481.68 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 442274 0 0 0 147780 388 0 0 25 0 1 0 118827980 1789677568 435380 1992294400 134512640 135752675 4290384496 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 436933 435380 146 303 0 436628 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 1747732 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.77 2/107 20759 /proc/meminfo: memFree=10768/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=1814832 CPUtime=1541.66 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 459063 0 0 0 153764 402 0 0 25 0 1 0 118827980 1858387968 452169 1992294400 134512640 135752675 4290384496 18446744073709551615 134611767 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 453708 452169 146 303 0 453403 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 1814832 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1563.5 s] /proc/loadavg: 1.06 1.00 0.78 2/107 20759 /proc/meminfo: memFree=9676/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=1843208 CPUtime=1562.86 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4202496 466171 0 0 0 155879 407 0 0 25 0 1 0 118827980 1887444992 459277 1992294400 134512640 135752675 4290384496 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20707/statm: 460802 459277 146 303 0 460497 0 Current children cumulated CPU time (s) 1562.86 Current children cumulated vsize (KiB) 1843208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1563.61 s] /proc/loadavg: 1.06 1.00 0.78 2/107 20759 /proc/meminfo: memFree=9676/2059040 swapFree=4140004/4192956 [pid=20707] ppid=20705 vsize=0 CPUtime=1562.96 /proc/20707/stat : 20707 (wbo1.4b) R 20705 20707 20682 0 -1 4203524 466171 0 0 0 155879 417 0 0 25 0 1 0 118827980 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/20707/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1562.96 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1563.69 CPU time (s): 1563.05 CPU user time (s): 1558.8 CPU system time (s): 4.25335 CPU usage (%): 99.9591 Max. virtual memory (cumulated for all children) (KiB): 1843208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1558.8 system time used= 4.25335 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466171 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= 18 involuntary context switches= 5196 runsolver used 2.66659 second user time and 7.32589 second system time The end
Begin job on node019 at 2010-06-25 09:41:57 IDJOB=2680575 IDBENCH=1966 IDSOLVER=1190 FILE ID=node019/2680575-1277451715 PBS_JOBID= 11188140 Free space on /tmp= 62260 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680575-1277451715/watcher-2680575-1277451715 -o /tmp/evaluation-result-2680575-1277451715/solver-2680575-1277451715 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680575-1277451715.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 751aa23355f7a016eeb9009a33a863ac RANDOM SEED=1617550018 node019.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.264 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.52 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.264 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1484588 kB Buffers: 116040 kB Cached: 366024 kB SwapCached: 5628 kB Active: 202060 kB Inactive: 293060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1484588 kB SwapTotal: 4192956 kB SwapFree: 4140004 kB Dirty: 19504 kB Writeback: 0 kB AnonPages: 11608 kB Mapped: 11832 kB Slab: 57476 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183728 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= 62260 MiB End job on node019 at 2010-06-25 10:08:02