Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.07 | 1800.53 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12036_6.std.opb |
MD5SUM | 9a4de5b537f1bb9f30a546c1477a84e4 |
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 | 260 |
Best CPU time to get the best result obtained on this benchmark | 1800.21 |
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 | 245234 |
Number of constraints which are clauses | 244034 |
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.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2687178-1278449086.opb. 0.00/0.00 c Instance file HOME/instance-2687178-1278449086.opb 0.00/0.00 c File size is 8333344 bytes. 1.59/1.68 c Highest Coefficient sum: 688 1.59/1.68 c ============================[ Problem Statistics ]============================= 1.59/1.68 c | | 1.59/1.68 c | Parsing time: 1.66 s | 1.59/1.68 c | Number Variables: 72842 | 1.59/1.68 c | Number Clauses: 244034 | 1.59/1.68 c | Number Cardinality: 0 | 1.59/1.68 c | Number PB Constraints: 1200 | 94.46/94.53 c ============================[ Search Statistics ]============================== 94.46/94.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.46/94.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.46/94.53 c =============================================================================== 94.46/94.53 c | 0 | 54987 246564 568081 | 81744 0 nan | 0.000 % | 94.57/94.63 c =============================================================================== 94.57/94.63 c New solution: 300 94.57/94.63 o 300 94.57/94.63 c Elapsed CPU time: 94.4396 s Remaining CPU time: 85.5604 s 94.57/94.63 c =============================================================================== 94.57/94.63 c | 60 | 54987 246565 568381 | 82188 60 23 | 0.000 % | 94.66/94.70 c =============================================================================== 94.66/94.70 c New solution: 299 94.66/94.70 o 299 94.66/94.70 c Elapsed CPU time: 94.5036 s Remaining CPU time: 85.4964 s 94.66/94.70 c =============================================================================== 94.66/94.70 c | 79 | 54866 246566 568681 | 82188 79 20 | 0.000 % | 94.76/94.82 c | 180 | 54864 246566 568681 | 90407 180 28 | 24.865 % | 94.86/94.94 c | 330 | 54858 246566 568681 | 99448 330 26 | 24.865 % | 94.96/95.09 c | 555 | 54851 246566 568681 | 109393 555 24 | 24.865 % | 95.16/95.28 c | 893 | 54730 246566 568681 | 120332 893 29 | 24.865 % | 95.56/95.62 c | 1399 | 54730 246566 568681 | 132365 1399 29 | 24.865 % | 95.66/95.79 c =============================================================================== 95.66/95.79 c New solution: 298 95.66/95.79 o 298 95.66/95.79 c Elapsed CPU time: 95.5905 s Remaining CPU time: 84.4095 s 95.66/95.79 c =============================================================================== 95.66/95.79 c | 1588 | 54730 246567 568981 | 82189 1588 28 | 24.865 % | 95.85/95.91 c | 1688 | 54584 246567 568981 | 90407 1683 28 | 25.065 % | 95.95/96.05 c =============================================================================== 95.95/96.05 c New solution: 297 95.95/96.05 o 297 95.95/96.05 c Elapsed CPU time: 95.8494 s Remaining CPU time: 84.1506 s 95.95/96.05 c =============================================================================== 95.95/96.05 c | 1794 | 54584 246568 569281 | 82189 1789 28 | 25.065 % | 96.05/96.15 c | 1894 | 54581 246568 569281 | 90408 1889 27 | 25.281 % | 96.16/96.24 c =============================================================================== 96.16/96.24 c New solution: 296 96.16/96.24 o 296 96.16/96.24 c Elapsed CPU time: 96.0424 s Remaining CPU time: 83.9576 s 96.16/96.24 c =============================================================================== 96.16/96.24 c | 1949 | 54427 246569 569581 | 82189 1944 27 | 25.281 % | 96.26/96.34 c | 2049 | 54421 246569 569581 | 90408 2044 27 | 25.511 % | 96.36/96.48 c | 2199 | 54259 246569 569581 | 99449 2166 27 | 25.511 % | 96.56/96.65 c | 2424 | 54259 246569 569581 | 109394 2391 27 | 25.511 % | 96.86/96.96 c | 2762 | 54211 246569 569581 | 120333 2724 27 | 25.577 % | 97.25/97.30 c | 3268 | 54211 246569 569581 | 132367 3230 28 | 25.577 % | 97.86/97.90 c | 4027 | 54211 246569 569581 | 145604 3989 30 | 25.577 % | 98.06/98.19 c =============================================================================== 98.06/98.19 c New solution: 295 98.06/98.19 o 295 98.06/98.19 c Elapsed CPU time: 97.9731 s Remaining CPU time: 82.0269 s 98.06/98.19 c =============================================================================== 98.06/98.19 c | 4287 | 54211 246570 569881 | 82190 4249 30 | 25.577 % | 98.26/98.31 c | 4387 | 54037 246570 569881 | 90409 4313 30 | 25.816 % | 98.36/98.45 c | 4537 | 54037 246570 569881 | 99449 4463 30 | 25.816 % | 98.56/98.67 c | 4762 | 54037 246570 569881 | 109394 4688 30 | 25.816 % | 98.66/98.75 c =============================================================================== 98.66/98.75 c New solution: 294 98.66/98.75 o 294 98.66/98.75 c Elapsed CPU time: 98.538 s Remaining CPU time: 81.462 s 98.66/98.75 c =============================================================================== 98.66/98.75 c | 4797 | 54037 246571 570181 | 82190 4723 30 | 25.816 % | 98.76/98.87 c | 4899 | 53847 246571 570181 | 90409 4753 30 | 26.077 % | 98.96/99.01 c | 5049 | 53847 246571 570181 | 99450 4903 30 | 26.077 % | 99.05/99.19 c | 5276 | 53847 246571 570181 | 109395 5130 30 | 26.077 % | 99.35/99.49 c | 5613 | 53847 246571 570181 | 120334 5467 30 | 26.077 % | 99.76/99.87 c | 6121 | 53847 246571 570181 | 132368 5975 30 | 26.077 % | 99.96/100.00 c =============================================================================== 99.96/100.00 c New solution: 293 99.96/100.00 o 293 99.96/100.00 c Elapsed CPU time: 99.7788 s Remaining CPU time: 80.2212 s 99.96/100.00 c =============================================================================== 99.96/100.00 c | 6244 | 53847 246572 570481 | 82190 6098 30 | 26.077 % | 100.06/100.11 c | 6344 | 53649 246572 570481 | 90409 5972 30 | 26.349 % | 100.15/100.22 c | 6495 | 53649 246572 570481 | 99450 6123 30 | 26.349 % | 100.25/100.35 c =============================================================================== 100.25/100.35 c New solution: 292 100.25/100.35 o 292 100.25/100.35 c Elapsed CPU time: 100.122 s Remaining CPU time: 79.8782 s 100.25/100.35 c =============================================================================== 100.25/100.35 c | 6576 | 53649 246573 570781 | 82191 6204 30 | 26.349 % | 100.35/100.46 c | 6678 | 53634 246573 570781 | 90410 6306 30 | 26.639 % | 100.45/100.57 c =============================================================================== 100.45/100.57 c New solution: 291 100.45/100.57 o 291 100.45/100.57 c Elapsed CPU time: 100.345 s Remaining CPU time: 79.6553 s 100.45/100.57 c =============================================================================== 100.45/100.57 c | 6742 | 53438 246574 571081 | 82191 6370 30 | 26.639 % | 100.55/100.70 c | 6842 | 53212 246574 571081 | 90410 5966 29 | 26.949 % | 100.65/100.79 c =============================================================================== 100.65/100.79 c New solution: 290 100.65/100.79 o 290 100.65/100.79 c Elapsed CPU time: 100.558 s Remaining CPU time: 79.4423 s 100.65/100.79 c =============================================================================== 100.65/100.79 c | 6883 | 53212 246575 571381 | 82191 6007 29 | 26.949 % | 100.75/100.88 c | 6983 | 53180 246575 571381 | 90410 6107 29 | 27.264 % | 100.96/101.01 c | 7135 | 53180 246575 571381 | 99451 6259 29 | 27.264 % | 101.07/101.18 c | 7363 | 53175 246575 571381 | 109397 6487 29 | 27.265 % | 101.17/101.29 c =============================================================================== 101.17/101.29 c New solution: 289 101.17/101.29 o 289 101.17/101.29 c Elapsed CPU time: 101.061 s Remaining CPU time: 78.9394 s 101.17/101.29 c =============================================================================== 101.17/101.29 c | 7417 | 52982 246576 571681 | 82192 6068 28 | 27.265 % | 101.36/101.43 c | 7520 | 52979 246576 571681 | 90411 6171 28 | 27.586 % | 101.46/101.56 c | 7670 | 52960 246576 571681 | 99452 6321 28 | 27.586 % | 101.76/101.86 c | 7896 | 52958 246576 571681 | 109397 6547 28 | 27.586 % | 101.86/101.97 c =============================================================================== 101.86/101.97 c New solution: 288 101.86/101.97 o 288 101.86/101.97 c Elapsed CPU time: 101.741 s Remaining CPU time: 78.2595 s 101.86/101.97 c =============================================================================== 101.86/101.97 c | 7950 | 52748 246577 571981 | 82192 6275 28 | 27.586 % | 101.96/102.08 c | 8050 | 52715 246577 571981 | 90411 6375 28 | 27.918 % | 102.16/102.24 c | 8201 | 52709 246577 571981 | 99452 6526 28 | 27.918 % | 102.35/102.44 c | 8427 | 52709 246577 571981 | 109397 6752 28 | 27.918 % | 102.55/102.62 c =============================================================================== 102.55/102.62 c New solution: 287 102.55/102.62 o 287 102.55/102.62 c Elapsed CPU time: 102.381 s Remaining CPU time: 77.6186 s 102.55/102.62 c =============================================================================== 102.55/102.62 c | 8550 | 52506 246578 572281 | 82192 6670 28 | 27.918 % | 102.65/102.70 c | 8650 | 52467 246578 572281 | 90411 6770 28 | 28.250 % | 102.75/102.82 c | 8801 | 52467 246578 572281 | 99453 6921 28 | 28.250 % | 102.95/103.04 c | 9026 | 52467 246578 572281 | 109398 7146 28 | 28.250 % | 103.16/103.22 c | 9363 | 52264 246578 572281 | 120338 7206 28 | 28.250 % | 103.37/103.48 c | 9869 | 52264 246578 572281 | 132372 7712 28 | 28.250 % | 103.86/103.93 c | 10628 | 52264 246578 572281 | 145609 8471 28 | 28.250 % | 104.85/104.97 c | 11768 | 52264 246578 572281 | 160170 9611 29 | 28.250 % | 105.66/105.75 c | 13476 | 52264 246578 572281 | 176187 11319 32 | 28.250 % | 108.36/108.44 c | 16038 | 52264 246578 572281 | 193806 13881 35 | 28.250 % | 112.35/112.46 c | 19883 | 52264 246578 572281 | 213186 17726 37 | 28.250 % | 117.25/117.34 c | 25650 | 52264 246578 572281 | 234505 23493 39 | 28.250 % | 126.85/126.95 c | 34299 | 52264 246578 572281 | 257955 32142 40 | 28.250 % | 126.95/127.07 c =============================================================================== 126.95/127.07 c New solution: 286 126.95/127.07 o 286 126.95/127.07 c Elapsed CPU time: 126.731 s Remaining CPU time: 53.2693 s 126.95/127.07 c =============================================================================== 126.95/127.07 c | 34377 | 52264 246579 572581 | 82193 32220 40 | 28.250 % | 127.05/127.19 c | 34477 | 52022 246579 572581 | 90412 31935 40 | 28.582 % | 127.35/127.42 c | 34628 | 52022 246579 572581 | 99453 32086 40 | 28.582 % | 127.55/127.62 c | 34853 | 52022 246579 572581 | 109398 32311 40 | 28.582 % | 127.85/127.92 c | 35190 | 52022 246579 572581 | 120338 32648 40 | 28.582 % | 128.45/128.58 c | 35696 | 52022 246579 572581 | 132372 33154 40 | 28.582 % | 128.56/128.69 c =============================================================================== 128.56/128.69 c New solution: 285 128.56/128.69 o 285 128.56/128.69 c Elapsed CPU time: 128.342 s Remaining CPU time: 51.6575 s 128.56/128.69 c =============================================================================== 128.56/128.69 c | 35735 | 52022 246580 572881 | 82193 33193 40 | 28.582 % | 128.66/128.77 c | 35835 | 51998 246580 572881 | 90412 33293 40 | 28.915 % | 128.85/128.95 c | 35987 | 51780 246580 572881 | 99453 32790 40 | 28.915 % | 129.15/129.27 c | 36213 | 51780 246580 572881 | 109399 33016 40 | 28.915 % | 129.25/129.35 c =============================================================================== 129.25/129.35 c New solution: 284 129.25/129.35 o 284 129.25/129.35 c Elapsed CPU time: 128.996 s Remaining CPU time: 51.0036 s 129.25/129.35 c =============================================================================== 129.25/129.35 c | 36255 | 51780 246581 573181 | 82193 33058 40 | 28.915 % | 129.35/129.45 c | 36355 | 51742 246581 573181 | 90413 33158 39 | 29.247 % | 129.55/129.63 c | 36507 | 51740 246581 573181 | 99454 33310 39 | 29.247 % | 129.75/129.82 c =============================================================================== 129.75/129.82 c New solution: 283 129.75/129.82 o 283 129.75/129.82 c Elapsed CPU time: 129.461 s Remaining CPU time: 50.5387 s 129.75/129.82 c =============================================================================== 129.75/129.82 c | 36652 | 51538 246582 573481 | 82194 33455 39 | 29.247 % | 129.84/129.97 c | 36753 | 51527 246582 573481 | 90413 33556 39 | 29.612 % | 130.04/130.17 c | 36904 | 51526 246582 573481 | 99454 33707 39 | 29.612 % | 130.25/130.34 c | 37129 | 51503 246582 573481 | 109400 33932 39 | 29.612 % | 130.55/130.60 c | 37466 | 51503 246582 573481 | 120340 34269 39 | 29.612 % | 131.05/131.19 c | 37972 | 51272 246582 573481 | 132374 32882 39 | 29.612 % | 131.54/131.68 c | 38733 | 51272 246582 573481 | 145611 33643 39 | 29.612 % | 132.95/133.08 c | 39872 | 51272 246582 573481 | 160172 34782 39 | 29.612 % | 134.75/134.87 c | 41580 | 51272 246582 573481 | 176190 36490 39 | 29.612 % | 134.85/134.98 c =============================================================================== 134.85/134.98 c New solution: 282 134.85/134.98 o 282 134.85/134.98 c Elapsed CPU time: 134.591 s Remaining CPU time: 45.4095 s 134.85/134.98 c =============================================================================== 134.85/134.98 c | 41601 | 51272 246583 573781 | 82194 36511 39 | 29.612 % | 135.05/135.14 c | 41702 | 51038 246583 573781 | 90413 35823 39 | 29.933 % | 135.25/135.34 c | 41852 | 51038 246583 573781 | 99455 35973 39 | 29.933 % | 135.34/135.48 c =============================================================================== 135.34/135.48 c New solution: 281 135.34/135.48 o 281 135.34/135.48 c Elapsed CPU time: 135.096 s Remaining CPU time: 44.9035 s 135.34/135.48 c =============================================================================== 135.34/135.48 c | 41908 | 51038 246584 574081 | 82194 36029 39 | 29.933 % | 135.54/135.60 c | 42008 | 51032 246584 574081 | 90414 36129 39 | 30.255 % | 135.64/135.78 c | 42158 | 51026 246584 574081 | 99455 36279 39 | 30.255 % | 135.84/135.94 c | 42383 | 51011 246584 574081 | 109401 36504 39 | 30.255 % | 136.14/136.27 c | 42721 | 51010 246584 574081 | 120341 36842 39 | 30.255 % | 136.75/136.89 c | 43227 | 51007 246584 574081 | 132375 37348 38 | 30.255 % | 136.95/137.00 c =============================================================================== 136.95/137.00 c New solution: 280 136.95/137.00 o 280 136.95/137.00 c Elapsed CPU time: 136.609 s Remaining CPU time: 43.3908 s 136.95/137.00 c =============================================================================== 136.95/137.00 c | 43241 | 50804 246585 574381 | 82195 36402 38 | 30.255 % | 136.95/137.09 c | 43341 | 50758 246585 574381 | 90414 36502 38 | 30.576 % | 137.15/137.28 c | 43492 | 50758 246585 574381 | 99455 36653 38 | 30.576 % | 137.46/137.59 c | 43717 | 50757 246585 574381 | 109401 36878 38 | 30.576 % | 137.65/137.72 c =============================================================================== 137.65/137.72 c New solution: 279 137.65/137.72 o 279 137.65/137.72 c Elapsed CPU time: 137.322 s Remaining CPU time: 42.6779 s 137.65/137.72 c =============================================================================== 137.65/137.72 c | 43850 | 50570 246586 574681 | 82195 37011 38 | 30.576 % | 137.75/137.86 c | 43950 | 50535 246586 574681 | 90414 37111 38 | 30.908 % | 137.95/138.05 c | 44100 | 50533 246586 574681 | 99456 37261 38 | 30.908 % | 138.14/138.25 c | 44327 | 50530 246586 574681 | 109401 37488 38 | 30.908 % | 138.34/138.48 c | 44665 | 50524 246586 574681 | 120342 37826 38 | 30.908 % | 138.74/138.88 c | 45171 | 50524 246586 574681 | 132376 38332 38 | 30.908 % | 139.85/139.94 c | 45930 | 50328 246586 574681 | 145614 36140 38 | 30.908 % | 140.05/140.10 c =============================================================================== 140.05/140.10 c New solution: 278 140.05/140.10 o 278 140.05/140.10 c Elapsed CPU time: 139.696 s Remaining CPU time: 40.3042 s 140.05/140.10 c =============================================================================== 140.05/140.10 c | 46022 | 50328 246587 574981 | 82195 36232 38 | 30.908 % | 140.15/140.24 c =============================================================================== 140.15/140.24 c New solution: 277 140.15/140.24 o 277 140.15/140.24 c Elapsed CPU time: 139.83 s Remaining CPU time: 40.1703 s 140.15/140.24 c =============================================================================== 140.15/140.24 c | 46085 | 50086 246588 575281 | 82196 36295 38 | 30.908 % | 140.24/140.36 c | 46185 | 50064 246588 575281 | 90415 36395 38 | 31.581 % | 140.44/140.50 c | 46335 | 50029 246588 575281 | 99457 36545 38 | 31.581 % | 140.65/140.75 c | 46561 | 50029 246588 575281 | 109402 36771 38 | 31.581 % | 140.94/141.04 c | 46898 | 49838 246588 575281 | 120343 33027 36 | 31.581 % | 141.45/141.59 c | 47404 | 49838 246588 575281 | 132377 33533 36 | 31.581 % | 142.34/142.48 c | 48164 | 49838 246588 575281 | 145615 34293 36 | 31.581 % | 142.44/142.59 c =============================================================================== 142.44/142.59 c New solution: 276 142.44/142.59 o 276 142.44/142.59 c Elapsed CPU time: 142.167 s Remaining CPU time: 37.8326 s 142.44/142.59 c =============================================================================== 142.44/142.59 c | 48273 | 49838 246589 575581 | 82196 34402 36 | 31.581 % | 142.65/142.73 c | 48374 | 49598 246589 575581 | 90415 33783 36 | 31.910 % | 142.86/142.90 c | 48524 | 49598 246589 575581 | 99457 33933 36 | 31.910 % | 142.96/143.04 c | 48749 | 49598 246589 575581 | 109403 34158 36 | 31.910 % | 143.15/143.29 c | 49087 | 49597 246589 575581 | 120343 34496 36 | 31.927 % | 143.74/143.83 c | 49593 | 49592 246589 575581 | 132378 35002 36 | 31.935 % | 144.35/144.46 c | 50352 | 49591 246589 575581 | 145615 35761 36 | 31.960 % | 145.65/145.77 c | 51491 | 49562 246589 575581 | 160177 36888 36 | 31.960 % | 146.74/146.83 c | 53199 | 49562 246589 575581 | 176195 38596 36 | 31.960 % | 149.55/149.68 c | 55761 | 49562 246589 575581 | 193814 41158 37 | 31.960 % | 149.75/149.80 c =============================================================================== 149.75/149.80 c New solution: 275 149.75/149.80 o 275 149.75/149.80 c Elapsed CPU time: 149.345 s Remaining CPU time: 30.6547 s 149.75/149.80 c =============================================================================== 149.75/149.80 c | 55890 | 49562 246590 575881 | 82196 41287 37 | 31.960 % | 149.85/149.94 c | 55990 | 49332 246590 575881 | 90416 39978 37 | 32.275 % | 149.95/150.07 c | 56140 | 49332 246590 575881 | 99457 40128 36 | 32.275 % | 150.24/150.37 c | 56366 | 49332 246590 575881 | 109403 40354 36 | 32.275 % | 150.65/150.78 c | 56704 | 49332 246590 575881 | 120344 40692 36 | 32.275 % | 151.04/151.14 c | 57210 | 49332 246590 575881 | 132378 41198 37 | 32.275 % | 151.55/151.69 c | 57973 | 49332 246590 575881 | 145616 41961 37 | 32.275 % | 152.64/152.72 c | 59112 | 49332 246590 575881 | 160178 43100 37 | 32.275 % | 154.35/154.42 c | 60820 | 49332 246590 575881 | 176195 44808 38 | 32.275 % | 156.85/156.99 c | 63384 | 49332 246590 575881 | 193815 47372 38 | 32.275 % | 157.34/157.42 c =============================================================================== 157.34/157.42 c New solution: 274 157.34/157.42 o 274 157.34/157.42 c Elapsed CPU time: 156.928 s Remaining CPU time: 23.0719 s 157.34/157.42 c =============================================================================== 157.34/157.42 c | 63859 | 49332 246591 576181 | 82197 47847 38 | 32.275 % | 157.54/157.60 c | 63961 | 49070 246591 576181 | 90416 46883 38 | 32.635 % | 157.64/157.74 c | 64111 | 49070 246591 576181 | 99458 47033 38 | 32.635 % | 157.94/158.04 c | 64336 | 49070 246591 576181 | 109404 47258 38 | 32.635 % | 158.04/158.16 c =============================================================================== 158.04/158.16 c New solution: 273 158.04/158.16 o 273 158.04/158.16 c Elapsed CPU time: 157.67 s Remaining CPU time: 22.33 s 158.04/158.16 c =============================================================================== 158.04/158.16 c | 64390 | 49070 246592 576481 | 82197 47312 38 | 32.635 % | 158.14/158.29 c | 64490 | 49064 246592 576481 | 90417 47412 38 | 32.943 % | 158.34/158.41 c | 64641 | 48994 246592 576481 | 99458 47563 38 | 32.943 % | 158.44/158.59 c | 64866 | 48994 246592 576481 | 109404 47788 38 | 32.943 % | 158.95/159.06 c | 65203 | 48994 246592 576481 | 120345 48125 38 | 32.943 % | 159.25/159.32 c | 65710 | 48989 246592 576481 | 132379 48632 38 | 32.943 % | 159.94/160.03 c | 66470 | 48989 246592 576481 | 145617 49392 38 | 32.943 % | 160.94/161.01 c | 67609 | 48846 246592 576481 | 160179 48851 37 | 32.943 % | 162.04/162.19 c | 69317 | 48846 246592 576481 | 176197 50559 37 | 32.943 % | 165.34/165.42 c | 71879 | 48846 246592 576481 | 193817 53121 38 | 32.943 % | 165.44/165.52 c =============================================================================== 165.44/165.52 c New solution: 272 165.44/165.52 o 272 165.44/165.52 c Elapsed CPU time: 164.996 s Remaining CPU time: 15.0041 s 165.44/165.52 c =============================================================================== 165.44/165.52 c | 71920 | 48846 246593 576781 | 82197 53162 38 | 32.943 % | 165.54/165.68 c | 72021 | 48614 246593 576781 | 90417 51103 38 | 33.261 % | 165.74/165.85 c | 72171 | 48614 246593 576781 | 99459 51253 38 | 33.261 % | 165.83/165.98 c | 72396 | 48614 246593 576781 | 109405 51478 38 | 33.261 % | 166.14/166.22 c | 72733 | 48614 246593 576781 | 120345 51815 37 | 33.261 % | 166.54/166.62 c | 73240 | 48613 246593 576781 | 132380 52322 37 | 33.283 % | 167.15/167.23 c | 73999 | 48613 246593 576781 | 145618 53081 37 | 33.283 % | 167.34/167.40 c =============================================================================== 167.34/167.40 c New solution: 271 167.34/167.40 o 271 167.34/167.40 c Elapsed CPU time: 166.87 s Remaining CPU time: 13.1304 s 167.34/167.40 c =============================================================================== 167.34/167.40 c | 74094 | 48598 246594 577081 | 82198 53176 37 | 33.283 % | 167.44/167.52 c | 74195 | 48564 246594 577081 | 90417 53277 37 | 33.601 % | 167.64/167.71 c | 74345 | 48561 246594 577081 | 99459 53427 37 | 33.601 % | 167.84/167.93 c | 74570 | 48366 246594 577081 | 109405 51610 37 | 33.602 % | 168.24/168.33 c | 74909 | 48366 246594 577081 | 120346 51949 37 | 33.601 % | 168.63/168.71 c | 75415 | 48366 246594 577081 | 132380 52455 37 | 33.602 % | 169.43/169.52 c | 76176 | 48366 246594 577081 | 145618 53216 37 | 33.601 % | 170.64/170.72 c | 77315 | 48366 246594 577081 | 160180 54355 37 | 33.602 % | 170.74/170.87 c =============================================================================== 170.74/170.87 c New solution: 270 170.74/170.87 o 270 170.74/170.87 c Elapsed CPU time: 170.329 s Remaining CPU time: 9.67089 s 170.74/170.87 c =============================================================================== 170.74/170.87 c | 77502 | 48366 246595 577381 | 82198 54542 37 | 33.602 % | 170.94/171.03 c | 77603 | 48134 246595 577381 | 90418 52168 36 | 33.920 % | 171.14/171.20 c | 77755 | 48134 246595 577381 | 99459 52320 36 | 33.920 % | 171.24/171.37 c | 77980 | 48134 246595 577381 | 109405 52545 36 | 33.920 % | 171.63/171.77 c | 78317 | 48134 246595 577381 | 120346 52882 36 | 33.920 % | 172.04/172.16 c | 78824 | 48134 246595 577381 | 132381 53389 36 | 33.920 % | 172.65/172.79 c | 79584 | 48133 246595 577381 | 145619 54149 36 | 33.958 % | 173.65/173.75 c | 80723 | 48131 246595 577381 | 160181 55288 36 | 33.980 % | 175.53/175.60 c | 82431 | 48090 246595 577381 | 176199 56926 36 | 33.980 % | 178.84/178.97 c | 84993 | 48090 246595 577381 | 193819 59488 37 | 33.980 % | 179.33/179.50 c =============================================================================== 179.33/179.50 c New solution: 269 179.33/179.50 o 269 179.33/179.50 c Elapsed CPU time: 178.926 s Remaining CPU time: 1.0742 s 179.33/179.50 c =============================================================================== 179.33/179.50 c | 86253 | 48090 246596 577681 | 82198 60748 37 | 33.980 % | 179.54/179.68 c | 86353 | 47858 246596 577681 | 90418 58571 37 | 34.299 % | 179.84/179.94 c | 86503 | 47858 246596 577681 | 99460 58721 37 | 34.299 % | 180.04/180.13 c | 86729 | 47858 246596 577681 | 109406 58947 37 | 34.299 % | 180.44/180.50 c | 87067 | 47858 246596 577681 | 120347 59285 36 | 34.299 % | 180.44/180.58 c There are 24984 assigned variables. 132 in cost function. 182.44/182.54 c core #1 182.44/182.54 c core #2 182.44/182.54 c core #3 182.44/182.54 c core #4 182.44/182.54 c core #5 182.44/182.54 c core #6 182.44/182.54 c ============================[ Search Statistics ]============================== 182.44/182.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.44/182.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.44/182.54 c =============================================================================== 182.44/182.54 c | 0 | 9442 178035 366722 | 59345 0 nan | 0.000 % | 182.44/182.56 c =============================================================================== 182.73/182.84 c core #7 182.73/182.84 c ============================[ Search Statistics ]============================== 182.73/182.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.73/182.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.73/182.84 c =============================================================================== 182.73/182.84 c | 0 | 8702 178198 367387 | 59399 0 nan | 0.000 % | 182.73/182.85 c =============================================================================== 183.03/183.14 c core #8 183.03/183.14 c ============================[ Search Statistics ]============================== 183.03/183.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.14 c =============================================================================== 183.03/183.14 c | 0 | 9297 178359 368048 | 59453 0 nan | 0.000 % | 183.03/183.17 c =============================================================================== 183.33/183.45 c core #9 183.33/183.45 c ============================[ Search Statistics ]============================== 183.33/183.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.45 c =============================================================================== 183.33/183.45 c | 0 | 10851 178519 368716 | 59506 0 nan | 0.000 % | 183.33/183.47 c =============================================================================== 183.65/183.77 c core #10 183.65/183.77 c ============================[ Search Statistics ]============================== 183.65/183.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.65/183.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.65/183.77 c =============================================================================== 183.65/183.77 c | 0 | 11303 178679 369381 | 59559 0 nan | 0.000 % | 183.74/183.86 c =============================================================================== 184.04/184.14 c core #11 184.04/184.14 c ============================[ Search Statistics ]============================== 184.04/184.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.14 c =============================================================================== 184.04/184.14 c | 0 | 11709 178838 370048 | 59612 0 nan | 0.000 % | 184.14/184.25 c =============================================================================== 184.44/184.54 c core #12 184.44/184.54 c ============================[ Search Statistics ]============================== 184.44/184.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.44/184.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.44/184.54 c =============================================================================== 184.44/184.54 c | 0 | 12010 178998 370716 | 59666 0 nan | 0.000 % | 184.54/184.65 c | 102 | 11998 178998 370716 | 65632 102 18 | 85.012 % | 184.54/184.66 c =============================================================================== 184.84/184.95 c core #13 184.84/184.95 c ============================[ Search Statistics ]============================== 184.84/184.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.95 c =============================================================================== 184.84/184.95 c | 0 | 12396 179156 371384 | 59718 0 nan | 0.000 % | 184.94/185.07 c | 100 | 12394 179156 371384 | 65690 100 26 | 83.541 % | 185.13/185.20 c =============================================================================== 185.43/185.50 c core #14 185.43/185.50 c ============================[ Search Statistics ]============================== 185.43/185.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.43/185.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.43/185.50 c =============================================================================== 185.43/185.50 c | 0 | 12753 179317 372065 | 59772 0 nan | 0.000 % | 185.53/185.61 c | 101 | 12753 179317 372065 | 65749 101 21 | 86.056 % | 185.63/185.72 c =============================================================================== 185.93/186.00 c core #15 185.93/186.00 c ============================[ Search Statistics ]============================== 185.93/186.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.00 c =============================================================================== 185.93/186.00 c | 0 | 13158 179471 372736 | 59823 0 nan | 0.000 % | 186.03/186.11 c | 101 | 13158 179471 372736 | 65806 101 21 | 82.516 % | 186.13/186.27 c | 251 | 12683 179471 372736 | 72386 132 18 | 83.148 % | 186.23/186.39 c =============================================================================== 186.53/186.69 c core #16 186.53/186.69 c ============================[ Search Statistics ]============================== 186.53/186.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.53/186.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.53/186.69 c =============================================================================== 186.53/186.69 c | 0 | 13578 179626 373411 | 59875 0 nan | 0.000 % | 186.73/186.80 c | 100 | 13578 179626 373411 | 65862 100 20 | 81.995 % | 186.84/186.95 c | 252 | 13578 179626 373411 | 72449 252 22 | 81.995 % | 187.04/187.15 c | 479 | 13358 179626 373411 | 79694 461 24 | 82.314 % | 187.34/187.43 c =============================================================================== 187.64/187.72 c core #17 187.64/187.72 c ============================[ Search Statistics ]============================== 187.64/187.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.64/187.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.64/187.72 c =============================================================================== 187.64/187.72 c | 0 | 13972 179778 374081 | 59926 0 nan | 0.000 % | 187.74/187.83 c | 103 | 13972 179778 374081 | 65918 103 21 | 81.510 % | 187.84/187.98 c | 253 | 13972 179778 374081 | 72510 253 23 | 81.510 % | 188.14/188.21 c | 478 | 13774 179778 374081 | 79761 475 25 | 81.772 % | 188.43/188.50 c =============================================================================== 188.73/188.81 c core #18 188.73/188.81 c ============================[ Search Statistics ]============================== 188.73/188.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.73/188.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.73/188.81 c =============================================================================== 188.73/188.81 c | 0 | 14365 179933 374766 | 59977 0 nan | 0.000 % | 188.83/188.92 c | 100 | 14365 179933 374766 | 65975 100 19 | 81.028 % | 188.94/189.08 c | 251 | 14365 179933 374766 | 72572 251 23 | 81.028 % | 189.24/189.32 c | 478 | 14266 179933 374766 | 79830 476 26 | 81.334 % | 189.54/189.62 c | 815 | 14265 179933 374766 | 87813 813 29 | 81.334 % | 189.94/190.03 c =============================================================================== 190.24/190.33 c core #19 190.24/190.33 c ============================[ Search Statistics ]============================== 190.24/190.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.24/190.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.24/190.33 c =============================================================================== 190.24/190.33 c | 0 | 14864 180101 375495 | 60033 0 nan | 0.000 % | 190.33/190.44 c | 101 | 14864 180101 375495 | 66037 101 22 | 80.407 % | 190.43/190.58 c | 255 | 14864 180101 375495 | 72640 255 23 | 80.407 % | 190.73/190.81 c | 480 | 14864 180101 375495 | 79904 480 25 | 80.407 % | 190.93/191.08 c | 818 | 14795 180101 375495 | 87895 704 21 | 80.498 % | 191.44/191.53 c =============================================================================== 191.74/191.83 c core #20 191.74/191.83 c ============================[ Search Statistics ]============================== 191.74/191.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.74/191.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.74/191.83 c =============================================================================== 191.74/191.83 c | 0 | 15255 180261 376197 | 60087 0 nan | 0.000 % | 191.84/191.95 c | 101 | 15253 180261 376197 | 66095 101 21 | 80.079 % | 192.03/192.10 c | 252 | 15253 180261 376197 | 72705 252 21 | 80.079 % | 192.23/192.34 c | 477 | 15143 180261 376197 | 79975 475 23 | 80.079 % | 192.53/192.66 c | 814 | 15143 180261 376197 | 87973 812 24 | 80.079 % | 193.03/193.18 c | 1320 | 14947 180261 376197 | 96770 1058 23 | 80.865 % | 193.44/193.56 c =============================================================================== 193.73/193.85 c core #21 193.73/193.85 c ============================[ Search Statistics ]============================== 193.73/193.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.73/193.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.73/193.85 c =============================================================================== 193.73/193.85 c | 0 | 15645 180411 376877 | 60137 0 nan | 0.000 % | 193.83/193.96 c | 102 | 15645 180411 376877 | 66150 102 23 | 79.458 % | 194.04/194.14 c | 252 | 15645 180411 376877 | 72765 252 24 | 79.458 % | 194.24/194.38 c | 477 | 15538 180411 376877 | 80042 476 24 | 79.599 % | 194.64/194.74 c | 815 | 15356 180411 376877 | 88046 782 24 | 79.838 % | 195.24/195.31 c | 1321 | 15356 180411 376877 | 96851 1288 28 | 79.838 % | 195.83/195.92 c =============================================================================== 196.13/196.23 c core #22 196.13/196.23 c ============================[ Search Statistics ]============================== 196.13/196.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.13/196.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.13/196.23 c =============================================================================== 196.13/196.23 c | 0 | 16034 180562 377563 | 60187 0 nan | 0.000 % | 196.23/196.34 c | 100 | 16034 180562 377563 | 66206 100 26 | 78.988 % | 196.43/196.50 c | 250 | 16031 180562 377563 | 72826 250 28 | 79.128 % | 196.63/196.74 c | 476 | 15927 180562 377563 | 80109 475 28 | 79.388 % | 197.04/197.10 c | 813 | 15925 180562 377563 | 88120 812 30 | 79.388 % | 197.43/197.53 c | 1320 | 15688 180562 377563 | 96932 1316 28 | 79.441 % | 198.13/198.21 c | 2079 | 15688 180562 377563 | 106625 2075 28 | 79.441 % | 199.04/199.19 c =============================================================================== 199.33/199.49 c core #23 199.33/199.49 c ============================[ Search Statistics ]============================== 199.33/199.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.33/199.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.33/199.49 c =============================================================================== 199.33/199.49 c | 0 | 16422 180722 378279 | 60240 0 nan | 0.000 % | 199.43/199.58 c | 100 | 16422 180722 378279 | 66264 100 21 | 78.521 % | 199.53/199.67 c | 250 | 16422 180722 378279 | 72891 250 23 | 78.521 % | 199.83/199.90 c | 475 | 16342 180722 378279 | 80180 474 21 | 78.625 % | 200.14/200.24 c | 812 | 16235 180722 378279 | 88198 810 23 | 78.765 % | 200.73/200.80 c | 1318 | 16228 180722 378279 | 97018 1315 25 | 78.774 % | 201.54/201.63 c | 2077 | 16228 180722 378279 | 106720 2074 28 | 78.774 % | 202.93/203.08 c | 3216 | 16228 180722 378279 | 117392 3213 32 | 78.774 % | 204.93/205.05 c =============================================================================== 205.23/205.36 c core #24 205.23/205.36 c ============================[ Search Statistics ]============================== 205.23/205.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.23/205.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.23/205.36 c =============================================================================== 205.23/205.36 c | 0 | 16809 180872 378971 | 60290 0 nan | 0.000 % | 205.33/205.47 c | 100 | 16809 180872 378971 | 66319 100 29 | 78.056 % | 205.43/205.60 c | 250 | 16809 180872 378971 | 72951 250 23 | 78.056 % | 205.73/205.86 c | 475 | 16809 180872 378971 | 80246 475 26 | 78.056 % | 206.03/206.19 c | 812 | 16809 180872 378971 | 88271 812 25 | 78.056 % | 206.53/206.67 c | 1319 | 16809 180872 378971 | 97098 1319 25 | 78.056 % | 207.33/207.45 c | 2078 | 16468 180872 378971 | 106808 1753 24 | 78.640 % | 208.43/208.56 c | 3217 | 15731 180872 378971 | 117489 2417 27 | 79.769 % | 209.23/209.32 c =============================================================================== 209.53/209.62 c core #25 209.53/209.62 c ============================[ Search Statistics ]============================== 209.53/209.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.53/209.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.53/209.62 c =============================================================================== 209.53/209.62 c | 0 | 17195 181036 379704 | 60345 0 nan | 0.000 % | 209.63/209.71 c | 101 | 17195 181036 379704 | 66379 101 16 | 77.594 % | 209.73/209.88 c | 251 | 17195 181036 379704 | 73017 251 20 | 77.594 % | 209.94/210.09 c | 476 | 17195 181036 379704 | 80319 476 22 | 77.594 % | 210.33/210.45 c | 815 | 17195 181036 379704 | 88351 815 26 | 77.594 % | 211.03/211.11 c | 1323 | 17195 181036 379704 | 97186 1323 31 | 77.594 % | 211.93/212.01 c | 2082 | 17195 181036 379704 | 106905 2082 31 | 77.594 % | 213.03/213.13 c | 3221 | 17086 181036 379704 | 117595 3220 31 | 77.736 % | 215.03/215.18 c | 4929 | 17086 181036 379704 | 129355 4928 36 | 77.736 % | 217.63/217.79 c =============================================================================== 218.02/218.11 c core #26 218.02/218.11 c ============================[ Search Statistics ]============================== 218.02/218.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.02/218.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.02/218.11 c =============================================================================== 218.02/218.11 c | 0 | 17580 181197 380437 | 60399 0 nan | 0.000 % | 218.12/218.22 c | 100 | 17580 181197 380437 | 66438 100 19 | 77.135 % | 218.32/218.42 c | 251 | 17580 181197 380437 | 73082 251 24 | 77.135 % | 218.52/218.68 c | 477 | 17580 181197 380437 | 80391 477 27 | 77.135 % | 218.83/218.95 c | 814 | 17580 181197 380437 | 88430 814 25 | 77.135 % | 219.43/219.50 c | 1320 | 17580 181197 380437 | 97273 1320 26 | 77.135 % | 220.13/220.29 c | 2081 | 17473 181197 380437 | 107000 2080 28 | 77.274 % | 221.33/221.46 c | 3220 | 17473 181197 380437 | 117700 3219 32 | 77.274 % | 223.03/223.15 c | 4930 | 16925 181197 380437 | 129470 3079 26 | 77.987 % | 225.82/225.97 c | 7492 | 16434 181197 380437 | 142417 4165 27 | 78.787 % | 226.33/226.46 c =============================================================================== 226.63/226.76 c core #27 226.63/226.76 c ============================[ Search Statistics ]============================== 226.63/226.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.63/226.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.63/226.76 c =============================================================================== 226.63/226.76 c | 0 | 17964 181354 381160 | 60451 0 nan | 0.000 % | 226.73/226.87 c | 100 | 17964 181354 381160 | 66496 100 27 | 76.679 % | 226.83/226.99 c | 250 | 17963 181354 381160 | 73146 250 21 | 76.818 % | 226.93/227.09 c | 476 | 17963 181354 381160 | 80460 476 19 | 76.818 % | 227.32/227.42 c | 815 | 17857 181354 381160 | 88506 814 21 | 76.818 % | 227.82/227.99 c | 1324 | 17857 181354 381160 | 97357 1323 25 | 76.818 % | 228.73/228.84 c | 2084 | 17857 181354 381160 | 107093 2083 28 | 76.818 % | 229.93/230.09 c | 3223 | 17857 181354 381160 | 117802 3222 29 | 76.818 % | 232.04/232.15 c | 4931 | 17729 181354 381160 | 129582 4309 27 | 76.984 % | 235.03/235.17 c | 7493 | 17481 181354 381160 | 142541 5121 27 | 77.306 % | 239.43/239.53 c =============================================================================== 239.73/239.84 c core #28 239.73/239.84 c ============================[ Search Statistics ]============================== 239.73/239.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 239.73/239.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 239.73/239.84 c =============================================================================== 239.73/239.84 c | 0 | 18347 181511 381887 | 60503 0 nan | 0.000 % | 239.82/239.96 c | 100 | 18347 181511 381887 | 66554 100 20 | 76.225 % | 240.02/240.12 c | 250 | 18347 181511 381887 | 73209 250 24 | 76.225 % | 240.22/240.33 c | 477 | 18240 181511 381887 | 80530 476 26 | 76.364 % | 240.52/240.64 c | 814 | 18240 181511 381887 | 88583 813 27 | 76.364 % | 241.13/241.22 c | 1320 | 18240 181511 381887 | 97441 1319 28 | 76.364 % | 241.93/242.03 c | 2081 | 18240 181511 381887 | 107185 2080 31 | 76.364 % | 243.13/243.24 c | 3221 | 18240 181511 381887 | 117904 3220 36 | 76.364 % | 245.02/245.13 c | 4929 | 18240 181511 381887 | 129694 4928 34 | 76.364 % | 247.72/247.87 c | 7492 | 18237 181511 381887 | 142664 7490 36 | 76.368 % | 252.42/252.59 c | 11336 | 18237 181511 381887 | 156930 11334 39 | 76.368 % | 260.12/260.22 c | 17102 | 17400 181511 381887 | 172624 12277 40 | 77.452 % | 263.42/263.50 c =============================================================================== 263.72/263.80 c core #29 263.72/263.80 c ============================[ Search Statistics ]============================== 263.72/263.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 263.72/263.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 263.72/263.80 c =============================================================================== 263.72/263.80 c | 0 | 18729 181668 382619 | 60556 0 nan | 0.000 % | 263.72/263.89 c | 102 | 18729 181668 382619 | 66611 102 19 | 75.774 % | 263.92/264.03 c | 252 | 18729 181668 382619 | 73272 252 20 | 75.774 % | 264.12/264.29 c | 477 | 18689 181668 382619 | 80600 476 25 | 75.826 % | 264.61/264.73 c | 815 | 18689 181668 382619 | 88660 814 28 | 75.826 % | 265.21/265.31 c | 1321 | 18689 181668 382619 | 97526 1320 34 | 75.826 % | 265.92/266.04 c | 2080 | 18689 181668 382619 | 107278 2079 33 | 75.826 % | 267.02/267.18 c | 3219 | 18689 181668 382619 | 118006 3218 32 | 75.826 % | 269.22/269.38 c | 4927 | 18689 181668 382619 | 129807 4926 34 | 75.826 % | 272.41/272.53 c | 7490 | 18582 181668 382619 | 142787 7488 34 | 75.964 % | 277.32/277.50 c | 11334 | 18582 181668 382619 | 157066 11332 37 | 75.964 % | 285.41/285.54 c | 17100 | 18404 181668 382619 | 172773 14944 37 | 76.195 % | 294.51/294.69 c =============================================================================== 294.81/294.99 c core #30 294.81/294.99 c ============================[ Search Statistics ]============================== 294.81/294.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 294.81/294.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 294.81/294.99 c =============================================================================== 294.81/294.99 c | 0 | 19110 181834 383379 | 60611 0 nan | 0.000 % | 295.01/295.13 c | 102 | 19110 181834 383379 | 66672 102 29 | 75.326 % | 295.11/295.24 c | 252 | 19110 181834 383379 | 73339 252 27 | 75.326 % | 295.31/295.46 c | 477 | 18990 181834 383379 | 80673 476 27 | 75.481 % | 295.61/295.70 c | 816 | 18990 181834 383379 | 88741 815 27 | 75.481 % | 296.21/296.33 c | 1322 | 18990 181834 383379 | 97615 1321 32 | 75.481 % | 297.01/297.17 c | 2082 | 18990 181834 383379 | 107376 2081 36 | 75.481 % | 298.20/298.38 c | 3223 | 18990 181834 383379 | 118114 3222 37 | 75.481 % | 300.12/300.30 c | 4931 | 18989 181834 383379 | 129925 4929 37 | 75.482 % | 302.61/302.79 c | 7494 | 18984 181834 383379 | 142918 7491 37 | 75.488 % | 307.20/307.34 c | 11339 | 18875 181834 383379 | 157210 11335 39 | 75.629 % | 314.80/314.90 c | 17105 | 18875 181834 383379 | 172931 17101 41 | 75.629 % | 326.80/326.97 c | 25754 | 18341 181834 383379 | 190224 17281 40 | 76.319 % | 338.19/338.37 c =============================================================================== 338.49/338.66 c core #31 338.49/338.66 c ============================[ Search Statistics ]============================== 338.49/338.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 338.49/338.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 338.49/338.66 c =============================================================================== 338.49/338.66 c | 0 | 19490 181999 384140 | 60666 0 nan | 0.000 % | 338.61/338.77 c | 100 | 19490 181999 384140 | 66732 100 22 | 74.880 % | 338.80/338.91 c | 251 | 19490 181999 384140 | 73406 251 22 | 74.880 % | 338.90/339.08 c | 476 | 19490 181999 384140 | 80746 476 25 | 74.880 % | 339.30/339.47 c | 815 | 19490 181999 384140 | 88821 815 34 | 74.880 % | 339.90/340.06 c | 1322 | 19490 181999 384140 | 97703 1322 39 | 74.880 % | 340.69/340.83 c | 2081 | 19490 181999 384140 | 107474 2081 35 | 74.880 % | 341.91/342.05 c | 3221 | 19490 181999 384140 | 118221 3221 35 | 75.018 % | 343.90/344.06 c | 4931 | 19383 181999 384140 | 130043 4930 36 | 75.018 % | 346.90/347.00 c | 7495 | 19383 181999 384140 | 143048 7494 39 | 75.018 % | 351.69/351.86 c | 11340 | 19247 181999 384140 | 157352 10395 39 | 75.193 % | 359.89/360.00 c | 17107 | 19117 181999 384140 | 173088 14673 39 | 75.361 % | 370.99/371.12 c | 25757 | 19117 181999 384140 | 190396 23323 41 | 75.361 % | 387.39/387.51 c =============================================================================== 387.68/387.82 c core #32 387.68/387.82 c ============================[ Search Statistics ]============================== 387.68/387.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 387.68/387.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 387.68/387.82 c =============================================================================== 387.68/387.82 c | 0 | 19869 182194 384994 | 60731 0 nan | 0.000 % | 387.78/387.92 c | 100 | 19869 182194 384994 | 66804 100 21 | 74.436 % | 387.88/388.04 c | 251 | 19869 182194 384994 | 73484 251 21 | 74.436 % | 388.10/388.28 c | 476 | 19865 182194 384994 | 80833 475 23 | 74.442 % | 388.39/388.54 c | 814 | 19865 182194 384994 | 88916 813 23 | 74.442 % | 388.89/389.09 c | 1320 | 19865 182194 384994 | 97808 1319 27 | 74.442 % | 389.79/389.91 c | 2079 | 19865 182194 384994 | 107589 2078 30 | 74.442 % | 390.98/391.11 c | 3219 | 19758 182194 384994 | 118348 3217 30 | 74.579 % | 392.79/392.96 c | 4927 | 19758 182194 384994 | 130183 4925 32 | 74.579 % | 395.39/395.54 c | 7489 | 19743 182194 384994 | 143201 7486 33 | 74.599 % | 399.58/399.71 c | 11333 | 19742 182194 384994 | 157521 11329 36 | 74.600 % | 407.19/407.30 c | 17099 | 19735 182194 384994 | 173273 17094 39 | 74.609 % | 418.88/419.08 c | 25749 | 19735 182194 384994 | 190600 25744 42 | 74.609 % | 439.57/439.74 c | 38723 | 19377 182194 384994 | 209661 22466 35 | 75.069 % | 444.18/444.36 c =============================================================================== 444.47/444.66 c core #33 444.47/444.66 c ============================[ Search Statistics ]============================== 444.47/444.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 444.47/444.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 444.47/444.66 c =============================================================================== 444.47/444.66 c | 0 | 20247 182381 385829 | 60793 0 nan | 0.000 % | 444.57/444.76 c | 100 | 20247 182381 385829 | 66873 100 19 | 73.996 % | 444.78/444.90 c | 253 | 20247 182381 385829 | 73560 253 22 | 73.996 % | 444.98/445.10 c | 478 | 20247 182381 385829 | 80916 478 23 | 73.996 % | 445.28/445.45 c | 815 | 20247 182381 385829 | 89008 815 23 | 73.996 % | 445.88/446.06 c | 1321 | 20247 182381 385829 | 97908 1321 27 | 73.996 % | 446.68/446.89 c | 2081 | 20247 182381 385829 | 107699 2081 31 | 73.996 % | 447.77/447.93 c | 3220 | 20247 182381 385829 | 118469 3220 29 | 73.996 % | 449.78/449.97 c | 4928 | 20247 182381 385829 | 130316 4928 32 | 73.996 % | 452.37/452.51 c | 7491 | 20247 182381 385829 | 143348 7491 32 | 73.996 % | 457.17/457.32 c | 11335 | 20247 182381 385829 | 157683 11335 36 | 73.996 % | 464.67/464.81 c | 17101 | 20247 182381 385829 | 173451 17101 36 | 73.996 % | 476.47/476.66 c | 25752 | 20247 182381 385829 | 190796 25752 38 | 73.996 % | 498.66/498.88 c | 38726 | 20226 182381 385829 | 209876 38722 44 | 74.023 % | 530.35/530.57 c =============================================================================== 530.66/530.89 c core #34 530.66/530.89 c ============================[ Search Statistics ]============================== 530.66/530.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 530.66/530.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 530.66/530.89 c =============================================================================== 530.66/530.89 c | 0 | 20624 182534 386573 | 60844 0 nan | 0.000 % | 530.75/530.99 c | 100 | 20624 182534 386573 | 66929 100 21 | 73.557 % | 530.95/531.14 c | 250 | 20624 182534 386573 | 73622 250 20 | 73.557 % | 531.16/531.34 c | 475 | 20612 182534 386573 | 80984 474 21 | 73.573 % | 531.35/531.59 c | 813 | 20612 182534 386573 | 89082 812 21 | 73.573 % | 531.95/532.18 c | 1319 | 20612 182534 386573 | 97990 1318 26 | 73.573 % | 532.45/532.69 c | 2078 | 20612 182534 386573 | 107790 2077 27 | 73.573 % | 533.36/533.59 c | 3220 | 20612 182534 386573 | 118569 3219 25 | 73.573 % | 535.35/535.53 c | 4928 | 20604 182534 386573 | 130425 4926 31 | 73.587 % | 538.46/538.60 c | 7490 | 20601 182534 386573 | 143468 7487 34 | 73.587 % | 543.65/543.81 c | 11334 | 20601 182534 386573 | 157815 11331 37 | 73.587 % | 550.55/550.71 c | 17100 | 20601 182534 386573 | 173596 17097 38 | 73.587 % | 562.85/563.08 c | 25750 | 20468 182534 386573 | 190956 25433 43 | 73.757 % | 582.14/582.34 c | 38724 | 20468 182534 386573 | 210052 38407 44 | 73.757 % | 620.33/620.57 c | 58186 | 19951 182534 386573 | 231057 56246 49 | 74.756 % | 650.93/651.18 c =============================================================================== 651.33/651.52 c core #35 651.33/651.52 c ============================[ Search Statistics ]============================== 651.33/651.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 651.33/651.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 651.33/651.52 c =============================================================================== 651.33/651.52 c | 0 | 21000 182749 387502 | 60916 0 nan | 0.000 % | 651.43/651.63 c | 101 | 21000 182749 387502 | 67007 101 30 | 73.121 % | 651.53/651.79 c | 251 | 21000 182749 387502 | 73708 251 39 | 73.121 % | 651.82/652.04 c | 477 | 21000 182749 387502 | 81079 477 33 | 73.121 % | 652.13/652.38 c | 814 | 20893 182749 387502 | 89187 813 31 | 73.258 % | 652.72/652.91 c | 1321 | 20893 182749 387502 | 98106 1320 32 | 73.258 % | 653.53/653.71 c | 2080 | 20893 182749 387502 | 107917 2079 33 | 73.258 % | 654.72/654.94 c | 3219 | 20893 182749 387502 | 118708 3218 35 | 73.258 % | 656.82/657.04 c | 4928 | 20809 182749 387502 | 130579 4925 37 | 73.366 % | 660.12/660.38 c | 7490 | 20809 182749 387502 | 143637 7487 38 | 73.366 % | 666.12/666.36 c | 11336 | 20809 182749 387502 | 158001 11333 39 | 73.366 % | 673.32/673.56 c | 17102 | 20809 182749 387502 | 173801 17099 40 | 73.366 % | 686.41/686.63 c | 25751 | 20775 182749 387502 | 191181 25747 42 | 73.409 % | 708.72/708.94 c | 38725 | 20767 182749 387502 | 210299 38720 47 | 73.420 % | 747.41/747.61 c | 58186 | 20753 182749 387502 | 231329 58180 49 | 73.438 % | 815.69/815.94 c | 87380 | 20753 182749 387502 | 254462 87374 50 | 73.438 % | 871.17/871.46 c =============================================================================== 871.57/871.83 c core #36 871.57/871.83 c ============================[ Search Statistics ]============================== 871.57/871.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 871.57/871.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 871.57/871.83 c =============================================================================== 871.57/871.83 c | 0 | 21375 183007 388562 | 61002 0 nan | 0.000 % | 871.68/871.96 c | 100 | 21375 183007 388562 | 67102 100 31 | 72.688 % | 871.78/872.09 c | 250 | 21375 183007 388562 | 73812 250 32 | 72.688 % | 872.08/872.33 c | 476 | 21375 183007 388562 | 81194 476 34 | 72.688 % | 872.48/872.70 c | 813 | 21375 183007 388562 | 89313 813 31 | 72.688 % | 872.87/873.14 c | 1319 | 21375 183007 388562 | 98244 1319 30 | 72.688 % | 873.67/873.98 c | 2078 | 21375 183007 388562 | 108069 2078 32 | 72.688 % | 874.78/875.05 c | 3217 | 21375 183007 388562 | 118876 3217 32 | 72.688 % | 876.17/876.48 c | 4925 | 21375 183007 388562 | 130763 4925 32 | 72.688 % | 878.27/878.55 c | 7487 | 21375 183007 388562 | 143840 7487 31 | 72.688 % | 883.17/883.45 c | 11331 | 21375 183007 388562 | 158224 11331 35 | 72.688 % | 890.47/890.73 c | 17097 | 21375 183007 388562 | 174046 17097 36 | 72.688 % | 901.47/901.73 c | 25747 | 21375 183007 388562 | 191451 25747 37 | 72.688 % | 921.66/921.95 c | 38722 | 21183 183007 388562 | 210596 35460 37 | 72.952 % | 959.25/959.50 c | 58183 | 21168 183007 388562 | 231656 54920 41 | 72.952 % | 1021.42/1021.70 c | 87375 | 20609 183007 388562 | 254821 59964 37 | 73.765 % | 1025.82/1026.16 c =============================================================================== 1026.22/1026.54 c core #37 1026.22/1026.54 c ============================[ Search Statistics ]============================== 1026.22/1026.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1026.22/1026.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1026.22/1026.54 c =============================================================================== 1026.22/1026.54 c | 0 | 21749 183223 389500 | 61074 0 nan | 0.000 % | 1026.32/1026.66 c | 101 | 21749 183223 389500 | 67181 101 20 | 72.257 % | 1026.52/1026.84 c | 251 | 21749 183223 389500 | 73899 251 23 | 72.257 % | 1026.71/1027.06 c | 478 | 21642 183223 389500 | 81289 477 23 | 72.393 % | 1027.12/1027.44 c | 818 | 21642 183223 389500 | 89418 817 26 | 72.393 % | 1027.92/1028.25 c | 1324 | 21642 183223 389500 | 98360 1323 31 | 72.393 % | 1028.82/1029.12 c | 2083 | 21642 183223 389500 | 108196 2082 34 | 72.393 % | 1030.42/1030.74 c | 3222 | 21642 183223 389500 | 119016 3221 35 | 72.393 % | 1032.82/1033.19 c | 4930 | 21642 183223 389500 | 130918 4929 37 | 72.393 % | 1036.12/1036.48 c | 7492 | 21642 183223 389500 | 144010 7491 39 | 72.393 % | 1040.62/1040.92 c | 11338 | 21642 183223 389500 | 158411 11337 37 | 72.393 % | 1049.21/1049.51 c | 17106 | 21626 183223 389500 | 174252 17104 37 | 72.414 % | 1063.01/1063.33 c | 25756 | 21618 183223 389500 | 191677 25753 39 | 72.424 % | 1086.42/1086.80 c | 38730 | 21618 183223 389500 | 210845 38727 44 | 72.424 % | 1124.70/1125.08 c | 58191 | 21618 183223 389500 | 231929 58188 50 | 72.424 % | 1196.48/1196.83 c | 87383 | 21618 183223 389500 | 255122 87380 50 | 72.424 % | 1328.75/1329.15 c | 131173 | 21611 183223 389500 | 280634 131168 52 | 72.433 % | 1596.89/1597.31 c | 196858 | 21583 183223 389500 | 308698 196849 53 | 72.469 % | 1648.17/1648.65 c =============================================================================== 1648.67/1649.14 c core #38 1648.67/1649.14 c ============================[ Search Statistics ]============================== 1648.67/1649.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1648.67/1649.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1648.67/1649.14 c =============================================================================== 1648.67/1649.14 c | 0 | 22122 183479 390561 | 61159 0 nan | 0.000 % | 1648.77/1649.26 c | 103 | 22122 183479 390561 | 67275 103 26 | 71.828 % | 1648.87/1649.39 c | 255 | 22122 183479 390561 | 74003 255 26 | 71.828 % | 1649.07/1649.59 c | 481 | 22122 183479 390561 | 81403 481 26 | 71.828 % | 1649.37/1649.82 c | 819 | 22122 183479 390561 | 89543 819 25 | 71.828 % | 1649.77/1650.25 c | 1325 | 22122 183479 390561 | 98498 1325 27 | 71.828 % | 1650.47/1650.95 c | 2084 | 22122 183479 390561 | 108348 2084 28 | 71.828 % | 1651.68/1652.16 c | 3223 | 22122 183479 390561 | 119182 3223 29 | 71.828 % | 1653.47/1653.96 c | 4931 | 22122 183479 390561 | 131101 4931 33 | 71.828 % | 1656.18/1656.62 c | 7493 | 22122 183479 390561 | 144211 7493 38 | 71.828 % | 1660.87/1661.38 c | 11337 | 22122 183479 390561 | 158632 11337 40 | 71.828 % | 1669.27/1669.73 c | 17104 | 22122 183479 390561 | 174495 17104 47 | 71.828 % | 1681.66/1682.10 c | 25753 | 22122 183479 390561 | 191945 25753 47 | 71.828 % | 1703.66/1704.13 c | 38729 | 22018 183479 390561 | 211139 38712 45 | 71.961 % | 1743.54/1744.03 c | 58194 | 22018 183479 390561 | 232253 58177 47 | 71.961 % |
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-2687178-1278449086/watcher-2687178-1278449086 -o /tmp/evaluation-result-2687178-1278449086/solver-2687178-1278449086 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687178-1278449086.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.97 0.98 0.99 3/106 22362 /proc/meminfo: memFree=1767204/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=11140 CPUtime=0 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 13119261 11407360 293 1992294400 134512640 135751879 4292102688 18446744073709551615 134617291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 2785 293 144 303 0 445 0 [startup+0.0991931 s] /proc/loadavg: 0.97 0.98 0.99 3/106 22362 /proc/meminfo: memFree=1767204/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=15904 CPUtime=0.09 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 1602 0 0 0 9 0 0 0 20 0 1 0 13119261 16285696 1521 1992294400 134512640 135751879 4292102688 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 3976 1521 285 303 0 1636 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15904 [startup+0.101195 s] /proc/loadavg: 0.97 0.98 0.99 3/106 22362 /proc/meminfo: memFree=1767204/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=15904 CPUtime=0.09 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 1627 0 0 0 9 0 0 0 20 0 1 0 13119261 16285696 1546 1992294400 134512640 135751879 4292102688 18446744073709551615 135225266 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 3976 1546 288 303 0 1636 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15904 [startup+0.30121 s] /proc/loadavg: 0.97 0.98 0.99 3/106 22362 /proc/meminfo: memFree=1767204/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=20176 CPUtime=0.29 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 2934 0 0 0 29 0 0 0 20 0 1 0 13119261 20660224 2820 1992294400 134512640 135751879 4292102688 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 5044 2820 590 303 0 2704 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20176 [startup+0.701245 s] /proc/loadavg: 0.97 0.98 0.99 3/106 22362 /proc/meminfo: memFree=1767204/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=25192 CPUtime=0.69 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 4821 0 0 0 68 1 0 0 21 0 1 0 13119261 25796608 4667 1992294400 134512640 135751879 4292102688 18446744073709551615 134561034 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 6298 4667 1205 303 0 3958 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25192 [startup+1.50131 s] /proc/loadavg: 0.97 0.98 0.99 2/107 22363 /proc/meminfo: memFree=1747480/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=37656 CPUtime=1.49 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 8410 0 0 0 147 2 0 0 23 0 1 0 13119261 38559744 8142 1992294400 134512640 135751879 4292102688 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 9414 8142 2058 303 0 7074 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37656 [startup+3.10145 s] /proc/loadavg: 0.97 0.98 0.99 2/107 22363 /proc/meminfo: memFree=1717224/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=56704 CPUtime=3.09 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 15444 0 0 0 304 5 0 0 25 0 1 0 13119261 58064896 12916 1992294400 134512640 135751879 4292102688 18446744073709551615 134594693 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 14176 12916 146 303 0 13871 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56704 [startup+6.30073 s] /proc/loadavg: 0.98 0.98 0.99 2/107 22363 /proc/meminfo: memFree=1709660/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=64492 CPUtime=6.29 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 17365 0 0 0 623 6 0 0 25 0 1 0 13119261 66039808 14837 1992294400 134512640 135751879 4292102688 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 16123 14837 146 303 0 15818 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64492 [startup+12.7003 s] /proc/loadavg: 0.98 0.98 0.99 2/107 22363 /proc/meminfo: memFree=1698004/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=74788 CPUtime=12.69 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 19955 0 0 0 1262 7 0 0 25 0 1 0 13119261 76582912 17427 1992294400 134512640 135751879 4292102688 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 18697 17427 146 303 0 18392 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 74788 [startup+25.5014 s] /proc/loadavg: 0.98 0.98 0.99 2/107 22364 /proc/meminfo: memFree=1682256/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=90100 CPUtime=25.48 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 23769 0 0 0 2539 9 0 0 25 0 1 0 13119261 92262400 21241 1992294400 134512640 135751879 4292102688 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 22525 21241 146 303 0 22220 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 90100 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22364 /proc/meminfo: memFree=1661796/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=110428 CPUtime=51.07 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 28880 0 0 0 5094 13 0 0 25 0 1 0 13119261 113078272 26352 1992294400 134512640 135751879 4292102688 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 27607 26352 146 303 0 27302 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 110428 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22366 /proc/meminfo: memFree=1643568/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=127544 CPUtime=102.26 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 34577 0 0 0 10206 20 0 0 25 0 1 0 13119261 130605056 30735 1992294400 134512640 135751879 4292102688 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 31886 30735 147 303 0 31581 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 127544 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22367 /proc/meminfo: memFree=1643568/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=127544 CPUtime=162.24 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 34577 0 0 0 16178 46 0 0 25 0 1 0 13119261 130605056 30735 1992294400 134512640 135751879 4292102688 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 31886 30735 147 303 0 31581 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 127544 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22369 /proc/meminfo: memFree=1652000/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=117808 CPUtime=222.22 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 41163 0 0 0 22156 66 0 0 25 0 1 0 13119261 120635392 28802 1992294400 134512640 135751879 4292102688 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 29452 28802 151 303 0 29147 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 117808 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22370 /proc/meminfo: memFree=1653116/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=115376 CPUtime=282.22 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 41616 0 0 0 28136 86 0 0 25 0 1 0 13119261 118145024 28351 1992294400 134512640 135751879 4292102688 18446744073709551615 134616312 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 28844 28351 151 303 0 28539 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 115376 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22372 /proc/meminfo: memFree=1652992/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=115376 CPUtime=342.2 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 42070 0 0 0 34117 103 0 0 25 0 1 0 13119261 118145024 28351 1992294400 134512640 135751879 4292102688 18446744073709551615 135201654 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 28844 28351 151 303 0 28539 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 115376 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22374 /proc/meminfo: memFree=1651752/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=117808 CPUtime=402.18 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 42526 0 0 0 40100 118 0 0 25 0 1 0 13119261 120635392 28807 1992294400 134512640 135751879 4292102688 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 29452 28807 151 303 0 29147 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 117808 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22375 /proc/meminfo: memFree=1652868/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=115376 CPUtime=462.17 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 42526 0 0 0 46081 136 0 0 25 0 1 0 13119261 118145024 28351 1992294400 134512640 135751879 4292102688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 28844 28351 151 303 0 28539 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 115376 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22377 /proc/meminfo: memFree=1652868/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=115376 CPUtime=522.16 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 42537 0 0 0 52063 153 0 0 25 0 1 0 13119261 118145024 28362 1992294400 134512640 135751879 4292102688 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 28844 28362 151 303 0 28539 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 115376 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22378 /proc/meminfo: memFree=1651380/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=117808 CPUtime=582.14 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 42995 0 0 0 58045 169 0 0 25 0 1 0 13119261 120635392 28820 1992294400 134512640 135751879 4292102688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 29452 28820 151 303 0 29147 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 117808 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22380 /proc/meminfo: memFree=1651380/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=117808 CPUtime=642.14 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 42995 0 0 0 64030 184 0 0 25 0 1 0 13119261 120635392 28820 1992294400 134512640 135751879 4292102688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 29452 28820 151 303 0 29147 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 117808 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22386 /proc/meminfo: memFree=1620256/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=149444 CPUtime=882.07 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 52170 0 0 0 87965 242 0 0 25 0 1 0 13119261 153030656 36442 1992294400 134512640 135751879 4292102688 18446744073709551615 134610865 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 37361 36442 151 303 0 37056 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 149444 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22388 /proc/meminfo: memFree=1620256/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=149444 CPUtime=942.06 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 52173 0 0 0 93949 257 0 0 25 0 1 0 13119261 153030656 36445 1992294400 134512640 135751879 4292102688 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 37361 36445 151 303 0 37056 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 149444 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22399 /proc/meminfo: memFree=1618520/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=150896 CPUtime=1002.02 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 52550 0 0 0 99930 272 0 0 25 0 1 0 13119261 154517504 36822 1992294400 134512640 135751879 4292102688 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 37724 36822 151 303 0 37419 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 150896 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22400 /proc/meminfo: memFree=1605624/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=163564 CPUtime=1062.01 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 56903 0 0 0 105913 288 0 0 25 0 1 0 13119261 167489536 39925 1992294400 134512640 135751879 4292102688 18446744073709551615 134611220 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 40891 39925 151 303 0 40586 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 163564 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22402 /proc/meminfo: memFree=1605624/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=163564 CPUtime=1121.99 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 56903 0 0 0 111894 305 0 0 25 0 1 0 13119261 167489536 39925 1992294400 134512640 135751879 4292102688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 40891 39925 151 303 0 40586 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 163564 [startup+1182.3 s] /proc/loadavg: 1.04 1.00 1.00 2/107 22403 /proc/meminfo: memFree=1605624/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=163564 CPUtime=1181.98 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 56911 0 0 0 117881 317 0 0 25 0 1 0 13119261 167489536 39933 1992294400 134512640 135751879 4292102688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 40891 39933 151 303 0 40586 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 163564 [startup+1242.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 22405 /proc/meminfo: memFree=1604508/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=164752 CPUtime=1241.96 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 57272 0 0 0 123870 326 0 0 25 0 1 0 13119261 168706048 40294 1992294400 134512640 135751879 4292102688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 41188 40294 151 303 0 40883 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 164752 [startup+1302.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 22407 /proc/meminfo: memFree=1598680/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=170568 CPUtime=1301.96 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 58706 0 0 0 129856 340 0 0 25 0 1 0 13119261 174661632 41728 1992294400 134512640 135751879 4292102688 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 42642 41728 151 303 0 42337 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 170568 [startup+1362.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 22408 /proc/meminfo: memFree=1593596/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=175904 CPUtime=1361.94 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 59976 0 0 0 135842 352 0 0 25 0 1 0 13119261 180125696 42998 1992294400 134512640 135751879 4292102688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 43976 42998 151 303 0 43671 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 175904 [startup+1422.31 s] /proc/loadavg: 1.09 1.05 1.01 2/107 22410 /proc/meminfo: memFree=1589132/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=180348 CPUtime=1421.93 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 61107 0 0 0 141832 361 0 0 25 0 1 0 13119261 184676352 44129 1992294400 134512640 135751879 4292102688 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 45087 44129 151 303 0 44782 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 180348 [startup+1482.3 s] /proc/loadavg: 1.03 1.04 1.00 2/107 22411 /proc/meminfo: memFree=1584420/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=185040 CPUtime=1481.91 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 62271 0 0 0 147820 371 0 0 25 0 1 0 13119261 189480960 45293 1992294400 134512640 135751879 4292102688 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 46260 45293 151 303 0 45955 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 185040 [startup+1542.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 22413 /proc/meminfo: memFree=1580080/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=189296 CPUtime=1541.89 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 63358 0 0 0 153809 380 0 0 25 0 1 0 13119261 193839104 46380 1992294400 134512640 135751879 4292102688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 47324 46380 151 303 0 47019 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 189296 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 22415 /proc/meminfo: memFree=1575740/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=193656 CPUtime=1601.88 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 64438 0 0 0 159799 389 0 0 25 0 1 0 13119261 198303744 47460 1992294400 134512640 135751879 4292102688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 48414 47460 151 303 0 48109 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 193656 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 22416 /proc/meminfo: memFree=1559496/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=209696 CPUtime=1661.87 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 69846 0 0 0 165781 406 0 0 25 0 1 0 13119261 214728704 51419 1992294400 134512640 135751879 4292102688 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 52424 51419 151 303 0 52119 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 209696 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 22418 /proc/meminfo: memFree=1559496/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=209696 CPUtime=1721.85 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 69855 0 0 0 171763 422 0 0 25 0 1 0 13119261 214728704 51428 1992294400 134512640 135751879 4292102688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 52424 51428 151 303 0 52119 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 209696 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22419 /proc/meminfo: memFree=1559496/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=209696 CPUtime=1781.83 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 69855 0 0 0 177748 435 0 0 25 0 1 0 13119261 214728704 51428 1992294400 134512640 135751879 4292102688 18446744073709551615 134616825 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 52424 51428 151 303 0 52119 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 209696 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22420 /proc/meminfo: memFree=1559496/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=209696 CPUtime=1800.04 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 69876 0 0 0 179565 439 0 0 25 0 1 0 13119261 214728704 51449 1992294400 134512640 135751879 4292102688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 52424 51449 151 303 0 52119 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 209696 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22420 /proc/meminfo: memFree=1559496/2059040 swapFree=4192956/4192956 [pid=22362] ppid=22360 vsize=209696 CPUtime=1800.04 /proc/22362/stat : 22362 (wbo1.4b) R 22360 22362 22223 0 -1 4202496 69876 0 0 0 179565 439 0 0 25 0 1 0 13119261 214728704 51449 1992294400 134512640 135751879 4292102688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22362/statm: 52424 51449 151 303 0 52119 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 209696 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.07 CPU user time (s): 1795.65 CPU system time (s): 4.42133 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 216420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.65 system time used= 4.42133 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69876 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= 29 involuntary context switches= 5414 runsolver used 3.15552 second user time and 8.35573 second system time The end
Begin job on node031 at 2010-07-06 22:44:46 IDJOB=2687178 IDBENCH=77476 IDSOLVER=1161 FILE ID=node031/2687178-1278449086 PBS_JOBID= 11233520 Free space on /tmp= 62552 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12036_6.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687178-1278449086/watcher-2687178-1278449086 -o /tmp/evaluation-result-2687178-1278449086/solver-2687178-1278449086 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687178-1278449086.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9a4de5b537f1bb9f30a546c1477a84e4 RANDOM SEED=49039733 node031.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.220 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.44 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.220 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: 1767856 kB Buffers: 9688 kB Cached: 146092 kB SwapCached: 0 kB Active: 78132 kB Inactive: 138380 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1767856 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 10940 kB Writeback: 8 kB AnonPages: 60804 kB Mapped: 14388 kB Slab: 52496 kB PageTables: 4208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181160 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687178-1278449086.opb Free space on /tmp at the end= 62548 MiB End job on node031 at 2010-07-06 23:14:49