Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.04 | 1800.74 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12052_2.std.opb |
MD5SUM | 38fb0c3d6aceb5f008836e7f9c186fab |
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 | 201 |
Best CPU time to get the best result obtained on this benchmark | 1800.68 |
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 | 256243 |
Number of constraints which are clauses | 255043 |
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 | 98 |
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-2687072-1278447003.opb. 0.00/0.01 c Instance file HOME/instance-2687072-1278447003.opb 0.00/0.01 c File size is 8259517 bytes. 1.58/1.61 c Highest Coefficient sum: 557 1.58/1.61 c ============================[ Problem Statistics ]============================= 1.58/1.61 c | | 1.58/1.61 c | Parsing time: 1.58 s | 1.58/1.61 c | Number Variables: 72842 | 1.58/1.61 c | Number Clauses: 255043 | 1.58/1.61 c | Number Cardinality: 0 | 1.58/1.61 c | Number PB Constraints: 1200 | 98.73/98.85 c ============================[ Search Statistics ]============================== 98.73/98.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.73/98.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.73/98.85 c =============================================================================== 98.73/98.85 c | 0 | 49484 257551 518595 | 85414 0 nan | 0.000 % | 98.84/98.92 c | 100 | 49484 257551 518595 | 93955 100 19 | 32.067 % | 98.94/99.01 c =============================================================================== 98.94/99.01 c New solution: 300 98.94/99.01 o 300 98.94/99.01 c Elapsed CPU time: 98.762 s Remaining CPU time: 81.238 s 98.94/99.01 c =============================================================================== 98.94/99.01 c | 219 | 49484 257552 518895 | 85850 219 31 | 32.067 % | 98.94/99.09 c | 319 | 49467 257552 518895 | 94435 319 27 | 32.233 % | 99.03/99.17 c | 469 | 49431 257552 518895 | 103879 469 27 | 32.233 % | 99.24/99.37 c | 695 | 49427 257552 518895 | 114267 695 33 | 32.290 % | 99.43/99.59 c | 1033 | 49321 257552 518895 | 125693 1032 31 | 32.290 % | 99.53/99.66 c =============================================================================== 99.53/99.66 c New solution: 299 99.53/99.66 o 299 99.53/99.66 c Elapsed CPU time: 99.3989 s Remaining CPU time: 80.6011 s 99.53/99.66 c =============================================================================== 99.53/99.66 c | 1045 | 49321 257553 519195 | 85851 1044 31 | 32.290 % | 99.63/99.72 c =============================================================================== 99.63/99.72 c New solution: 298 99.63/99.72 o 298 99.63/99.72 c Elapsed CPU time: 99.4569 s Remaining CPU time: 80.5431 s 99.63/99.72 c =============================================================================== 99.63/99.72 c | 1056 | 49194 257554 519495 | 85851 1055 31 | 32.290 % | 99.73/99.80 c | 1157 | 49167 257554 519495 | 94436 1156 31 | 32.657 % | 99.83/99.92 c | 1309 | 49054 257554 519495 | 103880 1260 31 | 32.657 % | 99.94/100.02 c =============================================================================== 99.94/100.02 c New solution: 297 99.94/100.02 o 297 99.94/100.02 c Elapsed CPU time: 99.7618 s Remaining CPU time: 80.2382 s 99.94/100.02 c =============================================================================== 99.94/100.02 c | 1447 | 49054 257555 519795 | 85851 1398 30 | 32.657 % | 100.04/100.10 c | 1548 | 49034 257555 519795 | 94436 1499 30 | 32.867 % | 100.13/100.21 c | 1698 | 49031 257555 519795 | 103880 1649 30 | 32.867 % | 100.23/100.34 c | 1923 | 48901 257555 519795 | 114268 1824 29 | 32.867 % | 100.33/100.40 c =============================================================================== 100.33/100.40 c New solution: 296 100.33/100.40 o 296 100.33/100.40 c Elapsed CPU time: 100.141 s Remaining CPU time: 79.8592 s 100.33/100.40 c =============================================================================== 100.33/100.40 c | 1942 | 48901 257556 520095 | 85852 1843 29 | 32.867 % | 100.33/100.47 c =============================================================================== 100.33/100.47 c New solution: 295 100.33/100.47 o 295 100.33/100.47 c Elapsed CPU time: 100.207 s Remaining CPU time: 79.7932 s 100.33/100.47 c =============================================================================== 100.33/100.47 c | 1964 | 48737 257557 520395 | 85852 1865 29 | 32.867 % | 100.44/100.54 c =============================================================================== 100.44/100.54 c New solution: 294 100.44/100.54 o 294 100.44/100.54 c Elapsed CPU time: 100.278 s Remaining CPU time: 79.7222 s 100.44/100.54 c =============================================================================== 100.44/100.54 c | 2005 | 48563 257558 520695 | 85852 1906 28 | 32.867 % | 100.54/100.61 c | 2105 | 48555 257558 520695 | 94437 2006 28 | 33.592 % | 100.64/100.72 c =============================================================================== 100.64/100.72 c New solution: 293 100.64/100.72 o 293 100.64/100.72 c Elapsed CPU time: 100.456 s Remaining CPU time: 79.5443 s 100.64/100.72 c =============================================================================== 100.64/100.72 c | 2244 | 48373 257559 520995 | 85853 2145 29 | 33.592 % | 100.74/100.80 c | 2344 | 48166 257559 520995 | 94438 1805 30 | 33.876 % | 100.84/100.91 c | 2494 | 48166 257559 520995 | 103882 1955 30 | 33.876 % | 100.84/100.98 c =============================================================================== 100.84/100.98 c New solution: 292 100.84/100.98 o 292 100.84/100.98 c Elapsed CPU time: 100.716 s Remaining CPU time: 79.2843 s 100.84/100.98 c =============================================================================== 100.84/100.98 c | 2508 | 48166 257560 521295 | 85853 1969 30 | 33.876 % | 100.94/101.04 c | 2609 | 48157 257560 521295 | 94438 2070 30 | 34.175 % | 101.04/101.16 c | 2760 | 48157 257560 521295 | 103882 2221 30 | 34.175 % | 101.14/101.23 c =============================================================================== 101.14/101.23 c New solution: 291 101.14/101.23 o 291 101.14/101.23 c Elapsed CPU time: 100.959 s Remaining CPU time: 79.0413 s 101.14/101.23 c =============================================================================== 101.14/101.23 c | 2768 | 47948 257561 521595 | 85853 2116 30 | 34.175 % | 101.23/101.31 c | 2870 | 47937 257561 521595 | 94439 2218 30 | 34.491 % | 101.33/101.40 c | 3021 | 47936 257561 521595 | 103882 2369 30 | 34.491 % | 101.33/101.47 c =============================================================================== 101.33/101.47 c New solution: 290 101.33/101.47 o 290 101.33/101.47 c Elapsed CPU time: 101.195 s Remaining CPU time: 78.8054 s 101.33/101.47 c =============================================================================== 101.33/101.47 c | 3037 | 47718 257562 521895 | 85854 2385 30 | 34.491 % | 101.43/101.54 c =============================================================================== 101.43/101.54 c New solution: 289 101.43/101.54 o 289 101.43/101.54 c Elapsed CPU time: 101.271 s Remaining CPU time: 78.7294 s 101.43/101.54 c =============================================================================== 101.43/101.54 c | 3074 | 47476 257563 522195 | 85854 2422 30 | 34.491 % | 101.53/101.61 c =============================================================================== 101.53/101.61 c New solution: 288 101.53/101.61 o 288 101.53/101.61 c Elapsed CPU time: 101.342 s Remaining CPU time: 78.6584 s 101.53/101.61 c =============================================================================== 101.53/101.61 c | 3091 | 47234 257564 522495 | 85854 2439 30 | 34.491 % | 101.63/101.70 c | 3192 | 47220 257564 522495 | 94440 2540 30 | 35.488 % | 101.73/101.81 c | 3342 | 46992 257564 522495 | 103884 2219 30 | 35.488 % | 101.73/101.88 c =============================================================================== 101.73/101.88 c New solution: 287 101.73/101.88 o 287 101.73/101.88 c Elapsed CPU time: 101.603 s Remaining CPU time: 78.3974 s 101.73/101.88 c =============================================================================== 101.73/101.88 c | 3360 | 46992 257565 522795 | 85855 2237 30 | 35.488 % | 101.84/101.95 c =============================================================================== 101.84/101.95 c New solution: 286 101.84/101.95 o 286 101.84/101.95 c Elapsed CPU time: 101.672 s Remaining CPU time: 78.3285 s 101.84/101.95 c =============================================================================== 101.84/101.95 c | 3382 | 46750 257566 523095 | 85855 2259 30 | 35.488 % | 101.94/102.04 c | 3482 | 46743 257566 523095 | 94440 2359 30 | 36.152 % | 102.04/102.12 c =============================================================================== 102.04/102.12 c New solution: 285 102.04/102.12 o 285 102.04/102.12 c Elapsed CPU time: 101.847 s Remaining CPU time: 78.1535 s 102.04/102.12 c =============================================================================== 102.04/102.12 c | 3508 | 46508 257567 523395 | 85855 2385 30 | 36.152 % | 102.14/102.22 c | 3609 | 46502 257567 523395 | 94441 2486 30 | 36.484 % | 102.14/102.30 c =============================================================================== 102.14/102.30 c New solution: 284 102.14/102.30 o 284 102.14/102.30 c Elapsed CPU time: 102.025 s Remaining CPU time: 77.9745 s 102.14/102.30 c =============================================================================== 102.14/102.30 c | 3632 | 46266 257568 523695 | 85856 2237 30 | 36.484 % | 102.24/102.37 c =============================================================================== 102.24/102.37 c New solution: 283 102.24/102.37 o 283 102.24/102.37 c Elapsed CPU time: 102.095 s Remaining CPU time: 77.9045 s 102.24/102.37 c =============================================================================== 102.24/102.37 c | 3666 | 46024 257569 523995 | 85856 2271 30 | 36.484 % | 102.34/102.47 c | 3767 | 46021 257569 523995 | 94441 2372 30 | 37.149 % | 102.44/102.57 c | 3918 | 45957 257569 523995 | 103886 2523 30 | 37.149 % | 102.53/102.69 c | 4143 | 45957 257569 523995 | 114274 2748 30 | 37.149 % | 102.83/102.90 c | 4480 | 45782 257569 523995 | 125702 2828 30 | 37.149 % | 102.83/102.97 c =============================================================================== 102.83/102.97 c New solution: 282 102.83/102.97 o 282 102.83/102.97 c Elapsed CPU time: 102.692 s Remaining CPU time: 77.3076 s 102.83/102.97 c =============================================================================== 102.83/102.97 c | 4510 | 45782 257570 524295 | 85856 2858 30 | 37.149 % | 102.93/103.04 c =============================================================================== 102.93/103.04 c New solution: 281 102.93/103.04 o 281 102.93/103.04 c Elapsed CPU time: 102.76 s Remaining CPU time: 77.2396 s 102.93/103.04 c =============================================================================== 102.93/103.04 c | 4538 | 45540 257571 524595 | 85857 2886 30 | 37.149 % | 103.03/103.13 c | 4638 | 45534 257571 524595 | 94442 2986 30 | 37.813 % | 103.13/103.25 c =============================================================================== 103.13/103.25 c New solution: 280 103.13/103.25 o 280 103.13/103.25 c Elapsed CPU time: 102.964 s Remaining CPU time: 77.0357 s 103.13/103.25 c =============================================================================== 103.13/103.25 c | 4729 | 45298 257572 524895 | 85857 3077 30 | 37.813 % | 103.24/103.32 c | 4829 | 45056 257572 524895 | 94443 2959 30 | 38.146 % | 103.24/103.39 c =============================================================================== 103.24/103.39 c New solution: 279 103.24/103.39 o 279 103.24/103.39 c Elapsed CPU time: 103.101 s Remaining CPU time: 76.8987 s 103.24/103.39 c =============================================================================== 103.24/103.39 c | 4853 | 45056 257573 525195 | 85857 2983 30 | 38.146 % | 103.34/103.45 c | 4953 | 45048 257573 525195 | 94443 3083 30 | 38.478 % | 103.43/103.56 c | 5103 | 45041 257573 525195 | 103887 3233 30 | 38.478 % | 103.53/103.64 c =============================================================================== 103.53/103.64 c New solution: 278 103.53/103.64 o 278 103.53/103.64 c Elapsed CPU time: 103.352 s Remaining CPU time: 76.6477 s 103.53/103.64 c =============================================================================== 103.53/103.64 c | 5139 | 44814 257574 525495 | 85858 3269 30 | 38.478 % | 103.64/103.72 c =============================================================================== 103.64/103.72 c New solution: 277 103.64/103.72 o 277 103.64/103.72 c Elapsed CPU time: 103.435 s Remaining CPU time: 76.5647 s 103.64/103.72 c =============================================================================== 103.64/103.72 c | 5220 | 44572 257575 525795 | 85858 3350 30 | 38.478 % | 103.74/103.82 c | 5320 | 44558 257575 525795 | 94444 3450 30 | 39.142 % | 103.84/103.90 c | 5470 | 44330 257575 525795 | 103888 3098 28 | 39.142 % | 103.94/104.00 c =============================================================================== 103.94/104.00 c New solution: 276 103.94/104.00 o 276 103.94/104.00 c Elapsed CPU time: 103.712 s Remaining CPU time: 76.2878 s 103.94/104.00 c =============================================================================== 103.94/104.00 c | 5543 | 44330 257576 526095 | 85858 3171 28 | 39.142 % | 103.94/104.07 c | 5643 | 44327 257576 526095 | 94444 3271 28 | 39.474 % | 104.04/104.18 c | 5793 | 44323 257576 526095 | 103888 3421 28 | 39.474 % | 104.14/104.26 c =============================================================================== 104.14/104.26 c New solution: 275 104.14/104.26 o 275 104.14/104.26 c Elapsed CPU time: 103.972 s Remaining CPU time: 76.0278 s 104.14/104.26 c =============================================================================== 104.14/104.26 c | 5820 | 44088 257577 526395 | 85859 3448 28 | 39.474 % | 104.24/104.32 c | 5922 | 44049 257577 526395 | 94444 3550 28 | 39.807 % | 104.34/104.46 c | 6073 | 43846 257577 526395 | 103889 3425 28 | 39.807 % | 104.53/104.64 c | 6298 | 43846 257577 526395 | 114278 3650 28 | 39.807 % | 104.63/104.71 c =============================================================================== 104.63/104.71 c New solution: 274 104.63/104.71 o 274 104.63/104.71 c Elapsed CPU time: 104.421 s Remaining CPU time: 75.5789 s 104.63/104.71 c =============================================================================== 104.63/104.71 c | 6320 | 43846 257578 526695 | 85859 3672 28 | 39.807 % | 104.63/104.79 c =============================================================================== 104.63/104.79 c New solution: 273 104.63/104.79 o 273 104.63/104.79 c Elapsed CPU time: 104.503 s Remaining CPU time: 75.4969 s 104.63/104.79 c =============================================================================== 104.63/104.79 c | 6355 | 43604 257579 526995 | 85859 3707 28 | 39.807 % | 104.73/104.87 c | 6455 | 43593 257579 526995 | 94445 3807 28 | 40.471 % | 104.83/104.98 c | 6605 | 43362 257579 526995 | 103890 3686 28 | 40.471 % | 104.93/105.07 c =============================================================================== 104.93/105.07 c New solution: 272 104.93/105.07 o 272 104.93/105.07 c Elapsed CPU time: 104.776 s Remaining CPU time: 75.2239 s 104.93/105.07 c =============================================================================== 104.93/105.07 c | 6694 | 43362 257580 527295 | 85860 3775 27 | 40.471 % | 105.03/105.14 c | 6795 | 43353 257580 527295 | 94446 3876 28 | 40.803 % | 105.14/105.25 c | 6947 | 43347 257580 527295 | 103890 4028 28 | 40.803 % | 105.24/105.38 c | 7172 | 43335 257580 527295 | 114279 4253 28 | 40.803 % | 105.44/105.57 c | 7510 | 43120 257580 527295 | 125707 4476 28 | 40.803 % | 105.83/105.90 c | 8017 | 43120 257580 527295 | 138278 4983 28 | 40.803 % | 105.83/105.98 c =============================================================================== 105.83/105.98 c New solution: 271 105.83/105.98 o 271 105.83/105.98 c Elapsed CPU time: 105.683 s Remaining CPU time: 74.3171 s 105.83/105.98 c =============================================================================== 105.83/105.98 c | 8052 | 43120 257581 527595 | 85860 5018 28 | 40.803 % | 105.93/106.07 c =============================================================================== 105.93/106.07 c New solution: 270 105.93/106.07 o 270 105.93/106.07 c Elapsed CPU time: 105.774 s Remaining CPU time: 74.2261 s 105.93/106.07 c =============================================================================== 105.93/106.07 c | 8086 | 42878 257582 527895 | 85860 4926 28 | 40.803 % | 106.03/106.17 c =============================================================================== 106.03/106.17 c New solution: 269 106.03/106.17 o 269 106.03/106.17 c Elapsed CPU time: 105.87 s Remaining CPU time: 74.1301 s 106.03/106.17 c =============================================================================== 106.03/106.17 c | 8152 | 42636 257583 528195 | 85861 4992 28 | 40.803 % | 106.13/106.24 c | 8252 | 42580 257583 528195 | 94447 5092 28 | 41.800 % | 106.23/106.33 c | 8402 | 42580 257583 528195 | 103891 5242 28 | 41.800 % | 106.43/106.51 c | 8628 | 42580 257583 528195 | 114280 5468 29 | 41.800 % | 106.54/106.60 c =============================================================================== 106.54/106.60 c New solution: 268 106.54/106.60 o 268 106.54/106.60 c Elapsed CPU time: 106.3 s Remaining CPU time: 73.7002 s 106.54/106.60 c =============================================================================== 106.54/106.60 c | 8690 | 42394 257584 528495 | 85861 5530 29 | 41.800 % | 106.54/106.69 c =============================================================================== 106.54/106.69 c New solution: 267 106.54/106.69 o 267 106.54/106.69 c Elapsed CPU time: 106.385 s Remaining CPU time: 73.6152 s 106.54/106.69 c =============================================================================== 106.54/106.69 c | 8754 | 42152 257585 528795 | 85861 5035 28 | 41.800 % | 106.64/106.77 c | 8854 | 42147 257585 528795 | 94447 5135 28 | 42.465 % | 106.73/106.84 c =============================================================================== 106.73/106.84 c New solution: 266 106.73/106.84 o 266 106.73/106.84 c Elapsed CPU time: 106.534 s Remaining CPU time: 73.4662 s 106.73/106.84 c =============================================================================== 106.73/106.84 c | 8866 | 41910 257586 529095 | 85862 5147 28 | 42.465 % | 106.73/106.89 c | 8967 | 41909 257586 529095 | 94448 5248 28 | 42.797 % | 106.93/107.01 c | 9117 | 41904 257586 529095 | 103893 5398 28 | 42.797 % | 106.93/107.08 c =============================================================================== 106.93/107.08 c New solution: 265 106.93/107.08 o 265 106.93/107.08 c Elapsed CPU time: 106.777 s Remaining CPU time: 73.2232 s 106.93/107.08 c =============================================================================== 106.93/107.08 c | 9140 | 41668 257587 529395 | 85862 5421 28 | 42.797 % | 107.03/107.15 c =============================================================================== 107.03/107.15 c New solution: 264 107.03/107.15 o 264 107.03/107.15 c Elapsed CPU time: 106.843 s Remaining CPU time: 73.1572 s 107.03/107.15 c =============================================================================== 107.03/107.15 c | 9162 | 41426 257588 529695 | 85862 5443 28 | 42.797 % | 107.13/107.21 c =============================================================================== 107.13/107.21 c New solution: 263 107.13/107.21 o 263 107.13/107.21 c Elapsed CPU time: 106.905 s Remaining CPU time: 73.0953 s 107.13/107.21 c =============================================================================== 107.13/107.21 c | 9178 | 41184 257589 529995 | 85863 5459 28 | 42.797 % | 107.13/107.28 c | 9281 | 41164 257589 529995 | 94449 5562 28 | 43.794 % | 107.33/107.42 c | 9431 | 40942 257589 529995 | 103894 4417 27 | 43.793 % | 107.33/107.49 c =============================================================================== 107.33/107.49 c New solution: 262 107.33/107.49 o 262 107.33/107.49 c Elapsed CPU time: 107.18 s Remaining CPU time: 72.8203 s 107.33/107.49 c =============================================================================== 107.33/107.49 c | 9461 | 40942 257590 530295 | 85863 4447 27 | 43.793 % | 107.43/107.55 c | 9561 | 40942 257590 530295 | 94449 4547 28 | 44.126 % | 107.53/107.69 c | 9712 | 40933 257590 530295 | 103894 4698 28 | 44.126 % | 107.64/107.76 c =============================================================================== 107.64/107.76 c New solution: 261 107.64/107.76 o 261 107.64/107.76 c Elapsed CPU time: 107.457 s Remaining CPU time: 72.5433 s 107.64/107.76 c =============================================================================== 107.64/107.76 c | 9746 | 40700 257591 530595 | 85863 4732 28 | 44.126 % | 107.74/107.84 c =============================================================================== 107.74/107.84 c New solution: 260 107.74/107.84 o 260 107.74/107.84 c Elapsed CPU time: 107.536 s Remaining CPU time: 72.4643 s 107.74/107.84 c =============================================================================== 107.74/107.84 c | 9793 | 40374 257592 530895 | 85864 4779 28 | 44.126 % | 107.83/107.93 c | 9894 | 40154 257592 530895 | 94450 4348 28 | 44.875 % | 107.93/108.04 c | 10044 | 40154 257592 530895 | 103895 4498 28 | 44.875 % | 108.03/108.14 c | 10271 | 40154 257592 530895 | 114284 4725 29 | 44.875 % | 108.13/108.29 c | 10608 | 40154 257592 530895 | 125713 5062 29 | 44.875 % | 108.53/108.64 c | 11114 | 40154 257592 530895 | 138284 5568 29 | 44.875 % | 108.63/108.71 c =============================================================================== 108.63/108.71 c New solution: 259 108.63/108.71 o 259 108.63/108.71 c Elapsed CPU time: 108.394 s Remaining CPU time: 71.6065 s 108.63/108.71 c =============================================================================== 108.63/108.71 c | 11137 | 40154 257593 531195 | 85864 5591 29 | 44.875 % | 108.63/108.78 c | 11238 | 39933 257593 531195 | 94450 5538 29 | 45.221 % | 108.73/108.90 c | 11388 | 39933 257593 531195 | 103895 5688 30 | 45.221 % | 108.94/109.06 c =============================================================================== 108.94/109.06 c New solution: 258 108.94/109.06 o 258 108.94/109.06 c Elapsed CPU time: 108.739 s Remaining CPU time: 71.2605 s 108.94/109.06 c =============================================================================== 108.94/109.06 c | 11540 | 39902 257594 531495 | 85864 5840 29 | 45.221 % | 109.03/109.14 c =============================================================================== 109.03/109.14 c New solution: 257 109.03/109.14 o 257 109.03/109.14 c Elapsed CPU time: 108.826 s Remaining CPU time: 71.1735 s 109.03/109.14 c =============================================================================== 109.03/109.14 c | 11617 | 39682 257595 531795 | 85865 5917 29 | 45.221 % | 109.13/109.23 c | 11718 | 39672 257595 531795 | 94451 6018 30 | 45.831 % | 109.23/109.35 c | 11868 | 39667 257595 531795 | 103896 6168 30 | 45.831 % | 109.33/109.43 c =============================================================================== 109.33/109.43 c New solution: 256 109.33/109.43 o 256 109.33/109.43 c Elapsed CPU time: 109.107 s Remaining CPU time: 70.8926 s 109.33/109.43 c =============================================================================== 109.33/109.43 c | 11879 | 39458 257596 532095 | 85865 5766 29 | 45.831 % | 109.43/109.50 c | 11979 | 39426 257596 532095 | 94451 5866 29 | 46.141 % | 109.53/109.65 c | 12129 | 39426 257596 532095 | 103897 6016 29 | 46.141 % | 109.63/109.71 c =============================================================================== 109.63/109.71 c New solution: 255 109.63/109.71 o 255 109.63/109.71 c Elapsed CPU time: 109.395 s Remaining CPU time: 70.6046 s 109.63/109.71 c =============================================================================== 109.63/109.71 c | 12158 | 39232 257597 532395 | 85865 6045 29 | 46.141 % | 109.63/109.78 c | 12258 | 39209 257597 532395 | 94452 6145 29 | 46.451 % | 109.73/109.87 c | 12411 | 39209 257597 532395 | 103897 6298 29 | 46.451 % | 109.94/110.05 c | 12636 | 39205 257597 532395 | 114287 6523 29 | 46.451 % | 110.03/110.13 c =============================================================================== 110.03/110.13 c New solution: 254 110.03/110.13 o 254 110.03/110.13 c Elapsed CPU time: 109.814 s Remaining CPU time: 70.1857 s 110.03/110.13 c =============================================================================== 110.03/110.13 c | 12667 | 39006 257598 532695 | 85866 5886 28 | 46.451 % | 110.13/110.20 c =============================================================================== 110.13/110.20 c New solution: 253 110.13/110.20 o 253 110.13/110.20 c Elapsed CPU time: 109.878 s Remaining CPU time: 70.1217 s 110.13/110.20 c =============================================================================== 110.13/110.20 c | 12682 | 38764 257599 532995 | 85866 5901 28 | 46.451 % | 110.13/110.27 c =============================================================================== 110.13/110.27 c New solution: 252 110.13/110.27 o 252 110.13/110.27 c Elapsed CPU time: 109.944 s Remaining CPU time: 70.0557 s 110.13/110.27 c =============================================================================== 110.13/110.27 c | 12697 | 38522 257600 533295 | 85866 5916 28 | 46.451 % | 110.23/110.34 c | 12798 | 38469 257600 533295 | 94453 6017 28 | 47.448 % | 110.33/110.46 c | 12948 | 38467 257600 533295 | 103898 6167 28 | 47.448 % | 110.43/110.53 c =============================================================================== 110.43/110.53 c New solution: 251 110.43/110.53 o 251 110.43/110.53 c Elapsed CPU time: 110.205 s Remaining CPU time: 69.7948 s 110.43/110.53 c =============================================================================== 110.43/110.53 c | 12966 | 38280 257601 533595 | 85867 6185 28 | 47.448 % | 110.53/110.60 c =============================================================================== 110.53/110.60 c New solution: 250 110.53/110.60 o 250 110.53/110.60 c Elapsed CPU time: 110.279 s Remaining CPU time: 69.7208 s 110.53/110.60 c =============================================================================== 110.53/110.60 c | 13008 | 38038 257602 533895 | 85867 6227 28 | 47.448 % | 110.53/110.67 c | 13108 | 38002 257602 533895 | 94454 6327 28 | 48.112 % | 110.63/110.79 c | 13258 | 38000 257602 533895 | 103899 6477 28 | 48.112 % | 110.83/110.96 c | 13484 | 37796 257602 533895 | 114289 5770 28 | 48.112 % | 110.93/111.04 c =============================================================================== 110.93/111.04 c New solution: 249 110.93/111.04 o 249 110.93/111.04 c Elapsed CPU time: 110.71 s Remaining CPU time: 69.2898 s 110.93/111.04 c =============================================================================== 110.93/111.04 c | 13502 | 37796 257603 534195 | 85867 5788 28 | 48.112 % | 111.03/111.13 c =============================================================================== 111.03/111.13 c New solution: 248 111.03/111.13 o 248 111.03/111.13 c Elapsed CPU time: 110.803 s Remaining CPU time: 69.1968 s 111.03/111.13 c =============================================================================== 111.03/111.13 c | 13575 | 37554 257604 534495 | 85868 5861 28 | 48.112 % | 111.13/111.20 c | 13675 | 37547 257604 534495 | 94454 5961 28 | 48.777 % | 111.23/111.31 c | 13826 | 37538 257604 534495 | 103900 6112 28 | 48.777 % | 111.23/111.38 c =============================================================================== 111.23/111.38 c New solution: 247 111.23/111.38 o 247 111.23/111.38 c Elapsed CPU time: 111.056 s Remaining CPU time: 68.9439 s 111.23/111.38 c =============================================================================== 111.23/111.38 c | 13855 | 37312 257605 534795 | 85868 6141 28 | 48.777 % | 111.33/111.46 c | 13956 | 37070 257605 534795 | 94455 5537 27 | 49.109 % | 111.53/111.62 c | 14106 | 37070 257605 534795 | 103900 5687 28 | 49.109 % | 111.53/111.69 c =============================================================================== 111.53/111.69 c New solution: 246 111.53/111.69 o 246 111.53/111.69 c Elapsed CPU time: 111.357 s Remaining CPU time: 68.6429 s 111.53/111.69 c =============================================================================== 111.53/111.69 c | 14133 | 37070 257606 535095 | 85868 5714 28 | 49.109 % | 111.63/111.77 c | 14234 | 37050 257606 535095 | 94455 5815 28 | 49.441 % | 111.73/111.89 c | 14386 | 37046 257606 535095 | 103901 5967 28 | 49.441 % | 111.83/111.98 c =============================================================================== 111.83/111.98 c New solution: 245 111.83/111.98 o 245 111.83/111.98 c Elapsed CPU time: 111.651 s Remaining CPU time: 68.349 s 111.83/111.98 c =============================================================================== 111.83/111.98 c | 14448 | 36828 257607 535395 | 85869 6029 28 | 49.441 % | 111.93/112.06 c | 14548 | 36586 257607 535395 | 94455 5824 27 | 49.773 % | 112.04/112.15 c =============================================================================== 112.04/112.15 c New solution: 244 112.04/112.15 o 244 112.04/112.15 c Elapsed CPU time: 111.812 s Remaining CPU time: 68.188 s 112.04/112.15 c =============================================================================== 112.04/112.15 c | 14594 | 36586 257608 535695 | 85869 5870 27 | 49.773 % | 112.13/112.24 c =============================================================================== 112.13/112.24 c New solution: 243 112.13/112.24 o 243 112.13/112.24 c Elapsed CPU time: 111.902 s Remaining CPU time: 68.098 s 112.13/112.24 c =============================================================================== 112.13/112.24 c | 14674 | 36344 257609 535995 | 85869 5950 27 | 49.773 % | 112.23/112.33 c | 14776 | 36325 257609 535995 | 94456 6052 27 | 50.438 % | 112.33/112.46 c | 14926 | 36319 257609 535995 | 103902 6202 27 | 50.438 % | 112.43/112.57 c =============================================================================== 112.43/112.57 c New solution: 242 112.43/112.57 o 242 112.43/112.57 c Elapsed CPU time: 112.232 s Remaining CPU time: 67.7681 s 112.43/112.57 c =============================================================================== 112.43/112.57 c | 15017 | 36102 257610 536295 | 85870 6293 27 | 50.438 % | 112.53/112.65 c | 15117 | 36061 257610 536295 | 94457 6393 27 | 50.770 % | 112.63/112.75 c | 15267 | 35860 257610 536295 | 103902 5753 26 | 50.770 % | 112.83/112.91 c | 15492 | 35860 257610 536295 | 114292 5978 26 | 50.770 % | 113.03/113.11 c | 15829 | 35860 257610 536295 | 125722 6315 27 | 50.770 % | 113.32/113.49 c | 16335 | 35860 257610 536295 | 138294 6821 27 | 50.770 % | 113.42/113.57 c =============================================================================== 113.42/113.57 c New solution: 241 113.42/113.57 o 241 113.42/113.57 c Elapsed CPU time: 113.231 s Remaining CPU time: 66.7692 s 113.42/113.57 c =============================================================================== 113.42/113.57 c | 16357 | 35860 257611 536595 | 85870 6843 27 | 50.770 % | 113.53/113.65 c =============================================================================== 113.53/113.65 c New solution: 240 113.53/113.65 o 240 113.53/113.65 c Elapsed CPU time: 113.309 s Remaining CPU time: 66.6912 s 113.53/113.65 c =============================================================================== 113.53/113.65 c | 16383 | 35618 257612 536895 | 85870 6577 27 | 50.770 % | 113.63/113.72 c | 16483 | 35617 257612 536895 | 94457 6677 27 | 51.435 % | 113.63/113.79 c =============================================================================== 113.63/113.79 c New solution: 239 113.63/113.79 o 239 113.63/113.79 c Elapsed CPU time: 113.452 s Remaining CPU time: 66.5482 s 113.63/113.79 c =============================================================================== 113.63/113.79 c | 16530 | 35376 257613 537195 | 85871 6724 27 | 51.435 % | 113.73/113.86 c | 16632 | 35326 257613 537195 | 94458 6826 27 | 51.767 % | 113.83/113.97 c | 16782 | 35326 257613 537195 | 103903 6976 27 | 51.767 % | 114.03/114.10 c | 17008 | 35325 257613 537195 | 114294 7202 27 | 51.767 % | 114.23/114.35 c | 17345 | 35323 257613 537195 | 125723 7539 27 | 51.767 % | 114.33/114.43 c =============================================================================== 114.33/114.43 c New solution: 238 114.33/114.43 o 238 114.33/114.43 c Elapsed CPU time: 114.081 s Remaining CPU time: 65.9193 s 114.33/114.43 c =============================================================================== 114.33/114.43 c | 17367 | 35134 257614 537495 | 85871 6777 27 | 51.767 % | 114.33/114.49 c | 17467 | 35088 257614 537495 | 94458 6877 27 | 52.099 % | 114.43/114.58 c | 17618 | 35088 257614 537495 | 103904 7028 27 | 52.099 % | 114.63/114.73 c | 17843 | 35085 257614 537495 | 114294 7253 27 | 52.099 % | 114.73/114.82 c =============================================================================== 114.73/114.82 c New solution: 237 114.73/114.82 o 237 114.73/114.82 c Elapsed CPU time: 114.473 s Remaining CPU time: 65.5274 s 114.73/114.82 c =============================================================================== 114.73/114.82 c | 17931 | 34892 257615 537795 | 85871 7341 27 | 52.099 % | 114.73/114.89 c | 18031 | 34873 257615 537795 | 94458 7441 27 | 52.431 % | 114.82/114.99 c | 18182 | 34873 257615 537795 | 103904 7592 27 | 52.431 % | 115.02/115.17 c | 18408 | 34650 257615 537795 | 114295 7187 27 | 52.431 % | 115.13/115.25 c =============================================================================== 115.13/115.25 c New solution: 236 115.13/115.25 o 236 115.13/115.25 c Elapsed CPU time: 114.9 s Remaining CPU time: 65.1005 s 115.13/115.25 c =============================================================================== 115.13/115.25 c | 18438 | 34650 257616 538095 | 85872 7217 27 | 52.431 % | 115.23/115.32 c =============================================================================== 115.23/115.32 c New solution: 235 115.23/115.32 o 235 115.23/115.32 c Elapsed CPU time: 114.975 s Remaining CPU time: 65.0255 s 115.23/115.32 c =============================================================================== 115.23/115.32 c | 18481 | 34408 257617 538395 | 85872 7260 27 | 52.431 % | 115.23/115.39 c | 18581 | 34370 257617 538395 | 94459 7360 27 | 53.096 % | 115.34/115.50 c | 18731 | 34369 257617 538395 | 103905 7510 27 | 53.096 % | 115.53/115.63 c | 18957 | 34365 257617 538395 | 114296 7736 27 | 53.096 % | 115.83/115.91 c | 19294 | 34166 257617 538395 | 125725 7527 27 | 53.096 % | 115.83/115.98 c =============================================================================== 115.83/115.98 c New solution: 234 115.83/115.98 o 234 115.83/115.98 c Elapsed CPU time: 115.625 s Remaining CPU time: 64.3746 s 115.83/115.98 c =============================================================================== 115.83/115.98 c | 19312 | 34166 257618 538695 | 85872 7545 27 | 53.096 % | 115.93/116.04 c =============================================================================== 115.93/116.04 c New solution: 233 115.93/116.04 o 233 115.93/116.04 c Elapsed CPU time: 115.688 s Remaining CPU time: 64.3116 s 115.93/116.04 c =============================================================================== 115.93/116.04 c | 19319 | 33924 257619 538995 | 85873 7552 27 | 53.096 % | 116.03/116.11 c =============================================================================== 116.03/116.11 c New solution: 232 116.03/116.11 o 232 116.03/116.11 c Elapsed CPU time: 115.754 s Remaining CPU time: 64.2456 s 116.03/116.11 c =============================================================================== 116.03/116.11 c | 19343 | 33682 257620 539295 | 85873 7576 27 | 53.096 % | 116.03/116.19 c =============================================================================== 116.03/116.19 c New solution: 231 116.03/116.19 o 231 116.03/116.19 c Elapsed CPU time: 115.834 s Remaining CPU time: 64.1656 s 116.03/116.19 c =============================================================================== 116.03/116.19 c | 19404 | 33440 257621 539595 | 85873 7637 27 | 53.096 % | 116.13/116.28 c | 19506 | 33437 257621 539595 | 94461 7739 27 | 54.425 % | 116.23/116.38 c | 19657 | 33431 257621 539595 | 103907 7890 27 | 54.425 % | 116.43/116.51 c | 19882 | 33198 257621 539595 | 114297 6861 26 | 54.425 % | 116.63/116.76 c | 20219 | 33198 257621 539595 | 125727 7198 27 | 54.425 % | 116.73/116.82 c =============================================================================== 116.73/116.82 c New solution: 230 116.73/116.82 o 230 116.73/116.82 c Elapsed CPU time: 116.462 s Remaining CPU time: 63.5377 s 116.73/116.82 c =============================================================================== 116.73/116.82 c | 20233 | 33198 257622 539895 | 85874 7212 27 | 54.425 % | 116.73/116.89 c =============================================================================== 116.73/116.89 c New solution: 229 116.73/116.89 o 229 116.73/116.89 c Elapsed CPU time: 116.526 s Remaining CPU time: 63.4737 s 116.73/116.89 c =============================================================================== 116.73/116.89 c | 20244 | 32956 257623 540195 | 85874 7223 27 | 54.425 % | 116.83/116.95 c =============================================================================== 116.83/116.95 c New solution: 228 116.83/116.95 o 228 116.83/116.95 c Elapsed CPU time: 116.587 s Remaining CPU time: 63.4127 s 116.83/116.95 c =============================================================================== 116.83/116.95 c | 20262 | 32714 257624 540495 | 85874 7241 27 | 54.425 % | 116.93/117.04 c =============================================================================== 116.93/117.04 c New solution: 227 116.93/117.04 o 227 116.93/117.04 c Elapsed CPU time: 116.673 s Remaining CPU time: 63.3267 s 116.93/117.04 c =============================================================================== 116.93/117.04 c | 20327 | 32472 257625 540795 | 85875 7306 27 | 54.425 % | 117.03/117.13 c | 20428 | 32230 257625 540795 | 94462 6399 27 | 55.754 % | 117.13/117.24 c | 20579 | 32230 257625 540795 | 103908 6550 26 | 55.754 % | 117.23/117.32 c =============================================================================== 117.23/117.32 c New solution: 226 117.23/117.32 o 226 117.23/117.32 c Elapsed CPU time: 116.963 s Remaining CPU time: 63.0368 s 117.23/117.33 c =============================================================================== 117.23/117.33 c | 20687 | 32230 257626 541095 | 85875 6658 27 | 55.754 % | 117.33/117.41 c | 20791 | 32228 257626 541095 | 94462 6762 27 | 56.086 % | 117.43/117.50 c | 20942 | 32202 257626 541095 | 103909 6913 27 | 56.086 % | 117.64/117.74 c =============================================================================== 117.64/117.74 c New solution: 225 117.64/117.74 o 225 117.64/117.74 c Elapsed CPU time: 117.375 s Remaining CPU time: 62.6248 s 117.64/117.74 c =============================================================================== 117.64/117.74 c | 21164 | 31988 257627 541395 | 85875 7135 27 | 56.086 % | 117.73/117.85 c | 21264 | 31746 257627 541395 | 94463 6714 27 | 56.418 % | 117.83/117.92 c | 21414 | 31746 257627 541395 | 103909 6864 27 | 56.418 % | 118.03/118.16 c | 21639 | 31746 257627 541395 | 114300 7089 27 | 56.418 % | 118.22/118.38 c | 21976 | 31746 257627 541395 | 125730 7426 27 | 56.418 % | 118.32/118.44 c =============================================================================== 118.32/118.44 c New solution: 224 118.32/118.44 o 224 118.32/118.44 c Elapsed CPU time: 118.068 s Remaining CPU time: 61.932 s 118.32/118.44 c =============================================================================== 118.32/118.44 c | 21993 | 31746 257628 541695 | 85876 7443 27 | 56.418 % | 118.42/118.54 c =============================================================================== 118.42/118.54 c New solution: 223 118.42/118.54 o 223 118.42/118.54 c Elapsed CPU time: 118.173 s Remaining CPU time: 61.827 s 118.42/118.54 c =============================================================================== 118.42/118.54 c | 22064 | 31504 257629 541995 | 85876 7168 27 | 56.418 % | 118.53/118.62 c | 22164 | 31497 257629 541995 | 94463 7268 27 | 57.082 % | 118.64/118.73 c | 22315 | 31494 257629 541995 | 103910 7419 27 | 57.082 % | 118.74/118.83 c | 22542 | 31486 257629 541995 | 114301 7646 27 | 57.082 % | 118.93/119.00 c | 22879 | 31486 257629 541995 | 125731 7983 27 | 57.082 % | 119.22/119.36 c | 23385 | 31262 257629 541995 | 138304 8184 27 | 57.083 % | 119.52/119.68 c | 24145 | 31262 257629 541995 | 152135 8944 28 | 57.082 % | 120.13/120.21 c | 25285 | 31262 257629 541995 | 167348 10084 29 | 57.082 % | 121.32/121.48 c | 26993 | 31262 257629 541995 | 184083 11792 30 | 57.082 % | 122.22/122.34 c | 29556 | 31262 257629 541995 | 202491 14355 31 | 57.082 % | 124.02/124.11 c | 33403 | 31262 257629 541995 | 222741 18202 35 | 57.082 % | 129.12/129.22 c | 39170 | 31262 257629 541995 | 245015 23969 39 | 57.082 % | 129.22/129.31 c =============================================================================== 129.22/129.31 c New solution: 222 129.22/129.31 o 222 129.22/129.31 c Elapsed CPU time: 128.884 s Remaining CPU time: 51.1156 s 129.22/129.31 c =============================================================================== 129.22/129.31 c | 39202 | 31262 257630 542295 | 85876 24001 39 | 57.082 % | 129.32/129.42 c | 39303 | 31020 257630 542295 | 94464 23582 39 | 57.415 % | 129.42/129.57 c | 39454 | 31020 257630 542295 | 103910 23733 39 | 57.415 % | 129.73/129.83 c | 39680 | 31020 257630 542295 | 114301 23959 39 | 57.415 % | 129.92/130.04 c | 40017 | 31020 257630 542295 | 125732 24296 39 | 57.415 % | 130.33/130.49 c | 40523 | 31020 257630 542295 | 138305 24802 39 | 57.415 % | 130.43/130.56 c =============================================================================== 130.43/130.56 c New solution: 221 130.43/130.56 o 221 130.43/130.56 c Elapsed CPU time: 130.13 s Remaining CPU time: 49.8698 s 130.43/130.56 c =============================================================================== 130.43/130.56 c | 40544 | 31020 257631 542595 | 85877 24823 39 | 57.415 % | 130.53/130.62 c | 40644 | 30942 257631 542595 | 94464 24923 39 | 57.747 % | 130.63/130.74 c | 40794 | 30942 257631 542595 | 103911 25073 39 | 57.747 % | 130.83/130.96 c | 41021 | 30778 257631 542595 | 114302 24675 39 | 57.747 % | 130.92/131.06 c =============================================================================== 130.92/131.06 c New solution: 220 130.92/131.06 o 220 130.92/131.06 c Elapsed CPU time: 130.615 s Remaining CPU time: 49.3849 s 130.92/131.06 c =============================================================================== 130.92/131.06 c | 41089 | 30778 257632 542895 | 85877 24743 39 | 57.747 % | 131.02/131.15 c | 41189 | 30773 257632 542895 | 94465 24843 39 | 58.079 % | 131.12/131.24 c | 41339 | 30750 257632 542895 | 103911 24993 39 | 58.079 % | 131.23/131.39 c | 41564 | 30750 257632 542895 | 114302 25218 39 | 58.079 % | 131.33/131.47 c =============================================================================== 131.33/131.47 c New solution: 219 131.33/131.47 o 219 131.33/131.47 c Elapsed CPU time: 131.027 s Remaining CPU time: 48.9729 s 131.33/131.47 c =============================================================================== 131.33/131.47 c | 41619 | 30536 257633 543195 | 85877 25273 39 | 58.079 % | 131.43/131.55 c | 41719 | 30527 257633 543195 | 94465 25373 39 | 58.411 % | 131.63/131.72 c | 41871 | 30519 257633 543195 | 103911 25525 39 | 58.411 % | 131.83/131.90 c | 42096 | 30506 257633 543195 | 114303 25750 38 | 58.411 % | 131.93/132.09 c | 42433 | 30506 257633 543195 | 125733 26087 38 | 58.411 % | 132.42/132.56 c | 42939 | 30294 257633 543195 | 138306 24207 37 | 58.411 % | 132.52/132.63 c =============================================================================== 132.52/132.63 c New solution: 218 132.52/132.63 o 218 132.52/132.63 c Elapsed CPU time: 132.179 s Remaining CPU time: 47.8211 s 132.52/132.63 c =============================================================================== 132.52/132.63 c | 42973 | 30294 257634 543495 | 85878 24241 37 | 58.411 % | 132.62/132.70 c | 43075 | 30257 257634 543495 | 94465 24343 37 | 58.744 % | 132.72/132.82 c | 43227 | 30255 257634 543495 | 103912 24495 37 | 58.744 % | 132.82/132.95 c | 43452 | 30250 257634 543495 | 114303 24720 37 | 58.744 % | 133.03/133.14 c | 43789 | 30249 257634 543495 | 125733 25057 37 | 58.744 % | 133.42/133.55 c | 44295 | 30247 257634 543495 | 138307 25563 37 | 58.744 % | 133.93/134.00 c | 45054 | 30047 257634 543495 | 152138 24165 35 | 58.785 % | 134.72/134.86 c | 46193 | 30047 257634 543495 | 167351 25304 35 | 58.785 % | 135.63/135.75 c =============================================================================== 135.63/135.75 c New solution: 217 135.63/135.75 o 217 135.63/135.75 c Elapsed CPU time: 135.287 s Remaining CPU time: 44.7126 s 135.63/135.75 c =============================================================================== 135.63/135.75 c | 47817 | 30022 257635 543795 | 85878 26927 36 | 58.785 % | 135.72/135.83 c | 47918 | 29982 257635 543795 | 94466 27028 36 | 59.117 % | 135.82/135.98 c | 48068 | 29982 257635 543795 | 103912 27178 36 | 59.117 % | 136.02/136.12 c | 48296 | 29978 257635 543795 | 114304 27406 36 | 59.117 % | 136.23/136.34 c | 48634 | 29976 257635 543795 | 125734 27744 36 | 59.117 % | 136.62/136.77 c | 49140 | 29780 257635 543795 | 138307 27111 36 | 59.117 % | 136.72/136.86 c =============================================================================== 136.72/136.86 c New solution: 216 136.72/136.86 o 216 136.72/136.86 c Elapsed CPU time: 136.383 s Remaining CPU time: 43.6167 s 136.72/136.86 c =============================================================================== 136.72/136.86 c | 49220 | 29780 257636 544095 | 85878 27191 36 | 59.117 % | 136.82/136.97 c | 49322 | 29764 257636 544095 | 94466 27293 36 | 59.449 % | 136.92/137.09 c | 49473 | 29763 257636 544095 | 103913 27444 36 | 59.449 % | 137.12/137.20 c | 49699 | 29757 257636 544095 | 114304 27670 36 | 59.449 % | 137.32/137.42 c | 50037 | 29757 257636 544095 | 125734 28008 35 | 59.449 % | 137.82/137.91 c | 50544 | 29753 257636 544095 | 138308 28515 36 | 59.449 % | 138.22/138.30 c | 51303 | 29538 257636 544095 | 152139 27408 35 | 59.449 % | 138.92/139.05 c | 52443 | 29538 257636 544095 | 167353 28548 36 | 59.449 % | 140.22/140.30 c | 54151 | 29533 257636 544095 | 184088 30256 36 | 59.565 % | 140.32/140.45 c =============================================================================== 140.32/140.45 c New solution: 215 140.32/140.45 o 215 140.32/140.45 c Elapsed CPU time: 139.967 s Remaining CPU time: 40.0333 s 140.32/140.45 c =============================================================================== 140.32/140.45 c | 54287 | 29454 257637 544395 | 85879 30285 36 | 59.565 % | 140.42/140.54 c | 54390 | 29448 257637 544395 | 94466 30388 36 | 59.867 % | 140.63/140.70 c | 54540 | 29443 257637 544395 | 103913 30538 36 | 59.867 % | 140.82/140.91 c | 54765 | 29438 257637 544395 | 114304 30763 36 | 59.867 % | 140.92/141.06 c | 55102 | 29430 257637 544395 | 125735 31100 36 | 59.867 % | 141.32/141.43 c | 55609 | 29430 257637 544395 | 138308 31607 36 | 59.867 % | 141.92/142.09 c | 56369 | 29426 257637 544395 | 152139 32367 36 | 59.867 % | 142.22/142.33 c =============================================================================== 142.22/142.33 c New solution: 214 142.22/142.33 o 214 142.22/142.33 c Elapsed CPU time: 141.83 s Remaining CPU time: 38.1696 s 142.22/142.33 c =============================================================================== 142.22/142.33 c | 56804 | 29234 257638 544695 | 85879 31645 36 | 59.867 % | 142.32/142.42 c | 56906 | 29192 257638 544695 | 94467 31747 35 | 60.169 % | 142.42/142.56 c | 57056 | 29191 257638 544695 | 103913 31897 35 | 60.169 % | 142.61/142.71 c | 57283 | 29189 257638 544695 | 114305 32124 35 | 60.169 % | 142.93/143.05 c | 57621 | 29188 257638 544695 | 125735 32462 35 | 60.169 % | 143.12/143.23 c | 58128 | 29184 257638 544695 | 138309 32969 35 | 60.169 % | 143.52/143.69 c | 58887 | 29182 257638 544695 | 152140 33728 35 | 60.169 % | 144.62/144.75 c | 60026 | 29014 257638 544695 | 167354 33625 35 | 60.169 % | 145.42/145.58 c | 61734 | 29014 257638 544695 | 184089 35333 36 | 60.169 % | 146.72/146.81 c | 64298 | 29014 257638 544695 | 202498 37897 36 | 60.169 % | 150.63/150.72 c | 68144 | 29014 257638 544695 | 222748 41743 37 | 60.169 % | 150.63/150.79 c =============================================================================== 150.63/150.79 c New solution: 213 150.63/150.79 o 213 150.63/150.79 c Elapsed CPU time: 150.249 s Remaining CPU time: 29.7508 s 150.63/150.79 c =============================================================================== 150.63/150.79 c | 68174 | 29014 257639 544995 | 85879 41773 37 | 60.169 % | 150.82/150.92 c | 68275 | 28794 257639 544995 | 94467 40260 37 | 60.471 % | 150.92/151.06 c | 68425 | 28794 257639 544995 | 103914 40410 37 | 60.471 % | 151.12/151.29 c | 68651 | 28794 257639 544995 | 114305 40636 37 | 60.471 % | 151.22/151.36 c =============================================================================== 151.22/151.36 c New solution: 212 151.22/151.36 o 212 151.22/151.36 c Elapsed CPU time: 150.814 s Remaining CPU time: 29.1859 s 151.22/151.36 c =============================================================================== 151.22/151.36 c | 68696 | 28794 257640 545295 | 85880 40681 37 | 60.471 % | 151.31/151.45 c | 68796 | 28761 257640 545295 | 94468 40781 37 | 60.778 % | 151.41/151.57 c | 68946 | 28761 257640 545295 | 103914 40931 37 | 60.778 % | 151.62/151.78 c | 69171 | 28756 257640 545295 | 114306 41156 37 | 60.778 % | 151.81/151.96 c | 69508 | 28751 257640 545295 | 125736 41493 37 | 60.778 % | 152.21/152.34 c | 70014 | 28751 257640 545295 | 138310 41999 37 | 60.778 % | 152.41/152.52 c =============================================================================== 152.41/152.52 c New solution: 211 152.41/152.52 o 211 152.41/152.52 c Elapsed CPU time: 151.965 s Remaining CPU time: 28.0351 s 152.41/152.52 c =============================================================================== 152.41/152.52 c | 70226 | 28570 257641 545595 | 85880 42211 37 | 60.778 % | 152.51/152.61 c | 70327 | 28565 257641 545595 | 94468 42312 37 | 61.127 % | 152.61/152.77 c | 70477 | 28559 257641 545595 | 103915 42462 37 | 61.127 % | 152.83/152.92 c | 70705 | 28541 257641 545595 | 114306 42690 37 | 61.127 % | 153.12/153.23 c | 71043 | 28316 257641 545595 | 125737 39225 37 | 61.127 % | 153.62/153.70 c | 71549 | 28316 257641 545595 | 138311 39731 37 | 61.127 % | 153.72/153.83 c =============================================================================== 153.72/153.83 c New solution: 210 153.72/153.83 o 210 153.72/153.83 c Elapsed CPU time: 153.278 s Remaining CPU time: 26.7223 s 153.72/153.83 c =============================================================================== 153.72/153.83 c | 71748 | 28316 257642 545895 | 85880 39930 37 | 61.127 % | 153.82/153.92 c | 71849 | 28276 257642 545895 | 94468 40031 37 | 61.454 % | 153.92/154.08 c | 72000 | 28276 257642 545895 | 103915 40182 37 | 61.454 % | 154.11/154.28 c | 72225 | 28276 257642 545895 | 114307 40407 37 | 61.454 % | 154.31/154.46 c | 72565 | 28272 257642 545895 | 125737 40747 37 | 61.454 % | 154.71/154.81 c | 73073 | 28272 257642 545895 | 138311 41255 37 | 61.454 % | 155.42/155.51 c | 73832 | 28270 257642 545895 | 152142 42014 37 | 61.454 % | 155.62/155.77 c =============================================================================== 155.62/155.77 c New solution: 209 155.62/155.77 o 209 155.62/155.77 c Elapsed CPU time: 155.203 s Remaining CPU time: 24.7966 s 155.62/155.77 c =============================================================================== 155.62/155.77 c | 74211 | 28078 257643 546195 | 85881 40377 37 | 61.454 % | 155.72/155.88 c | 74312 | 28074 257643 546195 | 94469 40478 37 | 61.780 % | 155.92/156.05 c | 74462 | 28071 257643 546195 | 103916 40628 37 | 61.780 % | 156.02/156.18 c | 74689 | 28057 257643 546195 | 114307 40855 37 | 61.780 % | 156.21/156.35 c | 75027 | 28057 257643 546195 | 125738 41193 37 | 61.780 % | 156.71/156.84 c | 75533 | 28053 257643 546195 | 138312 41699 37 | 61.780 % | 157.12/157.27 c | 76292 | 28041 257643 546195 | 152143 42458 37 | 61.783 % | 158.42/158.50 c | 77433 | 28041 257643 546195 | 167357 43599 37 | 61.783 % | 159.11/159.25 c =============================================================================== 159.11/159.25 c New solution: 208 159.11/159.25 o 208 159.11/159.25 c Elapsed CPU time: 158.654 s Remaining CPU time: 21.3461 s 159.11/159.25 c =============================================================================== 159.11/159.25 c | 78985 | 27838 257644 546495 | 85881 42985 37 | 61.783 % | 159.21/159.35 c | 79086 | 27832 257644 546495 | 94469 43086 37 | 62.110 % | 159.32/159.48 c | 79238 | 27818 257644 546495 | 103916 43238 37 | 62.110 % | 159.52/159.66 c | 79463 | 27817 257644 546495 | 114308 43463 37 | 62.110 % | 159.81/159.95 c | 79800 | 27815 257644 546495 | 125738 43800 37 | 62.110 % | 160.11/160.24 c | 80306 | 27808 257644 546495 | 138312 44306 37 | 62.110 % | 160.81/160.96 c | 81066 | 27808 257644 546495 | 152144 45066 37 | 62.110 % | 161.41/161.51 c | 82205 | 27600 257644 546495 | 167358 44749 36 | 62.110 % | 162.42/162.58 c | 83913 | 27600 257644 546495 | 184094 46457 37 | 62.110 % | 164.71/164.81 c | 86475 | 27600 257644 546495 | 202503 49019 37 | 62.110 % | 167.02/167.17 c | 90320 | 27600 257644 546495 | 222754 52864 38 | 62.110 % | 171.60/171.72 c | 96086 | 27600 257644 546495 | 245029 58630 41 | 62.110 % | 177.80/177.91 c | 104735 | 27516 257644 546495 | 269532 67049 42 | 62.225 % | 180.60/180.70 c There are 45326 assigned variables. 203 in cost function. 182.11/182.26 c core #1 182.11/182.26 c 182.11/182.26 c 182.11/182.26 c Core size: 193 Core Weight: 111 Total Weight: 111 182.11/182.26 c 182.11/182.26 c 182.11/182.26 c core #2 182.11/182.26 c 182.11/182.26 c 182.11/182.26 c Core size: 300 Core Weight: 1 Total Weight: 112 182.11/182.26 c 182.11/182.26 c 182.11/182.26 c core #3 182.11/182.26 c 182.11/182.26 c 182.11/182.26 c Core size: 230 Core Weight: 1 Total Weight: 113 182.11/182.26 c 182.11/182.26 c 182.11/182.26 c core #4 182.11/182.26 c 182.11/182.26 c 182.11/182.26 c Core size: 222 Core Weight: 1 Total Weight: 114 182.11/182.26 c 182.11/182.26 c 182.11/182.26 c core #5 182.11/182.26 c 182.11/182.26 c 182.11/182.26 c Core size: 272 Core Weight: 1 Total Weight: 115 182.11/182.26 c 182.11/182.26 c 182.11/182.26 c core #6 182.11/182.26 c 182.11/182.26 c 182.11/182.26 c Core size: 266 Core Weight: 1 Total Weight: 116 182.11/182.26 c 182.11/182.26 c 182.11/182.26 c ============================[ Search Statistics ]============================== 182.11/182.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.11/182.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.11/182.26 c =============================================================================== 182.11/182.26 c | 0 | 5891 133046 218316 | 44348 0 nan | 0.000 % | 182.11/182.27 c =============================================================================== 182.31/182.48 c core #7 182.31/182.48 c 182.31/182.48 c 182.31/182.48 c Core size: 323 Core Weight: 1 Total Weight: 117 182.31/182.48 c 182.31/182.48 c 182.31/182.48 c ============================[ Search Statistics ]============================== 182.31/182.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.31/182.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.31/182.48 c =============================================================================== 182.31/182.48 c | 0 | 6352 133137 218788 | 44379 0 nan | 0.000 % | 182.31/182.49 c =============================================================================== 182.61/182.70 c core #8 182.61/182.70 c 182.61/182.70 c 182.61/182.70 c Core size: 318 Core Weight: 1 Total Weight: 118 182.61/182.70 c 182.61/182.70 c 182.61/182.70 c ============================[ Search Statistics ]============================== 182.61/182.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.61/182.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.61/182.70 c =============================================================================== 182.61/182.70 c | 0 | 6770 133227 219261 | 44409 0 nan | 0.000 % | 182.61/182.73 c =============================================================================== 182.81/182.93 c core #9 182.81/182.93 c 182.81/182.93 c 182.81/182.93 c Core size: 323 Core Weight: 1 Total Weight: 119 182.81/182.93 c 182.81/182.93 c 182.81/182.93 c ============================[ Search Statistics ]============================== 182.81/182.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.81/182.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.81/182.94 c =============================================================================== 182.81/182.94 c | 0 | 7103 133316 219728 | 44438 0 nan | 0.000 % | 182.81/182.96 c =============================================================================== 183.01/183.17 c core #10 183.01/183.17 c 183.01/183.17 c 183.01/183.17 c Core size: 349 Core Weight: 1 Total Weight: 120 183.01/183.17 c 183.01/183.17 c 183.01/183.17 c ============================[ Search Statistics ]============================== 183.01/183.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.01/183.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.01/183.17 c =============================================================================== 183.01/183.17 c | 0 | 7445 133404 220193 | 44468 0 nan | 0.000 % | 183.11/183.22 c =============================================================================== 183.30/183.43 c core #11 183.30/183.43 c 183.30/183.43 c 183.30/183.43 c Core size: 337 Core Weight: 1 Total Weight: 121 183.30/183.43 c 183.30/183.43 c 183.30/183.43 c ============================[ Search Statistics ]============================== 183.30/183.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.30/183.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.30/183.43 c =============================================================================== 183.30/183.43 c | 0 | 7800 133493 220666 | 44497 0 nan | 0.000 % | 183.30/183.49 c | 100 | 7800 133493 220666 | 48947 100 18 | 90.836 % | 183.40/183.50 c =============================================================================== 183.61/183.72 c core #12 183.61/183.72 c 183.61/183.72 c 183.61/183.72 c Core size: 335 Core Weight: 1 Total Weight: 122 183.61/183.72 c 183.61/183.72 c 183.61/183.72 c ============================[ Search Statistics ]============================== 183.61/183.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.61/183.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.61/183.72 c =============================================================================== 183.61/183.72 c | 0 | 8128 133580 221135 | 44526 0 nan | 0.000 % | 183.61/183.78 c | 100 | 8128 133580 221135 | 48979 100 17 | 89.007 % | 183.70/183.84 c =============================================================================== 183.90/184.05 c core #13 183.90/184.05 c 183.90/184.05 c 183.90/184.05 c Core size: 365 Core Weight: 1 Total Weight: 123 183.90/184.05 c 183.90/184.05 c 183.90/184.05 c ============================[ Search Statistics ]============================== 183.90/184.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.90/184.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.90/184.05 c =============================================================================== 183.90/184.05 c | 0 | 8455 133666 221603 | 44555 0 nan | 0.000 % | 184.00/184.11 c | 101 | 8455 133666 221603 | 49010 101 15 | 88.578 % | 184.00/184.19 c | 253 | 8449 133666 221603 | 53911 253 16 | 89.217 % | 184.10/184.21 c =============================================================================== 184.30/184.42 c core #14 184.30/184.42 c 184.30/184.42 c 184.30/184.42 c Core size: 433 Core Weight: 1 Total Weight: 124 184.30/184.42 c 184.30/184.42 c 184.30/184.42 c ============================[ Search Statistics ]============================== 184.30/184.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.30/184.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.30/184.42 c =============================================================================== 184.30/184.42 c | 0 | 8781 133753 222078 | 44584 0 nan | 0.000 % | 184.30/184.49 c | 100 | 8781 133753 222078 | 49042 100 19 | 88.151 % | 184.41/184.57 c | 250 | 8776 133753 222078 | 53947 250 21 | 88.212 % | 184.51/184.69 c | 476 | 8630 133753 222078 | 59341 423 23 | 89.120 % | 184.62/184.70 c =============================================================================== 184.81/184.91 c core #15 184.81/184.91 c 184.81/184.91 c 184.81/184.91 c Core size: 375 Core Weight: 1 Total Weight: 125 184.81/184.91 c 184.81/184.91 c 184.81/184.91 c ============================[ Search Statistics ]============================== 184.81/184.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.81/184.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.81/184.91 c =============================================================================== 184.81/184.91 c | 0 | 9106 133837 222542 | 44612 0 nan | 0.000 % | 184.81/184.99 c | 100 | 9106 133837 222542 | 49073 100 15 | 87.726 % | 184.91/185.09 c | 250 | 8675 133837 222542 | 53980 168 14 | 88.307 % | 185.01/185.15 c =============================================================================== 185.21/185.37 c core #16 185.21/185.37 c 185.21/185.37 c 185.21/185.37 c Core size: 500 Core Weight: 1 Total Weight: 126 185.21/185.37 c 185.21/185.37 c 185.21/185.37 c ============================[ Search Statistics ]============================== 185.21/185.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.21/185.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.21/185.37 c =============================================================================== 185.21/185.37 c | 0 | 9430 133920 223011 | 44640 0 nan | 0.000 % | 185.31/185.44 c | 101 | 9430 133920 223011 | 49104 101 16 | 87.304 % | 185.41/185.52 c | 251 | 9430 133920 223011 | 54014 251 18 | 87.304 % | 185.51/185.65 c | 476 | 9430 133920 223011 | 59415 476 20 | 87.304 % | 185.61/185.79 c =============================================================================== 185.91/186.01 c core #17 185.91/186.01 c 185.91/186.01 c 185.91/186.01 c Core size: 449 Core Weight: 1 Total Weight: 127 185.91/186.01 c 185.91/186.01 c 185.91/186.01 c ============================[ Search Statistics ]============================== 185.91/186.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.91/186.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.91/186.01 c =============================================================================== 185.91/186.01 c | 0 | 9753 134003 223481 | 44667 0 nan | 0.000 % | 185.91/186.09 c | 102 | 9753 134003 223481 | 49134 102 14 | 86.883 % | 186.01/186.18 c | 253 | 9753 134003 223481 | 54047 253 20 | 86.883 % | 186.20/186.32 c | 479 | 9664 134003 223481 | 59452 379 22 | 87.003 % | 186.40/186.52 c | 816 | 9664 134003 223481 | 65397 716 23 | 87.011 % | 186.40/186.58 c =============================================================================== 186.60/186.79 c core #18 186.60/186.79 c 186.60/186.79 c 186.60/186.79 c Core size: 400 Core Weight: 1 Total Weight: 128 186.60/186.79 c 186.60/186.79 c 186.60/186.79 c ============================[ Search Statistics ]============================== 186.60/186.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.60/186.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.60/186.79 c =============================================================================== 186.60/186.79 c | 0 | 10075 134086 223957 | 44695 0 nan | 0.000 % | 186.70/186.87 c | 100 | 10075 134086 223957 | 49164 100 16 | 86.465 % | 186.81/186.97 c | 250 | 10075 134086 223957 | 54081 250 21 | 86.465 % | 187.00/187.11 c | 476 | 10075 134086 223957 | 59489 476 22 | 86.465 % | 187.20/187.31 c | 813 | 10075 134086 223957 | 65438 813 23 | 86.465 % | 187.51/187.63 c | 1319 | 9807 134086 223957 | 71982 963 21 | 86.825 % | 187.70/187.84 c =============================================================================== 187.91/188.06 c core #19 187.91/188.06 c 187.91/188.06 c 187.91/188.06 c Core size: 427 Core Weight: 1 Total Weight: 129 187.91/188.06 c 187.91/188.06 c 187.91/188.06 c ============================[ Search Statistics ]============================== 187.91/188.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.91/188.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.91/188.06 c =============================================================================== 187.91/188.06 c | 0 | 10396 134167 224431 | 44722 0 nan | 0.000 % | 188.01/188.14 c | 101 | 10396 134167 224431 | 49194 101 20 | 86.048 % | 188.10/188.23 c | 251 | 10396 134167 224431 | 54114 251 22 | 86.048 % | 188.30/188.40 c | 476 | 10396 134167 224431 | 59525 476 24 | 86.048 % | 188.50/188.65 c | 813 | 10396 134167 224431 | 65477 813 26 | 86.048 % | 188.81/188.99 c | 1319 | 10396 134167 224431 | 72025 1319 33 | 86.048 % | 189.40/189.52 c | 2078 | 9605 134167 224431 | 79228 1165 28 | 87.471 % | 189.40/189.58 c =============================================================================== 189.70/189.80 c core #20 189.70/189.80 c 189.70/189.80 c 189.70/189.80 c Core size: 439 Core Weight: 1 Total Weight: 130 189.70/189.80 c 189.70/189.80 c 189.70/189.80 c ============================[ Search Statistics ]============================== 189.70/189.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.70/189.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.70/189.80 c =============================================================================== 189.70/189.80 c | 0 | 10716 134248 224907 | 44749 0 nan | 0.000 % | 189.70/189.87 c | 100 | 10716 134248 224907 | 49224 100 19 | 85.634 % | 189.80/189.94 c | 250 | 10716 134248 224907 | 54146 250 20 | 85.634 % | 189.91/190.09 c | 476 | 10716 134248 224907 | 59561 476 22 | 85.634 % | 190.11/190.30 c | 813 | 10716 134248 224907 | 65517 813 23 | 85.634 % | 190.40/190.55 c | 1319 | 10716 134248 224907 | 72069 1319 25 | 85.634 % | 190.90/191.02 c | 2078 | 10716 134248 224907 | 79276 2078 28 | 85.634 % | 191.60/191.75 c | 3217 | 10716 134248 224907 | 87203 3217 30 | 85.634 % | 192.10/192.27 c =============================================================================== 192.31/192.49 c core #21 192.31/192.49 c 192.31/192.49 c 192.31/192.49 c Core size: 536 Core Weight: 1 Total Weight: 131 192.31/192.49 c 192.31/192.49 c 192.31/192.49 c ============================[ Search Statistics ]============================== 192.31/192.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.31/192.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.31/192.49 c =============================================================================== 192.31/192.49 c | 0 | 11035 134333 225399 | 44777 0 nan | 0.000 % | 192.41/192.55 c | 100 | 11035 134333 225399 | 49255 100 18 | 85.221 % | 192.50/192.65 c | 251 | 11035 134333 225399 | 54180 251 23 | 85.221 % | 192.60/192.79 c | 476 | 11035 134333 225399 | 59599 476 23 | 85.221 % | 192.90/193.02 c | 813 | 11035 134333 225399 | 65558 813 24 | 85.221 % | 193.20/193.38 c | 1319 | 11035 134333 225399 | 72114 1319 24 | 85.221 % | 193.70/193.88 c | 2078 | 11035 134333 225399 | 79326 2078 26 | 85.221 % | 194.40/194.55 c | 3217 | 10817 134333 225399 | 87259 2518 25 | 85.513 % | 195.61/195.79 c | 4925 | 10768 134333 225399 | 95984 3996 29 | 85.579 % | 197.20/197.30 c =============================================================================== 197.40/197.53 c core #22 197.40/197.53 c 197.40/197.53 c 197.40/197.53 c Core size: 339 Core Weight: 1 Total Weight: 132 197.40/197.53 c 197.40/197.53 c 197.40/197.53 c ============================[ Search Statistics ]============================== 197.40/197.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.40/197.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.40/197.53 c =============================================================================== 197.40/197.53 c | 0 | 11353 134415 225883 | 44805 0 nan | 0.000 % | 197.50/197.60 c | 103 | 11353 134415 225883 | 49285 103 22 | 84.811 % | 197.50/197.69 c | 254 | 11353 134415 225883 | 54214 254 22 | 84.811 % | 197.70/197.85 c | 479 | 11353 134415 225883 | 59635 479 25 | 84.811 % | 197.91/198.05 c | 816 | 11347 134415 225883 | 65599 815 24 | 84.819 % | 198.30/198.40 c | 1322 | 11347 134415 225883 | 72158 1321 24 | 84.819 % | 198.70/198.89 c | 2081 | 11216 134415 225883 | 79374 1735 24 | 84.994 % | 199.40/199.57 c | 3220 | 11152 134415 225883 | 87312 2872 25 | 85.080 % | 200.50/200.67 c | 4929 | 11148 134415 225883 | 96043 4580 28 | 85.099 % | 202.30/202.42 c | 7492 | 11138 134415 225883 | 105647 7072 31 | 85.099 % | 205.29/205.44 c | 11336 | 10197 134415 225883 | 116212 6526 29 | 86.358 % | 206.40/206.54 c =============================================================================== 206.60/206.77 c core #23 206.60/206.77 c 206.60/206.77 c 206.60/206.77 c Core size: 405 Core Weight: 1 Total Weight: 133 206.60/206.77 c 206.60/206.77 c 206.60/206.77 c ============================[ Search Statistics ]============================== 206.60/206.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.60/206.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.60/206.77 c =============================================================================== 206.60/206.77 c | 0 | 11670 134494 226362 | 44831 0 nan | 0.000 % | 206.70/206.85 c | 100 | 11670 134494 226362 | 49314 100 19 | 84.403 % | 206.79/206.95 c | 250 | 11670 134494 226362 | 54245 250 23 | 84.403 % | 206.99/207.11 c | 476 | 11670 134494 226362 | 59670 476 25 | 84.403 % | 207.19/207.34 c | 814 | 11670 134494 226362 | 65637 814 26 | 84.403 % | 207.60/207.71 c | 1321 | 11664 134494 226362 | 72201 1320 26 | 84.411 % | 208.10/208.21 c | 2080 | 11664 134494 226362 | 79421 2079 28 | 84.411 % | 208.80/208.96 c | 3219 | 11658 134494 226362 | 87363 3216 26 | 84.419 % | 210.00/210.18 c | 4927 | 11658 134494 226362 | 96099 4924 28 | 84.419 % | 211.99/212.11 c | 7489 | 11552 134494 226362 | 105709 7362 31 | 84.560 % | 215.30/215.46 c | 11334 | 11171 134494 226362 | 116280 9112 32 | 85.199 % | 219.99/220.10 c =============================================================================== 220.19/220.33 c core #24 220.19/220.33 c 220.19/220.33 c 220.19/220.33 c Core size: 435 Core Weight: 1 Total Weight: 134 220.19/220.33 c 220.19/220.33 c 220.19/220.33 c ============================[ Search Statistics ]============================== 220.19/220.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.19/220.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.19/220.33 c =============================================================================== 220.19/220.33 c | 0 | 11986 134578 226857 | 44859 0 nan | 0.000 % | 220.19/220.40 c | 101 | 11986 134578 226857 | 49345 101 19 | 83.996 % | 220.29/220.48 c | 251 | 11986 134578 226857 | 54279 251 19 | 83.996 % | 220.49/220.61 c | 476 | 11986 134578 226857 | 59707 476 22 | 83.996 % | 220.69/220.83 c | 816 | 11986 134578 226857 | 65678 816 24 | 83.996 % | 221.00/221.17 c | 1324 | 11977 134578 226857 | 72246 1323 25 | 84.008 % | 221.49/221.67 c | 2083 | 11977 134578 226857 | 79471 2082 27 | 84.008 % | 222.19/222.32 c | 3226 | 11977 134578 226857 | 87418 3225 25 | 84.008 % | 223.39/223.59 c | 4934 | 11970 134578 226857 | 96159 4931 27 | 84.017 % | 225.29/225.46 c | 7496 | 11836 134578 226857 | 105775 6533 28 | 84.196 % | 228.08/228.25 c | 11340 | 11836 134578 226857 | 116353 10377 30 | 84.196 % | 233.38/233.56 c | 17106 | 11836 134578 226857 | 127988 16143 33 | 84.196 % | 242.08/242.25 c | 25755 | 10911 134578 226857 | 140787 11947 28 | 85.454 % | 242.99/243.12 c =============================================================================== 243.18/243.34 c core #25 243.18/243.34 c 243.18/243.34 c 243.18/243.34 c Core size: 611 Core Weight: 1 Total Weight: 135 243.18/243.34 c 243.18/243.34 c 243.18/243.34 c ============================[ Search Statistics ]============================== 243.18/243.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 243.18/243.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 243.18/243.34 c =============================================================================== 243.18/243.34 c | 0 | 12301 134657 227342 | 44885 0 nan | 0.000 % | 243.28/243.42 c | 100 | 12300 134657 227342 | 49374 100 16 | 83.599 % | 243.38/243.52 c | 251 | 12300 134657 227342 | 54311 251 23 | 83.599 % | 243.48/243.67 c | 477 | 12295 134657 227342 | 59742 476 21 | 83.599 % | 243.68/243.85 c | 814 | 12295 134657 227342 | 65717 813 22 | 83.599 % | 243.98/244.12 c | 1320 | 12295 134657 227342 | 72288 1319 22 | 83.599 % | 244.48/244.64 c | 2079 | 12295 134657 227342 | 79517 2078 24 | 83.599 % | 245.28/245.46 c | 3221 | 12295 134657 227342 | 87469 3220 28 | 83.599 % | 246.48/246.63 c | 4930 | 12295 134657 227342 | 96216 4929 28 | 83.599 % | 248.48/248.62 c | 7493 | 12295 134657 227342 | 105838 7492 31 | 83.599 % | 251.68/251.84 c | 11337 | 12181 134657 227342 | 116421 10951 33 | 83.752 % | 256.97/257.15 c | 17103 | 12173 134657 227342 | 128064 16709 36 | 83.762 % | 265.47/265.65 c | 25752 | 12100 134657 227342 | 140870 19011 35 | 83.868 % | 280.07/280.25 c | 38727 | 12094 134657 227342 | 154957 31985 41 | 83.868 % | 298.16/298.32 c =============================================================================== 298.36/298.57 c core #26 298.36/298.57 c 298.36/298.57 c 298.36/298.57 c Core size: 685 Core Weight: 1 Total Weight: 136 298.36/298.57 c 298.36/298.57 c 298.36/298.57 c ============================[ Search Statistics ]============================== 298.36/298.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 298.36/298.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 298.36/298.57 c =============================================================================== 298.36/298.57 c | 0 | 12615 134777 227944 | 44925 0 nan | 0.000 % | 298.46/298.64 c | 101 | 12615 134777 227944 | 49418 101 17 | 83.189 % | 298.56/298.72 c | 251 | 12615 134777 227944 | 54360 251 23 | 83.189 % | 298.76/298.90 c | 476 | 12615 134777 227944 | 59796 476 26 | 83.189 % | 298.97/299.12 c | 813 | 12615 134777 227944 | 65775 813 27 | 83.189 % | 299.16/299.37 c | 1319 | 12615 134777 227944 | 72353 1319 24 | 83.189 % | 299.66/299.87 c | 2079 | 12615 134777 227944 | 79588 2079 30 | 83.189 % | 300.36/300.50 c | 3218 | 12588 134777 227944 | 87547 3216 28 | 83.235 % | 301.56/301.76 c | 4927 | 12588 134777 227944 | 96302 4925 31 | 83.235 % | 303.56/303.76 c | 7490 | 12571 134777 227944 | 105932 7486 32 | 83.247 % | 305.96/306.17 c | 11334 | 12571 134777 227944 | 116525 11330 34 | 83.247 % | 311.26/311.44 c | 17101 | 12571 134777 227944 | 128178 17097 38 | 83.247 % | 319.46/319.61 c | 25751 | 12571 134777 227944 | 140995 25747 38 | 83.247 % | 335.64/335.89 c | 38728 | 12571 134777 227944 | 155095 38724 42 | 83.247 % | 361.54/361.76 c | 58190 | 11729 134777 227944 | 170605 31191 35 | 84.369 % | 396.72/396.90 c =============================================================================== 396.93/397.16 c core #27 396.93/397.16 c 396.93/397.16 c 396.93/397.16 c Core size: 526 Core Weight: 1 Total Weight: 137 396.93/397.16 c 396.93/397.16 c 396.93/397.16 c ============================[ Search Statistics ]============================== 396.93/397.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 396.93/397.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 396.93/397.16 c =============================================================================== 396.93/397.16 c | 0 | 12928 134881 228505 | 44960 0 nan | 0.000 % | 397.02/397.24 c | 101 | 12926 134881 228505 | 49456 101 17 | 82.796 % | 397.12/397.34 c | 252 | 12926 134881 228505 | 54402 252 23 | 82.796 % | 397.22/397.45 c | 477 | 12922 134881 228505 | 59842 476 21 | 82.796 % | 397.42/397.68 c | 816 | 12922 134881 228505 | 65826 815 22 | 82.796 % | 397.82/398.06 c | 1323 | 12922 134881 228505 | 72409 1322 26 | 82.796 % | 398.42/398.69 c | 2082 | 12922 134881 228505 | 79649 2081 28 | 82.796 % | 399.32/399.50 c | 3221 | 12922 134881 228505 | 87614 3220 29 | 82.796 % | 400.81/401.00 c | 4930 | 12922 134881 228505 | 96376 4929 31 | 82.796 % | 402.62/402.88 c | 7492 | 12922 134881 228505 | 106014 7491 28 | 82.796 % | 405.81/406.03 c | 11336 | 12907 134881 228505 | 116615 11334 28 | 82.816 % | 411.52/411.79 c | 17102 | 12907 134881 228505 | 128277 17100 32 | 82.816 % | 420.81/421.04 c | 25751 | 12907 134881 228505 | 141104 25749 35 | 82.816 % | 438.20/438.49 c | 38725 | 12900 134881 228505 | 155215 38721 37 | 82.825 % | 470.19/470.49 c | 58188 | 12475 134881 228505 | 170736 54912 38 | 83.391 % | 527.27/527.53 c | 87381 | 12475 134881 228505 | 187810 84105 41 | 83.391 % | 617.43/617.74 c =============================================================================== 617.73/618.08 c core #28 617.73/618.08 c 617.73/618.08 c 617.73/618.08 c Core size: 537 Core Weight: 1 Total Weight: 138 617.73/618.08 c 617.73/618.08 c 617.73/618.08 c ============================[ Search Statistics ]============================== 617.73/618.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 617.73/618.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 617.73/618.08 c =============================================================================== 617.73/618.08 c | 0 | 13240 135008 229137 | 45002 0 nan | 0.000 % | 617.84/618.16 c | 101 | 13240 135008 229137 | 49502 101 23 | 82.389 % | 617.94/618.28 c | 251 | 13238 135008 229137 | 54453 251 27 | 82.398 % | 618.13/618.42 c | 476 | 13233 135008 229137 | 59898 475 28 | 82.398 % | 618.33/618.61 c | 813 | 13233 135008 229137 | 65888 812 26 | 82.398 % | 618.63/618.94 c | 1319 | 13233 135008 229137 | 72477 1318 27 | 82.398 % | 619.13/619.46 c | 2080 | 13233 135008 229137 | 79724 2079 29 | 82.398 % | 620.14/620.46 c | 3219 | 13233 135008 229137 | 87697 3218 33 | 82.398 % | 621.64/621.97 c | 4927 | 13233 135008 229137 | 96467 4926 36 | 82.398 % | 623.63/623.94 c | 7489 | 13233 135008 229137 | 106113 7488 34 | 82.398 % | 626.43/626.78 c | 11334 | 13233 135008 229137 | 116725 11333 33 | 82.398 % | 631.83/632.10 c | 17100 | 13233 135008 229137 | 128397 17099 37 | 82.398 % | 640.52/640.89 c | 25752 | 13233 135008 229137 | 141237 25751 34 | 82.398 % | 657.32/657.70 c | 38727 | 13233 135008 229137 | 155361 38726 37 | 82.398 % | 689.41/689.72 c | 58188 | 13233 135008 229137 | 170897 58187 38 | 82.398 % | 750.68/751.04 c | 87380 | 13226 135008 229137 | 187987 87377 40 | 82.408 % | 864.15/864.51 c | 131169 | 13033 135008 229137 | 206786 121139 43 | 82.664 % | 1054.48/1054.97 c | 196854 | 12280 135008 229137 | 227464 115005 41 | 83.666 % | 1229.81/1230.37 c =============================================================================== 1230.20/1230.79 c core #29 1230.20/1230.79 c 1230.20/1230.79 c 1230.20/1230.79 c Core size: 576 Core Weight: 1 Total Weight: 139 1230.20/1230.79 c 1230.20/1230.79 c 1230.20/1230.79 c ============================[ Search Statistics ]============================== 1230.20/1230.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1230.20/1230.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1230.20/1230.79 c =============================================================================== 1230.20/1230.79 c | 0 | 13551 135100 229676 | 45033 0 nan | 0.000 % | 1230.31/1230.86 c | 100 | 13551 135100 229676 | 49536 100 14 | 81.992 % | 1230.41/1230.98 c | 250 | 13551 135100 229676 | 54490 250 20 | 81.992 % | 1230.60/1231.11 c | 476 | 13551 135100 229676 | 59939 476 21 | 81.992 % | 1230.80/1231.34 c | 813 | 13551 135100 229676 | 65933 813 24 | 81.992 % | 1231.11/1231.65 c | 1320 | 13551 135100 229676 | 72526 1320 25 | 81.992 % | 1231.61/1232.11 c | 2079 | 13551 135100 229676 | 79779 2079 26 | 81.992 % | 1232.61/1233.13 c | 3219 | 13551 135100 229676 | 87757 3219 32 | 81.992 % | 1233.81/1234.37 c | 4928 | 13549 135100 229676 | 96532 4927 31 | 81.994 % | 1235.50/1236.07 c | 7490 | 13549 135100 229676 | 106186 7489 31 | 81.994 % | 1238.60/1239.11 c | 11334 | 13549 135100 229676 | 116804 11333 32 | 81.994 % | 1243.80/1244.33 c | 17100 | 13549 135100 229676 | 128485 17099 37 | 81.994 % | 1252.79/1253.31 c | 25751 | 13549 135100 229676 | 141333 25750 36 | 81.994 % | 1270.49/1271.06 c | 38726 | 13549 135100 229676 | 155467 38725 38 | 81.994 % | 1299.18/1299.78 c | 58188 | 13549 135100 229676 | 171014 58187 40 | 81.994 % | 1361.26/1361.87 c | 87380 | 13549 135100 229676 | 188115 87379 44 | 81.994 % | 1470.52/1471.16 c | 131169 | 13549 135100 229676 | 206926 131168 46 | 81.994 % | 1687.13/1687.84 c | 196853 | 13549 135100 229676 | 227619 196852 50 | 81.994 % |
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-2687072-1278447003/watcher-2687072-1278447003 -o /tmp/evaluation-result-2687072-1278447003/solver-2687072-1278447003 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687072-1278447003.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.00 1.00 3/106 21836 /proc/meminfo: memFree=1846320/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=10784 CPUtime=0 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 325 0 0 0 0 0 0 0 19 0 1 0 12907651 11042816 243 1992294400 134512640 135752675 4288969056 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 2696 243 136 303 0 374 0 [startup+0.0785639 s] /proc/loadavg: 1.02 1.00 1.00 3/106 21836 /proc/meminfo: memFree=1846320/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=14216 CPUtime=0.06 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 1198 0 0 0 6 0 0 0 19 0 1 0 12907651 14557184 1116 1992294400 134512640 135752675 4288969056 18446744073709551615 135204596 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 3554 1116 234 303 0 1232 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14216 [startup+0.100567 s] /proc/loadavg: 1.02 1.00 1.00 3/106 21836 /proc/meminfo: memFree=1846320/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=15700 CPUtime=0.08 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 1485 0 0 0 8 0 0 0 19 0 1 0 12907651 16076800 1403 1992294400 134512640 135752675 4288969056 18446744073709551615 134559885 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 3925 1404 267 303 0 1603 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 15700 [startup+0.300603 s] /proc/loadavg: 1.02 1.00 1.00 3/106 21836 /proc/meminfo: memFree=1846320/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=19972 CPUtime=0.29 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 2879 0 0 0 28 1 0 0 20 0 1 0 12907651 20451328 2764 1992294400 134512640 135752675 4288969056 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 4993 2764 564 303 0 2671 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19972 [startup+0.700677 s] /proc/loadavg: 1.02 1.00 1.00 3/106 21836 /proc/meminfo: memFree=1846320/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=24288 CPUtime=0.68 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 4606 0 0 0 67 1 0 0 20 0 1 0 12907651 24870912 4451 1992294400 134512640 135752675 4288969056 18446744073709551615 134582801 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 6072 4451 1166 303 0 3750 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 24288 [startup+1.50082 s] /proc/loadavg: 1.02 1.00 1.00 2/107 21837 /proc/meminfo: memFree=1827588/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=37448 CPUtime=1.48 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 8418 0 0 0 146 2 0 0 23 0 1 0 12907651 38346752 8149 1992294400 134512640 135752675 4288969056 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 9362 8149 2076 303 0 7040 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 37448 [startup+3.10111 s] /proc/loadavg: 1.02 1.00 1.00 2/107 21837 /proc/meminfo: memFree=1796836/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=56092 CPUtime=3.08 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 15288 0 0 0 303 5 0 0 25 0 1 0 12907651 57438208 12778 1992294400 134512640 135752675 4288969056 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 14023 12778 142 303 0 13718 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 56092 [startup+6.30069 s] /proc/loadavg: 1.02 1.00 1.00 2/107 21837 /proc/meminfo: memFree=1788156/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=65596 CPUtime=6.28 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 17663 0 0 0 622 6 0 0 25 0 1 0 12907651 67170304 15153 1992294400 134512640 135752675 4288969056 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 16399 15153 142 303 0 16094 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 65596 [startup+12.7019 s] /proc/loadavg: 1.02 1.00 1.00 2/107 21837 /proc/meminfo: memFree=1772656/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=79588 CPUtime=12.68 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 21165 0 0 0 1260 8 0 0 25 0 1 0 12907651 81498112 18655 1992294400 134512640 135752675 4288969056 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 19897 18655 142 303 0 19592 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 79588 [startup+25.5012 s] /proc/loadavg: 1.01 1.00 1.00 2/107 21839 /proc/meminfo: memFree=1751452/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=100312 CPUtime=25.47 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 26330 0 0 0 2537 10 0 0 25 0 1 0 12907651 102719488 23820 1992294400 134512640 135752675 4288969056 18446744073709551615 134697671 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 25078 23820 142 303 0 24773 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 100312 [startup+51.1008 s] /proc/loadavg: 1.01 1.00 1.00 2/107 21839 /proc/meminfo: memFree=1723428/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=129748 CPUtime=51.06 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 33694 0 0 0 5092 14 0 0 25 0 1 0 12907651 132861952 31184 1992294400 134512640 135752675 4288969056 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 32437 31184 142 303 0 32132 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 129748 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21841 /proc/meminfo: memFree=1686848/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=163628 CPUtime=102.24 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 43603 0 0 0 10202 22 0 0 25 0 1 0 12907651 167555072 39782 1992294400 134512640 135752675 4288969056 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 40907 39782 145 303 0 40602 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 163628 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21841 /proc/meminfo: memFree=1686600/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=163628 CPUtime=162.22 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 43603 0 0 0 16168 54 0 0 25 0 1 0 12907651 167555072 39782 1992294400 134512640 135752675 4288969056 18446744073709551615 134611597 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 40907 39782 145 303 0 40602 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 163628 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21843 /proc/meminfo: memFree=1698504/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=222.19 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44747 0 0 0 22139 80 0 0 25 0 1 0 12907651 152723456 36797 1992294400 134512640 135752675 4288969056 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36797 146 303 0 36981 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 149144 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21845 /proc/meminfo: memFree=1698504/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=282.17 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44747 0 0 0 28117 100 0 0 25 0 1 0 12907651 152723456 36797 1992294400 134512640 135752675 4288969056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36797 146 303 0 36981 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 149144 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21847 /proc/meminfo: memFree=1698504/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=342.14 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44747 0 0 0 34093 121 0 0 25 0 1 0 12907651 152723456 36797 1992294400 134512640 135752675 4288969056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36797 146 303 0 36981 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 149144 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21849 /proc/meminfo: memFree=1698504/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=402.12 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44747 0 0 0 40074 138 0 0 25 0 1 0 12907651 152723456 36797 1992294400 134512640 135752675 4288969056 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36797 146 303 0 36981 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 149144 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21849 /proc/meminfo: memFree=1698380/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=462.09 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44747 0 0 0 46053 156 0 0 25 0 1 0 12907651 152723456 36797 1992294400 134512640 135752675 4288969056 18446744073709551615 134637969 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36797 146 303 0 36981 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 149144 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21851 /proc/meminfo: memFree=1698380/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=522.07 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44747 0 0 0 52037 170 0 0 25 0 1 0 12907651 152723456 36797 1992294400 134512640 135752675 4288969056 18446744073709551615 134640119 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36797 146 303 0 36981 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 149144 [startup+582.301 s] /proc/loadavg: 1.08 1.02 1.01 3/108 21856 /proc/meminfo: memFree=1620408/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=582.05 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44747 0 0 0 58023 182 0 0 25 0 1 0 12907651 152723456 36797 1992294400 134512640 135752675 4288969056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36797 146 303 0 36981 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 149144 [startup+642.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 21858 /proc/meminfo: memFree=1655260/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=642.03 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44759 0 0 0 64007 196 0 0 25 0 1 0 12907651 152723456 36809 1992294400 134512640 135752675 4288969056 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36809 146 303 0 36981 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 149144 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21864 /proc/meminfo: memFree=1655260/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=881.93 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44759 0 0 0 87946 247 0 0 25 0 1 0 12907651 152723456 36809 1992294400 134512640 135752675 4288969056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36809 146 303 0 36981 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 149144 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21866 /proc/meminfo: memFree=1655136/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=941.92 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44759 0 0 0 93934 258 0 0 25 0 1 0 12907651 152723456 36809 1992294400 134512640 135752675 4288969056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36809 146 303 0 36981 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 149144 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21868 /proc/meminfo: memFree=1655136/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=1001.89 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44759 0 0 0 99921 268 0 0 25 0 1 0 12907651 152723456 36809 1992294400 134512640 135752675 4288969056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36809 146 303 0 36981 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 149144 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21868 /proc/meminfo: memFree=1655136/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=1061.86 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44759 0 0 0 105908 278 0 0 25 0 1 0 12907651 152723456 36809 1992294400 134512640 135752675 4288969056 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36809 146 303 0 36981 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 149144 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21870 /proc/meminfo: memFree=1655012/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=1121.84 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44759 0 0 0 111896 288 0 0 25 0 1 0 12907651 152723456 36809 1992294400 134512640 135752675 4288969056 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36809 146 303 0 36981 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 149144 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21872 /proc/meminfo: memFree=1655012/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=149144 CPUtime=1181.82 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 44759 0 0 0 117883 299 0 0 25 0 1 0 12907651 152723456 36809 1992294400 134512640 135752675 4288969056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 37286 36809 146 303 0 36981 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 149144 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21874 /proc/meminfo: memFree=1640380/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=165092 CPUtime=1241.8 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 48428 0 0 0 123867 313 0 0 25 0 1 0 12907651 169054208 40342 1992294400 134512640 135752675 4288969056 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 41273 40342 146 303 0 40968 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 165092 [startup+1302.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 21876 /proc/meminfo: memFree=1640380/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=165092 CPUtime=1301.78 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 48439 0 0 0 129848 330 0 0 25 0 1 0 12907651 169054208 40353 1992294400 134512640 135752675 4288969056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 41273 40353 146 303 0 40968 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 165092 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 21876 /proc/meminfo: memFree=1640380/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=165092 CPUtime=1361.76 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 48439 0 0 0 135833 343 0 0 25 0 1 0 12907651 169054208 40353 1992294400 134512640 135752675 4288969056 18446744073709551615 134606868 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 41273 40353 146 303 0 40968 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 165092 [startup+1422.31 s] /proc/loadavg: 1.04 1.02 1.00 2/107 21878 /proc/meminfo: memFree=1636288/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=169596 CPUtime=1421.74 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 49520 0 0 0 141818 356 0 0 25 0 1 0 12907651 173666304 41434 1992294400 134512640 135752675 4288969056 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 42399 41434 146 303 0 42094 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 169596 [startup+1482.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 21880 /proc/meminfo: memFree=1630584/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=175292 CPUtime=1481.72 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 50961 0 0 0 147805 367 0 0 25 0 1 0 12907651 179499008 42875 1992294400 134512640 135752675 4288969056 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 43823 42875 146 303 0 43518 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 175292 [startup+1542.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 21882 /proc/meminfo: memFree=1625004/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=180868 CPUtime=1541.69 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 52309 0 0 0 153793 376 0 0 25 0 1 0 12907651 185208832 44223 1992294400 134512640 135752675 4288969056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 45217 44223 146 303 0 44912 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 180868 [startup+1602.3 s] /proc/loadavg: 1.05 1.04 1.00 2/107 21884 /proc/meminfo: memFree=1619796/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=186036 CPUtime=1601.67 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 53625 0 0 0 159780 387 0 0 25 0 1 0 12907651 190500864 45539 1992294400 134512640 135752675 4288969056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 46509 45539 146 303 0 46204 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 186036 [startup+1662.3 s] /proc/loadavg: 1.12 1.06 1.00 2/107 21884 /proc/meminfo: memFree=1615208/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=190580 CPUtime=1661.64 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 54768 0 0 0 165765 399 0 0 25 0 1 0 12907651 195153920 46682 1992294400 134512640 135752675 4288969056 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 47645 46682 146 303 0 47340 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 190580 [startup+1722.3 s] /proc/loadavg: 1.12 1.06 1.00 2/107 21886 /proc/meminfo: memFree=1610992/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=194872 CPUtime=1721.61 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 55804 0 0 0 171752 409 0 0 25 0 1 0 12907651 199548928 47718 1992294400 134512640 135752675 4288969056 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 48718 47718 146 303 0 48413 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 194872 [startup+1782.3 s] /proc/loadavg: 1.18 1.08 1.01 2/107 21888 /proc/meminfo: memFree=1607024/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=198936 CPUtime=1781.59 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 56809 0 0 0 177740 419 0 0 25 0 1 0 12907651 203710464 48723 1992294400 134512640 135752675 4288969056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 49734 48723 146 303 0 49429 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 198936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.28 1.11 1.02 2/107 21888 /proc/meminfo: memFree=1605908/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=200128 CPUtime=1800.01 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 57094 0 0 0 179579 422 0 0 25 0 1 0 12907651 204931072 49008 1992294400 134512640 135752675 4288969056 18446744073709551615 134605448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 50032 49008 146 303 0 49727 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 200128 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.28 1.11 1.02 2/107 21888 /proc/meminfo: memFree=1605908/2059040 swapFree=4192956/4192956 [pid=21836] ppid=21834 vsize=200128 CPUtime=1800.01 /proc/21836/stat : 21836 (wbo1.4b) R 21834 21836 20703 0 -1 4202496 57094 0 0 0 179579 422 0 0 25 0 1 0 12907651 204931072 49008 1992294400 134512640 135752675 4288969056 18446744073709551615 134605448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21836/statm: 50032 49008 146 303 0 49727 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 200128 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.74 CPU time (s): 1800.04 CPU user time (s): 1795.79 CPU system time (s): 4.24435 CPU usage (%): 99.961 Max. virtual memory (cumulated for all children) (KiB): 200128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.79 system time used= 4.24435 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57094 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= 41 involuntary context switches= 24734 runsolver used 2.80457 second user time and 8.71068 second system time The end
Begin job on node044 at 2010-07-06 22:10:03 IDJOB=2687072 IDBENCH=77362 IDSOLVER=1190 FILE ID=node044/2687072-1278447003 PBS_JOBID= 11233475 Free space on /tmp= 62492 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12052_2.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687072-1278447003/watcher-2687072-1278447003 -o /tmp/evaluation-result-2687072-1278447003/solver-2687072-1278447003 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687072-1278447003.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 38fb0c3d6aceb5f008836e7f9c186fab RANDOM SEED=951061642 node044.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.267 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.53 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.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1847508 kB Buffers: 3580 kB Cached: 74200 kB SwapCached: 0 kB Active: 57372 kB Inactive: 80916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1847508 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 10864 kB Writeback: 0 kB AnonPages: 60448 kB Mapped: 14412 kB Slab: 51296 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181424 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= 62488 MiB End job on node044 at 2010-07-06 22:40:06