Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.4b (fixed) | ? (TO) | 1800.09 | 1800.74 |
| Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12016_2.std.opb |
| MD5SUM | cccd345daea74d5d7e187f797768ed88 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 265 |
| Best CPU time to get the best result obtained on this benchmark | 1800.18 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 72842 |
| Total number of constraints | 234174 |
| Number of constraints which are clauses | 232974 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 120 |
| Number of terms in the objective function | 300 |
| Biggest coefficient in the objective function | 300 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 45150 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 300 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 45150 |
| Number of bits of the biggest sum of numbers | 16 |
| 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-2686916-1278444028.opb. 0.00/0.01 c Instance file HOME/instance-2686916-1278444028.opb 0.00/0.01 c File size is 8035186 bytes. 1.68/1.70 c Highest Coefficient sum: 720 1.68/1.70 c ============================[ Problem Statistics ]============================= 1.68/1.70 c | | 1.68/1.70 c | Parsing time: 1.66 s | 1.68/1.70 c | Number Variables: 72842 | 1.68/1.70 c | Number Clauses: 232974 | 1.68/1.70 c | Number Cardinality: 0 | 1.68/1.70 c | Number PB Constraints: 1200 | 95.56/95.70 c ============================[ Search Statistics ]============================== 95.56/95.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.56/95.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.56/95.70 c =============================================================================== 95.56/95.70 c | 0 | 55073 235560 548548 | 78058 0 nan | 0.000 % | 95.66/95.79 c | 101 | 55073 235560 548548 | 85863 101 19 | 24.394 % | 95.86/95.90 c | 251 | 55073 235560 548548 | 94450 251 30 | 24.394 % | 95.96/96.07 c | 476 | 55073 235560 548548 | 103895 476 29 | 24.394 % | 96.15/96.20 c =============================================================================== 96.15/96.20 c New solution: 300 96.15/96.20 o 300 96.15/96.20 c Elapsed CPU time: 96.0324 s Remaining CPU time: 83.9676 s 96.15/96.20 c =============================================================================== 96.15/96.20 c | 634 | 55073 235561 548848 | 78520 634 26 | 24.394 % | 96.25/96.30 c | 734 | 54952 235561 548848 | 86372 733 27 | 24.560 % | 96.36/96.41 c | 884 | 54952 235561 548848 | 95009 883 26 | 24.560 % | 96.36/96.49 c =============================================================================== 96.36/96.49 c New solution: 299 96.36/96.49 o 299 96.36/96.49 c Elapsed CPU time: 96.3224 s Remaining CPU time: 83.6776 s 96.36/96.49 c =============================================================================== 96.36/96.49 c | 935 | 54952 235562 549148 | 78520 934 25 | 24.560 % | 96.46/96.58 c | 1036 | 54932 235562 549148 | 86372 1035 26 | 24.741 % | 96.67/96.73 c | 1186 | 54820 235562 549148 | 95010 1182 25 | 24.741 % | 96.76/96.88 c | 1411 | 54820 235562 549148 | 104511 1407 25 | 24.741 % | 97.06/97.17 c | 1749 | 54820 235562 549148 | 114962 1745 27 | 24.741 % | 97.46/97.56 c | 2255 | 54820 235562 549148 | 126458 2251 26 | 24.741 % | 97.96/98.03 c | 3014 | 54820 235562 549148 | 139104 3010 26 | 24.741 % | 98.97/99.01 c | 4154 | 54820 235562 549148 | 153014 4150 31 | 24.741 % | 99.66/99.74 c =============================================================================== 99.66/99.74 c New solution: 298 99.66/99.74 o 298 99.66/99.74 c Elapsed CPU time: 99.5479 s Remaining CPU time: 80.4521 s 99.66/99.74 c =============================================================================== 99.66/99.74 c | 5062 | 54820 235563 549448 | 78521 5058 32 | 24.741 % | 99.76/99.85 c =============================================================================== 99.76/99.85 c New solution: 297 99.76/99.85 o 297 99.76/99.85 c Elapsed CPU time: 99.6539 s Remaining CPU time: 80.3461 s 99.76/99.85 c =============================================================================== 99.76/99.85 c | 5113 | 54677 235564 549748 | 78521 5071 32 | 24.741 % | 99.86/99.92 c | 5213 | 54641 235564 549748 | 86373 5171 32 | 25.152 % | 99.96/100.09 c | 5363 | 54641 235564 549748 | 95010 5321 32 | 25.152 % | 100.16/100.27 c | 5589 | 54638 235564 549748 | 104511 5547 32 | 25.152 % | 100.46/100.59 c | 5927 | 54521 235564 549748 | 114963 5781 32 | 25.152 % | 100.75/100.86 c | 6433 | 54521 235564 549748 | 126459 6287 32 | 25.152 % | 101.35/101.48 c | 7192 | 54521 235564 549748 | 139105 7046 31 | 25.152 % | 102.16/102.25 c | 8332 | 54521 235564 549748 | 153015 8186 33 | 25.152 % | 103.85/103.95 c | 10041 | 54521 235564 549748 | 168317 9895 36 | 25.152 % | 106.25/106.36 c | 12603 | 54521 235564 549748 | 185149 12457 35 | 25.152 % | 106.35/106.45 c =============================================================================== 106.35/106.45 c New solution: 296 106.35/106.45 o 296 106.35/106.45 c Elapsed CPU time: 106.233 s Remaining CPU time: 73.7672 s 106.35/106.45 c =============================================================================== 106.35/106.45 c | 12650 | 54521 235565 550048 | 78521 12504 34 | 25.152 % | 106.45/106.56 c | 12751 | 54356 235565 550048 | 86373 12214 34 | 25.378 % | 106.56/106.70 c | 12902 | 54356 235565 550048 | 95011 12365 34 | 25.378 % | 106.75/106.85 c | 13127 | 54356 235565 550048 | 104512 12590 34 | 25.378 % | 107.05/107.12 c | 13464 | 54356 235565 550048 | 114963 12927 34 | 25.378 % | 107.66/107.74 c | 13970 | 54356 235565 550048 | 126459 13433 34 | 25.378 % | 108.06/108.15 c | 14729 | 54356 235565 550048 | 139105 14192 34 | 25.378 % | 108.95/109.07 c | 15868 | 54356 235565 550048 | 153016 15331 34 | 25.378 % | 110.75/110.86 c | 17577 | 54356 235565 550048 | 168318 17040 35 | 25.378 % | 111.65/111.78 c =============================================================================== 111.65/111.78 c New solution: 295 111.65/111.78 o 295 111.65/111.78 c Elapsed CPU time: 111.532 s Remaining CPU time: 68.468 s 111.65/111.78 c =============================================================================== 111.65/111.78 c | 19070 | 54356 235566 550348 | 78522 18533 35 | 25.378 % | 111.85/111.93 c | 19171 | 54179 235566 550348 | 86374 18212 35 | 25.621 % | 111.95/112.07 c | 19321 | 54179 235566 550348 | 95011 18362 35 | 25.621 % | 112.15/112.23 c | 19547 | 54179 235566 550348 | 104512 18588 35 | 25.621 % | 112.35/112.41 c | 19884 | 54179 235566 550348 | 114964 18925 35 | 25.621 % | 112.65/112.78 c | 20392 | 54178 235566 550348 | 126460 19433 35 | 25.708 % | 113.26/113.33 c | 21151 | 54116 235566 550348 | 139106 20191 35 | 25.708 % | 114.55/114.61 c | 22294 | 54116 235566 550348 | 153017 21334 36 | 25.708 % | 114.65/114.72 c =============================================================================== 114.65/114.72 c New solution: 294 114.65/114.72 o 294 114.65/114.72 c Elapsed CPU time: 114.46 s Remaining CPU time: 65.5404 s 114.65/114.72 c =============================================================================== 114.65/114.72 c | 22366 | 54116 235567 550648 | 78522 21406 36 | 25.708 % | 114.75/114.83 c | 22466 | 53936 235567 550648 | 86374 20688 36 | 25.955 % | 114.85/114.99 c | 22616 | 53936 235567 550648 | 95012 20838 35 | 25.955 % | 115.05/115.17 c | 22841 | 53936 235567 550648 | 104513 21063 35 | 25.955 % | 115.25/115.38 c | 23178 | 53936 235567 550648 | 114964 21400 35 | 25.955 % | 115.65/115.71 c =============================================================================== 115.65/115.71 c New solution: 293 115.65/115.71 o 293 115.65/115.71 c Elapsed CPU time: 115.445 s Remaining CPU time: 64.5546 s 115.65/115.71 c =============================================================================== 115.65/115.71 c | 23661 | 53936 235568 550948 | 78522 21883 35 | 25.955 % | 115.74/115.89 c | 23761 | 53741 235568 550948 | 86374 21061 35 | 26.223 % | 115.94/116.03 c | 23911 | 53741 235568 550948 | 95012 21211 35 | 26.223 % | 116.15/116.21 c | 24136 | 53741 235568 550948 | 104513 21436 35 | 26.223 % | 116.46/116.52 c | 24474 | 53739 235568 550948 | 114965 21774 34 | 26.244 % | 116.75/116.89 c | 24980 | 53739 235568 550948 | 126461 22280 34 | 26.245 % | 117.56/117.67 c | 25739 | 53725 235568 550948 | 139107 23037 34 | 26.244 % | 117.75/117.81 c =============================================================================== 117.75/117.81 c New solution: 292 117.75/117.81 o 292 117.75/117.81 c Elapsed CPU time: 117.53 s Remaining CPU time: 62.4699 s 117.75/117.81 c =============================================================================== 117.75/117.81 c | 25811 | 53725 235569 551248 | 78523 23109 34 | 26.244 % | 117.85/117.92 c | 25911 | 53723 235569 551248 | 86375 23209 34 | 26.531 % | 117.95/118.05 c | 26062 | 53516 235569 551248 | 95012 21873 34 | 26.531 % | 118.15/118.26 c | 26287 | 53516 235569 551248 | 104514 22098 34 | 26.531 % | 118.35/118.49 c | 26625 | 53516 235569 551248 | 114965 22436 34 | 26.531 % | 118.54/118.64 c =============================================================================== 118.54/118.64 c New solution: 291 118.54/118.64 o 291 118.54/118.64 c Elapsed CPU time: 118.361 s Remaining CPU time: 61.639 s 118.54/118.64 c =============================================================================== 118.54/118.64 c | 26749 | 53516 235570 551548 | 78523 22560 34 | 26.531 % | 118.65/118.74 c | 26850 | 53515 235570 551548 | 86375 22661 34 | 26.833 % | 118.75/118.87 c | 27000 | 53473 235570 551548 | 95013 22811 34 | 26.833 % | 118.94/119.09 c | 27226 | 53473 235570 551548 | 104514 23037 34 | 26.833 % | 119.25/119.38 c | 27563 | 53296 235570 551548 | 114966 22463 33 | 26.833 % | 119.65/119.70 c | 28069 | 53296 235570 551548 | 126462 22969 33 | 26.833 % | 120.14/120.25 c | 28829 | 53296 235570 551548 | 139108 23729 34 | 26.833 % | 120.24/120.36 c =============================================================================== 120.24/120.36 c New solution: 290 120.24/120.36 o 290 120.24/120.36 c Elapsed CPU time: 120.072 s Remaining CPU time: 59.9283 s 120.24/120.36 c =============================================================================== 120.24/120.36 c | 28870 | 53296 235571 551848 | 78523 23770 33 | 26.833 % | 120.45/120.52 c | 28971 | 53062 235571 551848 | 86376 22825 33 | 27.155 % | 120.55/120.63 c | 29122 | 53062 235571 551848 | 95013 22976 33 | 27.155 % | 120.75/120.89 c | 29347 | 53062 235571 551848 | 104515 23201 32 | 27.155 % | 121.15/121.23 c | 29686 | 53062 235571 551848 | 114966 23540 33 | 27.155 % | 121.74/121.83 c | 30193 | 53062 235571 551848 | 126463 24047 33 | 27.155 % | 121.85/121.97 c =============================================================================== 121.85/121.97 c New solution: 289 121.85/121.97 o 289 121.85/121.97 c Elapsed CPU time: 121.668 s Remaining CPU time: 58.3325 s 121.85/121.97 c =============================================================================== 121.85/121.97 c | 30270 | 53062 235572 552148 | 78524 24124 33 | 27.155 % | 121.96/122.09 c =============================================================================== 121.96/122.09 c New solution: 288 121.96/122.09 o 288 121.96/122.09 c Elapsed CPU time: 121.791 s Remaining CPU time: 58.2085 s 121.96/122.09 c =============================================================================== 121.96/122.09 c | 30312 | 52828 235573 552448 | 78524 23297 32 | 27.155 % | 122.15/122.21 c | 30413 | 52808 235573 552448 | 86376 23398 32 | 27.797 % | 122.25/122.36 c | 30563 | 52804 235573 552448 | 95014 23548 32 | 27.797 % | 122.45/122.54 c | 30788 | 52781 235573 552448 | 104515 23773 32 | 27.797 % | 122.65/122.79 c | 31125 | 52781 235573 552448 | 114967 24110 32 | 27.797 % | 123.15/123.20 c | 31631 | 52740 235573 552448 | 126464 24616 32 | 27.797 % | 123.74/123.85 c | 32390 | 52594 235573 552448 | 139110 24759 32 | 27.797 % | 124.45/124.54 c | 33529 | 52594 235573 552448 | 153021 25898 32 | 27.797 % | 125.85/126.00 c | 35238 | 52594 235573 552448 | 168323 27607 32 | 27.797 % | 128.04/128.19 c | 37801 | 52594 235573 552448 | 185156 30170 32 | 27.797 % | 128.14/128.26 c =============================================================================== 128.14/128.26 c New solution: 287 128.14/128.26 o 287 128.14/128.26 c Elapsed CPU time: 127.928 s Remaining CPU time: 52.0724 s 128.14/128.26 c =============================================================================== 128.14/128.26 c | 37822 | 52594 235574 552748 | 78524 30191 32 | 27.797 % | 128.24/128.39 c | 37922 | 52360 235574 552748 | 86377 29288 32 | 28.118 % | 128.55/128.65 c | 38072 | 52360 235574 552748 | 95014 29438 32 | 28.118 % | 128.74/128.83 c | 38297 | 52360 235574 552748 | 104516 29663 32 | 28.118 % | 128.94/129.09 c | 38634 | 52360 235574 552748 | 114967 30000 32 | 28.118 % | 129.44/129.59 c | 39140 | 52360 235574 552748 | 126464 30506 32 | 28.118 % | 129.75/129.82 c =============================================================================== 129.75/129.82 c New solution: 286 129.75/129.82 o 286 129.75/129.82 c Elapsed CPU time: 129.475 s Remaining CPU time: 50.5247 s 129.75/129.82 c =============================================================================== 129.75/129.82 c | 39460 | 52360 235575 553048 | 78525 30826 32 | 28.118 % | 129.85/129.95 c | 39560 | 52124 235575 553048 | 86377 30146 32 | 28.442 % | 130.04/130.13 c | 39710 | 52124 235575 553048 | 95015 30296 32 | 28.442 % | 130.14/130.26 c | 39936 | 52124 235575 553048 | 104516 30522 32 | 28.442 % | 130.34/130.46 c | 40273 | 52124 235575 553048 | 114968 30859 32 | 28.442 % | 130.76/130.86 c | 40779 | 52124 235575 553048 | 126465 31365 32 | 28.442 % | 131.34/131.43 c | 41539 | 52124 235575 553048 | 139111 32125 32 | 28.442 % | 132.44/132.57 c | 42678 | 52124 235575 553048 | 153023 33264 32 | 28.442 % | 133.24/133.36 c | 44386 | 52124 235575 553048 | 168325 34972 32 | 28.442 % | 135.25/135.36 c | 46948 | 52124 235575 553048 | 185157 37534 32 | 28.442 % | 139.04/139.19 c | 50792 | 52124 235575 553048 | 203673 41378 34 | 28.442 % | 140.24/140.39 c =============================================================================== 140.24/140.39 c New solution: 285 140.24/140.39 o 285 140.24/140.39 c Elapsed CPU time: 140.001 s Remaining CPU time: 39.9993 s 140.24/140.39 c =============================================================================== 140.24/140.39 c | 52647 | 52124 235576 553348 | 78525 43233 34 | 28.442 % | 140.54/140.60 c | 52747 | 51888 235576 553348 | 86377 41165 32 | 28.766 % | 140.65/140.74 c | 52899 | 51888 235576 553348 | 95015 41317 32 | 28.766 % | 140.84/140.90 c | 53126 | 51888 235576 553348 | 104517 41544 32 | 28.766 % | 141.14/141.25 c | 53463 | 51888 235576 553348 | 114968 41881 32 | 28.766 % | 141.44/141.54 c | 53971 | 51888 235576 553348 | 126465 42389 32 | 28.766 % | 141.94/142.09 c | 54731 | 51888 235576 553348 | 139112 43149 32 | 28.766 % | 143.24/143.30 c | 55871 | 51888 235576 553348 | 153023 44289 32 | 28.766 % | 144.24/144.35 c | 57580 | 51888 235576 553348 | 168326 45998 33 | 28.766 % | 146.64/146.77 c | 60142 | 51888 235576 553348 | 185158 48560 33 | 28.766 % | 146.94/147.08 c =============================================================================== 146.94/147.08 c New solution: 284 146.94/147.08 o 284 146.94/147.08 c Elapsed CPU time: 146.667 s Remaining CPU time: 33.3333 s 146.94/147.08 c =============================================================================== 146.94/147.08 c | 60482 | 51888 235577 553648 | 78525 48900 33 | 28.766 % | 147.14/147.24 c | 60583 | 51652 235577 553648 | 86378 47321 33 | 29.090 % | 147.25/147.38 c | 60733 | 51652 235577 553648 | 95016 47471 33 | 29.090 % | 147.44/147.58 c | 60958 | 51652 235577 553648 | 104517 47696 32 | 29.090 % | 147.74/147.84 c | 61295 | 51652 235577 553648 | 114969 48033 32 | 29.090 % | 148.24/148.39 c | 61801 | 51652 235577 553648 | 126466 48539 32 | 29.090 % | 149.13/149.25 c | 62560 | 51652 235577 553648 | 139113 49298 32 | 29.090 % | 150.14/150.27 c | 63701 | 51652 235577 553648 | 153024 50439 32 | 29.090 % | 150.24/150.36 c =============================================================================== 150.24/150.36 c New solution: 283 150.24/150.36 o 283 150.24/150.36 c Elapsed CPU time: 149.922 s Remaining CPU time: 30.0778 s 150.24/150.36 c =============================================================================== 150.24/150.36 c | 63737 | 51652 235578 553948 | 78526 50475 32 | 29.090 % | 150.44/150.50 c | 63839 | 51410 235578 553948 | 86378 49089 32 | 29.423 % | 150.54/150.67 c | 63989 | 51410 235578 553948 | 95016 49239 32 | 29.423 % | 150.74/150.88 c | 64215 | 51410 235578 553948 | 104518 49465 32 | 29.423 % | 150.94/151.09 c | 64553 | 51410 235578 553948 | 114969 49803 32 | 29.423 % | 151.53/151.61 c | 65062 | 51410 235578 553948 | 126466 50312 32 | 29.423 % | 152.14/152.25 c | 65822 | 51410 235578 553948 | 139113 51072 32 | 29.423 % | 153.23/153.32 c | 66961 | 51410 235578 553948 | 153024 52211 32 | 29.423 % | 153.84/153.96 c =============================================================================== 153.84/153.96 c New solution: 282 153.84/153.96 o 282 153.84/153.96 c Elapsed CPU time: 153.503 s Remaining CPU time: 26.4973 s 153.84/153.96 c =============================================================================== 153.84/153.96 c | 68420 | 51410 235579 554248 | 78526 53670 32 | 29.423 % | 154.03/154.18 c | 68521 | 51168 235579 554248 | 86378 52359 32 | 29.755 % | 154.23/154.33 c | 68672 | 51168 235579 554248 | 95016 52510 32 | 29.755 % | 154.43/154.52 c | 68897 | 51168 235579 554248 | 104518 52735 32 | 29.755 % | 154.64/154.72 c | 69236 | 51168 235579 554248 | 114970 53074 32 | 29.755 % | 155.13/155.24 c | 69742 | 51167 235579 554248 | 126467 53580 32 | 29.834 % | 155.23/155.35 c =============================================================================== 155.23/155.35 c New solution: 281 155.23/155.35 o 281 155.23/155.35 c Elapsed CPU time: 154.88 s Remaining CPU time: 25.1195 s 155.23/155.35 c =============================================================================== 155.23/155.35 c | 69805 | 51110 235580 554548 | 78526 53643 32 | 29.834 % | 155.33/155.45 c | 69906 | 51093 235580 554548 | 86379 53744 32 | 30.147 % | 155.53/155.63 c | 70056 | 51092 235580 554548 | 95017 53894 32 | 30.147 % | 155.73/155.87 c | 70281 | 51083 235580 554548 | 104518 54119 32 | 30.147 % | 156.14/156.24 c | 70618 | 50881 235580 554548 | 114970 53361 32 | 30.180 % | 156.44/156.51 c | 71125 | 50881 235580 554548 | 126467 53868 32 | 30.180 % | 156.83/156.91 c | 71886 | 50881 235580 554548 | 139114 54629 32 | 30.180 % | 157.73/157.87 c | 73025 | 50881 235580 554548 | 153026 55768 32 | 30.180 % | 159.53/159.62 c | 74733 | 50858 235580 554548 | 168328 57475 32 | 30.180 % | 159.93/160.05 c =============================================================================== 159.93/160.05 c New solution: 280 159.93/160.05 o 280 159.93/160.05 c Elapsed CPU time: 159.566 s Remaining CPU time: 20.4343 s 159.93/160.05 c =============================================================================== 159.93/160.05 c | 75101 | 50858 235581 554848 | 78527 57843 32 | 30.180 % | 160.13/160.21 c | 75203 | 50636 235581 554848 | 86379 56408 32 | 30.485 % | 160.23/160.34 c =============================================================================== 160.23/160.34 c New solution: 279 160.23/160.34 o 279 160.23/160.34 c Elapsed CPU time: 159.856 s Remaining CPU time: 20.1443 s 160.23/160.34 c =============================================================================== 160.23/160.34 c | 75269 | 50636 235582 555148 | 78527 56474 32 | 30.485 % | 160.34/160.46 c | 75369 | 50630 235582 555148 | 86380 56574 32 | 30.795 % | 160.54/160.65 c | 75519 | 50629 235582 555148 | 95018 56724 32 | 30.795 % | 160.73/160.88 c | 75744 | 50579 235582 555148 | 104519 56949 32 | 30.795 % | 161.23/161.30 c | 76082 | 50579 235582 555148 | 114971 57287 32 | 30.795 % | 161.64/161.72 c | 76589 | 50576 235582 555148 | 126469 57794 32 | 30.795 % | 162.04/162.16 c | 77350 | 50565 235582 555148 | 139115 58555 32 | 30.795 % | 162.64/162.80 c | 78489 | 50410 235582 555148 | 153027 57981 32 | 30.795 % | 164.53/164.66 c | 80197 | 50410 235582 555148 | 168330 59689 32 | 30.795 % | 164.73/164.88 c =============================================================================== 164.73/164.88 c New solution: 278 164.73/164.88 o 278 164.73/164.88 c Elapsed CPU time: 164.365 s Remaining CPU time: 15.635 s 164.73/164.88 c =============================================================================== 164.73/164.88 c | 80435 | 50410 235583 555448 | 78527 59927 32 | 30.795 % | 164.93/165.05 c | 80535 | 50118 235583 555448 | 86380 57959 32 | 31.196 % | 165.13/165.21 c | 80686 | 50118 235583 555448 | 95018 58110 32 | 31.196 % | 165.33/165.45 c | 80911 | 50118 235583 555448 | 104520 58335 32 | 31.196 % | 165.73/165.87 c | 81248 | 50118 235583 555448 | 114972 58672 32 | 31.196 % | 165.94/166.09 c | 81755 | 50118 235583 555448 | 126469 59179 32 | 31.196 % | 166.53/166.64 c | 82514 | 50118 235583 555448 | 139116 59938 32 | 31.196 % | 167.73/167.84 c | 83654 | 50118 235583 555448 | 153028 61078 33 | 31.196 % | 168.93/169.02 c | 85363 | 50118 235583 555448 | 168331 62787 33 | 31.196 % | 171.63/171.73 c | 87925 | 50118 235583 555448 | 185164 65349 33 | 31.196 % | 175.43/175.58 c | 91770 | 50118 235583 555448 | 203680 69194 34 | 31.196 % | 175.73/175.85 c =============================================================================== 175.73/175.85 c New solution: 277 175.73/175.85 o 277 175.73/175.85 c Elapsed CPU time: 175.283 s Remaining CPU time: 4.71665 s 175.73/175.85 c =============================================================================== 175.73/175.85 c | 92209 | 50118 235584 555748 | 78528 69633 34 | 31.196 % | 175.93/176.01 c | 92309 | 49900 235584 555748 | 86380 68324 34 | 31.496 % | 176.03/176.15 c | 92459 | 49900 235584 555748 | 95018 68474 34 | 31.496 % | 176.23/176.39 c | 92684 | 49900 235584 555748 | 104520 68699 34 | 31.496 % | 176.52/176.60 c | 93022 | 49900 235584 555748 | 114972 69037 34 | 31.496 % | 176.83/176.98 c | 93529 | 49900 235584 555748 | 126470 69544 34 | 31.496 % | 177.63/177.79 c | 94288 | 49900 235584 555748 | 139117 70303 34 | 31.496 % | 178.13/178.22 c | 95428 | 49900 235584 555748 | 153028 71443 34 | 31.496 % | 179.23/179.34 c | 97136 | 49900 235584 555748 | 168331 73151 34 | 31.496 % | 180.43/180.59 c There are 22942 assigned variables. 108 in cost function. 183.82/183.95 c core #1 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c Core size: 383 Core Weight: 85 Total Weight: 85 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c core #2 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c Core size: 541 Core Weight: 1 Total Weight: 86 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c core #3 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c Core size: 433 Core Weight: 1 Total Weight: 87 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c core #4 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c Core size: 570 Core Weight: 1 Total Weight: 88 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c core #5 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c Core size: 424 Core Weight: 1 Total Weight: 89 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c core #6 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c Core size: 410 Core Weight: 1 Total Weight: 90 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c core #7 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c Core size: 408 Core Weight: 1 Total Weight: 91 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c core #8 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c Core size: 454 Core Weight: 1 Total Weight: 92 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c core #9 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c Core size: 383 Core Weight: 1 Total Weight: 93 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c core #10 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c Core size: 482 Core Weight: 1 Total Weight: 94 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c core #11 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c Core size: 446 Core Weight: 1 Total Weight: 95 183.82/183.95 c 183.82/183.95 c 183.82/183.95 c ============================[ Search Statistics ]============================== 183.82/183.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.82/183.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.82/183.95 c =============================================================================== 183.82/183.95 c | 0 | 8213 179621 366063 | 59873 0 nan | 0.000 % | 183.82/183.96 c =============================================================================== 184.12/184.26 c core #12 184.12/184.26 c 184.12/184.26 c 184.12/184.26 c Core size: 584 Core Weight: 1 Total Weight: 96 184.12/184.26 c 184.12/184.26 c 184.12/184.26 c ============================[ Search Statistics ]============================== 184.12/184.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.12/184.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.12/184.26 c =============================================================================== 184.12/184.26 c | 0 | 8636 179802 366752 | 59934 0 nan | 0.000 % | 184.12/184.28 c =============================================================================== 184.42/184.57 c core #13 184.42/184.57 c 184.42/184.57 c 184.42/184.57 c Core size: 492 Core Weight: 1 Total Weight: 97 184.42/184.57 c 184.42/184.57 c 184.42/184.57 c ============================[ Search Statistics ]============================== 184.42/184.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.42/184.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.42/184.57 c =============================================================================== 184.42/184.57 c | 0 | 9058 179982 367442 | 59994 0 nan | 0.000 % | 184.42/184.58 c =============================================================================== 184.73/184.89 c core #14 184.73/184.89 c 184.73/184.89 c 184.73/184.89 c Core size: 493 Core Weight: 1 Total Weight: 98 184.73/184.89 c 184.73/184.89 c 184.73/184.89 c ============================[ Search Statistics ]============================== 184.73/184.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.73/184.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.73/184.89 c =============================================================================== 184.73/184.89 c | 0 | 9479 180161 368133 | 60053 0 nan | 0.000 % | 184.82/184.91 c =============================================================================== 185.12/185.20 c core #15 185.12/185.20 c 185.12/185.20 c 185.12/185.20 c Core size: 465 Core Weight: 1 Total Weight: 99 185.12/185.20 c 185.12/185.20 c 185.12/185.20 c ============================[ Search Statistics ]============================== 185.12/185.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.20 c =============================================================================== 185.12/185.20 c | 0 | 9899 180340 368827 | 60113 0 nan | 0.000 % | 185.12/185.21 c =============================================================================== 185.42/185.51 c core #16 185.42/185.51 c 185.42/185.51 c 185.42/185.51 c Core size: 496 Core Weight: 1 Total Weight: 100 185.42/185.51 c 185.42/185.51 c 185.42/185.51 c ============================[ Search Statistics ]============================== 185.42/185.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.51 c =============================================================================== 185.42/185.51 c | 0 | 10318 180518 369523 | 60172 0 nan | 0.000 % | 185.42/185.54 c =============================================================================== 185.73/185.83 c core #17 185.73/185.83 c 185.73/185.83 c 185.73/185.83 c Core size: 499 Core Weight: 1 Total Weight: 101 185.73/185.83 c 185.73/185.83 c 185.73/185.83 c ============================[ Search Statistics ]============================== 185.73/185.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.83 c =============================================================================== 185.73/185.83 c | 0 | 10736 180694 370217 | 60231 0 nan | 0.000 % | 185.73/185.84 c =============================================================================== 186.03/186.14 c core #18 186.03/186.14 c 186.03/186.14 c 186.03/186.14 c Core size: 470 Core Weight: 1 Total Weight: 102 186.03/186.14 c 186.03/186.14 c 186.03/186.14 c ============================[ Search Statistics ]============================== 186.03/186.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.14 c =============================================================================== 186.03/186.14 c | 0 | 11139 180870 370912 | 60290 0 nan | 0.000 % | 186.13/186.20 c =============================================================================== 186.32/186.49 c core #19 186.32/186.49 c 186.32/186.49 c 186.32/186.49 c Core size: 471 Core Weight: 1 Total Weight: 103 186.32/186.49 c 186.32/186.49 c 186.32/186.49 c ============================[ Search Statistics ]============================== 186.32/186.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.32/186.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.32/186.49 c =============================================================================== 186.32/186.49 c | 0 | 11569 181044 371610 | 60348 0 nan | 0.000 % | 186.42/186.56 c =============================================================================== 186.72/186.87 c core #20 186.72/186.87 c 186.72/186.87 c 186.72/186.87 c Core size: 611 Core Weight: 1 Total Weight: 104 186.72/186.87 c 186.72/186.87 c 186.72/186.87 c ============================[ Search Statistics ]============================== 186.72/186.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.72/186.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.72/186.87 c =============================================================================== 186.72/186.87 c | 0 | 11984 181219 372312 | 60406 0 nan | 0.000 % | 186.83/186.93 c =============================================================================== 187.13/187.23 c core #21 187.13/187.23 c 187.13/187.23 c 187.13/187.23 c Core size: 543 Core Weight: 1 Total Weight: 105 187.13/187.23 c 187.13/187.23 c 187.13/187.23 c ============================[ Search Statistics ]============================== 187.13/187.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.13/187.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.13/187.23 c =============================================================================== 187.13/187.23 c | 0 | 12398 181391 373013 | 60463 0 nan | 0.000 % | 187.22/187.32 c | 102 | 12398 181391 373013 | 66510 102 16 | 84.577 % | 187.22/187.34 c =============================================================================== 187.52/187.65 c core #22 187.52/187.65 c 187.52/187.65 c 187.52/187.65 c Core size: 559 Core Weight: 1 Total Weight: 106 187.52/187.65 c 187.52/187.65 c 187.52/187.65 c ============================[ Search Statistics ]============================== 187.52/187.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.52/187.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.52/187.65 c =============================================================================== 187.52/187.65 c | 0 | 12811 181565 373722 | 60521 0 nan | 0.000 % | 187.62/187.75 c | 100 | 12811 181565 373722 | 66573 100 14 | 83.327 % | 187.72/187.82 c =============================================================================== 188.03/188.11 c core #23 188.03/188.11 c 188.03/188.11 c 188.03/188.11 c Core size: 576 Core Weight: 1 Total Weight: 107 188.03/188.11 c 188.03/188.11 c 188.03/188.11 c ============================[ Search Statistics ]============================== 188.03/188.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.03/188.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.03/188.11 c =============================================================================== 188.03/188.11 c | 0 | 13223 181737 374428 | 60579 0 nan | 0.000 % | 188.03/188.19 c | 101 | 13223 181737 374428 | 66636 101 13 | 82.828 % | 188.23/188.33 c | 251 | 13216 181737 374428 | 73300 251 15 | 84.306 % | 188.23/188.34 c =============================================================================== 188.53/188.64 c core #24 188.53/188.64 c 188.53/188.64 c 188.53/188.64 c Core size: 625 Core Weight: 1 Total Weight: 108 188.53/188.64 c 188.53/188.64 c 188.53/188.64 c ============================[ Search Statistics ]============================== 188.53/188.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.53/188.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.53/188.64 c =============================================================================== 188.53/188.64 c | 0 | 13634 181909 375136 | 60636 0 nan | 0.000 % | 188.62/188.72 c | 100 | 13634 181909 375136 | 66699 100 16 | 82.333 % | 188.72/188.86 c | 250 | 13634 181909 375136 | 73369 250 17 | 82.333 % | 188.82/188.95 c =============================================================================== 189.13/189.25 c core #25 189.13/189.25 c 189.13/189.25 c 189.13/189.25 c Core size: 479 Core Weight: 1 Total Weight: 109 189.13/189.25 c 189.13/189.25 c 189.13/189.25 c ============================[ Search Statistics ]============================== 189.13/189.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.13/189.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.13/189.25 c =============================================================================== 189.13/189.25 c | 0 | 14044 182079 375844 | 60693 0 nan | 0.000 % | 189.22/189.33 c | 100 | 14044 182079 375844 | 66762 100 13 | 81.842 % | 189.32/189.45 c | 250 | 14044 182079 375844 | 73438 250 15 | 81.842 % | 189.52/189.63 c | 476 | 14044 182079 375844 | 80782 476 17 | 81.842 % | 189.62/189.79 c =============================================================================== 189.93/190.10 c core #26 189.93/190.10 c 189.93/190.10 c 189.93/190.10 c Core size: 589 Core Weight: 1 Total Weight: 110 189.93/190.10 c 189.93/190.10 c 189.93/190.10 c ============================[ Search Statistics ]============================== 189.93/190.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.93/190.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.93/190.10 c =============================================================================== 189.93/190.10 c | 0 | 14453 182248 376552 | 60749 0 nan | 0.000 % | 190.03/190.19 c | 103 | 14453 182248 376552 | 66824 103 20 | 81.353 % | 190.23/190.31 c | 253 | 14453 182248 376552 | 73506 253 18 | 81.353 % | 190.42/190.51 c | 480 | 14453 182248 376552 | 80857 480 19 | 81.353 % | 190.62/190.76 c | 819 | 14453 182248 376552 | 88943 819 19 | 81.353 % | 190.72/190.85 c =============================================================================== 191.03/191.15 c core #27 191.03/191.15 c 191.03/191.15 c 191.03/191.15 c Core size: 641 Core Weight: 1 Total Weight: 111 191.03/191.15 c 191.03/191.15 c 191.03/191.15 c ============================[ Search Statistics ]============================== 191.03/191.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.03/191.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.03/191.15 c =============================================================================== 191.03/191.15 c | 0 | 14861 182417 377264 | 60805 0 nan | 0.000 % | 191.12/191.25 c | 100 | 14861 182417 377264 | 66886 100 26 | 80.868 % | 191.23/191.37 c | 252 | 14860 182417 377264 | 73574 252 22 | 80.883 % | 191.42/191.57 c | 477 | 14838 182417 377264 | 80932 475 21 | 80.897 % | 191.72/191.89 c | 814 | 14838 182417 377264 | 89025 812 21 | 80.897 % | 192.02/192.19 c =============================================================================== 192.32/192.50 c core #28 192.32/192.50 c 192.32/192.50 c 192.32/192.50 c Core size: 545 Core Weight: 1 Total Weight: 112 192.32/192.50 c 192.32/192.50 c 192.32/192.50 c ============================[ Search Statistics ]============================== 192.32/192.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.32/192.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.32/192.50 c =============================================================================== 192.32/192.50 c | 0 | 15268 182592 377997 | 60864 0 nan | 0.000 % | 192.52/192.63 c | 100 | 15268 182592 377997 | 66950 100 24 | 80.385 % | 192.62/192.75 c | 250 | 15268 182592 377997 | 73645 250 23 | 80.385 % | 192.82/192.94 c | 475 | 15268 182592 377997 | 81009 475 21 | 80.385 % | 193.12/193.24 c | 813 | 15268 182592 377997 | 89110 813 22 | 80.385 % | 193.43/193.58 c =============================================================================== 193.72/193.89 c core #29 193.72/193.89 c 193.72/193.89 c 193.72/193.89 c Core size: 786 Core Weight: 1 Total Weight: 113 193.72/193.89 c 193.72/193.89 c 193.72/193.89 c ============================[ Search Statistics ]============================== 193.72/193.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.72/193.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.72/193.89 c =============================================================================== 193.72/193.89 c | 0 | 15674 182759 378711 | 60919 0 nan | 0.000 % | 193.92/194.02 c | 101 | 15674 182759 378711 | 67011 101 19 | 79.906 % | 194.02/194.18 c | 251 | 15674 182759 378711 | 73712 251 21 | 79.906 % | 194.31/194.41 c | 479 | 15633 182759 378711 | 81084 478 24 | 79.959 % | 194.63/194.74 c | 817 | 15633 182759 378711 | 89192 816 24 | 79.959 % | 195.12/195.29 c | 1326 | 15608 182759 378711 | 98111 1323 26 | 79.998 % | 195.92/196.02 c | 2086 | 14679 182759 378711 | 107922 1251 23 | 81.182 % | 196.91/197.04 c | 3225 | 14299 182759 378711 | 118715 1186 21 | 81.669 % | 197.01/197.12 c =============================================================================== 197.31/197.43 c core #30 197.31/197.43 c 197.31/197.43 c 197.31/197.43 c Core size: 826 Core Weight: 1 Total Weight: 114 197.31/197.43 c 197.31/197.43 c 197.31/197.43 c ============================[ Search Statistics ]============================== 197.31/197.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.31/197.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.31/197.43 c =============================================================================== 197.31/197.43 c | 0 | 16079 182933 379449 | 60977 0 nan | 0.000 % | 197.42/197.52 c | 100 | 16079 182933 379449 | 67075 100 17 | 79.430 % | 197.52/197.67 c | 251 | 16079 182933 379449 | 73782 251 22 | 79.430 % | 197.72/197.86 c | 477 | 15775 182933 379449 | 81161 473 22 | 79.819 % | 198.02/198.15 c | 816 | 15775 182933 379449 | 89277 812 23 | 79.819 % | 198.42/198.54 c | 1322 | 15775 182933 379449 | 98205 1318 24 | 79.819 % | 199.11/199.21 c | 2081 | 15775 182933 379449 | 108025 2077 25 | 79.819 % | 199.91/200.09 c | 3221 | 15677 182933 379449 | 118828 3215 26 | 79.944 % | 201.42/201.59 c | 4931 | 15219 182933 379449 | 130711 4182 28 | 80.530 % | 201.92/202.06 c =============================================================================== 202.23/202.36 c core #31 202.23/202.36 c 202.23/202.36 c 202.23/202.36 c Core size: 619 Core Weight: 1 Total Weight: 115 202.23/202.36 c 202.23/202.36 c 202.23/202.36 c ============================[ Search Statistics ]============================== 202.23/202.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.23/202.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.23/202.36 c =============================================================================== 202.23/202.36 c | 0 | 16483 183108 380192 | 61036 0 nan | 0.000 % | 202.33/202.45 c | 100 | 16482 183108 380192 | 67139 100 18 | 78.994 % | 202.52/202.63 c | 250 | 16482 183108 380192 | 73853 250 24 | 78.994 % | 202.72/202.84 c | 475 | 16454 183108 380192 | 81238 474 25 | 78.994 % | 203.02/203.15 c | 814 | 16454 183108 380192 | 89362 813 24 | 78.994 % | 203.52/203.68 c | 1320 | 16454 183108 380192 | 98299 1319 24 | 78.994 % | 204.31/204.42 c | 2081 | 16451 183108 380192 | 108128 2078 26 | 78.998 % | 205.31/205.46 c | 3221 | 16451 183108 380192 | 118941 3218 26 | 78.998 % | 207.12/207.28 c | 4930 | 16451 183108 380192 | 130836 4927 29 | 78.998 % | 209.72/209.82 c | 7492 | 15932 183108 380192 | 143919 4323 26 | 79.660 % | 210.32/210.42 c =============================================================================== 210.62/210.73 c core #32 210.62/210.73 c 210.62/210.73 c 210.62/210.73 c Core size: 711 Core Weight: 1 Total Weight: 116 210.62/210.73 c 210.62/210.73 c 210.62/210.73 c ============================[ Search Statistics ]============================== 210.62/210.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.62/210.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.62/210.73 c =============================================================================== 210.62/210.73 c | 0 | 16886 183271 380906 | 61090 0 nan | 0.000 % | 210.71/210.83 c | 100 | 16886 183271 380906 | 67199 100 16 | 78.486 % | 210.81/210.95 c | 251 | 16886 183271 380906 | 73919 251 17 | 78.486 % | 211.02/211.13 c | 477 | 16882 183271 380906 | 81311 474 19 | 78.544 % | 211.31/211.40 c | 814 | 16882 183271 380906 | 89442 811 20 | 78.544 % | 211.61/211.80 c | 1321 | 16839 183271 380906 | 98386 1313 21 | 78.628 % | 212.42/212.55 c | 2081 | 16775 183271 380906 | 108225 2070 24 | 78.628 % | 213.33/213.44 c | 3221 | 16775 183271 380906 | 119047 3210 25 | 78.628 % | 215.01/215.10 c | 4929 | 16775 183271 380906 | 130952 4918 30 | 78.628 % | 217.51/217.62 c | 7491 | 16180 183271 380906 | 144047 6044 30 | 79.386 % | 218.62/218.75 c =============================================================================== 218.91/219.05 c core #33 218.91/219.05 c 218.91/219.05 c 218.91/219.05 c Core size: 705 Core Weight: 1 Total Weight: 117 218.91/219.05 c 218.91/219.05 c 218.91/219.05 c ============================[ Search Statistics ]============================== 218.91/219.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.91/219.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.91/219.05 c =============================================================================== 218.91/219.05 c | 0 | 17288 183439 381635 | 61146 0 nan | 0.000 % | 219.01/219.14 c | 100 | 17288 183439 381635 | 67260 100 19 | 78.019 % | 219.11/219.29 c | 251 | 17288 183439 381635 | 73987 251 21 | 78.019 % | 219.31/219.49 c | 476 | 17288 183439 381635 | 81385 476 23 | 78.019 % | 219.71/219.84 c | 814 | 17288 183439 381635 | 89524 814 27 | 78.019 % | 220.11/220.28 c | 1321 | 17288 183439 381635 | 98476 1321 27 | 78.019 % | 220.92/221.00 c | 2080 | 17288 183439 381635 | 108324 2080 29 | 78.019 % | 222.02/222.18 c | 3221 | 17277 183439 381635 | 119156 3219 31 | 78.033 % | 223.72/223.87 c | 4929 | 17277 183439 381635 | 131072 4927 35 | 78.033 % | 226.31/226.43 c | 7495 | 17277 183439 381635 | 144179 7493 37 | 78.033 % | 230.51/230.68 c | 11339 | 16633 183439 381635 | 158597 9247 34 | 78.852 % | 233.61/233.73 c =============================================================================== 233.91/234.04 c core #34 233.91/234.04 c 233.91/234.04 c 233.91/234.04 c Core size: 617 Core Weight: 1 Total Weight: 118 233.91/234.04 c 233.91/234.04 c 233.91/234.04 c ============================[ Search Statistics ]============================== 233.91/234.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.91/234.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.91/234.04 c =============================================================================== 233.91/234.04 c | 0 | 17689 183624 382420 | 61208 0 nan | 0.000 % | 234.01/234.11 c | 100 | 17689 183624 382420 | 67328 100 14 | 77.555 % | 234.11/234.25 c | 251 | 17689 183624 382420 | 74061 251 17 | 77.555 % | 234.31/234.47 c | 476 | 17688 183624 382420 | 81467 476 19 | 78.049 % | 234.71/234.80 c | 813 | 17299 183624 382420 | 89614 811 22 | 78.053 % | 235.21/235.33 c | 1321 | 17296 183624 382420 | 98576 1318 26 | 78.053 % | 235.81/235.94 c | 2081 | 17296 183624 382420 | 108433 2078 29 | 78.053 % | 236.80/236.94 c | 3221 | 17296 183624 382420 | 119277 3218 29 | 78.053 % | 238.41/238.52 c | 4929 | 17296 183624 382420 | 131204 4926 30 | 78.053 % | 240.71/240.89 c | 7491 | 17296 183624 382420 | 144325 7488 32 | 78.053 % | 244.70/244.88 c | 11335 | 16982 183624 382420 | 158757 11086 34 | 78.557 % | 251.71/251.80 c | 17101 | 16899 183624 382420 | 174633 15947 35 | 78.557 % | 255.80/255.92 c =============================================================================== 256.10/256.22 c core #35 256.10/256.22 c 256.10/256.22 c 256.10/256.22 c Core size: 686 Core Weight: 1 Total Weight: 119 256.10/256.22 c 256.10/256.22 c 256.10/256.22 c ============================[ Search Statistics ]============================== 256.10/256.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 256.10/256.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 256.10/256.22 c =============================================================================== 256.10/256.22 c | 0 | 18089 183828 383263 | 61276 0 nan | 0.000 % | 256.10/256.30 c | 100 | 18087 183828 383263 | 67403 100 20 | 77.121 % | 256.30/256.46 c | 250 | 18087 183828 383263 | 74143 250 23 | 77.121 % | 256.50/256.68 c | 475 | 18067 183828 383263 | 81558 473 27 | 77.121 % | 256.80/256.94 c | 813 | 18067 183828 383263 | 89714 811 25 | 77.121 % | 257.30/257.47 c | 1319 | 18067 183828 383263 | 98685 1317 26 | 77.121 % | 258.00/258.12 c | 2081 | 18067 183828 383263 | 108554 2079 29 | 77.121 % | 259.50/259.64 c | 3222 | 18062 183828 383263 | 119409 3218 30 | 77.127 % | 261.10/261.28 c | 4930 | 18062 183828 383263 | 131350 4926 31 | 77.127 % | 263.50/263.66 c | 7493 | 18062 183828 383263 | 144485 7489 31 | 77.127 % | 267.60/267.74 c | 11337 | 18062 183828 383263 | 158934 11333 32 | 77.127 % | 274.59/274.77 c | 17103 | 18062 183828 383263 | 174827 17099 34 | 77.127 % | 285.98/286.15 c | 25752 | 18056 183828 383263 | 192310 25745 38 | 77.135 % | 306.18/306.35 c | 38727 | 17021 183828 383263 | 211541 32059 40 | 78.700 % | 307.89/308.06 c =============================================================================== 308.18/308.38 c core #36 308.18/308.38 c 308.18/308.38 c 308.18/308.38 c Core size: 688 Core Weight: 1 Total Weight: 120 308.18/308.38 c 308.18/308.38 c 308.18/308.38 c ============================[ Search Statistics ]============================== 308.18/308.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 308.18/308.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 308.18/308.38 c =============================================================================== 308.18/308.38 c | 0 | 18488 184046 384145 | 61348 0 nan | 0.000 % | 308.38/308.52 c | 102 | 18488 184046 384145 | 67483 102 22 | 76.634 % | 308.48/308.62 c | 252 | 18488 184046 384145 | 74231 252 23 | 76.634 % | 308.58/308.80 c | 477 | 18488 184046 384145 | 81655 477 25 | 76.634 % | 308.89/309.06 c | 814 | 18488 184046 384145 | 89820 814 31 | 76.634 % | 309.28/309.49 c | 1321 | 18488 184046 384145 | 98802 1321 30 | 76.634 % | 310.08/310.23 c | 2083 | 18488 184046 384145 | 108682 2083 28 | 76.634 % | 310.98/311.16 c | 3223 | 18488 184046 384145 | 119551 3223 29 | 76.634 % | 312.88/313.07 c | 4933 | 18369 184046 384145 | 131506 4931 30 | 76.785 % | 315.78/315.99 c | 7495 | 18369 184046 384145 | 144656 7493 33 | 76.785 % | 319.28/319.48 c | 11339 | 18369 184046 384145 | 159122 11337 33 | 76.785 % | 325.38/325.52 c | 17105 | 18369 184046 384145 | 175034 17103 34 | 76.785 % | 335.57/335.74 c | 25754 | 18369 184046 384145 | 192538 25752 35 | 76.785 % | 354.37/354.55 c | 38729 | 18079 184046 384145 | 211792 35630 37 | 77.151 % | 373.26/373.45 c =============================================================================== 373.56/373.75 c core #37 373.56/373.75 c 373.56/373.75 c 373.56/373.75 c Core size: 610 Core Weight: 1 Total Weight: 121 373.56/373.75 c 373.56/373.75 c 373.56/373.75 c ============================[ Search Statistics ]============================== 373.56/373.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 373.56/373.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 373.56/373.75 c =============================================================================== 373.56/373.75 c | 0 | 18886 184256 385012 | 61418 0 nan | 0.000 % | 373.66/373.85 c | 100 | 18886 184256 385012 | 67560 100 14 | 76.178 % | 373.77/373.99 c | 251 | 18886 184256 385012 | 74316 251 19 | 76.178 % | 373.96/374.20 c | 476 | 18886 184256 385012 | 81748 476 20 | 76.178 % | 374.26/374.42 c | 813 | 18886 184256 385012 | 89923 813 21 | 76.178 % | 374.75/374.92 c | 1319 | 18886 184256 385012 | 98915 1319 24 | 76.178 % | 375.46/375.66 c | 2078 | 18886 184256 385012 | 108806 2078 25 | 76.178 % | 376.76/376.93 c | 3217 | 18886 184256 385012 | 119687 3217 28 | 76.178 % | 378.65/378.87 c | 4925 | 18886 184256 385012 | 131656 4925 31 | 76.178 % | 381.35/381.53 c | 7487 | 18886 184256 385012 | 144822 7487 31 | 76.178 % | 385.25/385.50 c | 11331 | 18886 184256 385012 | 159304 11331 34 | 76.178 % | 392.15/392.31 c | 17098 | 18886 184256 385012 | 175234 17098 37 | 76.178 % | 401.95/402.10 c | 25747 | 18802 184256 385012 | 192758 23666 36 | 76.284 % | 419.84/420.03 c | 38723 | 18802 184256 385012 | 212033 36642 39 | 76.284 % | 449.03/449.26 c =============================================================================== 449.33/449.58 c core #38 449.33/449.58 c 449.33/449.58 c 449.33/449.58 c Core size: 851 Core Weight: 1 Total Weight: 122 449.33/449.58 c 449.33/449.58 c 449.33/449.58 c ============================[ Search Statistics ]============================== 449.33/449.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 449.33/449.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 449.33/449.58 c =============================================================================== 449.33/449.58 c | 0 | 19283 184438 385806 | 61479 0 nan | 0.000 % | 449.43/449.67 c | 100 | 19283 184438 385806 | 67627 100 25 | 75.725 % | 449.64/449.82 c | 250 | 19283 184438 385806 | 74389 250 25 | 75.725 % | 449.83/450.02 c | 475 | 19283 184438 385806 | 81828 475 25 | 75.725 % | 450.14/450.32 c | 812 | 19283 184438 385806 | 90011 812 27 | 75.725 % | 450.53/450.77 c | 1318 | 19283 184438 385806 | 99013 1318 26 | 75.725 % | 451.13/451.37 c | 2078 | 19283 184438 385806 | 108914 2078 26 | 75.725 % | 452.13/452.38 c | 3218 | 19283 184438 385806 | 119805 3218 29 | 75.725 % | 453.43/453.62 c | 4927 | 19283 184438 385806 | 131786 4927 30 | 75.725 % | 455.93/456.12 c | 7489 | 19283 184438 385806 | 144965 7489 31 | 75.725 % | 459.64/459.89 c | 11333 | 19283 184438 385806 | 159461 11333 33 | 75.725 % | 465.62/465.82 c | 17099 | 19283 184438 385806 | 175407 17099 33 | 75.725 % | 476.22/476.45 c | 25748 | 19283 184438 385806 | 192948 25748 34 | 75.725 % | 492.52/492.78 c | 38722 | 19283 184438 385806 | 212243 38722 37 | 75.725 % | 522.00/522.20 c | 58184 | 18435 184438 385806 | 233467 36545 31 | 76.792 % | 568.88/569.11 c | 87377 | 18435 184438 385806 | 256814 65738 35 | 76.792 % | 579.79/580.10 c =============================================================================== 580.18/580.44 c core #39 580.18/580.44 c 580.18/580.44 c 580.18/580.44 c Core size: 623 Core Weight: 1 Total Weight: 123 580.18/580.44 c 580.18/580.44 c 580.18/580.44 c ============================[ Search Statistics ]============================== 580.18/580.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 580.18/580.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 580.18/580.44 c =============================================================================== 580.18/580.44 c | 0 | 19679 184648 386688 | 61549 0 nan | 0.000 % | 580.29/580.56 c | 100 | 19679 184648 386688 | 67704 100 20 | 75.274 % | 580.50/580.71 c | 251 | 19679 184648 386688 | 74474 251 24 | 75.274 % | 580.60/580.89 c | 476 | 19679 184648 386688 | 81922 476 23 | 75.274 % | 580.89/581.16 c | 813 | 19679 184648 386688 | 90114 813 23 | 75.274 % | 581.49/581.74 c | 1321 | 19679 184648 386688 | 99125 1321 24 | 75.274 % | 582.18/582.46 c | 2083 | 19674 184648 386688 | 109038 2082 28 | 75.281 % | 583.18/583.42 c | 3224 | 19674 184648 386688 | 119942 3223 30 | 75.281 % | 584.79/585.04 c | 4935 | 19674 184648 386688 | 131936 4934 31 | 75.281 % | 587.20/587.45 c | 7497 | 19672 184648 386688 | 145130 7495 31 | 75.283 % | 591.18/591.49 c | 11342 | 19672 184648 386688 | 159643 11340 34 | 75.283 % | 597.38/597.67 c | 17108 | 19608 184648 386688 | 175607 17104 37 | 75.363 % | 608.17/608.47 c | 25757 | 19608 184648 386688 | 193168 25753 39 | 75.363 % | 626.57/626.82 c | 38731 | 19608 184648 386688 | 212484 38727 39 | 75.363 % | 658.56/658.89 c | 58192 | 19533 184648 386688 | 233733 58187 42 | 75.464 % | 717.74/718.00 c | 87384 | 19509 184648 386688 | 257106 87369 43 | 75.488 % | 777.42/777.78 c =============================================================================== 777.81/778.16 c core #40 777.81/778.16 c 777.81/778.16 c 777.81/778.16 c Core size: 723 Core Weight: 1 Total Weight: 124 777.81/778.16 c 777.81/778.16 c 777.81/778.16 c ============================[ Search Statistics ]============================== 777.81/778.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 777.81/778.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 777.81/778.16 c =============================================================================== 777.81/778.16 c | 0 | 20074 184851 387547 | 61617 0 nan | 0.000 % | 777.91/778.28 c | 103 | 20074 184851 387547 | 67778 103 27 | 74.826 % | 778.11/778.45 c | 254 | 20074 184851 387547 | 74556 254 24 | 74.826 % | 778.31/778.65 c | 480 | 20074 184851 387547 | 82012 480 26 | 74.826 % | 778.71/779.03 c | 819 | 20074 184851 387547 | 90213 819 29 | 74.826 % | 779.02/779.35 c | 1327 | 20074 184851 387547 | 99234 1327 26 | 74.826 % | 779.91/780.24 c | 2086 | 20074 184851 387547 | 109158 2086 29 | 74.826 % | 780.91/781.25 c | 3226 | 20008 184851 387547 | 120074 3224 28 | 74.909 % | 782.52/782.84 c | 4934 | 20008 184851 387547 | 132081 4932 29 | 74.909 % | 784.91/785.23 c | 7497 | 20008 184851 387547 | 145289 7495 30 | 74.909 % | 788.71/789.03 c | 11342 | 20008 184851 387547 | 159818 11340 33 | 74.909 % | 795.21/795.53 c | 17108 | 19997 184851 387547 | 175800 17104 35 | 74.923 % | 806.11/806.43 c | 25758 | 19995 184851 387547 | 193380 25753 36 | 74.925 % | 824.90/825.28 c | 38734 | 19995 184851 387547 | 212718 38729 38 | 74.925 % | 856.09/856.45 c | 58198 | 19995 184851 387547 | 233990 58193 40 | 74.925 % | 911.77/912.19 c | 87390 | 19995 184851 387547 | 257389 87385 40 | 74.925 % | 1003.03/1003.48 c | 131179 | 19631 184851 387547 | 283128 94687 37 | 75.382 % | 1029.53/1029.94 c =============================================================================== 1029.93/1030.35 c core #41 1029.93/1030.35 c 1029.93/1030.35 c 1029.93/1030.35 c Core size: 478 Core Weight: 1 Total Weight: 125 1029.93/1030.35 c 1029.93/1030.35 c 1029.93/1030.35 c ============================[ Search Statistics ]============================== 1029.93/1030.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1029.93/1030.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1029.93/1030.35 c =============================================================================== 1029.93/1030.35 c | 0 | 20468 185042 388380 | 61680 0 nan | 0.000 % | 1030.03/1030.47 c | 100 | 20468 185042 388380 | 67848 100 18 | 74.381 % | 1030.23/1030.63 c | 250 | 20468 185042 388380 | 74633 250 22 | 74.381 % | 1030.33/1030.79 c | 475 | 20468 185042 388380 | 82096 475 24 | 74.381 % | 1030.63/1031.06 c | 813 | 20468 185042 388380 | 90306 813 24 | 74.381 % | 1031.22/1031.63 c | 1321 | 20468 185042 388380 | 99337 1321 30 | 74.381 % | 1032.02/1032.47 c | 2080 | 20468 185042 388380 | 109271 2080 32 | 74.381 % | 1032.93/1033.31 c | 3219 | 20468 185042 388380 | 120198 3219 31 | 74.381 % | 1034.63/1035.00 c | 4928 | 20468 185042 388380 | 132217 4928 30 | 74.381 % | 1037.52/1037.91 c | 7490 | 20372 185042 388380 | 145439 6856 30 | 74.584 % | 1041.02/1041.46 c | 11336 | 20306 185042 388380 | 159983 10700 33 | 74.584 % | 1046.62/1047.07 c | 17104 | 20306 185042 388380 | 175982 16468 34 | 74.584 % | 1056.62/1057.06 c | 25753 | 20306 185042 388380 | 193580 25117 36 | 74.584 % | 1075.21/1075.64 c | 38727 | 20306 185042 388380 | 212938 38091 38 | 74.584 % | 1107.49/1107.92 c | 58188 | 19854 185042 388380 | 234232 49095 35 | 75.150 % | 1160.58/1161.09 c | 87380 | 19843 185042 388380 | 257655 78284 39 | 75.163 % | 1255.75/1256.21 c | 131169 | 19843 185042 388380 | 283420 122073 41 | 75.163 % | 1463.17/1463.73 c | 196853 | 19775 185042 388380 | 311763 187756 45 | 75.250 % | 1569.23/1569.83 c =============================================================================== 1569.63/1570.27 c core #42 1569.63/1570.27 c 1569.63/1570.27 c 1569.63/1570.27 c Core size: 619 Core Weight: 1 Total Weight: 126 1569.63/1570.27 c 1569.63/1570.27 c 1569.63/1570.27 c ============================[ Search Statistics ]============================== 1569.63/1570.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1569.63/1570.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1569.63/1570.27 c =============================================================================== 1569.63/1570.27 c | 0 | 20861 185253 389274 | 61751 0 nan | 0.000 % | 1569.72/1570.38 c | 100 | 20861 185253 389274 | 67926 100 24 | 73.938 % | 1569.92/1570.53 c | 251 | 20861 185253 389274 | 74718 251 25 | 73.938 % | 1570.13/1570.73 c | 476 | 20861 185253 389274 | 82190 476 29 | 73.938 % | 1570.52/1571.10 c | 813 | 20861 185253 389274 | 90409 813 30 | 73.938 % | 1570.92/1571.50 c | 1319 | 20861 185253 389274 | 99450 1319 27 | 73.938 % | 1571.63/1572.25 c | 2080 | 20861 185253 389274 | 109395 2080 30 | 73.938 % | 1572.73/1573.31 c | 3219 | 20861 185253 389274 | 120335 3219 33 | 73.938 % | 1574.53/1575.14 c | 4927 | 20861 185253 389274 | 132368 4927 34 | 73.938 % | 1576.92/1577.56 c | 7489 | 20861 185253 389274 | 145605 7489 34 | 73.938 % | 1580.63/1581.24 c | 11334 | 20861 185253 389274 | 160166 11334 36 | 73.938 % | 1586.73/1587.34 c | 17101 | 20861 185253 389274 | 176182 17101 37 | 73.938 % | 1597.72/1598.36 c | 25750 | 20850 185253 389274 | 193801 25748 38 | 73.952 % | 1618.52/1619.14 c | 38724 | 20754 185253 389274 | 213181 38721 40 | 74.072 % | 1650.21/1650.87 c | 58185 | 20752 185253 389274 | 234499 58181 41 | 74.075 % | 1706.59/1707.22 c | 87377 | 20646 185253 389274 | 257949 86893 40 | 74.207 % |
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-2686916-1278444028/watcher-2686916-1278444028 -o /tmp/evaluation-result-2686916-1278444028/solver-2686916-1278444028 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686916-1278444028.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.92 0.98 0.99 3/106 21183 /proc/meminfo: memFree=1845148/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=10564 CPUtime=0 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 326 0 0 0 0 0 0 0 19 0 1 0 12614367 10817536 245 1992294400 134512640 135752675 4287848928 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 2641 245 137 303 0 374 0 [startup+0.062092 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21183 /proc/meminfo: memFree=1845148/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=13380 CPUtime=0.05 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 1050 0 0 0 5 0 0 0 19 0 1 0 12614367 13701120 969 1992294400 134512640 135752675 4287848928 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 3345 969 211 303 0 1078 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13380 [startup+0.102096 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21183 /proc/meminfo: memFree=1845148/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=15480 CPUtime=0.09 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 1524 0 0 0 9 0 0 0 19 0 1 0 12614367 15851520 1443 1992294400 134512640 135752675 4287848928 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 3870 1443 271 303 0 1603 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15480 [startup+0.301124 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21183 /proc/meminfo: memFree=1845148/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=19752 CPUtime=0.29 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 2855 0 0 0 28 1 0 0 20 0 1 0 12614367 20226048 2741 1992294400 134512640 135752675 4287848928 18446744073709551615 135209824 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 4938 2741 563 303 0 2671 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19752 [startup+0.700181 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21183 /proc/meminfo: memFree=1845148/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=26172 CPUtime=0.69 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 4829 0 0 0 67 2 0 0 21 0 1 0 12614367 26800128 4675 1992294400 134512640 135752675 4287848928 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 6543 4675 1178 303 0 4276 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26172 [startup+1.5013 s] /proc/loadavg: 0.92 0.98 0.99 2/107 21184 /proc/meminfo: memFree=1825796/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=36800 CPUtime=1.49 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 8177 0 0 0 146 3 0 0 23 0 1 0 12614367 37683200 7909 1992294400 134512640 135752675 4287848928 18446744073709551615 134559905 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 9200 7909 1977 303 0 6933 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36800 [startup+3.10152 s] /proc/loadavg: 0.92 0.98 0.99 2/107 21184 /proc/meminfo: memFree=1795664/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=56664 CPUtime=3.08 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 15301 0 0 0 302 6 0 0 25 0 1 0 12614367 58023936 12846 1992294400 134512640 135752675 4287848928 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 14166 12846 142 303 0 13861 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 56664 [startup+6.30098 s] /proc/loadavg: 0.93 0.98 0.99 2/107 21184 /proc/meminfo: memFree=1789836/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=62208 CPUtime=6.28 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 16715 0 0 0 621 7 0 0 25 0 1 0 12614367 63700992 14260 1992294400 134512640 135752675 4287848928 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 15552 14260 142 303 0 15247 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 62208 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.99 2/107 21186 /proc/meminfo: memFree=1780784/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=70656 CPUtime=12.69 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 18812 0 0 0 1261 8 0 0 25 0 1 0 12614367 72351744 16357 1992294400 134512640 135752675 4287848928 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 17664 16357 142 303 0 17359 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 70656 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/107 21186 /proc/meminfo: memFree=1769004/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=81612 CPUtime=25.48 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 21571 0 0 0 2539 9 0 0 25 0 1 0 12614367 83570688 19116 1992294400 134512640 135752675 4287848928 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 20403 19116 142 303 0 20098 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 81612 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/107 21186 /proc/meminfo: memFree=1754372/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=96264 CPUtime=51.07 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 25207 0 0 0 5097 10 0 0 25 0 1 0 12614367 98574336 22752 1992294400 134512640 135752675 4287848928 18446744073709551615 135204672 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 24066 22752 142 303 0 23761 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 96264 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 21188 /proc/meminfo: memFree=1740980/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=108496 CPUtime=102.26 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 29719 0 0 0 10209 17 0 0 25 0 1 0 12614367 111099904 25950 1992294400 134512640 135752675 4287848928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 27124 25950 145 303 0 26819 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 108496 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21190 /proc/meminfo: memFree=1740980/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=108496 CPUtime=162.23 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 29719 0 0 0 16179 44 0 0 25 0 1 0 12614367 111099904 25950 1992294400 134512640 135752675 4287848928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 27124 25950 145 303 0 26819 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 108496 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21190 /proc/meminfo: memFree=1749660/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=98884 CPUtime=222.21 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 44872 0 0 0 22148 73 0 0 25 0 1 0 12614367 101257216 23924 1992294400 134512640 135752675 4287848928 18446744073709551615 134606976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 24721 23924 146 303 0 24416 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 98884 [startup+282.301 s] /proc/loadavg: 1.06 1.00 1.00 2/107 21192 /proc/meminfo: memFree=1749536/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=98884 CPUtime=282.19 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 45798 0 0 0 28126 93 0 0 25 0 1 0 12614367 101257216 23928 1992294400 134512640 135752675 4287848928 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 24721 23928 146 303 0 24416 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 98884 [startup+342.301 s] /proc/loadavg: 1.08 1.02 1.00 2/107 21194 /proc/meminfo: memFree=1752512/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=94020 CPUtime=342.17 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 45798 0 0 0 34105 112 0 0 25 0 1 0 12614367 96276480 23002 1992294400 134512640 135752675 4287848928 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 23505 23002 146 303 0 23200 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 94020 [startup+402.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 21196 /proc/meminfo: memFree=1749412/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=98884 CPUtime=402.15 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 46732 0 0 0 40085 130 0 0 25 0 1 0 12614367 101257216 23936 1992294400 134512640 135752675 4287848928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 24721 23936 146 303 0 24416 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 98884 [startup+462.302 s] /proc/loadavg: 1.01 1.00 1.00 2/107 21198 /proc/meminfo: memFree=1747800/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=98668 CPUtime=462.13 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 47861 0 0 0 46065 148 0 0 25 0 1 0 12614367 101036032 24135 1992294400 134512640 135752675 4287848928 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 24667 24135 146 303 0 24362 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 98668 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21198 /proc/meminfo: memFree=1747800/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=98668 CPUtime=522.1 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 47861 0 0 0 52046 164 0 0 25 0 1 0 12614367 101036032 24135 1992294400 134512640 135752675 4287848928 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 24667 24135 146 303 0 24362 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 98668 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21200 /proc/meminfo: memFree=1727588/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=120324 CPUtime=582.08 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 53083 0 0 0 58026 182 0 0 25 0 1 0 12614367 123211776 29176 1992294400 134512640 135752675 4287848928 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 30081 29176 146 303 0 29776 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 120324 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21202 /proc/meminfo: memFree=1727588/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=120324 CPUtime=642.07 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 53084 0 0 0 64010 197 0 0 25 0 1 0 12614367 123211776 29177 1992294400 134512640 135752675 4287848928 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 30081 29177 146 303 0 29776 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 120324 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21208 /proc/meminfo: memFree=1716304/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=131816 CPUtime=881.98 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 57179 0 0 0 87943 255 0 0 25 0 1 0 12614367 134979584 32001 1992294400 134512640 135752675 4287848928 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 32954 32001 146 303 0 32649 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 131816 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21210 /proc/meminfo: memFree=1713824/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=134604 CPUtime=941.95 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 57883 0 0 0 93925 270 0 0 25 0 1 0 12614367 137834496 32705 1992294400 134512640 135752675 4287848928 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 33651 32705 146 303 0 33346 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 134604 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21212 /proc/meminfo: memFree=1707500/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=140724 CPUtime=1001.94 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 59418 0 0 0 99910 284 0 0 25 0 1 0 12614367 144101376 34240 1992294400 134512640 135752675 4287848928 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 35181 34240 146 303 0 34876 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 140724 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21214 /proc/meminfo: memFree=1691628/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=156240 CPUtime=1061.92 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 64789 0 0 0 105891 301 0 0 25 0 1 0 12614367 159989760 38111 1992294400 134512640 135752675 4287848928 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 39060 38111 146 303 0 38755 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 156240 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21214 /proc/meminfo: memFree=1691628/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=156240 CPUtime=1121.89 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 64789 0 0 0 111872 317 0 0 25 0 1 0 12614367 159989760 38111 1992294400 134512640 135752675 4287848928 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 39060 38111 146 303 0 38755 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 156240 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21216 /proc/meminfo: memFree=1691628/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=156240 CPUtime=1181.87 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 64802 0 0 0 117855 332 0 0 25 0 1 0 12614367 159989760 38124 1992294400 134512640 135752675 4287848928 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 39060 38124 146 303 0 38755 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 156240 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21218 /proc/meminfo: memFree=1689644/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=158140 CPUtime=1241.84 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 65327 0 0 0 123842 342 0 0 25 0 1 0 12614367 161935360 38649 1992294400 134512640 135752675 4287848928 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 39535 38649 146 303 0 39230 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 158140 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21220 /proc/meminfo: memFree=1684684/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=163016 CPUtime=1301.83 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 66551 0 0 0 129829 354 0 0 25 0 1 0 12614367 166928384 39873 1992294400 134512640 135752675 4287848928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 40754 39873 146 303 0 40449 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 163016 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21222 /proc/meminfo: memFree=1679724/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=168356 CPUtime=1361.81 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 67810 0 0 0 135815 366 0 0 25 0 1 0 12614367 172396544 41132 1992294400 134512640 135752675 4287848928 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 42089 41132 146 303 0 41784 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 168356 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21222 /proc/meminfo: memFree=1674640/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=173296 CPUtime=1421.79 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 69054 0 0 0 141801 378 0 0 25 0 1 0 12614367 177455104 42376 1992294400 134512640 135752675 4287848928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 43324 42376 146 303 0 43019 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 173296 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21224 /proc/meminfo: memFree=1670052/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=177724 CPUtime=1481.76 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 70186 0 0 0 147788 388 0 0 25 0 1 0 12614367 181989376 43508 1992294400 134512640 135752675 4287848928 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 44431 43508 146 303 0 44126 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 177724 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21226 /proc/meminfo: memFree=1665464/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=182228 CPUtime=1541.74 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 71309 0 0 0 153776 398 0 0 25 0 1 0 12614367 186601472 44631 1992294400 134512640 135752675 4287848928 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 45557 44631 146 303 0 45252 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 182228 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21228 /proc/meminfo: memFree=1649716/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=197880 CPUtime=1601.72 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 76656 0 0 0 159755 417 0 0 25 0 1 0 12614367 202629120 48502 1992294400 134512640 135752675 4287848928 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 49470 48502 146 303 0 49165 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 197880 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21230 /proc/meminfo: memFree=1649716/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=197880 CPUtime=1661.7 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 76676 0 0 0 165739 431 0 0 25 0 1 0 12614367 202629120 48522 1992294400 134512640 135752675 4287848928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 49470 48522 146 303 0 49165 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 197880 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21230 /proc/meminfo: memFree=1649716/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=197880 CPUtime=1721.68 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 76723 0 0 0 171723 445 0 0 25 0 1 0 12614367 202629120 48569 1992294400 134512640 135752675 4287848928 18446744073709551615 134642647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 49470 48569 146 303 0 49165 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 197880 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21232 /proc/meminfo: memFree=1645996/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=201324 CPUtime=1781.65 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 77600 0 0 0 177707 458 0 0 25 0 1 0 12614367 206155776 49446 1992294400 134512640 135752675 4287848928 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 50331 49446 146 303 0 50026 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 201324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21232 /proc/meminfo: memFree=1644384/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=203040 CPUtime=1800.06 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 78020 0 0 0 179545 461 0 0 25 0 1 0 12614367 207912960 49866 1992294400 134512640 135752675 4287848928 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 50760 49866 146 303 0 50455 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 203040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21232 /proc/meminfo: memFree=1644384/2059040 swapFree=4153120/4192956 [pid=21183] ppid=21181 vsize=203040 CPUtime=1800.06 /proc/21183/stat : 21183 (wbo1.4b) R 21181 21183 19989 0 -1 4202496 78020 0 0 0 179545 461 0 0 25 0 1 0 12614367 207912960 49866 1992294400 134512640 135752675 4287848928 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21183/statm: 50760 49866 146 303 0 50455 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 203040 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.74 CPU time (s): 1800.09 CPU user time (s): 1795.45 CPU system time (s): 4.64029 CPU usage (%): 99.9642 Max. virtual memory (cumulated for all children) (KiB): 204696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.45 system time used= 4.64029 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78020 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= 27 involuntary context switches= 14193 runsolver used 2.79058 second user time and 8.72167 second system time The end
Begin job on node029 at 2010-07-06 21:20:28 IDJOB=2686916 IDBENCH=77150 IDSOLVER=1190 FILE ID=node029/2686916-1278444028 PBS_JOBID= 11233449 Free space on /tmp= 62552 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_2.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686916-1278444028/watcher-2686916-1278444028 -o /tmp/evaluation-result-2686916-1278444028/solver-2686916-1278444028 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686916-1278444028.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cccd345daea74d5d7e187f797768ed88 RANDOM SEED=2064774901 node029.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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1845676 kB Buffers: 4220 kB Cached: 115392 kB SwapCached: 492 kB Active: 21872 kB Inactive: 118104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1845676 kB SwapTotal: 4192956 kB SwapFree: 4153120 kB Dirty: 10500 kB Writeback: 40 kB AnonPages: 19772 kB Mapped: 12624 kB Slab: 51424 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181056 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= 62548 MiB End job on node029 at 2010-07-06 21:50:31